Question Number 192688 by Erico last updated on 24/May/23
$$\mathrm{Prove}\:\mathrm{that}\:: \\ $$$$\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \:=\:\frac{\mathrm{1}}{\mathrm{2}\pi}\:\underset{\:−\pi} {\int}^{\:\:\:\pi} \left(\mathrm{2cos}\frac{\theta}{\mathrm{2}}\right)^{\mathrm{n}} \mathrm{cos}\left[\left(\frac{\mathrm{n}}{\mathrm{2}}−\mathrm{k}\right)\theta\right]\mathrm{d}\theta \\ $$
Answered by witcher3 last updated on 24/May/23
$$\mathrm{A}=\frac{\mathrm{1}}{\pi}\mathrm{Re}\int_{\mathrm{0}} ^{\pi} \left(\mathrm{e}^{\mathrm{i}\frac{\mathrm{x}}{\mathrm{2}}} +\mathrm{e}^{−\frac{\mathrm{ix}}{\mathrm{2}}} \right)^{\mathrm{n}} \mathrm{e}^{\mathrm{i}\left(\frac{\mathrm{n}}{\mathrm{2}}−\mathrm{k}\right)\mathrm{x}} \mathrm{dx},\mathrm{k}\in\left[\mathrm{0},\mathrm{n}\right] \\ $$$$\left(\mathrm{e}^{\frac{\mathrm{ix}}{\mathrm{2}}} +\mathrm{e}^{−\frac{\mathrm{ix}}{\mathrm{2}}} \right)^{\mathrm{n}} =\underset{\mathrm{m}=\mathrm{0}} {\overset{\mathrm{n}} {\sum}}\mathrm{C}_{\mathrm{n}} ^{\mathrm{m}} \mathrm{e}^{\frac{\mathrm{imx}}{\mathrm{2}}} \mathrm{e}^{−\frac{\mathrm{i}}{\mathrm{2}}\left(\mathrm{n}−\mathrm{m}\right)\mathrm{x}} \\ $$$$=\Sigma\mathrm{C}_{\mathrm{n}} ^{\mathrm{m}} \mathrm{e}^{\mathrm{ix}\left(\mathrm{m}−\frac{\mathrm{n}}{\mathrm{2}}\right)} \\ $$$$\mathrm{A}=\frac{\mathrm{1}}{\pi}\Sigma\mathrm{C}_{\mathrm{n}} ^{\mathrm{m}} \mathrm{Re}\int_{\mathrm{0}} ^{\pi} \mathrm{e}^{\mathrm{ix}\left(\mathrm{m}−\frac{\mathrm{n}}{\mathrm{2}}+\frac{\mathrm{n}}{\mathrm{2}}−\mathrm{k}\right)} \mathrm{dx} \\ $$$$=\frac{\mathrm{1}}{\pi}\Sigma\mathrm{C}_{\mathrm{n}} ^{\mathrm{m}} \mathrm{Re}\int_{\mathrm{0}} ^{\pi} \mathrm{e}^{\mathrm{ix}\left(\mathrm{m}−\mathrm{k}\right)} \mathrm{dx} \\ $$$$\int_{\mathrm{0}} ^{\pi} \mathrm{e}^{\mathrm{i}\left(\mathrm{m}−\mathrm{k}\right)\mathrm{x}} \mathrm{dx}=\begin{cases}{\frac{\left(−\mathrm{1}\right)^{\mathrm{m}−\mathrm{k}} −\mathrm{1}}{\mathrm{i}\left(\mathrm{m}−\mathrm{k}\right)},\mathrm{m}\neq\mathrm{k}}\\{\pi,\mathrm{m}=\mathrm{k}}\end{cases} \\ $$$$\mathrm{A}=\frac{\mathrm{1}}{\pi}\mathrm{Re}\left(\underset{\mathrm{m}\neq\mathrm{k}} {\sum}\frac{\left(−\mathrm{1}\right)^{\mathrm{m}−\mathrm{k}} −\mathrm{1}}{\mathrm{i}\left(\mathrm{m}−\mathrm{k}\right)}\mathrm{C}_{\mathrm{n}} ^{\mathrm{m}} +\pi\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \right) \\ $$$$=\frac{\mathrm{1}}{\pi}.\pi\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} =\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \\ $$$$\frac{\mathrm{1}}{\mathrm{2}\pi}\int_{−\pi} ^{\pi} \left(\mathrm{2cos}\left(\frac{\mathrm{x}}{\mathrm{2}}\right)\right)^{\mathrm{n}} \mathrm{cos}\left(\left[\frac{\mathrm{n}}{\mathrm{2}}−\mathrm{k}\right]\mathrm{x}\right)\mathrm{dx}=\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \\ $$$$ \\ $$