Note that for any complex number ζ with ∣ζ∣=1 we have ∣1−ζ∣2=(1−ζ)(1−ζˉ)=2−(ζ+ζˉ)=2(1−Re(ζ)). If ζ=e2iθ=cos(2θ)+isin(2θ), we can use 1−cos(2θ)=2sin2θ to obtain ∣1−e2iθ∣2=4sin2θ. Therefore, 4n−1(k=1∏n−1sinnkπ)2=k=1∏n−1(4sin2nkπ)=k=1∏n−11−en2ikπ2. Now, the n numbers en2ikπ,k=0,1,…,n−1 are precisely the nth roots of unity, and so zn−1=(z−1)k=1∏n−1(z−en2ikπ). Hence, for all z, zn−1+⋯+z+1=k=1∏n−1(z−en2ikπ), and so, letting z=1, n=k=1∏n−1(1−en2ikπ),which givesn2=k=1∏n−11−en2ikπ2. Consequently, 22(n−1)(k=1∏n−1sinnkπ)2=n2, from which it follows that k=1∏n−1sinnkπ=2n−1n, since sinnkπ>0 for k=1,2,…,n−1.
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: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.