Olympiad Maths Prep

Track / Stage 5 / 384 of 400 #984 of 2000

Problem 984

AIME late
Geometry Difficulty 6.0 Prove it

Let DD be an interior point on the side ABAB of the acute triangle ABCABC. The line through DD parallel to ACAC intersects the side BCBC at EE, and the line through DD parallel to BCBC intersects the side ACAC at FF. The second intersection point of the circumcircles of triangles ADFADF and BDEBDE is GG. Prove that ABEFABEF is a cyclic quadrilateral if and only if GG lies on the segment CDCD.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution. The triangles ADFA D F and DBED B E are similar to the triangle ABCA B C. Using the usual notation, AFD=DEB=γ\angle A F D = \angle D E B = \gamma. Therefore, the tangents to the circles ADFA D F and DEBD E B at point DD form an angle γ\gamma with the line ABA B. Since γ<90\gamma < 90^{\circ}, these circles intersect on the side of the line ABA B that contains CC, so the point GG also lies on this side of the line ABA B.

The quadrilateral ABEFA B E F is a cyclic quadrilateral if and only if CEF=α\angle C E F = \alpha and CFE=β\angle C F E = \beta (these two conditions are equivalent to each other), which means that the line EFE F is a common tangent to the circles ADFA D F and DBED B E.

!

In this case, the point GG clearly lies inside the triangle EFDE F D. We can assume that the point GG is an interior point of the triangle ABCA B C, otherwise, ABEFA B E F cannot be a cyclic quadrilateral, and GG cannot lie on the segment CDC D. Based on the diagram, then EGD=180β\angle E G D = 180^{\circ} - \beta and FGD=180α\angle F G D = 180^{\circ} - \alpha, it is evident that EGF=180γ\angle E G F = 180^{\circ} - \gamma, so the quadrilateral ECFGE C F G is a cyclic quadrilateral.

In summary: the quadrilateral ABEFA B E F is a cyclic quadrilateral if and only if CFE=β\angle C F E = \beta, or if CGE=β\angle C G E = \beta. Considering that EGD=180β\angle E G D = 180^{\circ} - \beta, this is equivalent to the angle CGD\angle C G D being a straight angle, or that the point GG lies on the segment CDC D.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.