Question Number 28432 by abdo imad last updated on 25/Jan/18
$${let}\:{put}\:{w}={e}^{{i}\frac{\mathrm{2}\pi}{{n}}} \:{calculate}\:\:{S}_{{n}} =\:\:\sum_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:\:\:\frac{\mathrm{1}}{{x}−{w}^{{k}} }\:\:{and} \\ $$$${W}_{{n}} =\:\sum_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:\:\frac{\mathrm{1}}{\left({x}−{w}^{{k}} \right)^{\mathrm{2}} }\:. \\ $$
Commented by abdo imad last updated on 27/Jan/18
$${let}\:{introduce}\:{the}\:{polynomial}\:{p}\left({x}\right)=\:{x}^{{n}} −\mathrm{1}\:\:{the}\:{roots}\:{of} \\ $$$${p}\left({x}\right){are}\:{the}\:{complex}\:{z}_{{k}} \:={e}^{{i}\frac{\mathrm{2}{k}\pi}{{n}}} \:\:\:{and}\:{k}\in\left[\left[\mathrm{0},{n}−\mathrm{1}\right]\right] \\ $$$${we}\:{know}\:{that}\:\:\frac{{p}^{'} \left({x}\right)}{{p}\left({x}\right)}\:=\:\sum_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:\:\:\frac{\mathrm{1}}{{x}−{z}_{{k}} }\:=\sum_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:\:\frac{\mathrm{1}}{{x}−{w}^{{k}} }\:{so} \\ $$$${S}_{{n}} \:=\:\frac{{nx}^{{n}−\mathrm{1}} }{{x}^{{n}} −\mathrm{1}}\:\:{also}\:{we}\:{have}\:{by}\:{derivation} \\ $$$$\frac{{d}}{{dx}}\left(\:\frac{{p}^{'} \left({x}\right)}{{p}\left({x}\right)}\right)=−\sum_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:\:\frac{\mathrm{1}}{\left({x}−{w}^{{k}} \right)^{\mathrm{2}} } \\ $$$$\Rightarrow\frac{{p}^{''} \left({x}\right){p}\left({x}\right)\:−\left({p}^{'} \left({x}\right)\right)^{\mathrm{2}} }{\left({p}\left({x}\right)\right)^{\mathrm{2}} }=−\sum_{{k}=\mathrm{0}} ^{{n}−\mathrm{1}} \:\:\:\:\frac{\mathrm{1}}{\left({x}−{w}^{{k}} \right)^{\mathrm{2}} } \\ $$$${W}_{{n}} \:=−\frac{{n}\left({n}−\mathrm{1}\right){x}^{{n}−\mathrm{2}} \left(\:{x}^{{n}} −\mathrm{1}\right)\:−\left({nx}^{{n}−\mathrm{1}} \right)^{\mathrm{2}} }{\left({x}^{{n}} \:−\mathrm{1}\right)^{\mathrm{2}} } \\ $$$$=−\frac{{n}\left({n}−\mathrm{1}\right)\:{x}^{\mathrm{2}{n}−\mathrm{2}} \:−{n}\left({n}−\mathrm{1}\right){x}^{{n}−\mathrm{2}} \:−{n}^{\mathrm{2}} {x}^{\mathrm{2}{n}−\mathrm{2}} }{\left({x}^{{n}} −\mathrm{1}\right)^{\mathrm{2}} } \\ $$$$=−\frac{−{n}\:{x}^{\mathrm{2}{n}−\mathrm{2}} \:−{n}\left({n}−\mathrm{1}\right){x}^{{n}−\mathrm{2}} }{\left({x}^{{n}} −\mathrm{1}\right)^{\mathrm{2}} }=\frac{{n}\:{x}^{\mathrm{2}{n}−\mathrm{2}} \:−{n}\left({n}−\mathrm{1}\right){x}^{{n}−\mathrm{2}} }{\left({x}^{{n}} −\mathrm{1}\right)^{\mathrm{2}} } \\ $$$${for}\:{n}\geqslant\mathrm{2}\:. \\ $$