Maths Olympiad Prep

Library / Estonian Math Competitions /36 of 148

Estonian Math Competitions

Geometry Difficulty 5.2 AIME, harder Prove it Estonia

Prove that
sin10∘⋅cos⁡20∘⋅sin⁡30∘⋅cos⁡40∘⋅sin⁡50∘⋅cos⁡60∘⋅sin⁡70∘⋅cos⁡80∘=1256. sin 10^\circ \cdot \cos 20^\circ \cdot \sin 30^\circ \cdot \cos 40^\circ \cdot \sin 50^\circ \cdot \cos 60^\circ \cdot \sin 70^\circ \cdot \cos 80^\circ = \frac{1}{256}.

Solutions — 2

Solution 1

As sin⁡10∘=cos⁡80∘\sin 10^\circ = \cos 80^\circ, sin⁡30∘=cos⁡60∘\sin 30^\circ = \cos 60^\circ, sin⁡50∘=cos⁡40∘\sin 50^\circ = \cos 40^\circ, and sin⁡70∘=cos⁡20∘\sin 70^\circ = \cos 20^\circ, the desired equality is equivalent to
(cos⁡20∘⋅cos⁡40∘⋅cos⁡60∘⋅cos⁡80∘)2=1256. (\cos 20^\circ \cdot \cos 40^\circ \cdot \cos 60^\circ \cdot \cos 80^\circ)^2 = \frac{1}{256}.
It is known that cos⁡60∘=12\cos 60^\circ = \frac{1}{2}. Concerning the other factors, we obtain
cos⁡20∘⋅cos⁡40∘⋅cos⁡80∘=8sin⁡20∘cos⁡20∘⋅cos⁡40∘⋅cos⁡80∘8sin⁡20∘=4sin⁡40∘cos⁡40∘⋅cos⁡80∘8sin⁡20∘=2sin⁡80∘cos⁡80∘8sin⁡20∘=sin⁡160∘8sin⁡20∘=sin⁡20∘8sin⁡20∘=18. \begin{aligned} \cos 20^\circ \cdot \cos 40^\circ \cdot \cos 80^\circ &= \frac{8 \sin 20^\circ \cos 20^\circ \cdot \cos 40^\circ \cdot \cos 80^\circ}{8 \sin 20^\circ} \\ &= \frac{4 \sin 40^\circ \cos 40^\circ \cdot \cos 80^\circ}{8 \sin 20^\circ} \\ &= \frac{2 \sin 80^\circ \cos 80^\circ}{8 \sin 20^\circ} \\ &= \frac{\sin 160^\circ}{8 \sin 20^\circ} = \frac{\sin 20^\circ}{8 \sin 20^\circ} = \frac{1}{8}. \end{aligned}
Consequently,
(cos⁡20∘⋅cos⁡40∘⋅cos⁡60∘⋅cos⁡80∘)2=(12⋅18)2=(116)2=1256. (\cos 20^\circ \cdot \cos 40^\circ \cdot \cos 60^\circ \cdot \cos 80^\circ)^2 = \left(\frac{1}{2} \cdot \frac{1}{8}\right)^2 = \left(\frac{1}{16}\right)^2 = \frac{1}{256}.

Solution 2

As sin⁡10∘=cos⁡80∘\sin 10^\circ = \cos 80^\circ, sin⁡30∘=cos⁡60∘\sin 30^\circ = \cos 60^\circ, sin⁡50∘=cos⁡40∘\sin 50^\circ = \cos 40^\circ, and sin⁡70∘=cos⁡20∘\sin 70^\circ = \cos 20^\circ, the l.h.s. of the desired equality can be rewritten as (cos⁡20∘cos⁡40∘cos⁡60∘cos⁡80∘)2(\cos 20^\circ \cos 40^\circ \cos 60^\circ \cos 80^\circ)^2. Hence the desired equality is equivalent to
cos⁡20∘cos⁡40∘cos⁡60∘cos⁡80∘=116.(2) \cos 20^\circ \cos 40^\circ \cos 60^\circ \cos 80^\circ = \frac{1}{16}. \qquad (2)
As cos⁡60∘=12\cos 60^\circ = \frac{1}{2} and sin⁡60∘=32\sin 60^\circ = \frac{\sqrt{3}}{2}, we have
cos⁡40∘cos⁡80∘=cos⁡(60∘−20∘)cos⁡(60∘+20∘)=(cos⁡60∘cos⁡20∘+sin⁡60∘sin⁡20∘)(cos⁡60∘cos⁡20∘−sin⁡60∘sin⁡20∘)=cos⁡260∘cos⁡220∘−sin⁡260∘sin⁡220∘=14cos⁡220∘−34sin⁡220∘=14(cos⁡220∘−3sin⁡220∘). \begin{aligned} \cos 40^\circ \cos 80^\circ &= \cos (60^\circ - 20^\circ) \cos (60^\circ + 20^\circ) \\ &= (\cos 60^\circ \cos 20^\circ + \sin 60^\circ \sin 20^\circ) (\cos 60^\circ \cos 20^\circ - \sin 60^\circ \sin 20^\circ) \\ &= \cos^2 60^\circ \cos^2 20^\circ - \sin^2 60^\circ \sin^2 20^\circ \\ &= \frac{1}{4} \cos^2 20^\circ - \frac{3}{4} \sin^2 20^\circ = \frac{1}{4} (\cos^2 20^\circ - 3 \sin^2 20^\circ). \end{aligned}
Thus
cos⁡20∘cos⁡40∘cos⁡60∘cos⁡80∘=18(cos⁡320∘−3sin⁡220∘cos⁡20∘).(3) \cos 20^\circ \cos 40^\circ \cos 60^\circ \cos 80^\circ = \frac{1}{8} (\cos^3 20^\circ - 3 \sin^2 20^\circ \cos 20^\circ). \quad (3)
By applying the formula cos⁡3x=cos⁡3x−3sin⁡2xcos⁡x\cos 3x = \cos^3 x - 3 \sin^2 x \cos x to x=20∘x = 20^\circ, we get cos⁡320∘−3sin⁡220∘cos⁡20∘=cos⁡60∘=12\cos^3 20^\circ - 3 \sin^2 20^\circ \cos 20^\circ = \cos 60^\circ = \frac{1}{2}. Consequently, (3) reduces to (2), completing the solution of the problem.

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.