Demostrar la identidad $\frac{1}{1+x^{1}}+\cdots+\frac{2^{n}}{1+x^{2^{n}}}=\frac{1}{x-1}+\frac{2^{n+1}}{1+x^{2^{n+1}}}$

Question

Demuestre que para todos los enteros no negativos $n$ es cierto que $$\frac{1}{1+x^{1}}+\frac{2}{1+x^{2}}+\frac{4}{1+x^{4}}+\frac{8}{1+x^{8}}+\cdots+\frac{2^{n}}{1+x^{2^{n}}}=\frac{1}{x-1}+\frac{2^{n+1}}{1+x^{2^{n+1}}}$$ Para $x \ne 1$ , $x \ne -1$ Intenté resolverlo aplicando series geométricas pero obtuve lo siguiente después de hacer la $2f\left(x\right)-f\left(x\right)$ paso, donde $f\left(x\right)=\frac{1}{1+x^{1}}+\frac{2}{1+x^{2}}+\frac{4}{1+x^{4}}+\frac{8}{1+x^{8}}+\cdots+\frac{2^{n}}{1+x^{2^{n}}}$

$$f\left(x\right)=\frac{1}{x-1}+\frac{2^{n+1}}{1+x^{2^{n}}}$$ No estoy seguro de si se necesita el teorema de Fermat para resolverlo.

Answer 1

Resta $1/(x-1)$ desde el LHS y observa que,

$$\frac 1{x+1}-\frac 1{x-1}=-\frac 2{x^2-1} \\ \frac 2{x^2+1}-\frac 2{x^2-1}=-\frac 4{x^4-1}\\ \frac 4{x^4+1}-\frac 4{x^4-1}=-\frac 8{x^8-1}$$

etc. ¿Ves el patrón telescópico?

Para terminar, ten en cuenta que,

$$\frac {2^n}{x^{2^n}+1}-\frac {2^n}{x^{2^n}-1}=-\frac{2^{n+1}}{x^{2^{n+1}}-1}=\frac{2^{n+1}}{1-x^{2^{n+1}}}$$

Answer 2

Una prueba por inducción es elemental y no es difícil. Sea $$S_n(x) = \sum_{k=0}^n \frac{2^k}{1 + x^{2^k}}, \quad P_n(x) = \frac{1}{x-1} + \frac{2^{n+1}}{\color{red}{1 - x^{2^{n+1}}}}.$$ Observe que tiene un error tipográfico para $P_n(x)$ ; la expresión correcta se muestra en texto rojo. La afirmación es que para todos los enteros no negativos $n$ tenemos $S_n = P_n$ . La prueba del paso inductivo es simplemente

$$\begin{align} S_{n+1}(x) &= S_n(x) + \frac{2^{n+1}}{1 + x^{2^{n+1}}} \\ &= P_n(x) + \frac{2^{n+1}}{1 + x^{2^{n+1}}} \\ &= \frac{1}{x-1} + \frac{2^{n+1}}{1 - x^{2^{n+1}}} + \frac{2^{n+1}}{1 + x^{2^{n+1}}} \\ &= \frac{1}{x-1} + 2^{n+1} \left( \frac{(1 + x^{2^{n+1}}) + (1 - x^{2^{n+1}})}{(1 - x^{2^{n+1}})(1 + x^{2^{n+1}})} \right) \\ &= \frac{1}{x-1} + 2^{n+1} \left( \frac{2}{1 - x^{2^{n+2}}} \right) \\ &= P_{n+1}(x). \end{align}$$

La forma en que esto se simplifica también sugiere que es posible una demostración directa mediante la simplificación algebraica de una suma telescópica, por ejemplo, $$\frac{2^{k+1}}{1 - x^{2^{k+1}}} = \frac{2^k}{1 - x^{2^k}} + \frac{2^k}{1 + x^{2^k}}$$ sugiere definir $$a_k (x) = \frac{2^k}{1 + x^{2^k}}, \quad b_k(x) = \frac{2^k}{1 - x^{2^k}} $$ de ahí $$a_k(x) = b_{k+1}(x) - b_k(x)$$ y $$S_n(x) = \sum_{k=0}^n a_k(x) = \sum_{k=0}^n b_{k+1}(x) - b_k(x) = b_{n+1}(x) - b_0(x) = P_n(x).$$