Mi amigo y yo estábamos encontrando la expansión en series de la función $\frac{2x}{x^2+1}$. Naturalmente, fui por el método de expansión de Maclaurin, usando los diferenciales para encontrar la expansión en series. La respuesta que obtuve (que es correcta) es $$\sum_{n=0}^\infty (-1)^n 2x^{(2n+1)} $$ El problema es que me llevó un tiempo diferenciar lo suficiente como para ver el patrón. Mi amigo, sin embargo, hizo algo mucho más rápido: ¡usó la división larga! $$ \require{enclose} \begin{array}{r} \end{array} {x^2+1} \enclose{longdiv}{2x} $$ Aparentemente, en lugar de usar $x^2$ (la potencia más alta de x) como el sujeto de su división, usó 1 (la potencia más baja de $x$), y obtuvo la respuesta casi inmediatamente. Ejemplo: 1 entra en $2x$ $2x$ veces, y $(2x)({x^2+1}) = ({2x^3+2x})$. Resta esto de $2x$ y continúa.
No pude encontrar ninguna evidencia de este tipo de división larga en ningún lugar, y tengo problemas para entender la lógica detrás de ello. ¿Cómo puede empezar a restar algo mayor que $2x$ de $2x$? ¿Qué tipo de división larga es esta?
¿Podría alguien por favor ayudarme a entender?
1 votos
Hay una serie sencilla para $1/(1+t)$ que funciona siempre que $|t| < 1$. Análoga para $1/(1 + x^2)$ siempre que $|x| < 1$. Puedes multiplicar eso por el numerador $2x$.
0 votos
Tu objecion es que $2x^3 + 2x$ es "mayor" que $2x$, pero eso depende de lo que quieras decir con "mayor". En el anillo de series de potencias formales $\Bbb{R}[[x]]$, tiene sentido ordenar las cosas de manera que $x^m + \ldots \le x^n + \ldots $, cuando $m \ge n$. Con esta noción de orden, la idea de tu amigo para calcular la serie de potencias que representa una función racional funciona.