Let a circle K and a line g be given, which have no common point. Furthermore, let AB be the diameter of K that is orthogonal to g, where B lies closer to g than A. Further, let an arbitrary point C, different from A and B, be given on K. The line AC meets g in D; the line DE is tangent to K at E, where B and E lie on the same side of AC. Finally, BE meets the line g in the point F and AF meets the circle K, besides in A, in the point G. Prove that the reflection point of G with respect to the axis AB lies on the line CF.
Solution
Solution:
We denote the second point of intersection of CF and K by H and the point of intersection of AB and g by X. Since AB⊥g, it suffices to show that GH∥g. This is precisely the case when ∠AGH=∠AFD. The inscribed angle theorem and vertical angles give ∠AGH=∠ACH=∠DCF; hence it remains to show ∠DCF=∠AFD. Since the triangles DFC and ADF share an angle at D, it only remains to prove their (opposite-sense) similarity. This holds precisely when ∣DF∣∣DC∣=∣DA∣∣DF∣, i.e. ∣DF∣2=∣DA∣⋅∣DC∣. However, by the tangent-secant theorem we have ∣DE∣2=∣DA∣⋅∣DC∣, so it only remains to show ∣DE∣=∣DF∣, which is equivalent to ∠DEF=∠EFD.
Since ∠FXB=∠AEB=90∘, AEXF is a cyclic quadrilateral and we have ∠EFX=∠EAB. The equality of the tangent-chord angles gives ∠DEF=∠EAB, from which ∠DEF=∠EFD follows.
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 de; metadata (topic, difficulty) added by this project.