Question Number 35056 by math khazana by abdo last updated on 14/May/18
$${let}\:{p}\left({x}\right)=\left(\mathrm{1}+{jx}\right)^{{n}} \:−\left(\mathrm{1}−{jx}\right)^{{n}} \\ $$$$\left.\mathrm{1}\right)\:{find}\:{the}\:{roots}\:{of}\:{p}\left({x}\right) \\ $$$$\left.\mathrm{2}\right){factorize}\:{p}\left({x}\right)\:{inside}\:{C}\left[{x}\right] \\ $$$${j}\:={e}^{{i}\frac{\mathrm{2}\pi}{\mathrm{3}}} \:. \\ $$
Commented by math khazana by abdo last updated on 10/Jun/18
$${p}\left({x}\right)=\mathrm{0}\:\Leftrightarrow\:\frac{\left(\mathrm{1}−{jx}\right)^{{n}} }{\left(\mathrm{1}+{jx}\right)^{{n}} }\:=\mathrm{1}\Leftrightarrow\left(\frac{\mathrm{1}−{jx}}{\mathrm{1}+{jx}}\right)^{{n}} \:=\mathrm{1}\:{the}\:{roots} \\ $$$${of}\:{z}^{{n}} =\mathrm{1}\:{are}\:{the}\:{complex}\:{z}_{{k}} \:={e}^{{i}\frac{\mathrm{2}{k}\pi}{{n}}} \:\:{k}\in\left[\left[\mathrm{0},{n}−\mathrm{1}\right]\right] \\ $$$${so}\:{the}\:{roots}\:{of}\:{p}\left({x}\right)\:{are}\:{the}\:{complex}\:{Z}_{{k}} \:/ \\ $$$$\frac{\mathrm{1}−{jZ}_{{k}} }{\mathrm{1}+{jZ}_{{k}} }\:={z}_{{k}} \:\Leftrightarrow\mathrm{1}−{jZ}_{{k}} \:={z}_{{k}} \:+{jz}_{{k}} {Z}_{{k}} \:\:\Leftrightarrow \\ $$$${j}\left(\mathrm{1}+{z}_{{k}} \right){Z}_{{k}} =\mathrm{1}−{z}_{{k}} \:\Leftrightarrow{Z}_{{k}} \:=\frac{\mathrm{1}}{{j}}\:\frac{\mathrm{1}−{z}_{{k}} }{\mathrm{1}+{z}_{{k}} }\:\Rightarrow \\ $$$${j}\:{Z}_{{k}} =\:\frac{\mathrm{1}\:−{cos}\left(\frac{\mathrm{2}{k}\pi}{{n}}\right)\:−{isin}\left(\frac{\mathrm{2}{k}\pi}{{n}}\right)}{\mathrm{1}+{cos}\left(\frac{\mathrm{2}{k}\pi}{{n}}\right)\:+{i}\:{sin}\left(\frac{\mathrm{2}{k}\pi}{{n}}\right)} \\ $$$$=\frac{\mathrm{2}{sin}^{\mathrm{2}} \left(\frac{{k}\pi}{{n}}\right)\:−\mathrm{2}{i}\:{sin}\left(\frac{{k}\pi}{{n}}\right){cos}\left(\frac{{k}\pi}{{n}}\right)}{\mathrm{2}{cos}^{\mathrm{2}} \left(\frac{{k}\pi}{{n}}\right)\:+\mathrm{2}{isin}\left(\frac{{k}\pi}{{n}}\right){cos}\left(\frac{{k}\pi}{{n}}\right)} \\ $$$$=\frac{−{isin}\left(\frac{{k}\pi}{{n}}\right){e}^{{i}\frac{{k}\pi}{{n}}} }{{cos}\left(\frac{{k}\pi}{{n}}\right){e}^{{i}\frac{{k}\pi}{{n}}} }\:=−{i}\:{tan}\left(\frac{{k}\pi}{{n}}\right)\:\Rightarrow \\ $$$${Z}_{{k}\:} =\:\frac{−{i}}{{j}}{tan}\left(\frac{{k}\pi}{{n}}\right)\:={e}^{−{i}\frac{\pi}{\mathrm{2}}} \:{e}^{−{i}\frac{\mathrm{2}\pi}{\mathrm{3}}} \:\:{tan}\left(\frac{{k}\pi}{{n}}\right) \\ $$$$=\:{e}^{−{i}\left(\:\frac{\mathrm{7}\pi}{\mathrm{6}}\right)} {tan}\left(\frac{{k}\pi}{{n}}\right)\:\:\:{with}\:{n}\:\in\left[\left[\mathrm{1},{n}−\mathrm{1}\right]\right] \\ $$
Commented by math khazana by abdo last updated on 10/Jun/18
$${p}\left({x}\right)\:=\lambda\:\prod_{{k}=\mathrm{1}} ^{{n}−\mathrm{1}\:} \:\left(\:{x}−{Z}_{{k}} \right)\:=\lambda\:\prod_{{k}=\mathrm{1}} ^{{n}−\mathrm{1}} \:\left({x}−{e}^{−{i}\frac{\mathrm{7}\pi}{\mathrm{6}}} {tan}\left(\frac{{k}\pi}{{n}}\right)\right) \\ $$$$\lambda\:{is}\:{the}\:{dominentcoefficient}\:\:{let}\:{find}\:{it} \\ $$$${we}\:{have}\:{p}\left({x}\right)\:=\left(\mathrm{1}+{jx}\right)^{{n}} \:−\left(\mathrm{1}−{jx}\right)^{{n}} \\ $$$$=\:\sum_{{k}=\mathrm{0}} ^{{n}} \:\:{C}_{{n}} ^{{k}} \:{j}^{{k}} {x}^{{k}} \:\:−\sum_{{k}=\mathrm{0}} ^{{n}} \:{C}_{{n}} ^{{k}} \:\left(−{j}\right)^{{k}} \:{x}^{{k}} \\ $$$$=\:\sum_{{k}=\mathrm{0}} ^{{n}} \:\:{C}_{{n}} ^{{k}} \left({j}^{{k}} \:−\left(−{j}\right)^{{k}} \right){x}^{{k}} \:\Rightarrow \\ $$$$\lambda\:=\:{C}_{{n}} ^{{n}} \:\left({j}^{{n}} \:−\left(−{j}\right)^{{n}} \right)\:={e}^{{i}\frac{\mathrm{2}{n}\pi}{\mathrm{3}}} \:−\left(−\mathrm{1}\right)^{{n}} \:{e}^{{i}\frac{\mathrm{2}{n}\pi}{\mathrm{3}}} \\ $$$$=\left(\mathrm{1}−\left(−\mathrm{1}\right)^{{n}} \right)\:{e}^{{i}\frac{\mathrm{2}{n}\pi}{\mathrm{3}}} \:\Rightarrow \\ $$$${p}\left({x}\right)\:=\left\{\mathrm{1}−\left(−\mathrm{1}\right)^{{n}} \right\}{e}^{{i}\frac{\mathrm{2}{n}\pi}{\mathrm{3}}} \:\prod_{{k}=\mathrm{1}} ^{{n}} \left({x}−{e}^{−{i}\frac{\mathrm{7}\pi}{\mathrm{6}}} \:{tan}\left(\frac{{k}\pi}{{n}}\right)\right). \\ $$