Series de Taylor animadas, criterios de convergencia y cálculo de π con tres series clásicas. Entiende la suma infinita de forma visual e interactiva.
Series de Taylor, criterios de convergencia y el fascinante cálculo de π
Una sucesión es una lista de números: a₁, a₂, a₃, … Una serie es su suma acumulada: S = a₁ + a₂ + a₃ + ··· La pregunta clave es si esta suma tiene un valor finito (converge) o crece sin límite (diverge).
La idea de Taylor es que cualquier función “suave” puede aproximarse alrededor de un punto x₀ mediante un polinomio de grado cada vez mayor. Con solo 3 términos, sin(x) ≈ x − x³/6 ya es una aproximación excelente cerca del origen. Con 7 u 8 términos, la diferencia es imperceptible en casi todo el eje real.
No todas las series convergen. La serie armónica Σ 1/n diverge, aunque sus términos tienden a cero. La serie p con p=2 converge al sorprendente valor π²/6 (resultado de Euler). Los criterios clásicos (razón, raíz, comparación, Leibniz) permiten decidir la convergencia sin calcular el límite exacto.
Las series de potencias como ln(1+x) o 1/(1−x) solo convergen para |x| < 1. Fuera de ese radio, la suma diverge. Las series de sin, cos y eˣ convergen en todo ℝ (radio infinito).
| Criterio | Condición | Veredicto | Aplicación típica | Limitación |
|---|---|---|---|---|
| De la razón | L = lim|aₙ₊₁/aₙ|; L<1→conv, L>1→div, L=1→? | Definitivo si L≠1 | Series con factorial o exponencial | No decide si L=1 |
| De la raíz | L = lim|aₙ|^(1/n); igual que razón | Definitivo si L≠1 | Series con exponentes complicados | No decide si L=1 |
| Integral | ∫₁^∞ f(x)dx converge ↔ Σaₙ converge | Preciso | Series de tipo 1/nᵖ (p-series) | Solo para f decreciente y positiva |
| De Leibniz | Alternada + decreciente → converge | Convergencia asegurada | Series alternadas (-1)ⁿ/n | Solo para series alternadas |
Los códigos de Huffman minimizan la longitud media y usan la entropía (serie logarítmica). JPEG usa series de cosenos (DCT) para comprimir imágenes eliminando frecuencias imperceptibles.
Sin series de Taylor no existirían los procesadores modernos de señal digital.
Las series de perturbación en mecánica cuántica son series de potencias en la constante de acoplamiento. Permiten calcular energías y probabilidades con la precisión deseada.
La electrodinámica cuántica es la teoría más precisa jamás comprobada gracias a estas series.
Las series de Taylor permiten calcular sin(x), cos(x), eˣ con la precisión deseada sin usar hardware especializado. Los microprocesadores usan estas aproximaciones polinomiales internamente.
Tu calculadora evalúa sin(x) usando los primeros 7-10 términos de su serie de Taylor.
El cálculo de la forma de la Tierra usa series de Legendre para aproximar la función del geoide. Los sistemas GPS dependen de estas series para correcciones gravitacionales precisas.
El sistema GPS tiene error de ~3 m en parte porque trunca las series de corrección.
Una sucesión es una lista ordenada de números (a₁, a₂, a₃, …). Una serie es la suma de todos esos números: S = a₁ + a₂ + a₃ + ··· La sucesión describe los términos; la serie describe su acumulación. Una sucesión puede tener términos que tienden a 0 pero su serie puede divergir (ejemplo clásico: la serie armónica).
Regla mnemotécnica: sucesión = lista, serie = suma acumulada.
Porque la serie de Taylor es la única forma de representar una función analítica mediante un polinomio que coincide con la función y TODAS sus derivadas en un punto dado. Si una función es infinitamente diferenciable y el resto de Lagrange tiende a 0, la serie converge exactamente a la función dentro del radio de convergencia.
Las funciones elementales (sin, cos, eˣ, ln) son todas analíticas, lo que garantiza su convergencia.
El radio de convergencia R es la distancia máxima desde el punto de expansión x₀ hasta la que la serie converge. Se calcula con la fórmula de Cauchy-Hadamard: R = 1/lim(|aₙ₊₁/aₙ|) o equivalentemente R = 1/lim(|aₙ|^(1/n)). Si R = ∞, la serie converge para todo x (caso de eˣ, sin, cos). Si R = 0, solo converge en x₀.
Para ln(1+x): R = 1. Para eˣ: R = ∞. Para 1/(1-x): R = 1.
Que los términos tiendan a 0 es condición necesaria pero no suficiente para la convergencia. La prueba clásica de Oresme (siglo XIV) agrupa los términos: 1/2 ≥ 1/2; 1/3 + 1/4 ≥ 1/2; 1/5+…+1/8 ≥ 1/2; así indefinidamente. La suma crece al menos como (1/2)·log₂(N), que diverge aunque muy lentamente.
Para sumar más de 10¹⁵ de la serie armónica se necesitarían ~10¹⁰ años a una suma por nanosegundo.
La serie de Leibniz π/4 = 1 − 1/3 + 1/5 − ··· converge muy lentamente. Para k decimales exactos se necesitan aproximadamente 10ᵏ términos. Para 5 decimales: ~100.000 términos. La serie de Nilakantha converge mucho más rápido: solo necesita ~10 términos para 5 decimales correctos.
La tabla interactiva de arriba muestra exactamente cuántos términos necesita cada serie.
Sustituyendo x = iπ en la serie de Taylor de eˣ = Σxⁿ/n!, los términos pares (con i²ⁿ = (-1)ⁿ) forman exactamente la serie de cos(π) = -1, y los impares (con i^(2n+1)) forman i·sin(π) = 0. Así e^(iπ) = cos(π) + i·sin(π) = -1 + 0i, y sumando 1 da el resultado. La identidad no es magia; es una consecuencia directa de la convergencia de estas tres series.
Fórmula de Euler general: e^(iθ) = cos(θ) + i·sin(θ), válida para cualquier θ real.
Selecciona f(x) y el punto x₀ (usualmente x₀ = 0 para la serie de Maclaurin). El punto x₀ debe estar en el dominio de f y de todas sus derivadas. Cuanto más cerca de x₀ esté x, mejor será la aproximación con pocos términos.
Calcula f(x₀), f'(x₀), f''(x₀), f'''(x₀)… Para sin(x) en x₀=0: sin(0)=0, cos(0)=1, -sin(0)=0, -cos(0)=-1 → patrón periódico de periodo 4. Para eˣ: todas las derivadas en 0 valen 1.
Tₙ(x) = Σₖ₌₀ⁿ [f⁽ᵏ⁾(x₀)/k!] · (x−x₀)ᵏ. Cada término divide la k-ésima derivada en x₀ entre k! y la multiplica por (x−x₀)ᵏ. El visualizador de arriba calcula esto automáticamente término a término.
El error cometido con N términos satisface |Rₙ(x)| ≤ M · |x−x₀|^(N+1) / (N+1)!, donde M es el máximo de |f^(N+1)| entre x₀ y x. Si necesitas 4 decimales exactos, busca N tal que esta cota sea menor que 5·10⁻⁵.
La aproximación solo es válida para |x−x₀| < R. Usa el criterio de la razón: R = lim(|aₙ/aₙ₊₁|). Si x está fuera de ese radio, la serie diverge y la aproximación es inútil por muchos términos que tomes. Para eˣ, sin, cos: R = ∞ (convergen siempre).
eˣ = Σxⁿ/n!, sin(x) = Σ(-1)ⁿx^(2n+1)/(2n+1)!, cos(x) = Σ(-1)ⁿx^(2n)/(2n)!. El resto se deriva de estas.
Es el más versátil para series con factorial o potencias. Si da L≠1, el problema está resuelto en segundos.
Cuando el criterio de la razón da L=1 (indeciso), prueba con el criterio integral o con Leibniz si la serie es alternada.
R = 1/lim(|aₙ₊₁/aₙ|) indica hasta dónde converge la serie de potencias. Fundamental para series de Taylor con R finito.
La serie de Nilakantha converge ~10 veces más rápido para el mismo número de términos. En aplicaciones reales, siempre prefiere series de convergencia rápida.