Comment mettre en page des théorèmes?
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.
![Fail: image too wide or too tall: : 620x1044, maximum allowed:1000x500px
\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}](/lib/plugins/latex/images/renderfail.png)
\label{reponse=ntheorem}
Le package 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}.
![Fail: image too wide or too tall: : 622x1039, maximum allowed:1000x500px
\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}](/lib/plugins/latex/images/renderfail.png)
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
.
Il y a enfin le package theorem, (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}
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}
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.
Si l'on veut juste le symbole de fin de preuve, on peut utiliser le
package QED.