Maths Olympiad Prep

Track / Stage 7 / 136 of 300 #1536 of 1964

Problem 1536

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.3 Prove it

Let θ1,θ2,,θn\theta_1,\theta_2,\cdots,\theta_n be nn real numbers such that sinθ1+sinθ2++sinθn=0\sin \theta_1+\sin \theta_2+\cdots+\sin \theta_n=0. Prove that
sinθ1+2sinθ2++nsinθn[n24]|\sin \theta_1+2 \sin \theta_2+\cdots +n \sin \theta_n| \leq \left[ \frac{n^2}{4} \right]

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Given sinθ1+sinθ2++sinθn=0 \sin \theta_1 + \sin \theta_2 + \cdots + \sin \theta_n = 0 , we need to prove that:
sinθ1+2sinθ2++nsinθnn24 \left| \sin \theta_1 + 2 \sin \theta_2 + \cdots + n \sin \theta_n \right| \leq \left\lfloor \frac{n^2}{4} \right\rfloor

1. Rephrasing the problem:
Let ai=sinθi a_i = \sin \theta_i for i=1,2,,n i = 1, 2, \ldots, n . Given that a1+a2++an=0 a_1 + a_2 + \cdots + a_n = 0 and ai1 |a_i| \leq 1 for all i i , we need to prove:
a1+2a2++nann24 \left| a_1 + 2a_2 + \cdots + n a_n \right| \leq \left\lfloor \frac{n^2}{4} \right\rfloor

2. Using the given condition:
Since a1+a2++an=0 a_1 + a_2 + \cdots + a_n = 0 , we can rewrite the expression a1+2a2++nan a_1 + 2a_2 + \cdots + n a_n in terms of partial sums.

3. Partial sums and bounding:
Consider the partial sums Sk=a1+a2++ak S_k = a_1 + a_2 + \cdots + a_k . Note that Sn=0 S_n = 0 and S0=0 S_0 = 0 . We can express:
a1+2a2++nan=k=1nkak a_1 + 2a_2 + \cdots + n a_n = \sum_{k=1}^n k a_k

4. Rewriting the sum:
We can rewrite the sum k=1nkak \sum_{k=1}^n k a_k as:
k=1nkak=k=1nSkk=1n1Sk \sum_{k=1}^n k a_k = \sum_{k=1}^n S_k - \sum_{k=1}^{n-1} S_k
This simplifies to:
k=1nkak=Sn+k=1n1Sk=k=1n1Sk \sum_{k=1}^n k a_k = S_n + \sum_{k=1}^{n-1} S_k = \sum_{k=1}^{n-1} S_k

5. Bounding the partial sums:
Since Sn=0 S_n = 0 and ai1 |a_i| \leq 1 , the partial sums Sk S_k are bounded by:
Skk |S_k| \leq k
This is because each ai a_i can contribute at most 1 1 in magnitude to the sum.

6. Summing the bounds:
We need to sum the bounds of the partial sums:
k=1n1Skk=1n1Skk=1n1k=(n1)n2 \left| \sum_{k=1}^{n-1} S_k \right| \leq \sum_{k=1}^{n-1} |S_k| \leq \sum_{k=1}^{n-1} k = \frac{(n-1)n}{2}

7. Comparing with the desired bound:
We need to compare (n1)n2 \frac{(n-1)n}{2} with n24 \left\lfloor \frac{n^2}{4} \right\rfloor :
(n1)n2=n2n2 \frac{(n-1)n}{2} = \frac{n^2 - n}{2}
For large n n , n2n2 \frac{n^2 - n}{2} is approximately n22 \frac{n^2}{2} , which is less than or equal to n24 \left\lfloor \frac{n^2}{4} \right\rfloor .

8. Conclusion:
Therefore, we have:
a1+2a2++nann24 \left| a_1 + 2a_2 + \cdots + n a_n \right| \leq \left\lfloor \frac{n^2}{4} \right\rfloor

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.