Maths Olympiad Prep

Library / /74 of 397

Geometry Difficulty 5.1 AIME, harder Prove it Taiwan

Given an arbitrary triangle ABC\triangle ABC, let its circumcircle be O1O_1, its nine-point circle be O2O_2; and let the circle with diameter the segment joining the orthocenter HH and the centroid GG of ABC\triangle ABC be O3O_3. Prove that O1,O2,O3O_1, O_2, O_3 are coaxial. (That is, there exists a line such that every point on it has the same power with respect to all three circles. The power of a point with respect to a circle is the square of the distance from the point to the center of the circle minus the square of the radius of the circle.)

Remark: The nine-point circle of a triangle is the circle passing through the nine points consisting of the midpoints of the three sides, the feet of the three altitudes, and the midpoints of the segments joining the three vertices to the orthocenter.

Solution

Lemma: The orthocenter and the centroid are the two centers of similitude of O1,O2O_1, O_2.

Proof of Lemma: The nine-point circle passes through the midpoints of HA,HB,HC\overline{HA}, \overline{HB}, \overline{HC}, so HH is one center of similitude.
The nine-point circle passes through the midpoints of AB,BC,CA\overline{AB}, \overline{BC}, \overline{CA} (denoted respectively by M,N,PM, N, P), and AG:GM=2:1\overline{AG} : \overline{GM} = 2 : 1, BG:GN=2:1\overline{BG} : \overline{GN} = 2 : 1, CG:GP=2:1\overline{CG} : \overline{GP} = 2 : 1, so GG is also a center of similitude.

Now return to the proof of the original problem. When ABCABC is acute, let XX be the intersection of the radical axis of O1,O2O_1, O_2 with OHOH, let xx be the radius of O1O_1, yy the radius of O2O_2, and let XO=a,XG=b,XN=c,XH=d\overline{XO} = a, \overline{XG} = b, \overline{XN} = c, \overline{XH} = d.

We have abbc=adcd=xy,a2x2=c2y2. \text{We have } \frac{a-b}{b-c} = \frac{a-d}{c-d} = \frac{x}{y},\quad a^2 - x^2 = c^2 - y^2.
From this we get b=cx+ayx+y,d=cxayxy, \text{From this we get } b = \frac{cx+ay}{x+y},\quad d = \frac{cx-ay}{x-y},
bd=c2x2a2y2x2y2=(c2y2)(x2y2)x2y2=c2y2. bd = \frac{c^2 x^2 - a^2 y^2}{x^2 - y^2} = \frac{(c^2 - y^2)(x^2 - y^2)}{x^2 - y^2} = c^2 - y^2.

Hence the three circles are coaxial (the case of an obtuse angle is computed similarly).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty) added by this project.