Condición necesaria de convergencia

01 · Pregunta inicial

¿Qué deben hacer los incrementos de un acumulador estable?

Una serie se estudia mediante sus sumas parciales Sₙ=a₁+···+aₙ. Si estas acumulaciones se acercan a un número finito, cada nuevo incremento debería volverse insignificante.

La intuición es similar a observar una variable durante una iteración: si el estado acumulado se estabiliza, la diferencia entre dos estados consecutivos debe tender a cero.

• ¿Por qué el término general de una serie convergente debe tender a cero?
• ¿Cómo usar esta propiedad para demostrar divergencia?
• ¿Qué ocurre si el límite del término es distinto de cero?
• ¿Que aₙ→0 alcanza para probar convergencia?
• ¿Qué puede y qué no puede decidir un programa?

02 · Teorema fundamental

La condición necesaria

Para toda serie de números reales se cumple:

La afirmación tiene una dirección precisa. La convergencia de la serie obliga al término a tender a cero, pero el límite cero no garantiza por sí solo la convergencia de la serie.

Hipótesis

La sucesión de sumas parciales (Sₙ) converge.

Conclusión

La sucesión de términos (aₙ) converge a cero.

Tipo

Condición necesaria, no suficiente.

Uso inmediato

Descartar series que no pueden converger.

03 · Demostración

El término es la diferencia entre dos acumulaciones

Para n≥2, las sumas parciales consecutivas verifican:

Si la serie converge a S, entonces Sₙ→S. También Sₙ₋₁→S, porque desplazar una sucesión un índice no modifica su límite. Aplicando las reglas de límites:

La prueba no depende del signo de los términos ni de una fórmula particular. Solo utiliza la definición de serie y propiedades elementales de límites.

04 · Otra lectura

La prueba desde la propiedad de Cauchy

Si la serie converge, sus sumas parciales forman una sucesión de Cauchy. Dado ε>0, para índices suficientemente grandes la distancia entre dos sumas parciales debe ser menor que ε.

Tomando específicamente el par consecutivo Sₙ y Sₙ₋₁:

Esto prueba directamente que aₙ→0. El criterio de Cauchy exige mucho más: controla cualquier bloque tardío aₙ₊₁+···+aₘ, no solamente un término aislado.

05 · Forma operativa

Prueba del término general para divergencia

La contraposición lógica del teorema es:

1. 1
   Identificar.

   Escribí claramente el término general aₙ.

2. 2
   Calcular.

   Estudiá lim aₙ.

3. 3
   Decidir.

   Si el resultado no es cero, concluí divergencia.

4. 4
   No excederse.

   Si el resultado es cero, el criterio no decide.

06 · Caso inmediato

El término tiende a un número distinto de cero

Consideremos:

Como n/(n+1)→1, los sumandos siguen agregando aproximadamente una unidad. Por la prueba del término general, la serie diverge.

No es necesario obtener una fórmula para Sₙ. El límite no nulo contradice una condición obligatoria y resuelve el problema.

const termino = n => n / (n + 1);

for (const n of [10, 100, 1000, 10000]) {
  console.log({ n, termino: termino(n), distanciaAUno: 1 - termino(n) });
}

07 · Casos aún más visibles

Términos constantes, crecientes o infinitos

En todos estos casos, los términos ni siquiera se aproximan a cero. La divergencia se conoce antes de analizar las acumulaciones.

08 · Oscilación del término

Cuando el límite de aₙ no existe

Para aₙ=(−1)ⁿ, los términos alternan entre −1 y 1. No existe lim aₙ, de modo que la serie diverge.

La misma conclusión vale para cualquier término que conserve oscilaciones no decrecientes, por ejemplo sen(nπ/2). Si una subsucesión de términos se aproxima a un valor y otra a un valor diferente, aₙ no puede tender a cero.

09 · Límite del criterio

Tender a cero no alcanza

La serie armónica es el contraejemplo fundamental:

Sus términos cumplen 1/n→0, pero la serie diverge. Una demostración agrupa términos en bloques:

Cada bloque posterior contiene el doble de términos que el anterior, y cada término del bloque es al menos el recíproco de su extremo derecho. Así, cada bloque suma al menos 1/2. Hay infinitos bloques, por lo que las sumas parciales superan cualquier cota.

10 · Lógica de la implicación

Necesario no significa suficiente

La condición funciona como una validación preliminar de entrada: fallarla invalida el proceso, pero superarla no certifica el resultado.

11 · Ritmo de disminución

No basta llegar a cero: importa cómo

Estas tres sucesiones de términos tienden a cero:

Sin embargo, las dos primeras producen series divergentes y la tercera produce una serie convergente. La prueba del término general da el mismo resultado inconcluso para las tres.

function sumaParcial(regla, N) {
  let suma = 0;
  for (let n = 1; n <= N; n += 1) suma += regla(n);
  return suma;
}

for (const N of [10, 100, 1000, 10000]) {
  console.log({ N,
    raiz: sumaParcial(n => 1 / Math.sqrt(n), N),
    armonica: sumaParcial(n => 1 / n, N),
    cuadrados: sumaParcial(n => 1 / n ** 2, N)
  });
}

Los próximos criterios permitirán analizar el ritmo de disminución, comparar series y estudiar cancelaciones.

12 · Comportamiento de la cola

Modificar una cantidad finita de términos

La convergencia no cambia si agregamos, eliminamos o modificamos una cantidad finita de términos. Si dos series coinciden desde algún índice N₀, ambas convergen o ambas divergen.

La modificación solo agrega una constante a todas las sumas parciales posteriores:

Si convergen, sus sumas pueden ser diferentes. La propiedad de convergencia depende de la cola, mientras que el valor total sí registra los términos iniciales.

13 · Diagnóstico computacional

Una prueba numérica con tres estados

Un programa puede muestrear términos tardíos, pero no calcular un límite matemático a partir de una lista finita. Su resultado debe distinguir entre «evidencia de divergencia» e «inconcluso».

function diagnosticoTermino(regla, indices, tolerancia = 1e-6) {
  const muestras = indices.map(n => ({ n, valor: regla(n) }));
  if (muestras.some(m => !Number.isFinite(m.valor))) {
    return { estado: "evidencia de divergencia", muestras };
  }
  const ultimaMagnitud = Math.abs(muestras.at(-1).valor);
  return {
    estado: ultimaMagnitud > tolerancia ? "no parece tender a cero" : "inconcluso",
    muestras
  };
}

console.log(diagnosticoTermino(n => n / (n + 1), [10, 100, 1000]));
console.log(diagnosticoTermino(n => 1 / n, [10, 1000, 1000000]));

La segunda salida debe ser inconclusa, no «convergente»: la serie armónica demuestra por qué un término numéricamente pequeño no certifica la suma.

14 · Precisión numérica

Cero matemático y cero de máquina

En coma flotante, un término puede redondearse a cero o dejar de modificar una suma grande aunque matemáticamente sea positivo. Por ejemplo, si S es enorme, puede ocurrir que S+aₙ===S.

Eso indica una limitación de representación, no que aₙ sea exactamente cero ni que la serie converja.

const sumaGrande = 1e20;
const incremento = 1;

console.log({
  sumaGrande,
  incremento,
  resultado: sumaGrande + incremento,
  cambioDetectado: sumaGrande + incremento !== sumaGrande
});

Los cálculos confiables separan el análisis matemático de la implementación numérica y documentan tolerancias, rangos e incertidumbre.

15 · Exploración interactiva

Laboratorio: términos frente a sumas parciales

Elegí una serie y avanzá el índice. El laboratorio compara el término actual con el total acumulado y aplica correctamente la prueba básica.

Las barras muestran términos y la línea representa sumas parciales, normalizadas en escalas separadas para comparar tendencias.

16 · Comprensión

Confusiones frecuentes

17 · Práctica y síntesis

Ejercicios de comprensión

Ejercicio 1: límite no nulo

Decidí si puede converger la serie ∑(2n−3)/(5n+1).

Ejercicio 2: límite inexistente

Analizá ∑cos(nπ).

Ejercicio 3: criterio inconcluso

¿Qué permite concluir la prueba básica sobre ∑1/√n?

Ejercicio 4: diagnóstico programado

Calculá términos y sumas parciales de aₙ=3n/(n+2) para varios índices y formulá la conclusión matemática.

let suma = 0;
for (let n = 1; n <= 1000; n += 1) {
  const termino = 3 * n / (n + 2);
  suma += termino;
  if ([10, 100, 1000].includes(n)) console.log({ n, termino, sumaParcial: suma });
}
console.log("Conclusión: aₙ tiende a 3, por lo tanto la serie diverge.");

Ideas para recordar

En el próximo tema estudiaremos las series geométricas, una familia para la cual podremos decidir completamente la convergencia y calcular la suma.