Question Number 142698 by Willson last updated on 04/Jun/21
$$\mathrm{Prove}\:\mathrm{that}\:\forall\mathrm{n}\in\mathbb{N}^{\ast} \\ $$$$\:\:\:\:\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}−\mathrm{1}} {\prod}}\mathrm{sin}\left(\frac{\mathrm{k}\pi}{\mathrm{2n}}\right)\:=\:\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}−\mathrm{1}} {\prod}}\mathrm{cos}\left(\frac{\mathrm{k}\pi}{\mathrm{2n}}\right) \\ $$
Answered by Ar Brandon last updated on 04/Jun/21
$$\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}−\mathrm{1}} {\prod}}\mathrm{sin}\left(\frac{\mathrm{k}\pi}{\mathrm{2n}}\right)=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}−\mathrm{1}} {\prod}}\mathrm{cos}\left(\frac{\pi}{\mathrm{2}}−\frac{\mathrm{k}\pi}{\mathrm{2n}}\right)=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}−\mathrm{1}} {\prod}}\mathrm{cos}\left(\frac{\left(\mathrm{n}−\mathrm{k}\right)\pi}{\mathrm{2n}}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\mathrm{cos}\left(\frac{\mathrm{n}−\mathrm{1}}{\mathrm{2n}}\pi\right)\mathrm{cos}\left(\frac{\mathrm{n}−\mathrm{2}}{\mathrm{2n}}\pi\right)\centerdot\centerdot\centerdot\mathrm{cos}\left(\frac{\mathrm{2}}{\mathrm{2n}}\pi\right)\mathrm{cos}\left(\frac{\mathrm{1}}{\mathrm{2n}}\pi\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\mathrm{cos}\left(\frac{\mathrm{1}}{\mathrm{2n}}\pi\right)\mathrm{cos}\left(\frac{\mathrm{2}}{\mathrm{2n}}\pi\right)\centerdot\centerdot\centerdot\mathrm{cos}\left(\frac{\mathrm{n}−\mathrm{2}}{\mathrm{2n}}\pi\right)\mathrm{cos}\left(\frac{\mathrm{n}−\mathrm{1}}{\mathrm{2n}}\pi\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}−\mathrm{1}} {\prod}}\mathrm{cos}\left(\frac{\mathrm{k}}{\mathrm{2n}}\pi\right) \\ $$