Olympiad Maths Prep

Library / /3 of 3

Geometry Difficulty 4.0 AIME Prove it Turkey

The diagonals of convex quadrilateral ABCDABCD meet at point EE. Given
ABCD=BCAD=BEDE \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
AB2ED+AD2BEBDBEEDAE2=BC2ED+CD2BEBDBEEDEC2. \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
AB2ED=CD2BEandAD2BE=BC2ED 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+BEED \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
(2BEBD1)AE2=BEED2ED2BEBD \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
(AE2BEED)(BEEDBD)=0 (AE^2 - BE \cdot ED) \left( \frac{BE - ED}{BD} \right) = 0
Therefore we have AE2=BEEDAE^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.

Looking for a route rather than 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.