A number or a short expression. Spacing and $ signs are ignored.
Solution
Consider the polynomial P(z)=z7−1. Let z=eix=cosx+isinx. Then z7−1=(cos7x−(27)cos5xsin2x+(47)cos3xsin4x−(67)cosxsin6x−1)+i(−sin7x+(27)sin5xcos2x−(47)sin3xcos4x+(67)sinxcos6x) Consider the real part of this equation. We may simplify it to 64cos7x−…−1, where the middle terms are irrelevant. The roots of P are x=72π,74π,…, so ∏k=17cos(72πk)=641. But k=1∏7cos(72πk)=(k=1∏3cos(7kπ))2 so ∏k=13cos(7kπ)=81. Now consider the imaginary part of this equation. We may simplify it to −64sin11x+…+7sinx, where again the middle terms are irrelevant. We can factor out sinx to get −64sin10x+…+7, and this polynomial has roots x=72π,…,712π (but not 0 ). Hence ∏k=16sin(72πk)=−647. But, like before, we have k=1∏6sin(72πk)=−(k=1∏3sin(72πk))2 hence ∏k=13sin(7kπ)=87. As a result, our final answer is 8187=7.
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: Omni-MATH,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.