01 · El problema estratégico
No existe un criterio universalmente mejor
Ante una serie nueva, la dificultad suele estar menos en ejecutar una prueba que en decidir cuál conviene intentar. Aplicar criterios al azar produce cálculos largos y, con frecuencia, resultados inconclusos.
La elección depende de la estructura del término general: signos, potencias, factoriales, raíces, logaritmos y relaciones entre términos consecutivos.
- ¿El término tiende a cero?
- ¿La serie pertenece a una familia conocida?
- ¿Los términos son positivos o cambian de signo?
- ¿Qué parte domina cuando
ncrece? - ¿Se busca solo clasificar o también estimar el error?
02 · Mapa de decisión
Una secuencia de preguntas eficiente
- 1Comprobar el término.
Calcular
lim aₙ. Si no es cero, la serie diverge. - 2Reconocer una forma básica.
Buscar una geométrica, una serie
p, una telescópica o una combinación finita conocida. - 3Inspeccionar los signos.
Para términos no negativos se usan comparaciones; con signos se estudia primero la convergencia absoluta.
- 4Leer la estructura dominante.
Factoriales sugieren cociente; potencias enésimas, raíz; expresiones algebraicas, comparación.
- 5Cambiar de herramienta si hace falta.
Registrar exactamente qué se obtuvo y conservar las hipótesis ya verificadas.
03 · Filtro obligatorio
El criterio del término general va primero
Si ∑aₙ converge, entonces necesariamente aₙ→0. Por contraposición:
Este filtro resuelve de inmediato series como ∑n/(n+1) o ∑(−1)ⁿ. Si el límite es cero, en cambio, solo se superó una condición necesaria.
04 · Antes de probar
Reconocer familias ahorra trabajo
| Forma | Clasificación | Señal visual |
|---|---|---|
∑arⁿ | Converge si |r|<1 | Razón constante entre términos |
∑1/nᵖ | Converge si p>1 | Potencia pura de n |
∑(bₙ−bₙ₊₁) | Telescópica si queda un límite finito | Cancelación en sumas parciales |
∑(−1)ⁿbₙ | Posible uso de Leibniz | Alternancia regular |
También conviene simplificar primero. Una fracción racional puede descomponerse en términos telescópicos, y una expresión complicada puede ser exactamente geométrica después de separar constantes.
05 · Primera bifurcación
Separar series positivas y series con signos
Si aₙ≥0 eventualmente, las sumas parciales son crecientes. La pregunta es si están acotadas, y los criterios de comparación resultan naturales.
Si hay signos positivos y negativos, se estudia primero:
Su convergencia resuelve el problema con convergencia absoluta. Si diverge, todavía pueden servir Leibniz u otros argumentos de cancelación. Quitar los signos sin volver a la serie original deja incompleta la clasificación.
06 · Estructura algebraica
Comparación para potencias, raíces y logaritmos
La comparación directa es ideal cuando una desigualdad simple relaciona aₙ con una serie conocida. La comparación por el límite suele ser más cómoda cuando ambos términos tienen el mismo orden asintótico:
En ese caso, ∑aₙ y ∑bₙ comparten comportamiento. Para cocientes de polinomios, se comparan los grados; en radicales se factoriza la mayor potencia de n; con logaritmos se busca una familia como 1/[n(ln n)ᵖ].
Como ∑1/n² converge, la serie del miembro izquierdo también converge.
07 · Crecimiento multiplicativo
Cociente para factoriales; raíz para potencias enésimas
| Estructura dominante | Intento natural | Magnitud |
|---|---|---|
| Factoriales, productos, exponenciales | Cociente | |aₙ₊₁/aₙ| |
Una expresión elevada a n | Raíz | ⁿ√|aₙ| |
Potencias de n | Normalmente comparación | El cociente suele tender a 1 |
Si el límite de la magnitud elegida es menor que 1, hay convergencia absoluta; si es mayor que 1 —o infinito—, hay divergencia. Cuando vale 1, el criterio no decide.
08 · Función asociada
Integral cuando la fórmula se extiende naturalmente
El criterio integral requiere una función f positiva, continua y decreciente, con f(n)=aₙ. Es especialmente útil para términos con logaritmos y, además, proporciona cotas para el resto.
No debería ser la primera opción si una comparación de una línea resuelve la serie. Sí es preferible cuando interesa saber cuántos términos hacen falta para lograr una tolerancia dada.
09 · Cancelación controlada
Leibniz después de estudiar la convergencia absoluta
Para ∑(−1)ⁿbₙ, con bₙ≥0, el orden lógico recomendado es:
- 1Analizar
∑bₙ.Si converge, la serie es absolutamente convergente.
- 2Si diverge, verificar Leibniz.
Comprobar
bₙ→0y decrecimiento eventual. - 3Clasificar.
Si Leibniz se cumple, la convergencia es condicional.
Leibniz tiene una ventaja computacional: el error al truncar queda acotado por el primer término omitido.
10 · Fronteras
Qué significa realmente «el criterio no decide»
Los criterios del cociente y de la raíz son inconclusos cuando el límite es 1. La comparación por el límite no da equivalencia si el cociente vale 0, ∞ o no existe, aunque en los dos primeros casos todavía pueden aplicarse versiones unilaterales.
Un resultado inconcluso describe una limitación de la herramienta, no de la serie:
Una diverge y la otra converge. Por eso, al aparecer 1, conviene pasar a una comparación con una serie p, no repetir el mismo cálculo con más decimales.
11 · Encadenar herramientas
Una prueba puede preparar la siguiente
Resolver una serie no exige que un único criterio haga todo el trabajo. Es habitual combinar pasos:
Por ejemplo, para ∑(−1)ⁿ(n+1)/(n³+2), se toman valores absolutos y se observa:
La comparación por el límite con ∑1/n² demuestra convergencia absoluta. La alternancia era visible, pero Leibniz habría dado una conclusión más débil.
12 · Caso resuelto
Una serie racional divergente
El término tiende a cero y es positivo. Los grados sugieren 1/n. En efecto:
El límite es positivo y finito. Como la armónica diverge, la serie propuesta diverge. Usar cociente entre términos consecutivos habría producido el valor inconcluso 1.
13 · Caso resuelto
Un factorial dominado por otro
La presencia de factoriales sugiere calcular el cociente:
Como 1/4<1, la serie converge. La simplificación simbólica evita calcular factoriales enormes y hace visible la tasa geométrica.
function cocienteFactorialDoble(n) {
// a_n = (n!)² / (2n)!; no calculamos ningún factorial.
return (n + 1) / (2 * (2 * n + 1));
}
console.log([10, 100, 1000].map(n => ({
n,
cociente: cocienteFactorialDoble(n)
})));14 · Caso resuelto
Una potencia enésima con base variable
La raíz enésima elimina exactamente el exponente:
La serie converge. El criterio de la raíz expresa que, asintóticamente, los términos decrecen con una tasa comparable a una geométrica de razón 2/3.
15 · Caso resuelto
Una frontera logarítmica
El cociente y la raíz tienden a 1. Comparar solo con 1/n tampoco alcanza: los términos son menores que los armónicos, pero una serie menor que una divergente puede hacer cualquier cosa.
El criterio integral encaja con la forma:
La integral es finita; por lo tanto, la serie converge.
16 · Caso resuelto
Una convergencia condicional
El término tiende a cero. La serie de magnitudes ∑1/ln n diverge porque, para n≥3, ln n<n y por tanto 1/ln n>1/n.
Las magnitudes 1/ln n decrecen y tienden a cero, así que Leibniz demuestra convergencia. Al combinar ambos resultados, la clasificación correcta es convergencia condicional.
17 · Implementación conceptual
Codificar preguntas, no adivinar teoremas
Un programa general no puede decidir automáticamente toda serie a partir de valores numéricos. Sí puede organizar la información estructural y proponer una ruta de análisis.
function sugerirCriterio(estructura) {
if (estructura.limiteTermino !== 0) return "Diverge: el término no tiende a cero";
if (estructura.esGeometrica) return "Clasificar con la razón geométrica";
if (estructura.esTelescopica) return "Calcular y limitar las sumas parciales";
if (estructura.cambiaSigno) return "Estudiar primero la serie de valores absolutos";
if (estructura.tieneFactoriales) return "Intentar el criterio del cociente";
if (estructura.potenciaEnesima) return "Intentar el criterio de la raíz";
if (estructura.modeloContinuoDecreciente) return "Comparación o criterio integral";
return "Buscar una comparación con una serie conocida";
}
console.log(sugerirCriterio({
limiteTermino: 0,
cambiaSigno: false,
tieneFactoriales: true
}));La salida es una sugerencia, no una demostración. Todavía hay que calcular el límite correspondiente y verificar todas las hipótesis.
18 · Más que clasificar
Elegir según la información que se necesita
Dos pruebas pueden demostrar la misma convergencia, pero aportar datos diferentes. La comparación suele ser breve; el criterio integral y Leibniz ofrecen cotas de error; cociente y raíz describen una tasa asintótica geométrica.
| Objetivo | Herramienta útil | Información obtenida |
|---|---|---|
| Clasificar rápidamente | Reconocimiento o comparación | Convergencia o divergencia |
| Certificar un error | Integral o Leibniz | Cota para la cola |
| Detectar decaimiento exponencial | Cociente o raíz | Tasa geométrica asintótica |
| Distinguir absoluta de condicional | Valores absolutos y Leibniz | Clasificación completa |
19 · Exploración interactiva
Laboratorio: recorrer el árbol de decisión
Elegí una serie y observá qué rasgos determinan el camino más eficiente.
Selector de criterios
∑(3n²+1)/(n³+4)
Es asintótica a 3/n; se compara con la armónica.
El diagrama muestra las preguntas relevantes y resalta la ruta elegida para cada serie.
20 · Comprensión
Confusiones frecuentes
«Si aₙ→0, la serie converge»
No. Es una condición necesaria, no suficiente.
«Si el criterio del cociente da 1, la serie diverge»
No. El resultado es inconcluso; hace falta otra prueba.
«Una serie menor que una divergente también diverge»
No. Para demostrar divergencia se necesita una cota inferior mediante una serie divergente.
«Una serie mayor que una convergente también converge»
No. Para demostrar convergencia se requiere una cota superior convergente.
«Toda serie alternada converge»
No. Las magnitudes deben tender a cero y cumplir condiciones que controlen la cancelación.
«El mejor criterio es el más sofisticado»
El mejor es el que usa la estructura con menos trabajo y entrega la información buscada.
«Ver estabilidad en muchas sumas parciales es una demostración»
No. La evidencia numérica orienta, pero una convergencia lenta puede simular estabilidad o divergencia.
21 · Práctica y síntesis
Ejercicios de decisión
Ejercicio 1: seleccionar sin resolver
Indicá el primer criterio razonable para ∑2ⁿ/n!.
Ver solución
El cociente: aₙ₊₁/aₙ=2/(n+1)→0. Como el límite es menor que 1, converge.
Ejercicio 2: evitar un criterio inconcluso
Clasificá ∑(5n+2)/(n³+1).
Ver solución
Es positiva y asintótica a 5/n². La comparación por el límite con ∑1/n² demuestra convergencia. Cociente o raíz darían 1.
Ejercicio 3: completar la clasificación
Clasificá ∑(−1)ⁿ/√n.
Ver solución
La serie de magnitudes es una serie p con p=1/2 y diverge. Como 1/√n decrece a cero, Leibniz demuestra convergencia. Es condicional.
Ejercicio 4: detectar divergencia temprana
Estudiá ∑[(2n+1)/(n+3)]ⁿ.
Ver solución
La raíz enésima tiende a 2>1, por lo que diverge. De hecho, sus términos ni siquiera tienden a cero.
Ejercicio 5: encadenar decisiones
Clasificá ∑(−1)ⁿn²/3ⁿ.
Ver solución
Se estudian valores absolutos. Para bₙ=n²/3ⁿ, bₙ₊₁/bₙ=((n+1)/n)²/3→1/3. La serie converge absolutamente.
Ideas para recordar
- La condición
aₙ→0es el primer filtro y nunca una prueba suficiente de convergencia. - Las familias conocidas deben reconocerse antes de aplicar criterios generales.
- Comparación sirve para comportamiento algebraico; cociente, para factoriales; raíz, para potencias enésimas.
- El criterio integral es valioso para logaritmos y cotas del resto.
- En series con signos, conviene estudiar primero la convergencia absoluta.
- Un criterio inconcluso obliga a cambiar de herramienta, no a inventar una conclusión.
- La mejor solución suele combinar observación estructural, un modelo conocido y una implicación lógica precisa.
Con este mapa se cierra el bloque de criterios de convergencia. En el próximo tema pasaremos de decidir si una serie converge a calcular su suma con una tolerancia y una cota de error demostrables.