Maths Olympiad Prep

Track / Stage 7 / 174 of 300 #2214 of 2604

Problem 2214

National Olympiad second round; IMO P1/P4
Geometry Difficulty 7.5 Prove it Romania — NMO Selection Tests for the Balkan and International Mathematical Olympiads · Romania

Let ABCABC be a scalene triangle. The tangents to the nine-point circle at the foot of the perpendicular dropped from AA on the line BCBC and at the midpoint of the side BCBC meet at the point A′A'; the points B′B' and C′C' are defined similarly. Prove that the lines AA′AA', BB′BB' and CC′CC' are concurrent.

Gazeta Matematică

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

The tangent at AA to the circumcircle ABCABC meets the line BCBC at the point A′′A''; the points B′′B'' and C′′C'' are defined similarly. The points A′′A'', B′′B'' and C′′C'' are collinear on Lemoine's line. We shall prove that the lines AA′AA', BB′BB' and CC′CC' are the polars of the points A′′A'', B′′B'' and C′′C'', respectively, relative to the nine-point circle γ\gamma, so they are indeed concurrent. Clearly, it is sufficient to prove that that AA′AA' is the polar of A′′A'' with respect to γ\gamma.

Let A1,B1A_1, B_1 and C1C_1 be the perpendicular feet dropped from A,BA, B and CC, respectively, on the lines BC,CABC, CA and ABAB, respectively. Let further A2A_2 be the midpoint of the side BCBC, and let A3A_3 be the midpoint of the segment joining AA to the orthocenter of the triangle ABCABC. It is easily seen that the line A2A3A_2A_3 is the perpendicular bisector of the segment B1C1B_1C_1, so it is perpendicular to the tangent at AA to the circumcircle ABCABC. Consequently, A3A_3 is the orthocenter of the triangle AA′′A2AA''A_2, so the lines AA2AA_2 and A′′A3A''A_3 are perpendicular; it is easily seen that they meet at some point on γ\gamma, so A′′A'' lies on the polar of AA with respect to γ\gamma. Finally, A′′A'' lies on BCBC, which is the polar of A′A' with respect to γ\gamma, so A′′A'' is the pole of AA′AA' with respect to γ\gamma.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.