10

The question asks to compute: $$\sum_{k=0}^{n-1}\dfrac{\alpha_k}{2-\alpha_k}$$ where $\alpha_0, \alpha_1, \ldots, \alpha_{n-1}$ are the $n$-th roots of unity.

I started off by simplifiyng and got it as:

$$=-n+2\left(\sum_{k=0}^{n-1} \dfrac{1}{2-\alpha_k}\right)$$

Now I was stuck. I can rationalise the denominator, but we know $\alpha_k$ has both real and complex components, so it can't be simplified by rationalising. What else can be done?

jonsno
  • 7,521
  • See http://math.stackexchange.com/questions/1909362/product-of-one-minus-the-tenth-roots-of-unity and http://math.stackexchange.com/questions/1811081/problem-based-on-sum-of-reciprocal-of-nth-roots-of-unity – lab bhattacharjee Mar 29 '17 at 18:04
  • 1
    @labbhattacharjee I kind of got some hint. Here, if we go by Jyrki's answer, if we find $f'(2)$ by first defining $f(x) = \Pi_{0}^{n-1}(x-\alpha_k)$ – jonsno Mar 29 '17 at 18:09
  • See also : http://math.stackexchange.com/questions/1909362/product-of-one-minus-the-tenth-roots-of-unity/1909366#1909366 – lab bhattacharjee Mar 29 '17 at 18:12
  • @samjoe: you got right the suggestion by labbhattacharjee: define $f(x) = \Pi_{0}^{n-1}(x-\alpha_k)$, derive, divide $f'(x)/f(x)$ and put $x=2$ – G Cab Mar 29 '17 at 22:53

3 Answers3

11

Since $\alpha_0,\alpha_1,\alpha_2, \dots , \alpha_{n-1}$ are roots of the equation

$$x^n-1=0 ~~~~~~~~~~~~~ \cdots ~(1)$$

You can apply Transformation of Roots to find a equation whose roots are$$\frac{1}{2-\alpha_0} , \frac{1}{2-\alpha_1},\frac{1}{2-\alpha_2}, \dots , \frac{1}{2-\alpha_{n-1}}$$

Let $P(y)$ represent the polynomial whose roots are $\frac{1}{2-\alpha_k}$

$$y=\frac{1}{2-\alpha_k}=\frac{1}{2-x} \implies x=\frac{2y-1}{y}$$

Put in $(1)$

$$\Bigg(\frac{2y-1}{y}\Bigg)^n-1=0 \implies (2y-1)^{n}-y^{n}=0$$

Use Binomial Theorem to find coefficient of $y^n$ and $y^{n-1}$.You will get sum of the roots using Vieta's Formulas.

Hope it helps!

Jaideep Khare
  • 19,293
6

I think the following answers the question using the method that Jyrki posted here.

Since $\alpha_k$ are nth roots, so they satisfy $$f(x)=x^n-1=\prod_{k=0}^{n-1}(x-\alpha_k)$$

Putting in logarithm and derivating,

$$f'(x)/f(x)=\dfrac{nx^{n-1}}{x^n-1}=\sum_{k=0}^{n-1}\dfrac{1}{x-\alpha_k}$$

Thus $$f'(2)/f(2) = \sum_{k=0}^{n-1}\dfrac{1}{2-\alpha_k} = \dfrac{n\cdot 2^{n-1}}{2^n-1}$$

Thus the required answer is given as:

$$-n+ 2\left(\dfrac{n\cdot 2^{n-1}}{2^n-1}\right)$$ $$=\dfrac{n}{2^n-1}$$

jonsno
  • 7,521
4

For future reference here is a solution using residues. We have that with $\zeta_k = \exp(2\pi i k/n)$ so that $\zeta_k^n = 1$

$$\sum_{k=0}^{n-1} \mathrm{Res}_{z=\zeta_k} \frac{1}{2-z} \frac{n}{z^n-1} = \sum_{k=0}^{n-1} \left. \frac{1}{2-z} \frac{n}{nz^{n-1}} \right|_{z=\zeta_k} \\ = \sum_{k=0}^{n-1} \left. \frac{1}{2-z} \frac{z}{z^{n}} \right|_{z=\zeta_k} = \sum_{k=0}^{n-1} \frac{\zeta_k}{2-\zeta_k}$$

which is our sum $S_n.$

Now observe that

$$\mathrm{Res}_{z=2} \frac{1}{2-z} \frac{n}{z^n-1} = -\frac{n}{2^n-1}.$$

Furthermore the residue at infinity

$$\mathrm{Res}_{z=\infty} \frac{1}{2-z} \frac{n}{z^n-1} = 0$$

since we have the bound $2\pi n R / R /R^n = 2\pi n / R^n \rightarrow 0$ as $R\rightarrow\infty.$ Residues sum to zero and we get

$$S_n - \frac{n}{2^n-1} = 0 \quad\text{or}\quad S_n = \frac{n}{2^n-1}$$

as claimed.

Marko Riedel
  • 61,317