Maths Olympiad Prep

Library / /7 of 16

Geometry Difficulty 5.4 AIME, harder Find the answer Italy

Problem:

Lucia, after drawing the square ABCDABCD with unit side, draws a circle centered at CC with radius equal to the side of the square. She then denotes by XX the intersection between the diagonal ACAC and the circle, and by YY the intersection of the line DXDX with the side ABAB. What is the length of the segment AYAY?

Pick one

Solution

Solution:

The answer is (B)\mathbf{(B)}. Let us draw the line rr perpendicular to the side ADAD and passing through XX. Let HH be the intersection between rr and ADAD, and let KK be the intersection between CBCB and rr. Let JJ be the projection of XX onto the side CDCD. Let us first show that triangles DHXDHX and DAYDAY are similar. Indeed, XDH=YDA\angle XDH = \angle YDA since it is shared by the two triangles, and DHX=DAY=90\angle DHX = \angle DAY = 90^\circ, since the first is the angle formed by the two perpendicular lines HXHX and ADAD, while the second is an angle of a square; the first similarity criterion for triangles leads to the conclusion we sought. From this we derive that
HXDH=AYAD=AYAB. \frac{HX}{DH} = \frac{AY}{AD} = \frac{AY}{AB}.
We now observe that CKDJCKDJ forms a square: indeed it has three angles equal to 90=CJX=XKC=KCJ90^\circ = \angle CJX = \angle XKC = \angle KCJ, the first two because they are angles formed by two orthogonal lines and the last because it is an angle of a square. Therefore we have KX=CK=CJKX = CK = CJ. Let us call \ell the side of the square. Since CX=CB=CX = CB = \ell, the radius of the circle, we have that CX=2CKCX = \sqrt{2} \cdot CK. KCDHKCDH is a rectangle, because it has all right angles, hence we can obtain the relation CK=DHCK = DH, and by difference of segments HX=HKXK=DCJCHX = HK - XK = DC - JC. Putting together what we have found, we obtain that DH=CK=2DH = CK = \frac{\ell}{\sqrt{2}} and that HX=DCCJ=2=(222)HX = DC - CJ = \ell - \frac{\ell}{\sqrt{2}} = \left(\frac{2-\sqrt{2}}{2}\right) \ell. We can now conclude, since
AYAB=(222)12=21 \frac{AY}{AB} = \left(\frac{2-\sqrt{2}}{2}\right) \frac{1}{\sqrt{2}} = \sqrt{2} - 1

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