Maths Olympiad Prep

Library / /2 of 39

Geometry Difficulty 4.5 AIME Prove it Ireland

Let ABCDABCD be a square. The line segment ABAB is divided internally at HH so that ABBH=AH2|AB| \cdot |BH| = |AH|^2. Let EE be the midpoint of ADAD and XX be the midpoint of AHAH. Let YY be the point on EBEB such that XYXY is perpendicular to BEBE. Prove that XY=XH|XY| = |XH|.

Solution

Let ABCDABCD have side length 2a2a and write x=AHx = |AH|. Then, by assumption
x2=2a(2ax). x^2 = 2a(2a - x).
Figure 1
Because AB=2EA|AB| = 2|EA|, Pythagoras gives BE2=EA2+AB2=5EA2|BE|^2 = |EA|^2 + |AB|^2 = 5|EA|^2.

Observe that BXY\triangle BXY and BEA\triangle BEA are similar. Hence, BEEA=BXXY\frac{|BE|}{|EA|} = \frac{|BX|}{|XY|} and so
5XY2=BX2=(2ax2)2=4a22ax+x24=2a(2ax)+x24=x2+x24=5(x2)2. \begin{aligned} 5|XY|^2 &= |BX|^2 = \left(2a - \frac{x}{2}\right)^2 = 4a^2 - 2ax + \frac{x^2}{4} \\ &= 2a(2a - x) + \frac{x^2}{4} = x^2 + \frac{x^2}{4} = 5\left(\frac{x}{2}\right)^2. \end{aligned}
This implies XY=x2=XH|XY| = \frac{x}{2} = |XH|.

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.