# A Property of the Line IO:

A Proof From The Book

A proof by an anonymous visitor for a major part of a problem I already discussed on three occasions is bound -- in my view -- to be from the mysterious Book conceived by the late Paul Erdös. The book which is written by the supreme being contains only the most beautiful of the proofs. It is quite short. It makes an adept use of a few features of triangle geometry that may not be altogether common but are still quite elementary and appear to fit together with uncommon adroitness.

As usual, let I and O be the incenter and circumcenter, respectively, of triangle ABC. Suppose angle C is 30°, and that the side AB is laid off along each of the other two sides to give points D and E so that

EA = AB = BD.

Prove that the segment DE is both equal and perpendicular to IO.

As was noted elsewhere, the fact that DE is perpendicular to IO is independent of the angle C; the fact that was overlooked in [Honsberger, pp. 199-201] where the orthogonality of the two lines was derived based on their congruence. The other two solutions lacked in symmetry (that would be appreciated by A. Einstein) with respect to the vertices of the given triangle even when handling the matter of perpendicularity. However, a previous investigation showed that such symmetry is not alien to the geometric configuration of the problem.

So we prove the perpendicularity below.

30 December 2015, Created with GeoGebra

If K, L, M on BC, CA, AB are feet of the external bisectors of the angles A, B, C, then

KB/KC·LC/LA·MA/MB = b/c·c/a·a/b = 1

and K, L, M are collinear by Menelaus' theorem.

CK = ab/(c - b),

CL = ab/(c - a) and

CK/CL = (c - a)/(c - b) = CD/CE,

so that triangles CDE, CKL are centrally similar and DE parallel to LM, same as KLM. Let I_{a}, I_{b}, I_{c} be the excenters of ΔABC opposite to A, B, C. There is an intimate relationship between ΔABC and its excentral ΔI_{a}I_{b}I_{c} (not to mention that they are perspective from I implying, in particular, by Desargues' theorem the collinearity of K, L, M.) First of all, the angle bisectors I_{a}A, I_{b}B, I_{c}C of ΔABC are altitudes of the excentral triangle, I is its orthocenter, O its 9-point circle center, and the reflection O' of I in O its circumcenter, O'OI its Euler line. Quadrilaterals I_{b}I_{c}BC, I_{c}I_{a}CA, I_{a}I_{b}AB are all cyclic because of the right angles. Thus

KB·KC = KI_{b}·KI_{c},

LC·LA = LI_{c}·LI_{a},

MA·MB = MI_{a}·MI_{b},

due to the Intersecting Secants Theorem. Therefore KLM is radical axis of the circumcircles (O), (O') of the triangles ABC, I_{a}I_{b}I_{c}, perpendicular to the center line O'O, same as O'OI. In conclusion, DE is parallel to KLM, which is perpendicular to O'OI.

Hubert Shutrick has observed that K is the radical center of the two circumcricles (O) and (O') and the circle BCI_{b}I_{c} for it's the intersection of the radical axes of the pairs (O)/ BCI_{b}I_{c} and (O')/BCI_{b}I_{c}. It therefore lies on the radical axis of (O) and (O'). Similarly, point L and M also belong to that axis. It follows that KLM is indeed the radical axis of (O) and (O') and, as such, is perpendicular to the line of centers O'OI.

### References

- R. Honsberger,
*From Erdös To Kiev*, MAA, 1996.

### Radical Axis and Radical Center

- How to Construct a Radical Axis
- A Property of the Line IO: A Proof From The Book
- Cherchez le quadrilatere cyclique II
- Circles On Cevians
- Circles And Parallels
- Circles through the Orthocenter
- Coaxal Circles Theorem
- Isosceles on the Sides of a Triangle
- Properties of the Circle of Similitude
- Six Concyclic Points
- Radical Axis and Center, an Application
- Radical axis of two circles
- Radical Axis of Circles Inscribed in a Circular Segment
- Radical Center
- Radical center of three circles
- Steiner's porism
- Stereographic Projection and Inversion
- Stereographic Projection and Radical Axes
- Tangent as a Radical Axis
- Two Circles on a Side of a Triangle
- Pinning Butterfly on Radical Axes
- Two Lines - Two Circles
- Two Triples of Concurrent Circles
- Circle Centers on Radical Axes
- Collinearity with the Orthocenter
- Six Circles with Concurrent Pairwise Radical Axes
- Six Concyclic Points on Sides of a Triangle
- Line Through a Center of Similarity

- A Property of the Line IO
- A Property of the Line IO: Untangling of the Problem
- A Property of the Line IO: A Proof From The Book
- A Circle Related to Incenter and Circumcenter

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

63432307 |