Maths Olympiad Prep

Library / Belarusian Mathematical Olympiad /103 of 208

Belarusian Mathematical Olympiad

Geometry Difficulty 6.0 AIME, harder Prove it Belarus

Let aa, bb, cc, dd, xx, yy denote the lengths of the sides ABAB, BCBC, CDCD, DADA and the diagonals ACAC, BDBD of a cyclic quadrilateral ABCDABCD, respectively.

(1a+1c)2+(1b+1d)2≥8(1x2+1y2). \left(\frac{1}{a} + \frac{1}{c}\right)^2 + \left(\frac{1}{b} + \frac{1}{d}\right)^2 \ge 8 \left(\frac{1}{x^2} + \frac{1}{y^2}\right).

Solution

(Solution by Y. Dubovik, U. Kazlouski.) By the Cosine Law for the triangles DABDAB and DCBDCB,
y2=a2+d2−2adcos⁡A,(1) y^2 = a^2 + d^2 - 2ad \cos A, \quad (1)
y2=b2+c2+2bccos⁡A.(2) y^2 = b^2 + c^2 + 2bc \cos A. \quad (2)
Multiplying (1) and (2) by bcbc and adad, respectively, and summing the obtained equalities, we get
(bc+ad)y2=(a2+d2)bc+(b2+c2)ad (bc + ad)y^2 = (a^2 + d^2)bc + (b^2 + c^2)ad
Figure 1
≥2adbc+2bcad=4abcd. \geq 2adbc + 2bcad = 4abcd.

8y2≤2(bc+ad)abcd=2ad+2bc.(3) \frac{8}{y^2} \le \frac{2(bc + ad)}{abcd} = \frac{2}{ad} + \frac{2}{bc}. \quad (3)
In the same way we can obtain
8x2≤2ab+2cd.(4) \frac{8}{x^2} \le \frac{2}{ab} + \frac{2}{cd}. \quad (4)
So,
8(1x2+1y2)≤2ad+2bc+2ab+2cd=2(1a+1c)(1b+1d)≤(1a+1c)2+(1b+1d)2, \begin{aligned} 8 \left( \frac{1}{x^2} + \frac{1}{y^2} \right) &\le \frac{2}{ad} + \frac{2}{bc} + \frac{2}{ab} + \frac{2}{cd} = 2 \left( \frac{1}{a} + \frac{1}{c} \right) \left( \frac{1}{b} + \frac{1}{d} \right) \\ &\le \left( \frac{1}{a} + \frac{1}{c} \right)^2 + \left( \frac{1}{b} + \frac{1}{d} \right)^2, \end{aligned}
as required.

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.