Question Number 194638 by Erico last updated on 12/Jul/23
$$\mathrm{Prove}\:\mathrm{that}\:\forall{n}\in\mathrm{IN}^{\ast} \:\:\:\:\: \\ $$$$\:\:\:\underset{{k}=\mathrm{1}} {\overset{\mathrm{2}^{{n}} −\mathrm{1}} {\sum}}\:\frac{\mathrm{1}}{{sin}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}^{{n}+\mathrm{1}} }\right)}=\:\frac{\mathrm{2}^{\mathrm{2}{n}+\mathrm{1}} −\mathrm{2}}{\mathrm{3}} \\ $$$$\mathrm{Give}\:\mathrm{in}\:\mathrm{terms}\:\mathrm{of}\:{n}\:\:\:\underset{{k}=\mathrm{1}} {\overset{\mathrm{2}^{{n}} −\mathrm{1}} {\sum}}\:\frac{\mathrm{1}}{{sin}^{\mathrm{4}} \left(\frac{{k}\pi}{\mathrm{2}^{{n}+\mathrm{1}} }\right)} \\ $$
Commented by witcher3 last updated on 12/Jul/23
$$\frac{\mathrm{1}}{\mathrm{sin}^{\mathrm{4}} \left(\mathrm{x}\right)}=\frac{\left(\mathrm{sin}^{\mathrm{2}} \left(\mathrm{x}\right)+\mathrm{cos}^{\mathrm{2}} \left(\mathrm{x}\right)\right)^{\mathrm{2}} }{\mathrm{sin}^{\mathrm{4}} \left(\mathrm{x}\right)}=\left(\mathrm{1}+\frac{\mathrm{2}}{\mathrm{tg}^{\mathrm{2}} \left(\mathrm{x}\right)}+\frac{\mathrm{1}}{\mathrm{tg}^{\mathrm{4}} \left(\mathrm{x}\right)}\right) \\ $$$$\Sigma\frac{\mathrm{1}}{\mathrm{tg}^{\mathrm{2}} \left(\mathrm{x}\right)}..\mathrm{known}\:\mathrm{By}\:\mathrm{1st}\:\mathrm{Quation} \\ $$$$\Sigma\mathrm{tg}^{\mathrm{4}} \left(\mathrm{x}\right)…\mathrm{withe}\:\mathrm{same}\:\mathrm{methode}\:\mathrm{Polynomial}\:\mathrm{roots} \\ $$$$\mathrm{p}_{\mathrm{4}} =\Sigma\mathrm{x}_{\mathrm{i}} ^{\mathrm{4}} …\mathrm{use}\:\mathrm{newtoon}\:\mathrm{identity}\: \\ $$$$ \\ $$
Answered by witcher3 last updated on 12/Jul/23
$$\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\frac{\mathrm{1}}{\mathrm{sin}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)}=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\left(\mathrm{1}+\frac{\mathrm{1}}{\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)}\right),\mathrm{k}\rightarrow\mathrm{2}^{\mathrm{n}} −\mathrm{k} \\ $$$$=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\left(\mathrm{1}+\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)\right),\Leftrightarrow\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}−\mathrm{1}} } {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\frac{\mathrm{1}}{\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)}…\mathrm{I} \\ $$$$\mathrm{Let}\: \\ $$$$\mathrm{S}=\underset{\mathrm{k}=\mathrm{1},\mathrm{k}\neq\mathrm{2}^{\mathrm{n}} } {\overset{\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{1}} {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)+\underset{\mathrm{2}^{\mathrm{n}} +\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right) \\ $$$$\mathrm{for}\:\mathrm{the}\:\mathrm{2nd}\:\mathrm{Sum}\:\mathrm{k}\rightarrow\mathrm{2}^{\mathrm{n}} +\mathrm{k} \\ $$$$\Rightarrow\mathrm{S}=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)+\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{2}^{\mathrm{n}} +\mathrm{k}}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)+\frac{\mathrm{1}}{\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)} \\ $$$$\Rightarrow\mathrm{S}=\mathrm{2}\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)…\mathrm{A}=\left[\mathrm{1},\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{1}\right]−\left\{\mathrm{2}^{\mathrm{n}} \right\} \\ $$$$\mathrm{let}'\mathrm{s}\:\:\mathrm{find}\:\mathrm{polynonial}\:\mathrm{withe}\:\mathrm{Roots}\:\mathrm{tg}\left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right),\mathrm{k}\in\mathrm{A} \\ $$$$\mathrm{tg}\left(\mathrm{2}^{\mathrm{n}+\mathrm{1}} \mathrm{x}\right)=\mathrm{0}\Leftrightarrow\mathrm{2}^{\mathrm{n}+\mathrm{1}} \mathrm{x}=\mathrm{k}\pi\Leftrightarrow\mathrm{x}=\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} },\mathrm{k}\in\mathrm{A}\cup\left\{\mathrm{2}^{\mathrm{n}} ,\mathrm{0}\right\} \\ $$$$\mathrm{if}\:\mathrm{we}\:\mathrm{tack},\frac{\mathrm{tg}\left(\mathrm{2}^{\mathrm{n}+\mathrm{1}} \mathrm{x}\right)}{\mathrm{tg}\left(\mathrm{x}\right)}=\mathrm{0}\Rightarrow\mathrm{x}=\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} },\mathrm{k}\in\mathrm{A} \\ $$$$\mathrm{we}\:\mathrm{Know} \\ $$$$\mathrm{tg}\left(\mathrm{mx}\right)=\frac{\underset{\mathrm{k}=\mathrm{0}} {\overset{\left[\frac{\mathrm{m}−\mathrm{1}}{\mathrm{2}}\right]} {\sum}}\left(−\mathrm{1}\right)^{\mathrm{k}} \begin{pmatrix}{\mathrm{m}}\\{\mathrm{2k}+\mathrm{1}}\end{pmatrix}\mathrm{tg}^{\mathrm{2k}+\mathrm{1}} \left(\mathrm{x}\right)}{\underset{\mathrm{k}=\mathrm{0}} {\overset{\left[\frac{\mathrm{m}}{\mathrm{2}}\right]} {\sum}}\left(−\mathrm{1}\right)^{\mathrm{k}} \begin{pmatrix}{\mathrm{m}}\\{\mathrm{2k}}\end{pmatrix}.\mathrm{tg}^{\mathrm{2k}} \left(\mathrm{x}\right)_{} } \\ $$$$\Rightarrow\frac{\mathrm{tg}\left(\mathrm{2}^{\mathrm{n}+\mathrm{1}} \mathrm{x}\right)}{\mathrm{tg}\left(\mathrm{x}\right)}=\mathrm{0}\Leftrightarrow\underset{\mathrm{k}=\mathrm{0}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\left(−\mathrm{1}\right)^{\mathrm{k}} \begin{pmatrix}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\\{\mathrm{2k}+\mathrm{1}}\end{pmatrix}\mathrm{tg}^{\mathrm{2k}} \left(\mathrm{x}\right)=\mathrm{p}\left(\mathrm{tg}\left(\mathrm{x}\right)\right) \\ $$$$\underset{\mathrm{k}=\mathrm{0}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\left(−\mathrm{1}\right)^{\mathrm{k}} \begin{pmatrix}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\\{\mathrm{2k}+\mathrm{1}}\end{pmatrix}\mathrm{t}^{\mathrm{2k}} =\mathrm{p}\left(\mathrm{t}\right),\mathrm{deg}\left(\mathrm{p}\right)=\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{2} \\ $$$$\mathrm{and}\:\mathrm{root}\:\mathrm{of}\:\mathrm{P}.\mathrm{are}\:\mathrm{tan}\left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right),\mathrm{k}\in\mathrm{A}\:\mathrm{card}\:\left(\mathrm{A}\right)=\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{2} \\ $$$$\mathrm{so}\:\mathrm{we}\:\mathrm{have}\:\mathrm{all}\:\mathrm{root}\:\mathrm{of}\:\mathrm{P} \\ $$$$\mathrm{if}\:\mathrm{f}\left(\mathrm{x}\right)=\underset{\mathrm{k}=\mathrm{0}} {\overset{\mathrm{n}} {\sum}}\mathrm{a}_{\mathrm{k}} \mathrm{x}^{\mathrm{k}} \:\:;\mathrm{x}_{\mathrm{i}} \mathrm{root}\:\mathrm{of}\:\mathrm{P} \\ $$$$\Sigma\mathrm{x}_{\mathrm{i}} =−\frac{\mathrm{a}_{\mathrm{n}−\mathrm{1}} }{\mathrm{a}_{\mathrm{n}} },\underset{\mathrm{1}\leqslant\mathrm{i}<\mathrm{j}\leqslant\mathrm{n}} {\sum}\mathrm{x}_{\mathrm{i}} \mathrm{x}_{\mathrm{j}} =\frac{\mathrm{a}_{\mathrm{n}−\mathrm{2}} }{\mathrm{a}_{\mathrm{n}} } \\ $$$$\underset{\mathrm{k}\in\mathrm{A}} {\sum}\mathrm{tg}\left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)=\mathrm{0} \\ $$$$\underset{\mathrm{k}_{\mathrm{1}} <\mathrm{k}_{\mathrm{2}} ,\left(\mathrm{k}_{\mathrm{1}} ,\mathrm{k}_{\mathrm{2}} \right)\in\mathrm{A}^{\mathrm{2}} } {\sum}\mathrm{tg}\left(\frac{\mathrm{k}_{\mathrm{1}} \pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)\mathrm{tg}\left(\frac{\mathrm{k}_{\mathrm{2}} \pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)=−\frac{\begin{pmatrix}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\\{\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{3}}\end{pmatrix}}{\begin{pmatrix}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\\{\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{1}}\end{pmatrix}} \\ $$$$=−\frac{\mathrm{1}}{\mathrm{6}}\left(\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{1}\right)\left(\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{2}\right) \\ $$$$\Sigma\mathrm{x}_{\mathrm{i}} ^{\mathrm{2}} =\left(\Sigma\mathrm{x}_{\mathrm{i}} \right)^{\mathrm{2}} −\mathrm{2}\Sigma\mathrm{x}_{\mathrm{i}} \mathrm{x}_{\mathrm{j}} =\frac{\mathrm{1}}{\mathrm{3}}\left(\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{1}\right)\left(\mathrm{2}^{\mathrm{n}+\mathrm{1}} −\mathrm{2}\right) \\ $$$$\mathrm{S}=\mathrm{2}\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right) \\ $$$$\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)=\frac{\mathrm{1}}{\mathrm{6}}\left(\mathrm{2}^{\mathrm{2n}+\mathrm{2}} −\mathrm{3}.\mathrm{2}^{\mathrm{n}+\mathrm{1}} +\mathrm{2}\right)=\frac{\mathrm{2}^{\mathrm{2n}+\mathrm{1}} −\mathrm{3}.\mathrm{2}^{\mathrm{n}} +\mathrm{1}}{\mathrm{3}} \\ $$$$\mathrm{S}_{\mathrm{1}} =\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\frac{\mathrm{1}}{\mathrm{sin}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)}=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\left(\mathrm{1}+\frac{\mathrm{1}}{\mathrm{tg}\left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)}\right) \\ $$$$=\mathrm{2}^{\mathrm{n}} −\mathrm{1}+\Sigma\mathrm{tg}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{m}+\mathrm{1}} }\right)=\mathrm{2}^{\mathrm{n}} −\mathrm{1}+\frac{\mathrm{2}^{\mathrm{2n}+\mathrm{1}} −\mathrm{3}.\mathrm{2}^{\mathrm{n}} +\mathrm{1}}{\mathrm{3}} \\ $$$$\Leftrightarrow\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{2}^{\mathrm{n}} −\mathrm{1}} {\sum}}\frac{\mathrm{1}}{\mathrm{sin}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }\right)}=\frac{\mathrm{2}^{\mathrm{2n}+\mathrm{1}} −\mathrm{2}}{\mathrm{3}} \\ $$$$ \\ $$$$ \\ $$