Question Number 125760 by snipers237 last updated on 13/Dec/20
$${Let}\:{n}\geqslant\mathrm{1}\:{and}\:{integer},\:{P}_{{n}} \left({X}\right)=\left(\mathrm{1}+{X}\right)^{{n}} −\left(\mathrm{1}−{X}\right)^{{n}} \: \\ $$$$\left.\mathrm{1}\right)\:{Factorize}\:{P}_{{n}} \\ $$$$\left.\mathrm{2}\right){Deduce}\:\:{S}_{{n}} =\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left[\mathrm{4}+{cotan}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\:\right] \\ $$
Answered by mathmax by abdo last updated on 13/Dec/20
$$\left.\mathrm{1}\right)\:\mathrm{P}_{\mathrm{n}} \left(\mathrm{x}\right)=\mathrm{0}\:\Leftrightarrow\left(\frac{\mathrm{1}−\mathrm{x}}{\mathrm{1}+\mathrm{x}}\right)^{\mathrm{n}} \:=\mathrm{1}\:=\mathrm{e}^{\mathrm{i2k}\pi} \:\Rightarrow\frac{\mathrm{1}−\mathrm{x}}{\mathrm{1}+\mathrm{x}}=\mathrm{e}^{\frac{\mathrm{i2k}\pi}{\mathrm{n}}} \:\Rightarrow \\ $$$$\mathrm{1}−\mathrm{x}=\mathrm{e}^{\frac{\mathrm{i2k}\pi}{\mathrm{n}}} +\mathrm{e}^{\frac{\mathrm{i2k}\pi}{\mathrm{n}}} \mathrm{x}\:\Rightarrow\left(\mathrm{1}+\mathrm{e}^{\frac{\mathrm{i2k}\pi}{\mathrm{n}}} \right)\mathrm{x}=\mathrm{1}−\mathrm{e}^{\frac{\mathrm{i2k}\pi}{\mathrm{n}}} \:\Rightarrow\mathrm{so}\:\mathrm{the}\:\mathrm{roots}\:\mathrm{are} \\ $$$$\mathrm{x}_{\mathrm{k}} =\frac{\mathrm{1}−\mathrm{e}^{\frac{\mathrm{i2k}\pi}{\mathrm{n}}} }{\mathrm{1}+\mathrm{e}^{\frac{\mathrm{i2k}\pi}{\mathrm{n}}} }\:=\frac{\mathrm{1}−\mathrm{cos}\left(\frac{\mathrm{2k}\pi}{\mathrm{n}}\right)−\mathrm{isin}\left(\frac{\mathrm{2k}\pi}{\mathrm{n}}\right)}{\mathrm{1}+\mathrm{cos}\left(\frac{\mathrm{2k}\pi}{\mathrm{n}}\right)+\mathrm{isin}\left(\frac{\mathrm{2k}\pi}{\mathrm{n}}\right)} \\ $$$$=\frac{\mathrm{2sin}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)−\mathrm{2isin}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\mathrm{cos}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)}{\mathrm{2cos}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)+\mathrm{2isin}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\mathrm{cos}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)}=\frac{−\mathrm{isin}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\mathrm{e}^{\frac{\mathrm{ik}\pi}{\mathrm{n}}} }{\mathrm{cos}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\mathrm{e}^{\frac{\mathrm{ik}\pi}{\mathrm{n}}} }\:=−\mathrm{itan}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right) \\ $$$$\mathrm{k}\in\left[\left[\mathrm{o},\mathrm{n}−\mathrm{1}\right]\right]\:\Rightarrow\mathrm{P}_{\mathrm{n}} \left(\mathrm{x}\right)=\lambda\:\prod_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \left(\mathrm{x}+\mathrm{itan}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\right)\:\mathrm{let}\:\mathrm{find}\:\lambda \\ $$$$\mathrm{we}\:\mathrm{have}\:\mathrm{P}_{\mathrm{n}} \left(\mathrm{x}\right)=\left(\mathrm{x}+\mathrm{1}\right)^{\mathrm{n}} −\left(−\mathrm{1}\right)^{\mathrm{n}} \left(\mathrm{x}−\mathrm{1}\right)^{\mathrm{n}} \\ $$$$=\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \:\mathrm{x}^{\mathrm{k}} \:−\left(−\mathrm{1}\right)^{\mathrm{n}} \:\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \:\mathrm{x}^{\mathrm{k}} \left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{k}} \\ $$$$=\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \:\mathrm{x}^{\mathrm{k}} −\sum_{\mathrm{k0}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \left(−\mathrm{1}\right)^{\mathrm{k}} \:\mathrm{x}^{\mathrm{k}} \\ $$$$=\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}} \mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \left(\mathrm{1}−\left(−\mathrm{1}\right)^{\mathrm{k}} \right)\mathrm{x}^{\mathrm{k}} \:=\mathrm{2}\sum_{\mathrm{p}=\mathrm{0}} ^{\left[\frac{\mathrm{n}−\mathrm{1}}{\mathrm{2}}\right]} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{2p}+\mathrm{1}} \:\mathrm{x}^{\mathrm{2p}+\mathrm{1}} \\ $$$$\Rightarrow\lambda\:=\mathrm{2}\:\mathrm{C}_{\mathrm{n}} ^{\mathrm{2}\left[\frac{\mathrm{n}−\mathrm{1}}{\mathrm{2}}\right]+\mathrm{1}} \Rightarrow\mathrm{P}_{\mathrm{n}} \left(\mathrm{x}\right)=\mathrm{2}\:\mathrm{C}_{\mathrm{n}} ^{\mathrm{2}\left[\frac{\mathrm{n}−\mathrm{1}}{\mathrm{2}}\right]+\mathrm{1}} \:\prod_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \left(\mathrm{x}+\mathrm{itan}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\right) \\ $$$$=\mathrm{2x}\:\mathrm{C}_{\mathrm{n}} ^{\mathrm{2}\left[\frac{\mathrm{n}−\mathrm{1}}{\mathrm{2}}\right]+\mathrm{1}} \:\prod_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}−\mathrm{1}} \left(\mathrm{x}+\mathrm{itan}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\right) \\ $$$$\mathrm{P}_{\mathrm{n}} \left(\mathrm{2}\right).\mathrm{P}_{\mathrm{n}} \left(−\mathrm{2}\right)\:=−\mathrm{16}\lambda_{\mathrm{n}} ^{\mathrm{2}} \:\prod_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \left(\mathrm{2}+\mathrm{itan}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\right)\prod_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \left(−\mathrm{2}+\mathrm{itan}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\right) \\ $$$$=−\mathrm{16}\lambda_{\mathrm{n}} ^{\mathrm{2}} \left(−\mathrm{1}\right)^{\mathrm{n}} \:\prod_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \left(\mathrm{2}+\mathrm{itan}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\right)\left(\mathrm{2}−\mathrm{itan}\left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\right) \\ $$$$=\mathrm{16}\lambda_{\mathrm{n}} ^{\mathrm{2}} \:\left(−\mathrm{1}\right)^{\mathrm{n}+\mathrm{1}} \:\prod_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \left(\mathrm{4}+\mathrm{tan}^{\mathrm{2}} \left(\frac{\mathrm{k}\pi}{\mathrm{n}}\right)\right)…\mathrm{be}\:\mathrm{continued}… \\ $$
Answered by mindispower last updated on 13/Dec/20
$${P}_{{n}} \left({X}\right)=\mathrm{0} \\ $$$$\Rightarrow\left(\frac{\mathrm{1}+{x}}{\mathrm{1}−{x}}\right)^{{n}} =\mathrm{1} \\ $$$$\frac{\mathrm{1}+{x}}{\mathrm{1}−{x}}={e}^{\mathrm{2}{ik}\pi/{n}} \\ $$$${k}\in\left[\mathrm{0},{n}\left[\right.\right. \\ $$$${x}=\frac{\mathrm{1}−{e}^{\frac{\mathrm{2}{ik}\pi}{{n}}} }{\mathrm{1}+{e}^{\frac{\mathrm{2}{ik}\pi}{{n}}} }=−\frac{{e}^{\frac{{ik}\pi}{{n}}} −{e}^{−\frac{{ik}\pi}{{n}}} }{{e}^{\frac{{ik}\pi}{{n}}} +{e}^{−{i}\frac{{k}\pi}{{n}}} }=−{itg}\left(\frac{{k}\pi}{{n}}\right) \\ $$$${k}\in\left[\mathrm{0},{n}−\mathrm{1}\right] \\ $$$${if}\:{n}=\mathrm{2}{m},{k}\neq{m} \\ $$$${P}_{{n}} \left({x}\right)={a}\underset{{k}\in\left[\mathrm{0},{n}−\mathrm{1}\right]} {\prod}\left({X}+{itg}\left(\frac{{k}\pi}{{n}}\right)\right){if}\:{n}=\mathrm{2}{m}+\mathrm{1} \\ $$$$=\underset{{k}\in\left[\mathrm{0},{n}−\mathrm{1}\right]\neq\frac{{n}}{\mathrm{2}}} {\prod}\left({X}+{itg}\left(\frac{{k}\pi}{{n}}\right)\right),{n}=\mathrm{2}{m} \\ $$$${one}\:{easy}\:{way}\:{too}\:{see}\:{this} \\ $$$${if}\:{n}=\mathrm{2}{m},{degp}_{\mathrm{2}{m}} \leqslant\mathrm{2}{m}−\mathrm{1}\:\:{number}\:{of}\:{roots}\leqslant\mathrm{2}{m}−\mathrm{1} \\ $$$$\left.\mathrm{2}\right) \\ $$$${P}_{\mathrm{2}{n}+\mathrm{1}} =\mathrm{2}\underset{\mathrm{0}\leqslant{k}\leqslant\mathrm{2}{n}} {\prod}\left({X}+{itg}\left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right) \\ $$$${P}_{\mathrm{2}{n}+\mathrm{1}} =\mathrm{2}{x}.\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}+{itg}\left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right).\underset{{k}={n}+\mathrm{1}} {\overset{\mathrm{2}{n}} {\prod}}\left({X}+{itg}\left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right)\right. \\ $$$$=\mathrm{2}{x}\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}+{itg}\left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right)\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}+{itg}\left(\frac{\left(\mathrm{2}{n}+\mathrm{1}−{k}\right)\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right) \\ $$$$=\mathrm{2}{x}\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}+{itg}\left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right)\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}+{itg}\left(\pi−\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right) \\ $$$$=\mathrm{2}{x}\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}+{itg}\left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right)\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}−{itg}\left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right) \\ $$$$=\mathrm{2}{x}\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}^{\mathrm{2}} +{tg}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right)={p}_{\mathrm{2}{n}+\mathrm{1}} \left({x}\right) \\ $$$${x}=\frac{\mathrm{1}}{\mathrm{2}} \\ $$$$\Rightarrow{p}_{\mathrm{2}{n}+\mathrm{1}} \left(\frac{\mathrm{1}}{\mathrm{2}}\right)=\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left(\frac{\mathrm{1}}{\mathrm{4}}+\frac{\mathrm{1}}{{cotan}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)}\right)..{E} \\ $$$$=\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\frac{\mathrm{1}}{\mathrm{4}{cotan}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)={T}}\:.\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left(\mathrm{4}+{cotan}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\underset{={S}_{{n}} } {\right)}\right. \\ $$$${T}_{{n}} =\frac{\mathrm{1}}{\mathrm{4}^{{n}} }\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}{tg}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right) \\ $$$$ \\ $$$$\mathrm{2}{x}\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}^{\mathrm{2}} +{tg}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right)={p}_{\mathrm{2}{n}+\mathrm{1}} \left({x}\right) \\ $$$$\Rightarrow\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\left({X}^{\mathrm{2}} +{tg}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)\right)=\frac{{P}_{\mathrm{2}{n}+\mathrm{1}} \left({x}\right)}{\mathrm{2}{x}} \\ $$$$\Rightarrow\underset{{x}\rightarrow\mathrm{0}} {\mathrm{lim}}\Pi\left({X}^{\mathrm{2}} +{tg}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)=\frac{\mathrm{1}}{\mathrm{2}}.\underset{{x}\rightarrow\mathrm{0}} {\mathrm{lim}}\frac{{P}_{\mathrm{2}{n}+\mathrm{1}} \left({x}\right)}{{x}}\right. \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}{P}_{\mathrm{2}{n}+\mathrm{1}} ^{'} \left(\mathrm{0}\right)=\frac{\mathrm{1}}{\mathrm{2}}\left(\left(\mathrm{2}{n}+\mathrm{1}\right)+\left(\mathrm{2}{n}+\mathrm{1}\right)\right)=\mathrm{2}{n}+\mathrm{1} \\ $$$$\Rightarrow\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}{tg}^{\mathrm{2}} \left(\frac{{k}\pi}{\mathrm{2}{n}+\mathrm{1}}\right)=\mathrm{2}{n}+\mathrm{1} \\ $$$${T}_{{n}} =\frac{\mathrm{1}}{\mathrm{4}^{{n}} \left(\mathrm{2}{n}+\mathrm{1}\right)} \\ $$$$ \\ $$$${E}\Leftrightarrow{P}_{\mathrm{2}{n}+\mathrm{1}} \left(\frac{\mathrm{1}}{\mathrm{2}}\right)=\frac{\mathrm{1}}{\mathrm{4}^{{n}} \left(\mathrm{2}{n}+\mathrm{1}\right)}.{S}_{{n}} =\left(\frac{\mathrm{3}}{\mathrm{2}}\right)^{{n}} −\frac{\mathrm{1}}{\mathrm{2}^{{n}} } \\ $$$${S}_{{n}} =\left(\mathrm{2}{n}+\mathrm{1}\right)\left(\mathrm{6}^{{n}} −\mathrm{2}^{{n}} \right) \\ $$$$ \\ $$$$ \\ $$