Entorno proof no definido (falta amsthm)
! LaTeX Error: Environment proof undefined.
Qué significa este error
Los entornos proof, theorem, lemma, corollary y definition los proporciona el paquete amsthm. Si no se carga, LaTeX no tiene ninguna definición para estos entornos.
Compilación inteligente de FormaTeX
La compilación inteligente de FormaTeX detecta los entornos proof, theorem, lemma, corollary y definition, y agrega automáticamente \usepackage{amsthm} al preámbulo.
Causas comunes
- Falta \usepackage{amsthm} en el preámbulo
- Uso de \begin{proof}, \begin{theorem} o \begin{lemma} sin amsthm
- Se esperaba que los entornos de teoremas se definieran automáticamente sin amsthm
Cómo corregirlo
Agregue \usepackage{amsthm} al preámbulo. También debe declarar los entornos de tipo teorema con \newtheorem antes de usarlos. El entorno proof lo predefine amsthm.
Ejemplos de código
\documentclass{article}
% Missing \usepackage{amsthm}
\begin{document}
\begin{proof}
This is the proof.
\end{proof}
\end{document}\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
Statement of the theorem.
\end{theorem}
\begin{proof}
This is the proof.
\end{proof}
\end{document}Errores relacionados
Falta un signo de dólar (matemáticas fuera del modo matemático)
! Missing $ inserted.
Subíndice doble
! Double subscript.
Tabulador de alineación sobrante en una tabla o matriz
! Extra alignment tab has been changed to \cr.
Delimitador de entorno matemático incorrecto
! LaTeX Error: Bad math environment delimiter.
Pruebe la solución en vivo
Pegue su LaTeX en el playground y compile al instante.