Différences

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

--- 4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2002/02/17 22:10]
erwan créée
+++ 4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2016/10/27 05:02]
jejust
@@ 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}\marg{nom}\oarg{compteur}\marg{texte}\oarg{section}
+$\Reponse$  <latex>\LaTeX</latex> offre la commande ''newtheorem''~:
-où nom est une clé pour identifier le théorème, et
-texte le titre du théorème qui sera imprimé. compteur permet de
+\begin{center}
-référencer un autre théorème pour obtenir la même numérotation.
+''newtheorem''\marg{nom}\oarg{compteur}\marg{texte}\oarg{section}
-section permet de préciser le niveau de numérotation voulu.
+\end{center}
-L'exemple en donne une utlisation.
-\begin{docexemple}{Utilisation de \cmd{newtheorem}\label{maths-newtheo}}
+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.
+<latexdoc>
 \documentclass{article}
-\newtheorem{th-imp}{Théorème important}[section]
+\newtheorem{th-imp}%
-\newtheorem{th-u}{Théorème}[subsection]
+           {Théorème important}[section]
+\newtheorem{th-u}%
+           {Théorème}[subsection]
 \begin{document}
 \section{Introduction.}
@@ Ligne 26: / Ligne 34: @@
       \begin{th-u}
-         bla ble
+         bla bla
       \end{th-u}
 \section{Conclusion}
-   Le théorème important~\ref{label-th-AA} est à apprendre par
+Le théorème important~\ref{label-th-AA}
-   c\oe{}ur, le théorème~\ref{label-th-aaa} peut être utile.
+est à apprendre par c\oe{}ur,
- \end{document}
+le théorème~\ref{label-th-aaa}
-\end{docexemple}
+peut \^etre utile.
+\end{document}
+</latexdoc>
-\reponse Il existe pour cela le package \pack{thmmarks} disponible à
-\url{http://www.informatik.uni-freiburg.de/~may/thmmarks.html}.
-\reponse Le package \pack{newthm} disponible sur
-\ctan{macros/latex/contrib/other/newthm/} permet de générer une liste
-des théorèmes apparaissant dans un document.
-\reponse Les trois packages suivants permettent de définir son propre style.
+$\Reponse$
-\begin{itemize}
+\label{reponse=ntheorem}
- \item Le package \pack{amsmath}, disponible sur \ctan{/fonts/ams/amslatex/},
+Le package [[ctanpkg>ntheorem|ntheorem]] peut générer une liste des théorèmes de la même manière que
-  définit l'environnement \env{proof} insérant un carré.
+''listoffigures'', est compatible avec [[ctanpkg>amsmath|amsmath]], permet d'ajouter des
-  Des exemples de théorèmes se trouvent dans le fichier thmtest.tex
+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}.
- \item Le package \pack{theorem}, disponible sur CTAN. Voir le fichier
-  theorem.dvi
- \item Il existe également le package \pack{ntheorem} disponible sur CTAN
+<latexdoc>
-  ou sur
+\documentclass{article}
-  \url{http://www.informatik.uni-freiburg.de/~may/Ntheorem/ntheorem.html}
-  Il peut générer une liste des théoremes de la même manière que
+\usepackage[thmmarks]{ntheorem}
-  \cmd{listoffigures}, est compatible avec amsmath, permet d'ajouter des
-  symboles à la fin d'un théoreme (carré, q.e.d.), permet la référence
+{\theoremstyle{changebreak}
-  à d'autres théoremes. Voir le fichier ntheorem.dvi
+\theoremindent0.5cm
-\end{itemize}
+\theoremnumbering{greek}
-\reponse Voici un tableau récapitulatif :\\
+\newtheorem{Lemma}{Lemme}}
-{\tiny
+{\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=\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}
+</latexdoc>
+$\Reponse$  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''.
+$\Reponse$  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}
+$\Reponse$  Voici un tableau récapitulatif~:
+\begin{center}
 \begin{tabular}{lccc}
-  Package                             & amsthm & theorem & ntheorem \\
+  Package            & \rotatebox{90}{amsthm} & \rotatebox{90}{theorem} & \rotatebox{90}{ntheorem} \\\hline
-\hline
+  Retour à la ligne après le titre     &   x    &    x    &    x     \\\hline
-  Retour à la ligne après le titre    &   x    &    x    &    x     \\
+  Pas de numérotation d'un théorème    &   x    &         &    x     \\\hline
-\hline
+  Position du numéro du théorème       &        &    x    &    x     \\\hline
-  Pas de numérotation d'un théoreme   &   x    &         &    x     \\
+  Style de la numérotation             &        &         &    x     \\\hline
-\hline
+  Ponctuation après le titre (:,.,etc.)&   x    &         &    x     \\\hline
-  Position du numéro du théoreme      &        &    x    &    x     \\
+  Police du titre ou du corps          &   x    &    x    &    x     \\\hline
-\hline
+  Indentation du titre                 &   x    &         &          \\\hline
-  Style de la numérotation            &        &         &    x     \\
+  Espace vertical autour du théorème   &   x    &    x    &    x     \\\hline
-\hline
+  Symbole de fin de preuve             &   x    &         &    x     \\
-  Ponctuation après le titre (:,.,etc)&   x    &         &    x     \\
+% Filets
-\hline
-  Fonte du titre ou du corps          &   x    &    x    &    x     \\
-\hline
-  Indentation du titre                &   x    &         &          \\
-\hline
-  Espace vertical autour du théorème  &   x    &    x    &    x     \\
 \end{tabular}
-}
+\end{center}
+$\Reponse$  Le package [[ctanpkg>shadethm|shadethm]] permet d'écrire des théorèmes sur fond
+ombré.
+\reponse Le package [[ctanpkg>nccthm|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 [[ctanpkg>QED|QED]].