Ceci est une ancienne révision du document !

Comment mettre en page des théorèmes~?}%12.29

$Reponse$ $\LaTeX$ {} offre la commande newtheorem~: \begin{center} newtheorem\marg{nom}\oarg{compteur}\marg{texte}\oarg{section} \end{center} où \marg{nom} est une clé pour identifier le théorème, et \marg{texte} le titre du théorème qui sera imprimé. \oarg{compteur} permet de référencer un autre théorème pour obtenir la même numérotation. \oarg{section} permet de préciser le niveau de numérotation voulu. L'exemple~\vref{maths-newtheo} en donne une utilisation.

Utilisation de newtheorem\label{maths-newtheo}

\documentclass{article}
\newtheorem{th-imp}%
           {Théorème important}[section]
\newtheorem{th-u}%
           {Théorème}[subsection]
\begin{document}
\section{Introduction.}
 
   \begin{th-imp} \label{label-th-AA}
      BLA BLA
   \end{th-imp}
 
   \subsection{Bases.}
 
      \begin{th-u} \label{label-th-aaa}
         bla bla bla
      \end{th-u}
 
      \begin{th-u}
         bla bla
      \end{th-u}
 
\section{Conclusion}
 
Le théorème important~\ref{label-th-AA}
est à apprendre par c\oe{}ur,
le théorème~\ref{label-th-aaa} 
peut \^etre utile.
\end{document}

$Reponse$ \label{reponse=ntheorem} Le package ntheorem disponible sur https://www.ctan.org/{macros/latex/contrib/ntheorem} peut générer une liste des théorèmes de la même manière que listoffigures, est compatible avec amsmath, permet d'ajouter des symboles à la fin d'un théorème (carré, q.e.d.), et permet également la référence à d'autres théorèmes. Pour plus de précisions, voir la documentation ntheorem.dvi ainsi que l'exemple~\vref{ex=ntheorem}.

Utilisation de ntheorem\label{ex=ntheorem}

\documentclass{article}
 
\usepackage[thmmarks]{ntheorem}
 
{\theoremstyle{changebreak}
\theoremindent0.5cm
\theoremnumbering{greek}
\newtheorem{Lemma}{Lemme}}
 
{\theoremheaderfont{\normalfont\bfseries}
\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{\diamondsuit}}
\theoremseparator{:}
\newtheorem{Theorem}{Théorème}}
 
{\theoremheaderfont{\sc}\theorembodyfont{\upshape}
\theoremstyle{nonumberplain}
\theoremseparator{}
\theoremsymbol{\rule{1ex}{1ex}}
\newtheorem{Proof}{Preuve}}
 
\begin{document}
 
\begin{Theorem}[Théorème complexe]
Voici l'énoncé de mon théorème complexe.
 
\begin{Lemma}[Equation]
\label{lem=equation}
   Un lemme important~:
\begin{equation}
  0+0=\mbox{la t\^ete à toto}
\end{equation}
\end{Lemma}
 
\begin{Proof}[de rien]
  D'après le lemme \ref{lem=equation},
  le théorème est évident.
\end{Proof}
Fin du théorème.
\end{Theorem}
 
\end{document}

$Reponse$ Le package amsmath (cf.~\vref{question=AmSLaTeX}) définit l'environnement proof insérant un carré. Des exemples de théorèmes se trouvent dans le fichier thmtest.tex.

$Reponse$ Il y a enfin le package theorem, disponible sur \CTAN à https://www.ctan.org/{macros/latex/required/tools/theorem.dtx}, avec une documentation à https://www.ctan.org/{info/french-translations/macros/latex/required/tools/f-theorem.dvi}

$Reponse$ Voici un tableau récapitulatif~: \begin{center} \begin{tabular}{lccc}

Package            & \rotatebox{90}{amsthm} & \rotatebox{90}{theorem} & \rotatebox{90}{ntheorem} \\\hline
Retour à la ligne après le titre     &   x    &    x    &    x     \\\hline
Pas de numérotation d'un théorème    &   x    &         &    x     \\\hline
Position du numéro du théorème       &        &    x    &    x     \\\hline
Style de la numérotation             &        &         &    x     \\\hline
Ponctuation après le titre (:,.,etc.)&   x    &         &    x     \\\hline
Police du titre ou du corps          &   x    &    x    &    x     \\\hline
Indentation du titre                 &   x    &         &          \\\hline
Espace vertical autour du théorème   &   x    &    x    &    x     \\\hline
Symbole de fin de preuve             &   x    &         &    x     \\

% Filets \end{tabular} \end{center}

$Reponse$ Le package shadethm permet d'écrire des théorèmes sur fond ombré.

% \reponse Le package nccthm permet de faire à peu près la même chose % que ntheorem. Il dispose de compteurs dynamiques, de différents styles, de % symboles de fin de preuve, etc. Se reporter à la documentation du package % pour plus d'informations.

$Reponse$ Si l'on veut juste le symbole de fin de preuve, on peut utiliser le package QED.