Maths Olympiad Prep

Library / Selection Examinations for the IMO /5 of 37

Selection Examinations for the IMO

Geometry Difficulty 7.8 National Olympiad, round 2 Prove it Slovenia

The base ABAB of the trapezoid ABCDABCD is longer than the base CDCD, and ∠ADC\angle ADC is a right angle. The diagonals ACAC and BDBD are perpendicular. Let EE be the foot of the altitude from DD to the line BCBC. Prove that ∣AE∣∣BE∣=∣AC∣⋅∣CD∣∣AC∣2−∣CD∣2\frac{|AE|}{|BE|} = \frac{|AC| \cdot |CD|}{|AC|^2 - |CD|^2}.

Solutions — 3

Solution 1

Figure 1

1st solution. Since ACDACD is a right triangle, we have ∣AC∣2−∣CD∣2=∣AD∣2|AC|^2 - |CD|^2 = |AD|^2. The diagonals of the trapezoid intersect at a right angle, so ∠DCA=π2−∠BDC=∠ADB\angle DCA = \frac{\pi}{2} - \angle BDC = \angle ADB. This, together with ∠ADC=π2=∠BAD\angle ADC = \frac{\pi}{2} = \angle BAD, implies that the triangles ACDACD and BDABDA are similar. Thus, ∣AD∣∣CD∣=∣AB∣∣AD∣\frac{|AD|}{|CD|} = \frac{|AB|}{|AD|} or, equivalently, ∣AD∣2=∣AB∣⋅∣CD∣|AD|^2 = |AB| \cdot |CD|. This implies
∣AC∣⋅∣CD∣∣AC∣2−∣CD∣2=∣AC∣⋅∣CD∣∣AD∣2=∣AC∣⋅∣CD∣∣AB∣⋅∣CD∣=∣AC∣∣AB∣. \frac{|AC| \cdot |CD|}{|AC|^2 - |CD|^2} = \frac{|AC| \cdot |CD|}{|AD|^2} = \frac{|AC| \cdot |CD|}{|AB| \cdot |CD|} = \frac{|AC|}{|AB|}.
Since ∠BAD+∠DEB=π2+π2=π\angle BAD + \angle DEB = \frac{\pi}{2} + \frac{\pi}{2} = \pi. ABEDABED is a cyclic quadrilateral. So, ∠AEB=∠ADB\angle AEB = \angle ADB. Because of the right angles we have ∠BAC=π2−∠CAD=∠ADB\angle BAC = \frac{\pi}{2} - \angle CAD = \angle ADB. The triangles ABEABE and CBACBA are similar, since ∠AEB=∠BAC\angle AEB = \angle BAC and ∠EBA=∠ABC\angle EBA = \angle ABC. Hence, ∣AE∣∣BE∣=∣CA∣∣AB∣\frac{|AE|}{|BE|} = \frac{|CA|}{|AB|} and this implies
∣AC∣⋅∣CD∣∣AC∣2−∣CD∣2=∣AC∣∣AB∣=∣AE∣∣BE∣. \frac{|AC| \cdot |CD|}{|AC|^2 - |CD|^2} = \frac{|AC|}{|AB|} = \frac{|AE|}{|BE|}.

Solution 2

Figure 2

2nd solution. Since ACDACD is a right triangle, we have ∣AC∣2−∣CD∣2=∣AD∣2|AC|^2 - |CD|^2 = |AD|^2. Thus, it suffices to show that
∣AE∣∣BE∣=∣AC∣⋅∣CD∣∣AD∣2. \frac{|AE|}{|BE|} = \frac{|AC| \cdot |CD|}{|AD|^2}.
Let TT be the intersection of the diagonals. Obviously, ∠TAD=∠ABT\angle TAD = \angle ABT, so the triangles ACDACD and BDABDA are similar. Hence, ∣AD∣∣CD∣=∣AB∣∣AD∣\frac{|AD|}{|CD|} = \frac{|AB|}{|AD|} or, equivalently, ∣AD∣2=∣AB∣⋅∣CD∣|AD|^2 = |AB| \cdot |CD|. We have ∠BAD+∠DEB=π2+π2=π\angle BAD + \angle DEB = \frac{\pi}{2} + \frac{\pi}{2} = \pi, so the quadrilateral ABEDABED is cyclic and ∠EAD=∠EBD\angle EAD = \angle EBD. Similarly, we have ∠CTD+∠DEC=π\angle CTD + \angle DEC = \pi, so the quadrilateral CEDTCEDT is cyclic and ∠CDE=∠CTE\angle CDE = \angle CTE. Since the triangles AEDAED and BETBET are similar, we have ∣AE∣∣BE∣=∣AD∣∣BT∣\frac{|AE|}{|BE|} = \frac{|AD|}{|BT|}. The triangles ADCADC and BTABTA are similar, so ∣AD∣∣BT∣=∣AC∣∣AB∣\frac{|AD|}{|BT|} = \frac{|AC|}{|AB|}. Hence,
∣AE∣∣BE∣=∣AC∣∣AB∣=∣AC∣⋅∣CD∣∣AB∣⋅∣CD∣=∣AC∣⋅∣CD∣∣AD∣2. \frac{|AE|}{|BE|} = \frac{|AC|}{|AB|} = \frac{|AC| \cdot |CD|}{|AB| \cdot |CD|} = \frac{|AC| \cdot |CD|}{|AD|^2}.
which was to be shown.

Solution 3

3rd solution. We have ∠BAD+∠DEB=π2+π2=π\angle BAD + \angle DEB = \frac{\pi}{2} + \frac{\pi}{2} = \pi, so ABEDABED is a cyclic quadrilateral. By Ptolemy's theorem we have ∣AB∣⋅∣DE∣+∣AD∣⋅∣BE∣=∣AE∣⋅∣BD∣|AB| \cdot |DE| + |AD| \cdot |BE| = |AE| \cdot |BD| or
∣AE∣∣BE∣=∣AB∣⋅∣DE∣∣BD∣⋅∣BE∣+∣AD∣∣BD∣. \frac{|AE|}{|BE|} = \frac{|AB| \cdot |DE|}{|BD| \cdot |BE|} + \frac{|AD|}{|BD|}.
Let TT be the intersection of the diagonals. Then ABDABD and TBATBA are right triangles and ∠TBA=∠ABD\angle TBA = \angle ABD, so they are similar. This implies that ∣AD∣∣BD∣=∣TA∣∣AB∣\frac{|AD|}{|BD|} = \frac{|TA|}{|AB|} and ∣AB∣∣BD∣=∣BT∣∣AB∣\frac{|AB|}{|BD|} = \frac{|BT|}{|AB|}. Similarly, DEBDEB and CTBCTB are right triangles and since ∠EBD=∠TBC\angle EBD = \angle TBC, they too are similar. We see that ∣DE∣∣BE∣=∣CT∣∣BT∣\frac{|DE|}{|BE|} = \frac{|CT|}{|BT|} and
∣AE∣∣BE∣=∣BT∣⋅∣CT∣∣AB∣⋅∣BT∣+∣TA∣∣AB∣=∣CT∣+∣TA∣∣AB∣=∣CA∣∣AB∣ \frac{|AE|}{|BE|} = \frac{|BT| \cdot |CT|}{|AB| \cdot |BT|} + \frac{|TA|}{|AB|} = \frac{|CT| + |TA|}{|AB|} = \frac{|CA|}{|AB|}
Finally, the triangles ADCADC and BADBAD are similar and we have ∣CD∣∣AD∣=∣AD∣∣AB∣\frac{|CD|}{|AD|} = \frac{|AD|}{|AB|}, so
∣AE∣∣BE∣=∣CA∣∣AB∣=∣CA∣⋅∣CD∣∣AD∣2=∣CA∣⋅∣CD∣∣AC∣2−∣CD∣2 \frac{|AE|}{|BE|} = \frac{|CA|}{|AB|} = \frac{|CA| \cdot |CD|}{|AD|^2} = \frac{|CA| \cdot |CD|}{|AC|^2 - |CD|^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.