Maths Olympiad Prep

Library / Estonian Mathematical Olympiad /34 of 93

Estonian Mathematical Olympiad

Geometry Difficulty 5.8 AIME, harder Prove it Estonia

Let nn be a positive integer divisible by 44. Prove that
sin⁡2(1⋅360∘n)+sin⁡2(2⋅360∘n)+sin⁡2(3⋅360∘n)+⋯+sin⁡2(n⋅360∘n)=n2.\sin^2\left(1 \cdot \frac{360^\circ}{n}\right) + \sin^2\left(2 \cdot \frac{360^\circ}{n}\right) + \sin^2\left(3 \cdot \frac{360^\circ}{n}\right) + \dots + \sin^2\left(n \cdot \frac{360^\circ}{n}\right) = \frac{n}{2}.

Solutions — 2

Solution 1

Let n=4kn = 4k. For each i=1,2,…,ni = 1, 2, \dots, n, denote αi=i⋅360∘n\alpha_i = i \cdot \frac{360^\circ}{n} and xi=sin⁡2αix_i = \sin^2 \alpha_i. We pair the terms as (x1,xk+1),(x2,xk+2),…,(xk,x2k)(x_1, x_{k+1}), (x_2, x_{k+2}), \dots, (x_k, x_{2k}) and (x2k+1,x3k+1),(x2k+2,x3k+2),…,(x3k,x4k)(x_{2k+1}, x_{3k+1}), (x_{2k+2}, x_{3k+2}), \dots, (x_{3k}, x_{4k}). Since
αi+k=(i+k)⋅360∘n=i⋅360∘n+k⋅360∘n=αi+90∘, \alpha_{i+k} = (i + k) \cdot \frac{360^\circ}{n} = i \cdot \frac{360^\circ}{n} + k \cdot \frac{360^\circ}{n} = \alpha_i + 90^\circ,
we have
sin⁡2αi+k=sin⁡2(αi+90∘)=sin⁡2(90∘−(−αi))=cos⁡2(−αi)=cos⁡2αi. \sin^2 \alpha_{i+k} = \sin^2 (\alpha_i + 90^\circ) = \sin^2 (90^\circ - (-\alpha_i)) = \cos^2 (-\alpha_i) = \cos^2 \alpha_i.
Therefore xi+xi+k=sin⁡2αi+cos⁡2αi=1x_i + x_{i+k} = \sin^2 \alpha_i + \cos^2 \alpha_i = 1. Thus, the sum of the numbers of each pair is 11. Since we have n2\frac{n}{2} pairs, the sum of all numbers is n2\frac{n}{2}.

Solution 2

Let n=4kn = 4k. Note that
sin⁡2(i⋅360∘n)=1−cos⁡(2i⋅360∘n)2=12−12cos⁡(2i⋅360∘n). \sin^2 \left( i \cdot \frac{360^\circ}{n} \right) = \frac{1 - \cos \left( 2i \cdot \frac{360^\circ}{n} \right)}{2} = \frac{1}{2} - \frac{1}{2} \cos \left( 2i \cdot \frac{360^\circ}{n} \right).
For each i=1,2,…,ni = 1, 2, \dots, n, denote αi=i⋅360∘n\alpha_i = i \cdot \frac{360^\circ}{n} and yi=cos⁡2αiy_i = \cos 2\alpha_i; then the equation to be proven takes the form 12n−12(y1+y2+⋯+yn)=12n\frac{1}{2}n - \frac{1}{2}(y_1 + y_2 + \dots + y_n) = \frac{1}{2}n, which is equivalent to y1+y2+⋯+yn=0y_1 + y_2 + \dots + y_n = 0. We are going to prove this equality in the rest. We pair the terms as (y1,yk+1),(y2,yk+2),…,(yk,y2k)(y_1, y_{k+1}), (y_2, y_{k+2}), \dots, (y_k, y_{2k}) and (y2k+1,y3k+1),(y2k+2,y3k+2),…,(y3k,y4k)(y_{2k+1}, y_{3k+1}), (y_{2k+2}, y_{3k+2}), \dots, (y_{3k}, y_{4k}) and prove the angle equality αi+k=αi+90∘\alpha_{i+k} = \alpha_i + 90^\circ as in Solution 1. Next, we see that
cos⁡2(αi+90∘)=cos⁡(2αi+180∘)=−cos⁡2αi, \cos 2(\alpha_i + 90^\circ) = \cos (2\alpha_i + 180^\circ) = -\cos 2\alpha_i,
from which it follows that yi+yi+k=cos⁡2αi−cos⁡2αi=0y_i + y_{i+k} = \cos 2\alpha_i - \cos 2\alpha_i = 0. Since the sum of the numbers of each pair is 00, the sum of all numbers is also 00.

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.