三角函数与代数恒等式(1)
证明: ∏ k = 1 n − 1 s i n ( k π n ) = n 2 n − 1 \prod_{k=1}^{n-1}sin(\frac{k\pi}{n})=\frac{n}{2^{n-1}} ∏k=1n−1sin(nkπ)=2n−1n
先证明:
对于一切复数 z z z都有 z n − 1 = ∏ k = 1 n ( z − e 2 π i k / n ) z^n-1=\prod_{k=1}^{n}(z-e^{2\pi ik/n}) zn−1=∏k=1n(z−e2πik/n)
z n − 1 = 0 → z n = 1 = c o s 2 k π + i s i n 2 k π = e 2 π i k → z = e 2 π i k / n ( k = 1 , 2 , 3... n ) → z n − 1 = ∏ k = 1 n ( z − e 2 π i k / n ) z^n-1=0\rightarrow z^n=1=cos2k\pi+isin2k\pi=e^{2\pi ik}\\ \rightarrow z=e^{2\pi ik/n}\ \ (k=1,2,3...n) \\ \rightarrow z^n-1=\prod_{k=1}^{n}(z-e^{2\pi ik/n)} zn−1=0→