Environnement proof non défini (amsthm manquant)
! LaTeX Error: Environment proof undefined.
Ce que signifie cette erreur
Les environnements proof, theorem, lemma, corollary et definition sont fournis par le paquet amsthm. Sans ce paquet, LaTeX n'a aucune définition pour ces environnements.
Compilation intelligente FormaTeX
La compilation intelligente de FormaTeX détecte les environnements proof, theorem, lemma, corollary et definition, et ajoute automatiquement \usepackage{amsthm} au préambule.
Causes courantes
- \usepackage{amsthm} manquant dans le préambule
- Utilisation de \begin{proof}, \begin{theorem} ou \begin{lemma} sans amsthm
- On s'attend à ce que les environnements de théorème soient définis automatiquement sans amsthm
Comment corriger
Ajoutez \usepackage{amsthm} à votre préambule. Vous devez aussi déclarer les environnements de type théorème avec \newtheorem avant de les utiliser. L'environnement proof est prédéfini par amsthm.
Exemples de code
\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}Erreurs apparentées
Signe dollar manquant (mathématiques hors du mode mathématique)
! Missing $ inserted.
Double indice
! Double subscript.
Tabulation d'alignement en trop dans un tableau
! Extra alignment tab has been changed to \cr.
Délimiteur d'environnement mathématique incorrect
! LaTeX Error: Bad math environment delimiter.
Testez la correction en direct
Collez votre LaTeX dans le playground et compilez instantanément.

