Maths Olympiad Prep

Library / /9 of 41

, 2012

Geometry Difficulty 7.9 National Olympiad, round 2 Prove it Slovenia

In a triangle ABCABC, denote DD the orthogonal projection of the point CC onto the line ABAB, denote EE the orthogonal projection of the point DD onto the line ACAC, and denote PP the midpoint of the line segment CDCD. Let K1K_1 be the circumscribed circle of the triangle ABCABC, and let K2K_2 be the circle of radius CDCD and center CC. Prove that the line EPEP passes through the intersection points of the circles K1K_1 and K2K_2 if and only if the angle ACB\angle ACB is a right angle.

Solution

Denote FF the orthogonal projection of the point DD onto the line BCBC.
Figure 1
Obviously, the points EE and FF lie on the sides ACAC and BCBC, respectively. According to Euclid's theorem, ECEA=CD2EC2|EC| \cdot |EA| = |CD|^2 - |EC|^2 and FCFB=CD2FC2|FC| \cdot |FB| = |CD|^2 - |FC|^2,

hence the powers of the point EE with respect to the circles K1K_1 and K2K_2 are equal. The same holds for FF. From this we conclude that EFEF is the radical axis (or power line) of the circles K1K_1 and K2K_2, hence it passes through the intersection point of these circles, where circles K1K_1 and K2K_2 obviously intersect.
It is sufficient to prove that the angle ACB\angle ACB is a right angle if and only if the point PP lies on the line EFEF. If ACB=π2\angle ACB = \frac{\pi}{2}, then the quadrilateral EDFCEDFC is a rectangle, and PP lies on both diagonals of the rectangle because it is the midpoint of one diagonal. Now suppose that PP lies on EFEF. According to Thales' theorem, the quadrilateral EDFCEDFC is a cyclic quadrilateral with the center of the circumscribed circle in PP. Using the inscribed angle theorem, we derive ECF=12EPF=π2\angle ECF = \frac{1}{2}\angle EPF = \frac{\pi}{2}. This proves the claim.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.