Ceci est une ancienne révision du document !

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

\reponse \LaTeX{} offre la commande \cmd{newtheorem}~: \begin{center} \cmd{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. \begin{docexemple}{Utilisation de \cmd{newtheorem}\label{maths-newtheo}} \documentclass{article} \newtheorem{th-imp}%

         {Th\'eor\`eme important}[section]

\newtheorem{th-u}%

         {Th\'eor\`eme}[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\'eor\`eme important~\ref{label-th-AA} est \`a apprendre par c\oe{}ur, le th\'eor\`eme~\ref{label-th-aaa} peut \^etre utile. \end{document} \end{docexemple}

\reponse \label{reponse=ntheorem} Le package \pack{ntheorem} disponible sur \ctan{macros/latex/contrib/ntheorem} peut générer une liste des théorèmes de la même manière que \cmd{listoffigures}, est compatible avec \pack{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 \fichier{ntheorem.dvi} ainsi que l'exemple~\vref{ex=ntheorem}.

\begin{docexemple}{Utilisation de \pack{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\'eor\`eme}}

{\theoremheaderfont{\sc}\theorembodyfont{\upshape} \theoremstyle{nonumberplain} \theoremseparator{} \theoremsymbol{\rule{1ex}{1ex}} \newtheorem{Proof}{Preuve}}

\begin{document}

\begin{Theorem}[Th\'eor\`eme complexe] Voici l'\'enonc\'e de mon th\'eor\`eme complexe.

\begin{Lemma}[Equation] \label{lem=equation}

 Un lemme important~:

\end{Lemma}

\begin{Proof}[de rien]

D'apr\`es le lemme \ref{lem=equation},
le th\'eor\`eme est \'evident.

\end{Proof} Fin du th\'eor\`eme. \end{Theorem}

\end{document} \end{docexemple}

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

\reponse Il y a enfin le package \pack{theorem}, disponible sur \CTAN à \ctan{macros/latex/required/tools/theorem.dtx}, avec une documentation à \ctan{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 \pack{shadethm} permet d'écrire des théorèmes sur fond ombré.

% \reponse Le package \pack{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 \pack{QED}.

\endinput