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 09:36]
jejust
+++ 4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2022/01/10 23:48]
yannick.tanguy Début de la correction de la mise en forme.
@@ 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}~:
+===== Avec les commandes de base =====
-\begin{center}
-\cmd{newtheorem}\marg{nom}\oarg{compteur}\marg{texte}\oarg{section}
+<latex>\LaTeX</latex> dispose de la commande ''\newtheorem'' :
-\end{center}
-où \marg{nom} est une clé pour identifier le théorème, et \marg{texte} le
+<code latex>
-titre du théorème qui sera imprimé. \oarg{compteur} permet de référencer un
+\newtheorem{nom}[compteur]{texte}[section]
-autre théorème pour obtenir la même numérotation. \oarg{section} permet de
+</code>
-préciser le niveau de numérotation voulu. L'exemple~\vref{maths-newtheo} en
-donne une utilisation.
+Dans cette définition :
-\begin{docexemple}{Utilisation de \cmd{newtheorem}\label{maths-newtheo}}
+  * //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 théorème pour obtenir la même numérotation ;
+  * //section// permet de préciser le niveau de numérotation voulu.
+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>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}.
+<latexdoc>
 \documentclass{article}
@@ Ligne 65: / Ligne 104: @@
 \theoremsymbol{\ensuremath{\diamondsuit}}
 \theoremseparator{:}
-\newtheorem{Theorem}{Th\'eor\`eme}}
+\newtheorem{Theorem}{Théorème}}
 {\theoremheaderfont{\sc}\theorembodyfont{\upshape}
@@ Ligne 72: / Ligne 111: @@
 \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 complexe.
 \begin{Lemma}[Equation]
@@ Ligne 82: / Ligne 121: @@
    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=equation},
-  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}
-\end{docexemple}
+</latexdoc>
+===== Avec l'extension “mathtools” (ou “amsmath”) =====
+Le package [[ctanpkg>amsmath|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''.
+===== Avec l'extension “theorem” =====
+Il y a enfin le package [[ctanpkg>theorem|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 :
+^ 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     |
+===== Avec l'extension “shadethm” =====
-\reponse Le package \pack{amsmath} (cf.~\vref{question=AmSLaTeX}) définit
+L'extension [[ctanpkg>shadethm]] permet d'écrire des théorèmes sur fond ombré.
-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 à
+===== Avec l'extension “nccthm” =====
-\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~:
+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.
-\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
+Si l'on veut juste le symbole de fin de preuve, on peut utiliser l'extension [[ctanpkg>QED]].
-% 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
+{{htmlmetatags>metatag-keywords=(Format DVI,LaTeX)
+metatag-og:title=(Comment mettre en page des théorèmes?)
+metatag-og:site_name=(FAQ LaTeX francophone)
+}}