Si $g \le f \le h$ cerca del punto y $g$ y $h$ tienen el mismo límite, $f$ también. Enunciado y demostración, el corolario «acotado por infinitésimo», qué pasa cuando el factor oscilante no está domado (el límite no existe), la parte entera, las sumas de $n$ términos y el ejemplo fundacional $\sin x/x \to 1$.
MathOperator expone su motor como servidor MCP (Model Context Protocol), gratuito y sin registro: cualquier asistente o agente puede calcular con sus operadores, recibir los pasos reales y verificar expresiones. Qué es el protocolo, qué herramientas ofrece y por qué encadenar operadores con verificación convierte una solución plausible en una solución comprobada.
Un motor de cálculo simbólico y un chatbot llegan a la solución de un problema matemático por vías de naturaleza distinta: uno ejecuta un algoritmo con resultado reproducible y verificable; el otro genera el texto más probable. Qué implica esa diferencia para la corrección, la trazabilidad de los pasos y la comprobación del resultado, y para qué sirve cada herramienta.
El desarrollo de Laplace calcula $\det A$ recorriendo una fila y sumando cada entrada por su cofactor. La traspuesta de la matriz de cofactores —la adjunta— cumple $A\,\operatorname{adj}(A)=(\det A)\,I$, y de ahí sale la inversa $A^{-1}=\operatorname{adj}(A)/\det A$ y la fórmula directa del caso $2\times2$.
Derivar o integrar una suma se hace término a término, y las constantes salen fuera, porque ambos operadores son LINEALES: $T(af+bg)=aT(f)+bT(g)$. Se demuestra desde el límite —la pieza de la que todo el cálculo hereda la linealidad—, y la comparten los sumatorios, las series y las transformadas de Laplace y Fourier.
Cada ecuación pide su método: las polinómicas se atacan con Ruffini —que rebaja el grado y se ramifica hacia la fórmula cuadrática o hacia otro Ruffini—, y las racionales, con radicales, exponenciales, logarítmicas y trigonométricas tienen cada una su técnica.
Ante $\int R(\sin x,\cos x)\,dx$, la simetría del diferencial $\omega=f(x)\,dx$ dice cuál cambio la vuelve racional sin subir el grado: $u=\cos x$, $u=\sin x$ o $t=\tan x$; y solo si ninguna simetría vale, el universal $t=\tan\tfrac{x}{2}$.
Para $\int_{-\infty}^{\infty} R(x)\,dx$ se cierra la recta real con un semicírculo en el semiplano superior: si el arco se anula, la integral vale $2\pi i$ por la suma de los residuos de arriba. Con un factor $e^{iax}$ el arco se anula por el lema de Jordan.
Una integral $\int_0^{2\pi} R(\cos\theta,\sin\theta)\,d\theta$ se vuelve una integral de contorno sobre $|z|=1$ con $z=e^{i\theta}$: $\cos\theta=\tfrac{z+1/z}{2}$, $\sin\theta=\tfrac{z-1/z}{2i}$, $d\theta=\tfrac{dz}{iz}$.
El denominador $x^n+1$ tiene simetría de rotación de orden $n$. Se cierra $\int_0^\infty p(x)/(x^n+1)\,dx$ con una cuña de ángulo $2\pi/n$: en el rayo de vuelta el denominador no cambia y el numerador se escala, y se despeja la integral.
Cuando hay un polo simple sobre el eje real (como en $\sin(x)/x$), se rodea con un semicírculo pequeño que recorre media vuelta y aporta $\pi i\operatorname{Res}$ —la mitad—. Así $\int_{-\infty}^{\infty}\sin(x)/x\,dx=\pi$.
Para $\int_0^\infty x^{s-1}R(x)\,dx$ con $s$ no entero, $x^{s-1}$ es multivaluada: se pone un corte de rama en el eje real positivo y se rodea con un «ojo de cerradura». Arriba y abajo del corte se difieren en un factor $e^{2\pi i s}$.
Si $f(x+iT)=\lambda\,f(x)$ (una traslación imaginaria que solo multiplica por una constante), se cierra $\int_{-\infty}^{\infty} f$ con un rectángulo de altura $T$: el lado de arriba vale $\lambda$ por el de abajo, y $(1-\lambda)\int=2\pi i\sum\operatorname{Res}$.
La sustitución $u=g(x)$ transforma $\int f(g(x))\,g'(x)\,dx$ en $\int f(u)\,du$. No es un truco suelto: es la regla de la cadena leída al revés, y por eso funciona siempre que la derivada de la parte interior aparezca como factor.
Toda fracción racional propia $P(x)/Q(x)$ se descompone en suma de fracciones simples —términos $A/(x-a)$ y $(Bx+C)/(x^2+px+q)$— que se integran una a una como logaritmos y arcotangentes.
Las raíces $\sqrt{a^2-x^2}$, $\sqrt{a^2+x^2}$ y $\sqrt{x^2-a^2}$ se racionalizan con los cambios $x=a\sin\theta$, $x=a\tan\theta$ y $x=a\sec\theta$ (o sus versiones hiperbólicas), gracias a las identidades pitagóricas.
Cuando la base y el exponente dependen de $x$ —como en $x^{x}$ o $(1+1/x)^{x}$—, tomar logaritmos convierte la potencia en un producto: $\ln y = v\ln u$. Sirve tanto para derivar (derivación logarítmica) como para resolver límites de formas de potencia.
La regla de la cadena, $(f\circ g)' = f'(g)\,g'$, da la derivada de una composición de funciones. Se deduce con rigor de la definición de derivada mediante un término de error que evita dividir por un incremento que puede anularse, y es la que justifica el cambio de variable en las integrales.
La integración por partes no es una regla aparte: se deduce de la derivada de un producto. Integrando la fórmula $(uv)' = u'v + uv'$ y despejando una de las integrales sale, sin más, $\int u\,dv = uv - \int v\,du$.
Un sistema lineal $Ax=b$ se resuelve por tres caminos que llevan al mismo sitio: la eliminación de Gauss-Jordan, la regla de Cramer (cocientes de determinantes) y el despeje con la matriz inversa. De dónde sale cada uno y cuándo conviene.
La variación de parámetros no se limita al segundo orden. Con la base homogénea de una ecuación lineal de orden n, el wronskiano y la regla de Cramer dan las derivadas de los coeficientes, y basta integrarlas para obtener la solución particular.
Cada operador incorpora un bloque de ejemplos agrupados por técnica o método, listos para cargar en la entrada con un clic. Cubren el abanico de procedimientos de cada operación, de la integración por partes a la variación de parámetros.
Cuando el término independiente de una ecuación lineal no es un polinomio, exponencial o seno/coseno, coeficientes indeterminados no sirve. La variación de parámetros construye la solución particular a partir de la base homogénea y el wronskiano, con dos integrales.
Si de una ecuación lineal de segundo orden se conoce una solución, la segunda se obtiene con el cambio y = v(x)·y₁, que baja la ecuación a una de primer orden. Es útil sobre todo con coeficientes variables.
Para una ecuación lineal de coeficientes constantes con término independiente sencillo, la solución particular se busca proponiendo una forma con coeficientes por determinar, sustituyéndola e igualando: los coeficientes salen de un sistema lineal.
Una ecuación y' = f(y/x) se resuelve con un cambio de variable que la convierte en separable: v = y/x. Muchas ecuaciones son homogéneas además de lineales o de Bernoulli, así que este método es a menudo una vía alternativa.
La ecuación de Clairaut y = x·y' + f(y') tiene dos soluciones de naturaleza distinta: una familia de rectas (la general) y una curva que las envuelve (la singular). Se obtienen derivando una sola vez y separando en dos ramas.
Cuando una función se escribe como una función de la exponencial compleja e^(ix), sus coeficientes de Fourier coinciden con los de la serie de Taylor. Así se obtiene una fórmula cerrada del coeficiente general y se evita la integral, que en estos casos es muy costosa o no cierra.
La integral de un cociente de un polinomio entre la raíz de una cuadrática admite una primitiva de forma conocida: un polinomio por la raíz más un múltiplo de una integral más simple. Igualar coeficientes lo fija todo sin adivinar.
Cuando un límite queda como ∞−∞, la sustitución directa no basta: los dos términos crecen sin tope pero su diferencia puede ser finita. Se resuelve reescribiendo la expresión con técnicas algebraicas —el conjugado y su forma generalizada, la diferencia de logaritmos o el común denominador— según su forma.
El límite de una sucesión no admite L'Hôpital sin más —hace falta la extensión continua—; las equivalencias (infinitésimos) sí, y suelen ser más cortas. Con la fórmula de Stirling para el factorial y la tabla completa de equivalencias.
Recurrencias con productos y potencias de términos anteriores —a(n+2)=a(n+1)·a(n) y similares— no son lineales, pero el cambio b(n)=ln a(n) las convierte en una recurrencia lineal ordinaria: los productos pasan a sumas y las potencias a coeficientes.
Guía de los métodos de integración: integrales inmediatas, integración por partes, cambio de variable, fracciones simples y sustitución trigonométrica. Cómo reconocer cuál aplicar, con ejemplos resueltos y los errores más comunes.
Método para calcular la potencia n-ésima de una matriz con exponente simbólico: diagonalizar, elevar la matriz diagonal y deshacer el cambio de base. Incluye el ejemplo de la matriz de Fibonacci, cuyas potencias esconden la fórmula de Binet y el número áureo.
Qué es la convolución de dos funciones y cómo se calcula: la interpretación de deslizar, solapar y sumar, la deducción de los límites de integración a partir de los soportes y los ejemplos clásicos de señales causales.
La convolución de dos secuencias puede calcularse deslizando una reflejada sobre la otra o multiplicando sus polinomios generadores: los coeficientes del producto son exactamente la convolución. Ambos métodos, con ejemplos.
Cómo se calculan la clausura, el interior, la frontera, el exterior y el conjunto derivado de un subconjunto en un espacio topológico finito, y cómo se clasifica el espacio según los axiomas de separación T0, T1 y Hausdorff.
Cómo resolver límites indeterminados: la regla de L'Hôpital aplicada las veces necesarias, el desarrollo en serie de Taylor y el método del logaritmo para las formas de potencia, con el límite clásico que define el número e.
Método de resolución de la ecuación de Riccati: encontrar una solución particular por tanteo y aplicar el cambio y = y₁ + 1/z, que la transforma en una ecuación lineal de primer orden.
Método de resolución de la ecuación de Bernoulli: dividir entre y^n y aplicar el cambio v = y^(1−n), que la convierte en una ecuación lineal de primer orden resoluble por factor integrante.
Cómo resolver las ecuaciones equidimensionales de Cauchy-Euler: por qué funciona el ansatz y = xᵐ, la ecuación indicial y los tres tipos de solución (raíces reales, dobles y complejas), con la justificación mediante el cambio x = eᵗ.
Una técnica para integrales definidas sin primitiva elemental: la reflexión del intervalo x → a+b−x, que suma la integral consigo misma reflejada y cancela la parte polinómica del integrando.
El cambio t = tan(x/2) convierte cualquier integral racional de senos y cosenos en una función racional en t, que se resuelve por fracciones simples sin las ambigüedades de rama del arctan(tan x).
Cómo se desarrolla una función periódica en serie de Fourier: las fórmulas integrales de los coeficientes a₀, aₙ y bₙ, el papel de la simetría par o impar y la convergencia de las sumas parciales con el fenómeno de Gibbs.
Formularios de referencia: los pares transformada-función de Fourier y de Laplace y las series de Fourier de las ondas clásicas (sierra, cuadrada, triangular), con las convenciones explícitas y todos los resultados verificados.
El método de Laplace para ecuaciones diferenciales con condiciones iniciales: cada derivada se convierte en un factor de s que arrastra los valores iniciales, la ecuación se vuelve algebraica y la solución se obtiene antitransformando.
Qué es la transformada de Laplace, cómo se calcula como una integral impropia con parámetro y por qué convierte ecuaciones diferenciales en ecuaciones algebraicas. Con los pares básicos desarrollados paso a paso.
El método del núcleo cotangente para sumar series sobre los enteros: π·cot(πz) tiene residuo 1 en cada entero, lo que convierte la suma en residuos en los polos. Con la variante alternada π/sin(πz) y ejemplos resueltos.
Cómo las condiciones iniciales seleccionan una solución concreta de la familia general en ecuaciones diferenciales y recurrencias, y los métodos por transformada: Fourier para las continuas y la función generatriz para las discretas.
Panorámica de los grupos pequeños (cíclicos, diédricos, simétricos, alternados, cuaternios y productos directos), la visualización por grafo de ciclos y las estructuras infinitas: ℤ, ℚ, ℝ, ℂ, los cuaternios ℍ y los cuerpos cuadráticos.
El formulario de derivadas e integrales inmediatas: potencias, exponenciales, logaritmos, trigonométricas y sus inversas, e hiperbólicas. Las reglas elementales que combinan la regla de la cadena, la integración por partes y las sustituciones.
El método de residuos para integrales reales en toda la recta: cerrar el contorno con un semicírculo, comprobar que el arco se anula (lema de Jordan) y sumar los residuos de los polos del semiplano superior. Con ejemplos clásicos.
La transformada de Fourier como una integral con parámetro: el uso de la simetría par, el caso de las señales causales y el ejemplo de la gaussiana, cuya transformada se obtiene resolviendo una ecuación diferencial.
El método de derivación bajo el signo integral (regla de Leibniz) para integrales con parámetro: derivar respecto del parámetro simplifica el integrando, se integra de vuelta y la constante se fija con una condición de contorno. Con la integral de Dirichlet como ejemplo.
Los métodos básicos de resolución de EDOs: la ecuación característica para las lineales de coeficientes constantes, la separación de variables y la detección de derivadas de un producto o cociente para reducir el orden.
Cómo se deducen las sumas de tipo rⁿ y nᵏ·rⁿ a partir de la serie geométrica: la suma parcial por el método telescópico y la derivación término a término con el operador r·d/dr.
Mejoras de visualización y precisión: las gráficas únicas se muestran cuadradas y a escala 1:1 cuando procede, y las integrales que requieren identidades previas dejan de etiquetarse como inmediatas.
La interfaz se adapta a pantallas pequeñas con menú lateral plegable y matrices redimensionables con el dedo, y todo el contenido matemático pasa a renderizarse con KaTeX.