La derivada de la arco tangente es
$$\frac{d}{dx}\arctan(x) = \frac{1}{1+x^2}.$$
A partir de la fórmula de la serie geométrica (véase, por ejemplo, esta respuesta para una prueba) muestra que
$$1+y+y^2+y^3+\cdots = \frac{1}{1-y}\qquad\text{if }|y|\lt 1.$$
Conectar $-x^2$$y$, obtenemos que
$$\begin{align*}
\frac{1}{1+x^2} &= \frac{1}{1-(-x^2)} \\
&= 1 + (-x^2) + (-x^2)^2 + (-x^2)^3 + \cdots + (-x^2)^n + \cdots\\
&= 1 - x^2 + x^4 - x^6 + x^8 - x^{10} + \cdots
\end{align*}$$
siempre que $|-x^2| \lt 1$; es decir,$|x|\lt 1$. Todos los cálculos a continuación se realiza bajo esta hipótesis (ver comentarios al final).
Así tenemos que:
$$\frac{d}{dx}\arctan(x) = 1 - x^2 + x^4 - x^6 + x^8 - x^{10}+\cdots\qquad\text{if }|x|\lt 1$$
Porque esta es una serie de Taylor, se puede integrar término a término. Es decir, hasta una constante, tenemos:
$$\begin{align*}
\arctan(x) &= \int\left(\frac{d}{dx}\arctan (x)\right)\,dx \\
&= \int\left(1 - x^2 + x^4 - x^6 + x^8 - x^{10}+\cdots\right)\,dx\\
&= \int\left(\sum_{n=0}^{\infty}(-1)^{n}x^{2n}\right)\,dx\\
&= \sum_{n=0}^{\infty}\left(\int (-1)^{n}x^{2n}\,dx\right)\\
&= \sum_{n=0}^{\infty}\left((-1)^{n}\int x^{2n}\,dx\right)\\
&= \sum_{n=0}^{\infty}\left((-1)^{n}\frac{x^{2n+1}}{2n+1}\right) + C\\
&= C + \left( x - \frac{x^3}{3} + \frac{x^5}{5} - \frac{x^7}{7} + \frac{x^9}{9} - \frac{x^{11}}{11} +\cdots\right).
\end{align*}$$
La evaluación en $x=0$ da $0 = \arctan(0) = C$, por lo que tenemos
$$\arctan(x) = x - \frac{x^3}{3} + \frac{x^5}{5} - \frac{x^7}{7} + \frac{x^9}{9} - \frac{x^{11}}{11} + \cdots,\qquad\text{if }|x|\lt 1.$$
la igualdad de preguntar acerca de.
Tenga en cuenta que esto no se cumple para todos los $x$: ciertamente funciona si $|x|\lt 1$, por las propiedades generales de la serie de Taylor. Pero el arco tangente está definida para todos los números reales. La serie que tenemos aquí es
$$\sum_{n=0}^{\infty}(-1)^{n}\frac{x^{2n+1}}{2n+1}.$$
El uso de la
Prueba de razón, tenemos que
$$\begin{align*}
\lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|} &= \lim_{n\to\infty}\frac{\quad\frac{|x|^{2n+3}}{2n+3}\quad}{\frac{|x|^{2n+1}}{2n+1}}\\
&= \lim_{n\to\infty}\frac{(2n+1)|x|^{2n+3}}{(2n+3)|x|^{2n+1}}\\
&= \lim_{n\to\infty}\frac{|x|^2(2n+1)}{2n+3}\\
&= |x|^2\lim_{n\to\infty}\frac{2n+1}{2n+3}\\
&= |x|^2.
\end{align*}$$
Por el Test del Cociente, la serie converge absolutamente si $|x|^2\lt 1$ (es decir, si $|x|\lt 1$) y diverge si $|x|\gt 1$. En$x=1$$x=-1$, la serie se sabe que convergen. De modo que el radio de convergencia es $1$, y la igualdad es válida para $x\in [-1,1]$ (es decir, si $|x|\leq 1$; hemos ganado dos puntos en el proceso).
Sin embargo, el arco tangente tiene una bonita propiedad, a saber, que
$$\arctan\left(\frac{1}{x}\right) = \frac{\pi}{2} - \arctan(x),$$
Así, dado un valor de $x$$|x|\gt 1$, puede utilizar esta identidad para calcular $\arctan(x)$ mediante el cálculo de $\arctan(\frac{1}{x})$, y para este argumento de la serie es válido.