Maths Olympiad Prep

Library / Junior Turkish Mathematical Olympiad /7 of 19

Junior Turkish Mathematical Olympiad

Geometry Difficulty 4.0 AIME Prove it Turkey

The diagonals of convex quadrilateral ABCDABCD meet at point EE. Given
∣AB∣∣CD∣=∣BC∣∣AD∣=∣BE∣∣DE∣ \frac{|AB|}{|CD|} = \frac{|BC|}{|AD|} = \sqrt{\frac{|BE|}{|DE|}}
show that ABCDABCD is either a parallelogram or a cyclic quadrilateral.

Solution

Using Stewart's Theorem in triangles ABDABD and BCDBCD, we obtain
AB2⋅ED+AD2⋅BEBD−BE⋅EDAE2=BC2⋅ED+CD2⋅BEBD−BE⋅EDEC2. \frac{AB^2 \cdot ED + AD^2 \cdot BE}{BD} - \frac{BE \cdot ED}{AE^2} = \frac{BC^2 \cdot ED + CD^2 \cdot BE}{BD} - \frac{BE \cdot ED}{EC^2}.
Using the given relations
AB2⋅ED=CD2⋅BEandAD2⋅BE=BC2⋅ED AB^2 \cdot ED = CD^2 \cdot BE \quad \text{and} \quad AD^2 \cdot BE = BC^2 \cdot ED
we get AE=ECAE = EC. Using the first equation, we obtain
BEBD(AD2+CD2)=AE2+BE⋅ED \frac{BE}{BD}(AD^2 + CD^2) = AE^2 + BE \cdot ED
By the median length equation in triangle ADCADC, we obtain
AD2+CD2=2(AE2+ED2) AD^2 + CD^2 = 2(AE^2 + ED^2)
and hence
(2⋅BEBD−1)AE2=BE⋅ED−2⋅ED2⋅BEBD \left( 2 \cdot \frac{BE}{BD} - 1 \right) AE^2 = BE \cdot ED - 2 \cdot ED^2 \cdot \frac{BE}{BD}
The last equation is equivalent to
(AE2−BE⋅ED)(BE−EDBD)=0 (AE^2 - BE \cdot ED) \left( \frac{BE - ED}{BD} \right) = 0
Therefore we have AE2=BE⋅EDAE^2 = BE \cdot ED or BE=EDBE = ED. In the first case ABCDABCD is a cyclic quadrilateral and in the second case it is a parallelogram.

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.