Maths Olympiad Prep

Library / Irish Mathematical Olympiad /100 of 236

Irish Mathematical Olympiad

Geometry Difficulty 5.6 AIME, harder Prove it Ireland

Suppose xx, yy, zz are positive numbers that sum to π\pi. Prove that
sin⁡2x+sin⁡2y+sin⁡2zsin⁡x+sin⁡y+sin⁡z≤1, \frac{\sin 2x + \sin 2y + \sin 2z}{\sin x + \sin y + \sin z} \le 1,
with equality iff x=y=z=π/3x = y = z = \pi/3.

Solutions — 2

Solution 1

sin⁡2x+sin⁡2y+sin⁡2z=sin⁡2x+sin⁡2y−sin⁡2(x+y)=sin⁡2x(1−cos⁡2y)+sin⁡2y(1−cos⁡2x)=2sin⁡2xsin⁡2y+2sin⁡2ysin⁡2x=4sin⁡xsin⁡y(cos⁡xsin⁡y+cos⁡ysin⁡x)=4sin⁡xsin⁡ysin⁡z. \begin{align*} \sin 2x + \sin 2y + \sin 2z &= \sin 2x + \sin 2y - \sin 2(x + y) \\ &= \sin 2x(1 - \cos 2y) + \sin 2y(1 - \cos 2x) \\ &= 2 \sin 2x \sin^2 y + 2 \sin 2y \sin^2 x \\ &= 4 \sin x \sin y (\cos x \sin y + \cos y \sin x) \\ &= 4 \sin x \sin y \sin z. \end{align*}
Similarly
sin⁡x+sin⁡y+sin⁡z=sin⁡x+sin⁡y+sin⁡(x+y)=sin⁡x(1+cos⁡y)+sin⁡y(1+cos⁡x)=2sin⁡xcos⁡2y2+2sin⁡ycos⁡2x2=4cos⁡x2cos⁡y2(sin⁡x2cos⁡y2+sin⁡y2cos⁡x2)=4cos⁡x2cos⁡y2sin⁡x+y2=4cos⁡x2cos⁡y2cos⁡z2. \begin{align*} \sin x + \sin y + \sin z &= \sin x + \sin y + \sin(x + y) \\ &= \sin x(1 + \cos y) + \sin y(1 + \cos x) \\ &= 2 \sin x \cos^2 \frac{y}{2} + 2 \sin y \cos^2 \frac{x}{2} \\ &= 4 \cos \frac{x}{2} \cos \frac{y}{2} \left( \sin \frac{x}{2} \cos \frac{y}{2} + \sin \frac{y}{2} \cos \frac{x}{2} \right) \\ &= 4 \cos \frac{x}{2} \cos \frac{y}{2} \sin \frac{x+y}{2} \\ &= 4 \cos \frac{x}{2} \cos \frac{y}{2} \cos \frac{z}{2}. \end{align*}
Hence
sin⁡2x+sin⁡2y+sin⁡2zsin⁡x+sin⁡y+sin⁡z=8sin⁡x2sin⁡y2sin⁡z2. \frac{\sin 2x + \sin 2y + \sin 2z}{\sin x + \sin y + \sin z} = 8 \sin \frac{x}{2} \sin \frac{y}{2} \sin \frac{z}{2}.
But, if 0<a,b<π0 < a, b < \pi, then
sin⁡asin⁡b≤sin⁡a+b2, \sqrt{\sin a \sin b} \le \sin \frac{a+b}{2},
since
2sin⁡2a+b2−2sin⁡asin⁡b=1−cos⁡(a+b)−2sin⁡asin⁡b=1−cos⁡acos⁡b−sin⁡asin⁡b=1−cos⁡(a−b)≥0, \begin{align*} 2 \sin^2 \frac{a+b}{2} - 2 \sin a \sin b &= 1 - \cos(a+b) - 2 \sin a \sin b \\ &= 1 - \cos a \cos b - \sin a \sin b \\ &= 1 - \cos(a-b) \\ &\ge 0, \end{align*}
with equality iff a=ba = b. Using Jensen's Inequality for the function f(x)=ln⁡(sin⁡x)f(x) = \ln(\sin x) it follows that if a,b,c∈[0,π]a, b, c \in [0, \pi], then
sin⁡asin⁡bsin⁡c3≤sin⁡a+b+c3. \sqrt[3]{\sin a \sin b \sin c} \le \sin \frac{a+b+c}{3}.
Moreover, the inequality is strict unless a=b=ca = b = c.
It follows that
sin⁡x2sin⁡y2sin⁡z23≤sin⁡x+y+z6=sin⁡π6=12 \sqrt[3]{\sin \frac{x}{2} \sin \frac{y}{2} \sin \frac{z}{2}} \le \sin \frac{x+y+z}{6} = \sin \frac{\pi}{6} = \frac{1}{2}
whence
8sin⁡x2sin⁡y2sin⁡z2≤1, 8 \sin \frac{x}{2} \sin \frac{y}{2} \sin \frac{z}{2} \le 1,
with equality iff x=y=z=π/3x = y = z = \pi/3. The result follows.

Solution 2

Let ABCABC be a triangle with angles of size xx, yy and zz at AA, BB and CC, respectively. We follow standard notation and let OO be the circumcentre of △ABC\triangle ABC, RR the circumradius, rr the inradius, a,b,ca, b, c the side lengths and ss the semi-perimeter.
By ∣OBC∣|OBC| we denote the area of triangle OBCOBC etc. Because ∣OA∣=∣OB∣=∣OC∣=R|OA| = |OB| = |OC| = R and ∠BOC=2∠BAC\angle BOC = 2\angle BAC (central angle) etc., we have
∣OBC∣=12R2sin⁡2x,∣OCA∣=12R2sin⁡2y,∣OAB∣=12R2sin⁡2z. |OBC| = \frac{1}{2} R^2 \sin 2x, \quad |OCA| = \frac{1}{2} R^2 \sin 2y, \quad |OAB| = \frac{1}{2} R^2 \sin 2z.
Using the well-known formula ∣ABC∣=rs|ABC| = r s, these equations imply
sin⁡2x+sin⁡2y+sin⁡2z=2R2(∣OBC∣+∣OCA∣+∣OAB∣)=2R2∣ABC∣=2rsR2. \begin{align*} \sin 2x + \sin 2y + \sin 2z &= \frac{2}{R^2} (|OBC| + |OCA| + |OAB|) \\ &= \frac{2}{R^2} |ABC| = \frac{2 r s}{R^2}. \end{align*}
On the other hand, from the extended Sine-Rule
sin⁡xa=sin⁡yb=sin⁡zc=12R \frac{\sin x}{a} = \frac{\sin y}{b} = \frac{\sin z}{c} = \frac{1}{2R}
we obtain
sin⁡x+sin⁡y+sin⁡z=12R(a+b+c)=sR. \sin x + \sin y + \sin z = \frac{1}{2R}(a + b + c) = \frac{s}{R}.
Therefore,
sin⁡2x+sin⁡2y+sin⁡2zsin⁡x+sin⁡y+sin⁡z=2rR \frac{\sin 2x + \sin 2y + \sin 2z}{\sin x + \sin y + \sin z} = \frac{2r}{R}
and the desired inequality is equivalent to Euler's inequality R≥2rR \ge 2r, which is a consequence of Euler's Theorem ∣OI∣2=R(R−2r)|OI|^2 = R(R-2r), where II is the incentre of △ABC\triangle ABC.
The case of equality, R=2rR = 2r, therefore occurs exactly when O=IO = I and this is easily seen to be the case iff the triangle ABCABC is equilateral.

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.