Maths Olympiad Prep

Library / /433 of 520

Geometry Difficulty 5.8 AIME, harder Prove it

II. (25 points) As shown in Figure 3, given the right triangle ABC\triangle ABC with the incircle I\odot I touching the two legs ACAC and BCBC at points DD and EE, respectively, and AIAI, BIBI intersecting line DEDE at points FF and GG. Prove:
AB2=2FG2 AB^{2}=2 FG^{2} \text {. }

Solution

As shown in Figure 7, connect AGA G, BFB F, DID I, and EIE I.

Obviously, quadrilateral CDIECDIE is a square. Therefore,
ADF=AIB=135,FAD=IAB. \begin{array}{l} \angle A D F = \angle A I B \\ = 135^{\circ}, \\ \angle F A D = \angle I A B . \end{array}

Thus, ADFAIB\triangle A D F \sim \triangle A I B.
Hence, ADAI=AFAB\frac{A D}{A I} = \frac{A F}{A B}.
Since DAI=FAB\angle D A I = \angle F A B, we have AIDABF\triangle A I D \sim \triangle A B F.
Therefore, AFB=ADI=90\angle A F B = \angle A D I = 90^{\circ}.
Similarly, AGB=90\angle A G B = 90^{\circ}.
Thus, points AA, BB, FF, and GG are concyclic, with ABA B being the diameter of the circle, and
FBG=AIBAFB=45\angle F B G = \angle A I B - \angle A F B = 45^{\circ}.
By the Law of Sines, we have
FG=ABsinFBG F G = A B \sin \angle F B G \text{. }

Therefore, AB2=2FG2A B^{2} = 2 F G^{2}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.