Maths Olympiad Prep

Library / /31 of 120

, 2012

Geometry Difficulty 4.9 AIME Prove it Saudi Arabia

Let ABCDABCD be a cyclic quadrilateral with B^90\hat{B} \neq 90^\circ and
AB2+BC2+CD2+DA2=2AC2. AB^2 + BC^2 + CD^2 + DA^2 = 2AC^2.
Prove that the midpoint of diagonal BDBD is on ACAC.

Solution

Let MM be the intersection point of the diagonals ACAC and BDBD.

Figure 1

Since B^90\hat{B} \ne 90^\circ it follows that D^90\hat{D} \ne 90^\circ, and hence we have cosB^0\cos \hat{B} \ne 0 and cosD^0\cos \hat{D} \ne 0. The quadrilateral ABCDABCD is cyclic, so therefore B^+D^=180\hat{B} + \hat{D} = 180^\circ. It follows cosB^+cosD^=0\cos \hat{B} + \cos \hat{D} = 0, and by the Cosine Law we obtain
AB2+BC2AC22ABBC+AD2+DC2AC22ADDC=0.(1) \frac{AB^2 + BC^2 - AC^2}{2AB \cdot BC} + \frac{AD^2 + DC^2 - AC^2}{2AD \cdot DC} = 0. \quad (1)
The given relation is equivalent to
AB2+BC2AC2=(AD2+DC2AC2)0, AB^2 + BC^2 - AC^2 = -(AD^2 + DC^2 - AC^2) \neq 0,
and from (1) it follows ABBC=ADDCAB \cdot BC = AD \cdot DC. This implies that K[ABC]=K[ADC]K[ABC] = K[ADC], and hence BB=DDBB' = DD', where BBBB' and DDDD' are the altitudes of triangles ABCABC and ADCADC, respectively.

The triangles BBMBB'M and DDMDD'M are congruent, so MB=MDMB = MD, and we are done.

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.