Question Number 67396 by Cmr 237 last updated on 26/Aug/19
Commented by mathmax by abdo last updated on 26/Aug/19
$${let}\:{P}\left({z}\right)\:=\:{z}^{\mathrm{2}{n}} \:+\mathrm{1}\:{let}\:{determine}\:{the}\:{roots}\:{of}\:{P}\left({z}\right) \\ $$$${P}\left({z}\right)=\mathrm{0}\:\Leftrightarrow\:{z}^{\mathrm{2}{n}} \:=−\mathrm{1}\:\:\Leftrightarrow\:\:{z}^{\mathrm{2}{n}} ={e}^{{i}\left(\mathrm{2}{k}+\mathrm{1}\right)\pi} \:\:{if}\:{z}\:={r}\:{e}^{{i}\theta} \:\:\Rightarrow \\ $$$$\mathrm{2}{n}\theta\:=\left(\mathrm{2}{k}+\mathrm{1}\right)\pi\:\Rightarrow\theta_{{k}} =\frac{\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{2}{n}}\:\Rightarrow\:{the}\:{roots}\:{are}\: \\ $$$${z}_{{k}} ={e}^{\frac{{i}\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{2}{n}}} \:\:\:{with}\:{k}\in\left[\left[\mathrm{0},\mathrm{2}{n}−\mathrm{1}\right]\right]\:\:\:{and} \\ $$$${P}\left({z}\right)\:=\prod_{{k}=\mathrm{0}} ^{\mathrm{2}{n}−\mathrm{1}} \:\:\left({z}−{e}^{\frac{{i}\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{2}{n}}} \right)\: \\ $$$${z}_{\mathrm{0}} ={e}^{\frac{{i}\pi}{\mathrm{2}{n}}} \:\:\:\:\:\:,{z}_{\mathrm{1}} ={e}^{\frac{{i}\mathrm{3}\pi}{\mathrm{2}{n}}} \:\:,\:\:{z}_{\mathrm{2}} =\:{e}^{\frac{{i}\mathrm{5}\pi}{\mathrm{2}{n}}} \:…..{z}_{{n}−\mathrm{1}} \:={e}^{\frac{{i}\left(\mathrm{2}{n}−\mathrm{1}\right)\pi}{\mathrm{2}{n}}} \\ $$$${z}_{{n}} =\:{e}^{\frac{{i}\left(\mathrm{2}{n}+\mathrm{1}\right)\pi}{\mathrm{2}{n}}} \:\:\:,\:{z}_{{n}+\mathrm{1}} ={e}^{\frac{{i}\left(\mathrm{2}{n}+\mathrm{3}\right)\pi}{\mathrm{2}{n}}} \:\:\:\:…..{z}_{\mathrm{2}{n}−\mathrm{1}} ={e}^{\frac{{i}\left(\mathrm{4}{n}−\mathrm{1}\right)\pi}{\mathrm{2}{n}}} \\ $$$$\overset{−} {{z}}_{\mathrm{0}} \:={e}^{\left(\mathrm{2}\pi−\frac{\pi}{\mathrm{2}{n}}\right){i}} \:={e}^{\frac{{i}\left(\mathrm{4}{n}−\mathrm{1}\right)\pi}{\mathrm{2}{n}}} \:={z}_{\mathrm{2}{n}−\mathrm{1}} \:\:\:\:\:\:\overset{−} {{z}}_{\mathrm{1}} \:\:={z}_{\mathrm{2}{n}−\mathrm{2}} \:\:\:…\:\Rightarrow \\ $$$${P}\left({x}\right)\:=\prod_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \left({z}−{z}_{{k}} \right)\left({z}−\overset{−} {{z}}_{{k}} \right)\:=\prod_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \left({z}^{\mathrm{2}} −\mathrm{2}{Re}\left({z}_{{k}} \right){z}\:+\mathrm{1}\right) \\ $$$$=\prod_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \left({z}^{\mathrm{2}} −\mathrm{2}{cos}\frac{\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{2}{n}}{z}\:+\mathrm{1}\right) \\ $$$${z}=−\mathrm{1}\:\Rightarrow{P}\left(−\mathrm{1}\right)=\mathrm{2}\:=\prod_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \left(\mathrm{2}\:+\mathrm{2}\:{cos}\left(\frac{\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{2}{n}}\right)\right) \\ $$$$=\mathrm{2}^{{n}} \:\prod_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:\:\left(\mathrm{2}\:{cos}^{\mathrm{2}} \left(\frac{\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{4}{n}}\right)\right)\:=\mathrm{2}^{\mathrm{2}{n}} \left\{\:\prod_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:\:{cos}\left(\frac{\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{4}{n}}\right)\right\}^{\mathrm{2}} \:\Rightarrow \\ $$$$\left\{\prod_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:{cos}\left(\frac{\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{4}{n}}\right)\right\}^{\mathrm{2}} =\frac{\mathrm{2}}{\mathrm{2}^{\mathrm{2}{n}} }\:\:\:\:{for}\:{k}\in\left[\left[\mathrm{0},{n}−\mathrm{1}\right]\right]\:\:{cos}\left(\frac{\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{4}{n}}\right)>\mathrm{0}\:\Rightarrow \\ $$$$\prod_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:{cos}\left(\frac{\left(\mathrm{2}{k}+\mathrm{1}\right)\pi}{\mathrm{4}{n}}\right)\:=\frac{\sqrt{\mathrm{2}}}{\mathrm{2}^{{n}} }\:\:{changement}\:{of}\:{indice}\:{j}={k}+\mathrm{1}\:{give} \\ $$$$\prod_{{j}=\mathrm{0}} ^{{n}} \:{cos}\left(\frac{\left(\mathrm{2}{j}−\mathrm{1}\right)\pi}{\mathrm{4}{n}}\right)\:=\frac{\sqrt{\mathrm{2}}}{\mathrm{2}^{{n}} }\:\:\:\:\:{the}\:{equality}\:{is}\:{proved}. \\ $$
Commented by mathmax by abdo last updated on 26/Aug/19
$$\prod_{{j}=\mathrm{1}} ^{{n}} \:{cos}\left(\frac{\left(\mathrm{2}{j}−\mathrm{1}\right)\pi}{\mathrm{4}{n}}\right)=\frac{\sqrt{\mathrm{2}}}{\mathrm{2}^{{n}} }\:\:\:\:\left({error}\:{of}\:{typo}\right) \\ $$