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/18 21:34]
jejust
+++ 4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2022/01/15 20:48]
yannick.tanguy Suite de la mise à jour de la page.
@@ Ligne 1: / Ligne 1: @@
-====== Comment mettre en page des théorèmes~?}%12.29 ======
+====== Comment mettre en page des théorèmes? ======
+Pour présenter des théorèmes, lemmes, propositions ou bien encore axiomes, il existe plusieurs possibilités, présentées ici.
-$Reponse$  <latex>\LaTeX</latex>{} offre la commande ''newtheorem''~:
+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 ?]] ».
-\begin{center}
-''newtheorem''\marg{nom}\oarg{compteur}\marg{texte}\oarg{section}
+===== Avec les commandes de base =====
-\end{center}
-où \marg{nom} est une clé pour identifier le théorème, et \marg{texte} le
+<latex>\LaTeX</latex> dispose de la commande ''\newtheorem'' qui existe sous deux formes :
-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}
 <code latex>
+\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}
+\usepackage{lmodern}
+\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{th-aaa}
+   bla bla bla
+\end{th-u}
+\begin{th-u}
+   bla bla
+\end{th-u}
+\section{Conclusion}
+Le théorème important~\ref{th-AA}
+est à apprendre par c\oe{}ur,
+le théorème~\ref{th-aaa}
+peut être utile.
+\end{document}
+</code>
+</WRAP>
+<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.}
+\section{Introduction}
+\begin{th-imp} \label{th-AA}
+    BLA BLA
+\end{th-imp}
+\subsection{Bases}
-   \begin{th-imp} \label{label-th-AA}
+\begin{th-u} \label{th-aaa}
-      BLA BLA
+   bla bla bla
-   \end{th-imp}
+\end{th-u}
-   \subsection{Bases.}
+\begin{th-u}
+   bla bla
-      \begin{th-u} \label{label-th-aaa}
+\end{th-u}
-         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}
+Le théorème important~1.1
 est à apprendre par c\oe{}ur,
-le théorème~\ref{label-th-aaa}
+le théorème~1.1.2
-peut \^etre utile.
+peut être utile.
 \end{document}
-</code>
+</latexdoc>
+</WRAP>
+<WRAP clear />
-$Reponse$
-\label{reponse=ntheorem}
-Le package [[ctanpkg>ntheorem|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 [[ctanpkg>amsmath|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}.
+===== Avec l'extension “ntheorem” =====
-Utilisation de [[ctanpkg>ntheorem|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 70: / Ligne 103: @@
 \newtheorem{Lemma}{Lemme}}
-{\theoremheaderfont{\normalfont\bfseries}
+{\theoremheaderfont{\normalfont%
+    \bfseries}
 \theorembodyfont{\slshape}
-\theoremsymbol{\ensuremath{\diamondsuit}}
+\theoremsymbol{\ensuremath{%
+    \diamondsuit}}
 \theoremseparator{:}
 \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éorème complexe]
-Voici l'énoncé de mon théorème complexe.
+Voici l'énoncé de mon théorème.
 \begin{Lemma}[Equation]
-\label{lem=equation}
+\label{lem=equ}
    Un lemme important~:
 \begin{equation}
@@ Ligne 96: / Ligne 132: @@
 \begin{Proof}[de rien]
-  D'après le lemme \ref{lem=equation},
+  D'après le lemme \ref{lem=equ},
   le théorème est évident.
 \end{Proof}
 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}
+</latexdoc>
+</WRAP>
+<WRAP clear />
-$Reponse$  Le package [[ctanpkg>amsmath|amsmath]] (cf.~\vref{question=AmSLaTeX}) définit
+===== Avec l'extension “theorem” =====
-l'environnement ''proof'' insérant un carré.  Des exemples de théorèmes se
-trouvent dans le fichier ''thmtest.tex''.
+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.
-$Reponse$  Il y a enfin le package [[ctanpkg>theorem|theorem]], disponible sur \CTAN à
+===== Avec l'extension “mathtools” (ou “amsmath”) =====
-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}
+L'extension [[ctanpkg>mathtools]] (chargeant [[ctanpkg>amsmath]]) définit l'environnement ''proof'' insérant un carré.
-$Reponse$  Voici un tableau récapitulatif~:
+FIXME // Présenter amsthm. //
-\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}
+===== Avec l'extension “shadethm” =====
-$Reponse$  Le package [[ctanpkg>shadethm|shadethm]] permet d'écrire des théorèmes sur fond
+L'extension [[ctanpkg>shadethm]] permet d'écrire des théorèmes sur fond ombré.
-ombré.
-% \reponse Le package [[ctanpkg>nccthm|nccthm]] permet de faire à peu près la même chose
+===== Avec l'extension “nccthm” =====
-% 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.
+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.
-$Reponse$  Si l'on veut juste le symbole de fin de preuve, on peut utiliser le
+===== Récapitulatif =====
-package [[ctanpkg>QED|QED]].
+^ Extension                               ^ amsthm ^ theorem ^ ntheorem ^
+| 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     |
+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)
+}}