Maths Olympiad Prep

Library / /13 of 27

Geometry Difficulty 5.4 AIME, harder Prove it Austria

Let ABCABC be an acute triangle with AB>ACAB > AC. Let DD, EE and FF denote the feet of its altitudes on BCBC, ACAC and ABAB, respectively. Let SS denote the intersection of lines EFEF and BCBC.
Prove that the circumcircles k1k_1 and k2k_2 of the two triangles AEFAEF and DESDES touch in EE.

Solution

Figure 1
Figure 3: Problem 14

Let t1t_1 be the tangent line to k1k_1 in point EE and let t2t_2 be the tangent line to k2k_2 in point EE. The tangent-secant theorem applied to circle k1k_1 gives
(EF,t1)=FAE=α \angle(EF, t_1) = \angle FAE = \alpha
with the usual notation for the angles in triangle ABCABC.
The tangent-secant theorem applied to circle k2k_2 gives
(EF,t2)=SDE=CDE=α, \angle(EF, t_2) = \angle SDE = \angle CDE = \alpha,
where the last equality comes from the fact that ABDEABDE is a cyclic quadrilateral since all four vertices lie on the Thales circle with diameter ABAB.
Therefore, t1t_1 and t2t_2 are parallel and they both contain the point EE. So, the two tangents are identical which implies that the circles touch in EE.

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 and solution reproduced as published; topic and difficulty added by this site.