Maths Olympiad Prep

Library / IRL ABooklet /37 of 191

IRL ABooklet

Geometry Difficulty 5.2 AIME, harder Prove it Ireland

A parallelogram ABCD is such that BD⊥ABBD \perp AB. A point PP on BCBC is such that ∣PD∣=∣BE∣|PD| = |BE| where EE is the intersection point of BDBD and APAP. The point FF is the foot of the perpendicular from PP to BDBD. Prove
∣AB∣∣PF∣=2. \frac{|AB|}{|PF|} = \sqrt{2}.

Solution

From the construction we have ∣EF∣=∣FD∣|EF| = |FD| and FPFP is parallel to ABAB. It follows that △ABE\triangle ABE is similar to △PFE\triangle PFE, hence
∣AB∣∣PF∣=∣BE∣∣EF∣(2) \frac{|AB|}{|PF|} = \frac{|BE|}{|EF|} \qquad (2)

Figure 1
Because BC∥ADBC \parallel AD, the angles ∠FBP\angle FBP and ∠BDA\angle BDA are equal. This implies that the right angled triangles △ABD\triangle ABD and △PFB\triangle PFB are similar, and so
∣AB∣∣PF∣=∣BD∣∣BF∣=∣BE∣+2⋅∣EF∣∣BE∣+∣EF∣(3) \frac{|AB|}{|PF|} = \frac{|BD|}{|BF|} = \frac{|BE| + 2 \cdot |EF|}{|BE| + |EF|} \qquad (3)

Combining (2) and (3) we get
∣BE∣∣EF∣=∣BE∣+2⋅∣EF∣∣BE∣+∣EF∣, i.e.∣BE∣2+∣BE∣⋅∣EF∣=∣BE∣⋅∣EF∣+2⋅∣EF∣2which gives∣BE∣2=2⋅∣EF∣2. \begin{gather*} \frac{|BE|}{|EF|} = \frac{|BE| + 2 \cdot |EF|}{|BE| + |EF|}, \text{ i.e.} \\ |BE|^2 + |BE| \cdot |EF| = |BE| \cdot |EF| + 2 \cdot |EF|^2 \quad \text{which gives} \\ |BE|^2 = 2 \cdot |EF|^2. \end{gather*}
Using (2) we now obtain
∣AB∣∣PF∣=∣BE∣∣EF∣=2. \frac{|AB|}{|PF|} = \frac{|BE|}{|EF|} = \sqrt{2}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.