Question Number 146924 by Willson last updated on 16/Jul/21
$$\boldsymbol{\mathrm{Montrer}}\:\boldsymbol{\mathrm{que}} \\ $$$$\underset{\boldsymbol{{k}}=\mathrm{0}} {\overset{\mathrm{2}\boldsymbol{{n}}β\mathrm{1}} {\sum}}\boldsymbol{{cos}}^{\mathrm{2}\boldsymbol{{n}}} \left(\boldsymbol{\theta}+\frac{\boldsymbol{{k}\pi}}{\mathrm{2}\boldsymbol{{n}}}\right)=\:\frac{\boldsymbol{{nC}}_{\mathrm{2}\boldsymbol{{n}}} ^{\boldsymbol{{n}}} }{\mathrm{2}^{\mathrm{2}\boldsymbol{{n}}β\mathrm{1}} } \\ $$
Answered by mindispower last updated on 17/Jul/21
$${cos}^{\mathrm{2}{n}} \left({x}\right)=\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }.\left(\frac{\underset{{k}=\mathrm{0}} {\overset{\mathrm{2}{n}} {\sum}}{C}_{\mathrm{2}{n}} ^{{k}} {e}^{{ikx}} .{e}^{β{i}\left(\mathrm{2}{n}β{k}\right){x}} }{\mathrm{2}}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }\left(\frac{\underset{{k}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{{k}} {e}^{{i}\left({k}β\mathrm{2}{n}+{k}\right){x}} +{C}_{\mathrm{2}{n}} ^{{n}} +\underset{{k}={n}+\mathrm{1}} {\overset{\mathrm{2}{n}} {\sum}}{C}_{\mathrm{2}{n}} ^{{k}} {e}^{{ikx}β{i}\left(\mathrm{2}{n}β{k}\right){x}} }{\mathrm{2}}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }\left(\frac{\underset{{k}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{{k}} {e}^{{i}\left(\mathrm{2}{k}β\mathrm{2}{n}\right){x}} +\underset{{k}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{\mathrm{2}{n}β{k}} {e}^{{i}\left(\mathrm{2}{n}β{k}\right)β{ikx}} }{\mathrm{2}}+\frac{{C}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }\left(\frac{\underset{{k}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{{k}} \left({e}^{β\left(\mathrm{2}{n}β\mathrm{2}{k}\right){x}} +{e}^{{i}\left(\mathrm{2}{n}β\mathrm{2}{k}\right){x}} \right)}{\mathrm{2}}\:+\frac{{C}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}}\right. \\ $$$$=\frac{\underset{{k}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{{k}} {cos}\left(\left(\mathrm{2}{n}β\mathrm{2}{k}\right){x}\right)}{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }+\frac{{C}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}} \\ $$$${S}=\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }\underset{{k}=\mathrm{0}} {\overset{\mathrm{2}{n}β\mathrm{1}} {\sum}}{Re}\left(\underset{{m}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{{m}} {e}^{{i}\left(\mathrm{2}{n}β\mathrm{2}{m}\right)\left(\theta+\frac{{k}\pi}{\mathrm{2}{n}}\right)} +\frac{{C}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}}\right) \\ $$$$=\frac{{nC}_{{n}} ^{\mathrm{2}{b}} }{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} } \\ $$$$=\frac{{nC}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}}+{Re}\left(\underset{{m}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{{m}} .{e}^{{i}\left(\mathrm{2}{n}β\mathrm{2}{m}\right)\theta} \underset{{k}=\mathrm{0}} {\overset{\mathrm{2}{n}β\mathrm{1}} {\sum}}{e}^{{i}\left({n}β{m}\right).\frac{{k}\pi}{{n}}} \right) \\ $$$$=\frac{{nC}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }+{Re}\underset{{m}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{{m}} {e}^{{i}\left(\mathrm{2}{n}β\mathrm{2}{m}\right)\theta} .\frac{\mathrm{1}β\left({e}^{{i}\left({n}β{m}\right).\frac{\pi}{{n}}} \right)^{\mathrm{2}{n}} \:}{\mathrm{1}β{e}^{{i}\left({n}β{m}\right).\frac{\pi}{{n}}} } \\ $$$$=\frac{{nC}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }+{Re}\left(\underset{{m}=\mathrm{0}} {\overset{{n}β\mathrm{1}} {\sum}}{C}_{\mathrm{2}{n}} ^{{m}} {e}^{{i}\left(\mathrm{2}{n}β\mathrm{2}{m}\right)\theta} .\frac{\mathrm{1}β{e}^{{i}\mathrm{2}\left({n}β{m}\right)\pi} }{\mathrm{1}β{e}^{{i}\left({n}β{m}\right).\frac{\pi}{{n}}} }\right) \\ $$$$=\frac{{nC}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} }+\mathrm{0} \\ $$$$\Rightarrow\underset{{k}=\mathrm{0}} {\overset{\mathrm{2}{n}β\mathrm{1}} {\sum}}{cos}^{\mathrm{2}{n}} \left(\theta+\frac{{k}\pi}{\mathrm{2}{n}}\right)=\frac{{nC}_{{n}} ^{\mathrm{2}{n}} }{\mathrm{2}^{\mathrm{2}{n}β\mathrm{1}} } \\ $$