Différences

Ci-dessous, les différences entre deux révisions de la page.

--- 4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2016/10/16 07:36]
jejust
+++ 4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2022/01/15 20:48] (Version actuelle)
yannick.tanguy Suite de la mise à jour de la page.
@@ Ligne 1: / Ligne 1: @@
-\question{Comment mettre en page des théorèmes~?}%12.29
+====== Comment mettre en page des théorèmes? ======
-\reponse \LaTeX{} offre la commande \cmd{newtheorem}~:
+Pour présenter des théorèmes, lemmes, propositions ou bien encore axiomes, il existe plusieurs possibilités, présentées ici.
-\begin{center}
-\cmd{newtheorem}\marg{nom}\oarg{compteur}\marg{texte}\oarg{section}
+Si vous cherchez à ajouter un carré en fin de texte du théorème, vous pouvez consulter la question « [[4_domaines_specialises/mathematiques/symboles/symbole_cqfd|Comment ajouter un carré en fin de démonstration ?]] ».
-\end{center}
-où \marg{nom} est une clé pour identifier le théorème, et \marg{texte} le
+===== Avec les commandes de base =====
-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
+<latex>\LaTeX</latex> dispose de la commande ''\newtheorem'' qui existe sous deux formes :
-préciser le niveau de numérotation voulu. L'exemple~\vref{maths-newtheo} en
-donne une utilisation.
+<code latex>
-\begin{docexemple}{Utilisation de \cmd{newtheorem}\label{maths-newtheo}}
+\newtheorem{nom}[compteur]{texte}[section]
+\newtheorem{nom}[compteur]{texte}
+</code>
+Dans cette définition :
+  * //nom// est une clé pour identifier le théorème ;
+  * //texte// le titre du théorème qui sera imprimé ;
+  * //compteur// permet de référencer un autre type de théorème en suivant le numérotation des théorèmes désignés dont le //nom// est //compteur//. La deuxième forme est donc adaptée pour créer des éléments qui incrémentent ;
+  * //section// permet de préciser le niveau de numérotation voulu pour la numérotation des théorèmes (cela peut donc valoir ''chapter'', ''section'', ''subsection''.
+En voici un exemple :
+<WRAP column 45ex>
+<code latex>
 \documentclass{article}
-\newtheorem{th-imp}%
+\usepackage{lmodern}
-           {Th\'eor\`eme important}[section]
+\newtheorem{th-imp}{Théorème%
+           important}[section]
 \newtheorem{th-u}%
-           {Th\'eor\`eme}[subsection]
+           {Théorème}[subsection]
+\pagestyle{empty}
 \begin{document}
-\section{Introduction.}
+\section{Introduction}
+\begin{th-imp} \label{th-AA}
+    BLA BLA
+\end{th-imp}
+\subsection{Bases}
+\begin{th-u} \label{th-aaa}
+   bla bla bla
+\end{th-u}
+\begin{th-u}
+   bla bla
+\end{th-u}
-   \begin{th-imp} \label{label-th-AA}
+\section{Conclusion}
-      BLA BLA
+Le théorème important~\ref{th-AA}
-   \end{th-imp}
+est à apprendre par c\oe{}ur,
+le théorème~\ref{th-aaa}
+peut être utile.
+\end{document}
+</code>
+</WRAP>
-   \subsection{Bases.}
+<WRAP column 45ex>
+<latexdoc>
+\documentclass{article}
+\usepackage[body={8cm,8cm}]{geometry}
+\usepackage{lmodern}
+\pagestyle{empty}
+\newtheorem{th-imp}%
+           {Théorème important}[section]
+\newtheorem{th-u}%
+           {Théorème}[subsection]
+\pagestyle{empty}
+\begin{document}
+\section{Introduction}
+\begin{th-imp} \label{th-AA}
+    BLA BLA
+\end{th-imp}
+\subsection{Bases}
-      \begin{th-u} \label{label-th-aaa}
+\begin{th-u} \label{th-aaa}
-         bla bla bla
+   bla bla bla
-      \end{th-u}
+\end{th-u}
-      \begin{th-u}
+\begin{th-u}
-         bla bla
+   bla bla
-      \end{th-u}
+\end{th-u}
 \section{Conclusion}
-Le th\'eor\`eme important~\ref{label-th-AA}
+Le théorème important~1.1
-est \`a apprendre par c\oe{}ur,
+est à apprendre par c\oe{}ur,
-le th\'eor\`eme~\ref{label-th-aaa}
+le théorème~1.1.2
-peut \^etre utile.
+peut être utile.
 \end{document}
-\end{docexemple}
+</latexdoc>
+</WRAP>
+<WRAP clear />
-\reponse
+===== Avec l'extension “ntheorem” =====
-\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}}
+L'extension [[ctanpkg>ntheorem]] peut générer une liste des théorèmes de la même manière que ''listoffigures'', est compatible avec [[ctanpkg>mathtools]] (et donc [[ctanpkg>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 [[texdoc>ntheorem|documentation de l'extension]]. Voici un exemple d'utilisation.
+<WRAP column 45ex>
+<code latex>
 \documentclass{article}
 \usepackage[thmmarks]{ntheorem}
@@ Ligne 61: / Ligne 103: @@
 \newtheorem{Lemma}{Lemme}}
-{\theoremheaderfont{\normalfont\bfseries}
+{\theoremheaderfont{\normalfont%
+    \bfseries}
 \theorembodyfont{\slshape}
-\theoremsymbol{\ensuremath{\diamondsuit}}
+\theoremsymbol{\ensuremath{%
+    \diamondsuit}}
 \theoremseparator{:}
-\newtheorem{Theorem}{Th\'eor\`eme}}
+\newtheorem{Theorem}{Théorème}}
-{\theoremheaderfont{\sc}\theorembodyfont{\upshape}
+{\theoremheaderfont{\sc}%
+    \theorembodyfont{\upshape}
 \theoremstyle{nonumberplain}
 \theoremseparator{}
 \theoremsymbol{\rule{1ex}{1ex}}
 \newtheorem{Proof}{Preuve}}
+\pagestyle{empty}
 \begin{document}
-\begin{Theorem}[Th\'eor\`eme complexe]
+\begin{Theorem}[Théorème complexe]
-Voici l'\'enonc\'e de mon th\'eor\`eme complexe.
+Voici l'énoncé de mon théorème.
 \begin{Lemma}[Equation]
-\label{lem=equation}
+\label{lem=equ}
    Un lemme important~:
 \begin{equation}
-+0=\mbox{la t\^ete \`a toto}
++0=\mbox{la t\^ete à toto}
 \end{equation}
 \end{Lemma}
 \begin{Proof}[de rien]
-  D'apr\`es le lemme \ref{lem=equation},
+  D'après le lemme \ref{lem=equ},
-  le th\'eor\`eme est \'evident.
+  le théorème est évident.
 \end{Proof}
-Fin du th\'eor\`eme.
+Fin du théorème.
 \end{Theorem}
+\end{document}
+</code>
+</WRAP>
+<WRAP column 45ex>
+<latexdoc>
+\documentclass{article}
+\usepackage[body={8cm,8cm}]{geometry}
+\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}}
+\pagestyle{empty}
+\begin{document}
+\begin{Theorem}[Théorème complexe]
+Voici l'énoncé de mon théorème.
+\begin{Lemma}[Equation]
+\label{lem=equ}
+   Un lemme important~:
+\begin{equation}
++0=\mbox{la t\^ete à toto}
+\end{equation}
+\end{Lemma}
+\begin{Proof}[de rien]
+  D'après le lemme $\alpha$,
+  le théorème est évident.
+\end{Proof}
+Fin du théorème.
+\end{Theorem}
 \end{document}
-\end{docexemple}
+</latexdoc>
+</WRAP>
+<WRAP clear />
+===== Avec l'extension “theorem” =====
+L'extension [[ctanpkg>theorem]] augmente les possibilités de présentation de l'environnement pour les théorèmes que propose <latex>\LaTeX</latex> par défaut.
+===== Avec l'extension “mathtools” (ou “amsmath”) =====
+L'extension [[ctanpkg>mathtools]] (chargeant [[ctanpkg>amsmath]]) définit l'environnement ''proof'' insérant un carré.
+FIXME // Présenter amsthm. //
-\reponse Le package \pack{amsmath} (cf.~\vref{question=AmSLaTeX}) définit
+===== Avec l'extension “shadethm” =====
-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 à
+L'extension [[ctanpkg>shadethm]] permet d'écrire des théorèmes sur fond ombré.
-\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~:
+===== Avec l'extension “nccthm” =====
-\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
+L'extension [[ctanpkg>nccthm]] permet de faire à peu près la même chose que [[ctanpkg>ntheorem]]. Il dispose de compteurs dynamiques, de différents styles, de symboles de fin de preuve, etc. Se reporter à la documentation de l'extension pour plus d'informations.
-ombré.
-% \reponse Le package \pack{nccthm} permet de faire à peu près la même chose
+===== Récapitulatif =====
-% 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
+^ Extension                               ^ amsthm ^ theorem ^ ntheorem ^
-package \pack{QED}.
+| Retour à la ligne après le titre        |   x    |    x    |    x     |
+| Pas de numérotation d'un théorème       |   x    |         |    x     |
+| Position du numéro du théorème          |        |    x    |    x     |
+| Style de la numérotation                |        |         |    x     |
+| Ponctuation après le titre (:,.,etc.)   |   x    |         |    x     |
+| Police du titre ou du corps             |   x    |    x    |    x     |
+| Indentation du titre                    |   x    |         |          |
+| Espace vertical autour du théorème      |   x    |    x    |    x     |
+| Symbole de fin de preuve                |   x    |         |    x     |
-\endinput
+FIXME //Revoir le tableau du fait des autres extensions évoquées.//
+{{htmlmetatags>metatag-keywords=(Format DVI,LaTeX)
+metatag-og:title=(Comment mettre en page des théorèmes)
+metatag-og:site_name=(FAQ LaTeX francophone)
+}}