Với $n$ là số tự nhiên lớn hơn $1$, hãy chứng minh rằng $$\sin \dfrac{\pi}n \cdot \sin \dfrac{2\pi}n \cdot \sin \dfrac{3\pi}n \ldots \sin\dfrac{(n-1)\pi}n = \dfrac{n}{2^{n-1}}.$$
Đầu tiên bài này ta đi sẽ đi chứng minh Công thức [imath]Euler[/imath] [imath]:[/imath]
Với mọi số thực [imath]x[/imath], ta có : [imath]e^{ix}=cosx+isinx[/imath] [imath]([/imath]với [imath]e[/imath] là cơ số [imath]logarit[/imath] tự nhiên[imath],[/imath] [imath]i[/imath] là đơn vị số phức[imath])[/imath]
Xét hàm số [imath]f[/imath] được xác định bởi [imath]:[/imath] [imath]f(x)=e^{-ix}(cosx+isinx)[/imath]
Khi đó [imath]:[/imath] [imath]f'(x)=-ie^{-ix}(cosx+isinx)+ e^{-ix}(icosx-sinx)=e^{-ix}(-icosx+sinx)+ e^{-ix}(icosx-sinx)= e^{-ix}(-icosx+sinx+icosx-sinx)=0[/imath]
Do [imath]f'(x)=0[/imath] nên [imath]f(x)[/imath] là hàm hằng [imath]\Rightarrow f(x)=k[/math],[/imath] [imath]\forall x[/imath]
Cho [imath]x=0[math],[/imath] ta có [imath]:[/imath] [imath]f(0)=k \Leftrightarrow e^{-i.0}(cos0+isin0)=k \Leftrightarrow k=1(1+0.i)=1[/math].[/imath] Vậy [imath]f(x)=1[/imath]
Cuối cùng ta có [imath]:[/imath] [imath]e^{-ix}(cosx+isinx)=1[/imath] hay [imath]e^{ix}=cosx+isinx[/imath] [imath]([/imath]đpcm[imath])[/imath] [imath](1)[/imath]
Từ đpcm trên ta cũng có [imath]:[/imath] [imath]e^{-ix}=cosx-isinx[/imath] [imath]([/imath]việc từ [imath](1)[/imath] thay [imath]x[/imath] bởi [imath]-x[math])[/imath] [imath](2)[/imath]
Cũng bởi [imath](1)[/imath] cho [imath]x=\pi[/math],[/imath] ta có [imath]:[/imath] [imath]e^{i\pi}=cos\pi+isin\pi=-1+i.0=-1=i^{2} \Leftrightarrow e^{\frac{i\pi}{2}}=i[/imath] [imath](3)[/imath]
[imath](1)(2) \Rightarrow sinx=(2i)^{-1}(e^{ix}-e^{-ix})[/imath] [imath](*)[/imath]
Trở lại bài toán [imath]:[/imath] Đặt [imath]A=sin\frac{\pi}{n} \cdot sin\frac{2\pi}{n} \cdot sin\frac{3\pi}{n} \cdots sin\frac{(n-1)\pi}{n}=\displaystyle \prod_{k=1}^{n-1}sin\frac{k\pi}{n}[/imath]
Áp dụng công thức [imath](*)[/imath],[/imath] ta có [imath]:[/imath] [imath]A=(2i)^{1-n} \displaystyle \prod_{k=1}^{n-1}(e^{\frac{ik\pi}{n}}-e^{\frac{-ik\pi}{n}})= (2i)^{1-n} \displaystyle \prod_{k=1}^{n-1}e^{\frac{-ik\pi}{n}} \displaystyle \prod_{k=1}^{n-1}(e^{\frac{2ik\pi}{n}}-1)[/imath]
Xét [imath]:[/imath] [imath]B=\displaystyle \prod_{k=1}^{n-1}e^{\frac{-ik\pi}{n}}=e^{\displaystyle \sum_{k=1}^{n-1}\frac{-ik\pi}{n}}=e^{\frac{-i\pi}{n} \displaystyle \sum_{k=1}^{n-1}k}= e^{\frac{-i\pi}{n}.\frac{n(n-1)}{2}}= e^{\frac{-i(n-1)\pi}{2}}=i^{-(n-1)}=i^{1-n}[/imath] [imath]([/imath]do [imath](3)[/imath][imath])[/imath]
Khi đó [imath]:[/imath] [imath](2i)^{1-n}B=2^{1-n}(i^{2})^{1-n}=2^{1-n}(-1)^{1-n}=(-2)^{1-n} \Rightarrow A= (-2)^{1-n} \displaystyle \prod_{k=1}^{n-1}(e^{\frac{2ik\pi}{n}}-1)[/imath]
Nếu [imath]n[/imath] là số lẻ thì [imath]n-1[/imath] là số chẵn [imath]\Rightarrow A=2^{1-n} \displaystyle \prod_{k=1}^{n-1}(1-e^{\frac{2ik\pi}{n}})[/imath]
Nếu [imath]n[/imath] là số chẵn thì [imath]n-1[/imath] là số lẻ [imath]\Rightarrow A=-2^{1-n} [-\displaystyle \prod_{k=1}^{n-1}(1-e^{\frac{2ik\pi}{n}})]= 2^{1-n} \displaystyle \prod_{k=1}^{n-1}(1-e^{\frac{2ik\pi}{n}})[/imath]
Vậy tóm lại [imath]A= 2^{1-n} \displaystyle \prod_{k=1}^{n-1}(1-e^{\frac{2ik\pi}{n}})[/imath]
Xét bài toán [imath]:[/imath] Nghiệm đơn vị cấp [imath]n[math],[/imath] trong đó [imath]n[/imath] là một số nguyên dương và một số [imath]z[/imath] thỏa mãn phương trình [imath]:[/imath]
[imath]z^{n}=1[/imath] mà [imath]e^{ik2\pi}=1[/imath] nên [imath]z^{n}= e^{ik2\pi} \Leftrightarrow z=e^{\frac{ik2\pi}{n}}[/imath] [imath](k=\overline{0,n-1})[/imath]
Với mỗi một số [imath]n[/imath] xác định thì ta có [imath]:[/imath] [imath]e^{\frac{ik2\pi}{n}}[/imath] là một nghiệm của phương trình [imath]:[/imath] [imath]z^{n}-1=0[/imath]
Nên theo hệ quả định lý [imath]Bezout[/imath][imath],[/imath] ta có [imath]:[/imath] [imath]z^{n}-1= \displaystyle \prod_{k=0}^{n-1}(z-e^{\frac{2ik\pi}{n}}) \Leftrightarrow (z-1)\displaystyle \sum_{k=0}^{n-1}z^{k}=(z-1) \displaystyle \prod_{k=1}^{n-1}(z-e^{\frac{2ik\pi}{n}}) \Leftrightarrow \displaystyle \prod_{k=1}^{n-1}(z-e^{\frac{2ik\pi}{n}})= \displaystyle \sum_{k=0}^{n-1}z^{k}[/imath]
Cho [imath]z=1[/imath][imath],[/imath] ta có [imath]:[/imath] [imath]\displaystyle \prod_{k=1}^{n-1}(1-e^{\frac{2ik\pi}{n}})= \displaystyle \sum_{k=0}^{n-1}1^{k}=n[/imath]
Vậy [imath]:[/imath] [imath]A= 2^{1-n} \displaystyle \prod_{k=1}^{n-1}(1-e^{\frac{2ik\pi}{n}})= 2^{1-n}.n=\frac{n}{2^{n-1}}[/imath] [imath]([/imath]đpcm[imath])[/imath]