FataleMode mathématique

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

Provoque l'erreur
\documentclass{article}
% Missing \usepackage{amsthm}
\begin{document}

\begin{proof}
  This is the proof.
\end{proof}

\end{document}
Corrigé
\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

Testez la correction en direct

Collez votre LaTeX dans le playground et compilez instantanément.