Si $z^{23}=1$, a continuación, evaluar $\sum^{22}_{z=0}\frac{1}{1+z^r+z^{2r}}$

Question

Si $z$ es cualquier número complejo y $z^{23}=1$, a continuación, evaluar $\displaystyle \sum^{22}_{r=0}\frac{1}{1+z^r+z^{2r}}$

Prueba: Desde $$z^{23}-1=(z-1)(1+z+z^2+\cdots +z^{22})$$

Y nuestra suma $$\sum^{22}_{r=0}\frac{1}{1+z^r+z^{2r}}=\frac{1}{3}+\frac{1}{1+z+z^2}+\frac{1}{1+z^2+z^4}+\cdots +\frac{1}{1+z^{22}+z^{44}}$$

Ahora no entiendo cómo puedo simplificar.

Alguien podría ayudarme. Gracias.

Answer 1

Si $z^{23}=1$ $z\not=1$ (de lo contrario, la suma es trivialmente igual a$23/3$), a continuación, $z^k$ es una primitiva $23$-ésima raíz de la unidad para cualquier $k=1,2\dots,22$ (tenga en cuenta que $23$ es un número primo). Por lo tanto $$\begin{align} \sum^{22}_{r=0}\frac{1}{1+z^r+z^{2r}}&=\frac{1}{3}+\sum_{r=1}^{22}\frac{1}{1+z^r+z^{2r}}\\ &=\frac{1}{3}+\sum_{r=1}^{22}\frac{1}{1+z^{8r}+z^{16r}}\\ &=\frac{1}{3}+\sum_{r=1}^{22}\frac{z^{8r}-1}{(1+z^{8r}+z^{16r})(z^{8r}-1)}\\ &=\frac{1}{3}+\sum_{r=1}^{22}\frac{z^{8r}-1}{z^{24r}-1} =\frac{1}{3}+\sum_{r=1}^{22}\frac{z^{8r}-1}{z^{r}-1}\\ &=\frac{1}{3}+\sum_{r=1}^{22}(1+z^r+z^{2r}+z^{3r}+z^{4r}+z^{5r}+z^{6r}+z^{7r})\\ &=\frac{1}{3}+22+7\sum_{r=1}^{22}z^r. \end{align}$$ Se puede tomar desde aquí?

Answer 2

Definir $f(x)=\frac{1}{1+x+x^2}$. Entonces tenemos que calcular $$ \sum_{k=0}^{22}f(z^k)=\frac{1}{3}+\sum_{k=1}^{22}f(z^k). $$ Vamos a trabajar la expresión polinómica de $f$$(a+b)(a-b)=a^2-b^2$. $$ f(s)=\frac{s-1}{s^3-1}=\frac{(s-1)(s^3+1)}{s^6-1}=\frac{(s-1)(s^3+1)(s^6+1)}{s^{12}-1}=\frac{(s-1)(s^3+1)(s^6+1)(s^{12}+1)}{s^{24}-1}. $$ Desde $s^{24}=s$ $23$d las raíces de la unidad, obtenemos $$ f(z^k)=(z^{3k}+1)(z^{6k}+1)(z^{12k}+1)=1+z^{3k}+z^{6k}+z^{9k}+z^{12k}+z^{15k}+z^{18k}+z^{21k}.\tag{1} $$ Ahora como el OP ha notado $$ s^{23}-1=(s-1)(1+\underbrace{s+s^2+\ldots+s^{22}}_{\Phi(s)}). $$ Para el $z^k$, $k=1,2,\ldots,22$, hace que (como todas las raíces primitivas) $$ 0=\underbrace{(z^k-1)}_{\ne 0}(1+\Phi(z^k))\quad\Leftrightarrow\quad \Phi(z^k)=-1. $$ Finalmente, resumiendo (1), llegamos a la $$ \sum_{k=1}^{22}f(z^k)=22+\Phi(z^3)+\Phi(z^6)+\Phi(z^9)+\Phi(z^{12})+\Phi(z^{15})+\Phi(z^{18})+\Phi(z^{21})=22-7=15. $$ Además de $\frac13$.