1963 IMO Problems/Problem 5
Prove that .
Let . We have
Then, by product-sum formulae, we have
Let and . From the addition formulae, we have
From the Trigonometric Identity, , so
We must prove that . It suffices to show that .
Now note that . We can find these in terms of and :
Therefore . Note that this can be factored:
Clearly , so . This proves the result.
|1963 IMO (Problems) • Resources|
|1 • 2 • 3 • 4 • 5 • 6||Followed by|
|All IMO Problems and Solutions|