Maths Olympiad Prep

Library / /19 of 53

Geometry Difficulty 5.9 AIME, harder Prove it China

Outside a convex quadrilateral ABCDABCD we construct equilateral triangles ABQABQ, BCRBCR, CDSCDS and DAPDAP. Denoting by xx the sum of the diagonals of ABCDABCD, and by yy the sum of line segments joining the midpoints of opposite sides of PQRSPQRS, we find the maximum value of yx\frac{y}{x}.

Solution

If ABCDABCD is a square, then yx=1+32\frac{y}{x} = \frac{1+\sqrt{3}}{2}.

Now we prove that yx1+32\frac{y}{x} \le \frac{1+\sqrt{3}}{2}.

Denote by P1,Q1,R1,S1P_1, Q_1, R_1, S_1 the midpoints of DADA, ABAB, BCBC, CDCD, and by EE, FF, GG, HH the midpoints of SPSP, PQPQ, QRQR, RSRS. Then P1Q1R1S1P_1Q_1R_1S_1 is a parallelogram.

Now draw lines P1EP_1E, S1ES_1E, and denote by MM, NN the midpoints of DPDP, DSDS. Then
Figure 1
DS1=S1N=DN=EM,DP1=P1M=MD=EN, \begin{aligned} DS_1 &= S_1N = DN = EM, \\ DP_1 &= P_1M = MD = EN, \end{aligned}
and
P1DS1=3606060PDS=240(180END)=60+END=ENS1=EMP1. \begin{aligned} \angle P_1DS_1 &= 360^\circ - 60^\circ - 60^\circ - \angle PDS \\ &= 240^\circ - (180^\circ - \angle END) = 60^\circ + \angle END \\ &= \angle ENS_1 = \angle EMP_1. \end{aligned}
So we have DP1S1MP1ENES1\triangle DP_1S_1 \cong \triangle MP_1E \cong \triangle NES_1. Hence, EP1S1\triangle EP_1S_1 is equilateral.

By the same argument, GQ1R1\triangle GQ_1R_1 is also equilateral. Now let UU, VV be the midpoints of P1S1P_1S_1, Q1R1Q_1R_1, respectively. We then obtain
EGEU+UV+VG=32P1S1+P1Q1+32Q1R1=P1Q1+3P1S1=12BD+32AC, \begin{aligned} EG &\le EU + UV + VG = \frac{\sqrt{3}}{2}P_1S_1 + P_1Q_1 + \frac{\sqrt{3}}{2}Q_1R_1 \\ &= P_1Q_1 + \sqrt{3}P_1S_1 = \frac{1}{2}BD + \frac{\sqrt{3}}{2}AC, \end{aligned}
and also
FH12AC+32BD.FH \le \frac{1}{2}AC + \frac{\sqrt{3}}{2}BD.

Taking the sum of these two inequalities, we have y1+32xy \le \frac{1+\sqrt{3}}{2}x, i.e.
yx1+32. \frac{y}{x} \le \frac{1+\sqrt{3}}{2}.

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.