Cauchy Lab: Simulador del Teorema de los Residuos

Descarga (Solo Profesores) Pantalla Completa

📎 Código para incrustar

¿Eres profe, divulgador o webmaster?
Puedes incrustar esta simulación en tu web o blog sin problema.

Solo pedimos dos cosas básicas:

✅ Que cites la fuente: AulaQuest.com
🚫 Que no la uses con fines comerciales

Este es el código que puedes copiar:

<iframe src="https://aulaquest.com/s/matematicas/cauchy.php"
  width="100%"
  height="560"
  style="border: 1px solid #ccc; border-radius: 8px;"
  allowfullscreen
  title="Cauchy Lab: Simulador de Teorema del residuo"></iframe>

⚖️ Teorema de Cauchy-Goursat (Regiones Holomorfas)

El pilar fundamental de la variable compleja. Establece que si una función es holomorfa (suave y sin "roturas") en todo el interior de una curva cerrada, el resultado de integrar sobre ese camino es exactamente cero.

$$ \oint_C f(z) dz = 0 $$

En términos físicos, significa que el campo vectorial conservativo no realiza ningún trabajo neto al recorrer un bucle cerrado que no contenga anomalías.

🚀 Pruébalo en el Simulador de Cauchy

Dibuja un contorno paramétrico en una zona vacía del plano (sin cruces rojas). Observarás que el simulador calcula instantáneamente 0. No importa si deformas el lazo, mientras no atrapes un polo, la integral será nula.

💥 Polos y Singularidades: ¿Dónde "explota" la matemática?

Una singularidad aislada o polo es un punto crítico en el plano complejo donde el denominador de la función se hace cero, provocando que el valor tienda a infinito.

$$ \lim_{z \to z_0} f(z) = \infty $$

z_0 Posición del polo: Las coordenadas exactas donde la función se rompe.
Res Residuo: Es el "peso" o la fuerza analítica que tiene esa singularidad específica.

🔍 Búsqueda Automática

Introduce una función fraccionaria como 1/(z^2+1). El motor del simulador de variable compleja aplicará un algoritmo de Newton-Raphson y te marcará estas singularidades con cruces rojas al instante.

✂️ Puntos de Ramificación (Funciones Multivaluadas)

No todas las anomalías son divisiones por cero. Funciones como la raíz cuadrada ($f(z) = \sqrt{z}$) o el logaritmo ($f(z) = \ln(z)$) tienen múltiples valores para un mismo punto. Para que tengan sentido, los matemáticos hacen un "corte" en el plano (Branch Cut) desde un Punto de Ramificación.

🟣 Identificación Visual

Si pruebas funciones con raíces o logaritmos, el Cauchy Lab no dibujará una cruz roja, sino un círculo púrpura con una línea punteada. Esa línea es el corte de rama. ¡Cuidado! Los teoremas clásicos de integración de contorno no se aplican directamente si tu trayectoria cruza esa línea.

🌀 Índice de Devanado (Winding Number)

No basta con atrapar un polo; importa cómo lo atrapas. El índice de devanado ($N$) es un número entero que indica cuántas veces la trayectoria envuelve a la singularidad y en qué dirección.

Contorno rodeando un Polo (N=1)

$N = 1$: Una vuelta en sentido antihorario.
$N = -1$: Una vuelta en sentido horario.
$N = 0$: El polo queda totalmente fuera del área de integración.

🧪 El Laboratorio Topológico

Usa la herramienta de Dibujo Libre para hacer un doble bucle alrededor de una cruz roja. Verás que el panel registra automáticamente Ind = 2 y multiplica la contribución de la integral por ese factor.

🏆 Teorema de los Residuos: La Solución Final

Es la culminación de la integración de contorno. Nos dice que la integral total sobre una trayectoria cerrada equivale a evaluar qué hay dentro, multiplicando por $2\pi i$ la suma de las contribuciones (residuos) de los polos encerrados.

$$ \oint_C f(z) dz = 2\pi i \sum \left[ N \cdot \text{Res} \right] $$

Este teorema convierte cálculos analíticos imposibles y de infinitas variables en sumas simples de álgebra elemental, resolviendo de un plumazo integrales trigonométricas complejas.

🧮 Tu Calculadora Visual

El simulador del teorema de los residuos automatiza este proceso. Al cerrar tu contorno, extrae los valores, los inserta en la fórmula y te presenta el desarrollo simbólico exacto en LaTeX, eliminando la barrera de la abstracción pura y permitiendo comprender la solución paso a paso.

Guía Docente Pro: Análisis Complejo

Cauchy Lab: Teorema de los Residuos

Simulador de Integración de Contorno y Polos (v22)

Cauchy Lab es un entorno matemático avanzado diseñado para el Análisis Complejo. Este simulador interactivo mapea campos vectoriales en 4D, detecta singularidades en tiempo real y resuelve integrales de contorno de forma analítica. Es la herramienta definitiva para visualizar la topología del plano complejo, comprender la teoría matemática y resolver paso a paso ejercicios de nivel universitario.

El Motor Analítico

A diferencia de las herramientas estáticas, Aulaquest utiliza un Escáner de Singularidades por Método Newton-Raphson combinado con un integrador paramétrico para descubrir y evaluar las propiedades de cualquier función introducida.

✅
Campos HD Dinámicos: Renderiza la dirección y magnitud del campo vectorial complejo para observar de forma inmediata la ubicación de "sumideros" (polos).
✅
Índice de Devanado ($N$): Calcula automáticamente cuántas vueltas da un contorno paramétrico sobre cualquier singularidad, aplicando trigonometría iterativa rigurosa (Winding Number).
✅
Evaluación de Residuos: El motor aísla cada polo y ejecuta integraciones locales precisas para determinar el residuo numérico antes de aplicar la fórmula macro de Cauchy.

Capacidades Didácticas:

Demostrar visualmente por qué la forma de la curva no altera la integral, solo las singularidades que encierra.
Diferenciar claramente entre regiones Holomorfas y Singulares.
Comprobar cómo múltiples polos pueden cancelarse mutuamente (sumatorio de residuos nulo).
Visualizar el concepto de Homotopía mediante la contracción continua de lazos sobre el plano.

🌍 Potencia Extra: Resolución de Integrales Reales

El verdadero poder del Análisis Complejo reside en usarlo como puente para resolver integrales reales irresolubles en su propio dominio. El motor V22 está preparado para procesar las funciones resultantes de estas transformaciones.

1. Integrales Trigonométricas ($0$ a $2\pi$):

$$ \int_0^{2\pi} F(\cos\theta, \sin\theta) d\theta = \oint_{|z|=1} f(z) dz $$

Se introduce la $f(z)$ resultante y se evalúa usando un Círculo de radio 1.00.

2. Integrales Impropias ($-\infty$ a $\infty$):

$$ \int_{-\infty}^{\infty} f(x) dx = 2\pi i \sum \text{Res}(f(z), \text{Semiplano Superior}) $$

Se evalúa la función trazando un arco en "D" que abrace únicamente los polos de la mitad superior del plano.

🔬 El Secreto del Motor: El "Monstruo" de las Derivadas vs. Integración Numérica

En el currículo clásico, calcular residuos analíticamente se vuelve una tarea titánica a medida que aumenta el orden del polo. Observa la progresión de las fórmulas que los estudiantes deben dominar:

Polo Simple (Orden 1):

$$ \text{Res}(f, z_0) = \lim_{z \to z_0} (z-z_0)f(z) $$

Polo Doble (Orden 2):

$$ \text{Res}(f, z_0) = \lim_{z \to z_0} \frac{d}{dz} \left[ (z-z_0)^2 f(z) \right] $$

El "Monstruo" (Polo de Orden m):

Requiere resolver derivadas de orden superior y factoriales, lo cual escala dramáticamente en dificultad.

$$ \text{Res}(f, z_0) = \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} \left[ (z-z_0)^m f(z) \right] $$

La otra alternativa manual es expandir la función en una infame Serie de Laurent para aislar algebraicamente el coeficiente $a_{-1}$. Programar un motor web de cálculo simbólico que resuelva estas derivadas infinitas o series complejas destruiría el rendimiento en el navegador de los alumnos.

La Solución de Aulaquest: El Micro-Contorno

En lugar de enfrentarse al "monstruo" algebraico, nuestro motor engaña al problema regresando a la definición primigenia de Laurent. Al aislar la singularidad mediante Newton-Raphson, el sistema inyecta un micro-círculo virtual ($r = 0.005$) estrictamente alrededor del polo y realiza una integración paramétrica directa:

$$ \text{Res}(f, z_0) = \frac{1}{2\pi i} \oint_{C_{micro}} f(z) dz $$

Topológicamente, las matemáticas son perfectas: al integrar en este micro-contorno numérico, todos los términos conflictivos de grado superior se anulan por sí solos. Al motor de Aulaquest le da igual si evalúa un polo simple o de orden 15; extrae siempre el residuo numérico ($a_{-1}$) en milisegundos y con total estabilidad.

📚 Fundamentos Teóricos

El simulador fundamenta sus cálculos en los dos pilares del Análisis Complejo, permitiendo su comprobación experimental inmediata:

[Image of Cauchy's integral formula]

1. Teorema de Cauchy-Goursat

Si una función $f(z)$ es analítica en todos los puntos dentro y sobre un contorno cerrado simple $C$, entonces la integral de contorno es estrictamente nula:

$$ \oint_C f(z) dz = 0 $$

2. Teorema de los Residuos

Si $f(z)$ posee singularidades aisladas dentro de un contorno $C$, la integral total equivale a $2\pi i$ multiplicado por la suma de sus residuos:

$$ \oint_C f(z) dz = 2\pi i \sum_{k=1}^{n} \text{Res}(f, z_k) $$

Resolución de Problemas (Estilo Schaum)

Problema 1: Integrales Nulas

Evaluar:
$$ \oint_C \frac{1}{z-3} dz $$

Contorno $C$: Círculo $|z| = 1$

Aplicación en Laboratorio: Al introducir la función, el sistema ubica un polo en $z=3$. El estudiante dibuja un círculo de radio 1 centrado en el origen, comprobando visualmente que la curva no encierra la singularidad. El sistema aplica Cauchy-Goursat y arroja un resultado de $0$ exacto.

Problema 2: Fórmula Integral

Calcular:
$$ \oint_C \frac{\cos(z)}{z} dz $$

Contorno $C$: Círculo rodeando el origen

Aplicación en Laboratorio: Se revela un polo simple en el centro coordenado $(0,0)$. Al rodearlo con el lazo, el simulador evalúa el residuo procesando el numerador ($\cos(0) = 1$) y muestra el desarrollo completo $2\pi i \cdot 1$. El estudiante materializa el cálculo algebraico sobre la geometría.

Lleva la comprensión espacial de los alumnos al límite manipulando la topología del plano. Estas dinámicas son ideales para confirmar de forma empírica problemas complejos desarrollados analíticamente en papel y comprender los límites de los teoremas clásicos.

Problema 3: Múltiples Polos Cancelación de Residuos

Evaluar sobre un área amplia:
$$ \oint_C \frac{1}{z^2 + 1} dz $$

Contorno $C$: Rectángulo grande englobando $z=i$ y $z=-i$

Observación Crítica: El escáner de alta frecuencia detecta instantáneamente las raíces complejas en $i$ y $-i$. Al trazar un rectángulo que englobe ambas marcas, el simulador suma los residuos. El panel superior desglosa paso a paso cómo las contribuciones ($+0.5i$ y $-0.5i$) se cancelan mutuamente, arrojando un resultado global nulo y demostrando el teorema de la suma de residuos para funciones racionales.

Demostración de Homotopía Deformación Continua

Comprobar la invariancia topológica:
$$ \oint_C \frac{e^z}{z} dz $$

Demuestra empíricamente que el tamaño de la curva no altera la integral en una singularidad aislada; lo único que importa es la inclusión topológica.

Herramienta: Círculo o Rectángulo (Gran Escala)

Acción: Botón "Ejecutar Homotopía"

Ejecución del Experimento: El alumno traza una figura geométrica regular amplia alrededor del polo ($z=0$). Al accionar Ejecutar Homotopía, la trayectoria se contrae físicamente de forma continua hasta "abrazar" microscópicamente el polo sin cambiar jamás el valor de la integral ($2\pi i$).

Nota de Sistema: La homotopía se deshabilita intencionalmente en el modo "Dibujo Libre". Contraer trazos libres a mano alzada genera cruces (auto-intersecciones) y nudos topológicos matemáticamente inestables.

Problema 4: Funciones Multivaluadas La Raíz Cuadrada

Evaluar el salto topológico en:
$$ f(z) = \sqrt{z} $$

Contorno $C$: Círculo rodeando el origen ($|z| = R$)

Análisis de la Anomalía: El motor no dibujará una cruz, sino un Punto de Rama púrpura con una línea punteada (el Corte de Rama). Al trazar un círculo que lo cruce, el simulador avisará de que el Teorema de los Residuos ya no aplica. El profesor puede pedir al alumno que modifique la barra del "Radio" en vivo para demostrar que, al cruzar un corte de rama, el valor de la integral sí depende del tamaño de la curva.

Problema 5: El "Jefe Final" Polos + Logaritmos

Interacción de singularidades:
$$ \oint_C \frac{\log(z)}{z^2 + 1} dz $$

Contorno $C$: "Keyhole" (Cerradura) o Libre

Estrategia de Integración Avanzada: El simulador muestra un mapa mixto extremo: un corte de rama desde el origen hacia la izquierda y polos clásicos en $\pm i$. Es el escenario perfecto para retar a los estudiantes a dibujar un contorno de cerradura (Keyhole Contour) con la herramienta libre: deben rodear los polos pero evitar meticulosamente tocar la línea punteada para poder aislar la rama principal y aplicar los residuos de forma segura.

🧐 Transparencia: ¿Cómo desglosa la integral el sistema?

En el panel superior del simulador, el sistema ejecuta un desglose matemático riguroso. Todos los pasos intermedios son completamente transparentes para facilitar el aprendizaje secuencial:

Determinación del Índice ($N$)

El motor analítico proyecta un vector desde cada singularidad detectada hacia la trayectoria trazada. Sumando los diferenciales angulares mediante la función arcotangente iterativa, determina con precisión si la curva envuelve al polo en sentido antihorario ($N=1$), en sentido horario ($N=-1$) o si queda excluida de la región delimitada ($N=0$).

Evaluación y Filtrado Dinámico

Si el índice resultante es $N=0$, el polo se omite del sumatorio (aplicando el corolario de Cauchy-Goursat). Para las singularidades contenidas, el Solver presenta en pantalla la multiplicación explícita: $\text{Índice} \cdot \text{Residuo}$ para cada punto, garantizando que el estudiante comprenda el origen exacto del valor escalar.

Construcción Simbólica en Formato LaTeX

El resultado numérico final se procesa a través de un algoritmo de embellecimiento algebraico. Este módulo reconoce de manera estricta los valores proporcionales a fracciones de $\pi$ (aplicando una tolerancia de alta precisión) y renderiza la ecuación completa empleando el motor tipográfico MathJax:

$$ \oint_C f(z) dz = 2\pi i \sum \left[ \text{Ind}(z_k) \cdot \text{Res}(f, z_k) \right] $$

Magia Negra: Integrales Reales mediante Variable Compleja

Aquí es donde el simulador se convierte en el puente definitivo. Enseña a tus alumnos a transformar problemas reales (muchas veces irresolubles en el cálculo tradicional) en simples sumas de residuos algebraicos en el plano complejo.

1. Trigonométricas (0 a 2π) Círculo Unidad

Transformación paramétrica al plano complejo usando $z = e^{i\theta}$.

$$ \int_0^{2\pi} \frac{d\theta}{3 - 2\cos\theta + \sin\theta} $$

Metodología en Clase: 1. El alumno realiza el cambio de variable en papel (donde $d\theta = dz / iz$) hasta obtener una función racional $f(z)$.
2. Introduce esa $f(z)$ en el simulador de Cauchy Lab.
3. Selecciona la geometría Círculo y fija el radio exactamente en 1.00.
4. El simulador identificará los polos interiores, calculará los residuos y escupirá la solución exacta a la integral trigonométrica original.

2. Impropias (-∞ a ∞) Contorno en "D"

Aplicación del Lema de Jordan y el contorno en el semiplano superior.

$$ \int_{-\infty}^{\infty} \frac{dx}{x^6-2} $$

Metodología en Clase: 1. El alumno sustituye la variable real $x$ por $z$ e introduce la función en el motor.
2. Usando la herramienta de Dibujo Libre, el alumno traza un arco gigante en forma de "D" mayúscula, encerrando únicamente los polos del semiplano superior y cerrando la curva a ras del eje real.
3. El motor de integración sumará los residuos atrapados, desvelando el área total bajo la curva de la integral impropia.

3. Integrales Oscilantes (Fourier) Exponencial Compleja

El truco de la fórmula de Euler para resolver funciones trigonométricas sobre la recta real infinita.

$$ \int_{-\infty}^{\infty} \frac{\cos(x)}{x^2+1} dx $$

Metodología en Clase: 1. ¡La trampa didáctica! Si el alumno introduce directamente $\cos(z)/(z^2+1)$ en un contorno semicircular gigante, el límite no converge. El profesor les enseña a usar la parte real de la exponencial.
2. El alumno introduce $f(z) = \exp(i*z)/(z^2+1)$ en el simulador.
3. Traza una "D" mayúscula atrapando solo el polo superior ($z=i$).
4. El simulador arroja un valor real puro. El alumno ha resuelto visualmente una integral de transformada de Fourier en segundos.

4. Eje Semi-Infinito [0, ∞) Keyhole (Cerradura)

Resolución de integrales reales que nacen en el origen y contienen raíces fraccionarias.

$$ \int_{0}^{\infty} \frac{\sqrt{x}}{x^2+1} dx $$

Metodología en Clase: 1. Se utiliza la función multivaluada $f(z) = \sqrt{z}/(z^2+1)$.
2. Al evaluarla, el simulador despliega la línea punteada morada (Corte de Rama) partiendo del origen.
3. Usando Dibujo Libre, el alumno debe construir un "Pac-Man" o Keyhole contour: un gran círculo que encierra los polos en $\pm i$, pero que se pliega hacia adentro para esquivar la línea de ramificación sin tocarla jamás.
4. De la suma de residuos obtenida en el panel, el alumno puede despejar analíticamente el área real solicitada.

💡 Dinámica Interactiva: El Puente de Comprobación

Dado que el simulador no realiza la sustitución algebraica inicial (de $\theta$ o $x$ hacia $z$) de forma automática, no le roba el proceso de aprendizaje al alumno, sino que valida sus cálculos.

Genera un Preset con la función ya convertida al plano complejo. Pide a tus alumnos que tracen el contorno correcto para resolver la integral real y, a continuación, evalúa su razonamiento topológico lanzando un Quiz o un Quick Theory dentro de tu panel de control preguntando: "¿Qué polos del semiplano superior determinan finalmente el área de nuestra función real?"

Inicia tu clase con un entorno configurado

Genera un código "Preset" con la función inicial y la trayectoria predefinida. Comparte el enlace directo con tus alumnos para que abran el simulador enfocado en el problema exacto que deseas evaluar.

Simulador de transformaciones en el plano complejo

Esta es una de las simulaciones más avanzadas de Aulaquest. Podrás estudiar las clásicas transformaciones conformes y libertad total para introducir funciones personalizadas.Utiliza el parámetro variable t para animar las transformaciones y observar la evolución dinámica de los mapeos en tiempo real.

Transformaciones y mapeo conforme

Destacada

Simulaciones en Matemáticas

Laboratorios virtuales de matemáticas de Aulaquest

MÁS SIMULACIONES de Matemáticas

Tu Laboratorio de Matemáticas

Pasa de la teoría a la acción. Resuelve sistemas de ecuaciones 2x2, domina la suma de vectores en el plano y desafía a tus alumnos modelando funciones y parábolas en vivo. Da el salto definitivo descubriendo la potencia de la variable compleja. Las mates como nunca las has visto.

Entrar al Laboratorio de Mates