Maths Olympiad Prep

Library / /120 of 520

Algebra Difficulty 6.2 National olympiad Prove it

Example 1 (5th IMO Problem) Prove: cosπ7cos2π7+cos3π7=12\cos \frac{\pi}{7}-\cos \frac{2 \pi}{7}+\cos \frac{3 \pi}{7}=\frac{1}{2}.

Solution

Proof: Let A=cosπ7cos2π7+cos3π7A=\cos \frac{\pi}{7}-\cos \frac{2 \pi}{7}+\cos \frac{3 \pi}{7}, and construct its complementary conjugate B=sinπ7sin2π7+B=\sin \frac{\pi}{7}-\sin \frac{2 \pi}{7}+ sin3π7\sin \frac{3 \pi}{7}

Then A2+B2=34cosπ7+2cos2π7A^{2}+B^{2}=3-4 \cos \frac{\pi}{7}+2 \cos \frac{2 \pi}{7},
A2B2=cosπ7+3cos2π75cos3π7A^{2}-B^{2}=-\cos \frac{\pi}{7}+3 \cos \frac{2 \pi}{7}-5 \cos \frac{3 \pi}{7}.
(1) + (2) gives 2A2=35A2 A^{2}=3-5 A.

Solving for AA yields A=12A=\frac{1}{2} or A=3A=-3 (discard the latter).

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.