Différences

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

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2018/12/09 09:42]
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? ====== ====== 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} +===== Avec les commandes de base =====
-''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 +<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.+
  
 +<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> <latexdoc>
 \documentclass{article} \documentclass{article}
 +\usepackage[body={8cm,8cm}]{geometry}
 +\usepackage{lmodern}
 +\pagestyle{empty}
 \newtheorem{th-imp}% \newtheorem{th-imp}%
            {Théorème important}[section]            {Théorème important}[section]
 \newtheorem{th-u}% \newtheorem{th-u}%
            {Théorème}[subsection]            {Théorème}[subsection]
 +\pagestyle{empty}
 \begin{document} \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} \section{Conclusion}
  
-Le théorème important~\ref{label-th-AA}+Le théorème important~1.1
 est à apprendre par c\oe{}ur, 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} \end{document}
 </latexdoc> </latexdoc>
 +</WRAP>
 +<WRAP clear />
  
 +===== Avec l'extension “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}
  
-$\Reponse$   +{\theoremstyle{changebreak
-\label{reponse=ntheorem+\theoremindent0.5cm 
-Le package [[ctanpkg>ntheorem|ntheorem]] peut générer une liste des théorèmes de la même manière que +\theoremnumbering{greek} 
-''listoffigures'', est compatible avec [[ctanpkg>amsmath|amsmath]], permet d'ajouter des +\newtheorem{Lemma}{Lemme}}
-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}.+
  
 +{\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+0=\mbox{la t\^ete à toto}
 +\end{equation}
 +\end{Lemma}
 +
 +\begin{Proof}[de rien]
 +  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> <latexdoc>
 \documentclass{article} \documentclass{article}
 +\usepackage[body={8cm,8cm}]{geometry}
 \usepackage[thmmarks]{ntheorem} \usepackage[thmmarks]{ntheorem}
  
Ligne 67: Ligne 152:
 \newtheorem{Lemma}{Lemme}} \newtheorem{Lemma}{Lemme}}
  
-{\theoremheaderfont{\normalfont\bfseries}+{\theoremheaderfont{\normalfont
 +    \bfseries}
 \theorembodyfont{\slshape} \theorembodyfont{\slshape}
-\theoremsymbol{\ensuremath{\diamondsuit}}+\theoremsymbol{\ensuremath{%   
 +    \diamondsuit}}
 \theoremseparator{:} \theoremseparator{:}
 \newtheorem{Theorem}{Théorème}} \newtheorem{Theorem}{Théorème}}
  
-{\theoremheaderfont{\sc}\theorembodyfont{\upshape}+{\theoremheaderfont{\sc}
 +    \theorembodyfont{\upshape}
 \theoremstyle{nonumberplain} \theoremstyle{nonumberplain}
 \theoremseparator{} \theoremseparator{}
 \theoremsymbol{\rule{1ex}{1ex}} \theoremsymbol{\rule{1ex}{1ex}}
 \newtheorem{Proof}{Preuve}} \newtheorem{Proof}{Preuve}}
 +\pagestyle{empty}
 \begin{document} \begin{document}
  
 \begin{Theorem}[Théorème complexe] \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] \begin{Lemma}[Equation]
-\label{lem=equation}+\label{lem=equ}
    Un lemme important~:    Un lemme important~:
 \begin{equation} \begin{equation}
Ligne 93: Ligne 181:
  
 \begin{Proof}[de rien] \begin{Proof}[de rien]
-  D'après le lemme \ref{lem=equation},+  D'après le lemme $\alpha$,
   le théorème est évident.   le théorème est évident.
 \end{Proof} \end{Proof}
 Fin du théorème. Fin du théorème.
 \end{Theorem} \end{Theorem}
- 
 \end{document} \end{document}
 </latexdoc> </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.
  
-$\Reponse$  Le package [[ctanpkg>amsmath|amsmath]] (cf.~\vref{question=AmSLaTeX}) définit +===== Avec l'extension “mathtools” (ou “amsmath”) =====
-l'environnement ''proof'' insérant un carré.  Des exemples de théorèmes se +
-trouvent dans le fichier ''thmtest.tex''.+
  
 +L'extension [[ctanpkg>mathtools]] (chargeant [[ctanpkg>amsmath]]) définit l'environnement ''proof'' insérant un carré.  
  
-$\Reponse$  Il y a enfin le package [[ctanpkg>theorem|theorem]], (https://www.ctan.org/macros/latex/required/tools/theorem.dtx), avec une documentation à +FIXME // Présenter amsthm. //
-https://www.ctan.org/{info/french-translations/macros/latex/required/tools/f-theorem.dvi}+
  
 +===== Avec l'extension “shadethm” =====
  
-$\Reponse$  Voici un tableau récapitulatif~: +L'extension [[ctanpkg>shadethm]] permet d'écrire des théorèmes sur fond ombré.
-\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     \\\hline +
-  Pas de numérotation d'un théorème    &      &         &    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     \\\hline +
-  Police du titre ou du corps          &      &    x    &    x     \\\hline +
-  Indentation du titre                 &      &         &          \\\hline +
-  Espace vertical autour du théorème   &      &    x    &    x     \\\hline +
-  Symbole de fin de preuve             &      &         &    x     \\ +
-% Filets +
-\end{tabular} +
-\end{center}+
  
 +===== Avec l'extension “nccthm” =====
  
-$\Reponse$  Le package [[ctanpkg>shadethm|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 [[ctanpkg>nccthm|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.+
  
 +^ Extension                               ^ amsthm ^ theorem ^ ntheorem ^
 +| Retour à la ligne après le titre        |      |    x    |    x     |  
 +| Pas de numérotation d'un théorème            |            x     |
 +| Position du numéro du théorème          |        |    x    |    x     |
 +| Style de la numérotation                |        |            x     |
 +| Ponctuation après le titre (:,.,etc.)        |            x     |
 +| Police du titre ou du corps                  |    x    |    x     |
 +| Indentation du titre                    |      |                  |
 +| Espace vertical autour du théorème      |      |    x    |    x     |
 +| Symbole de fin de preuve                |      |            x     |
  
-$\Reponse$  Si l'on veut juste le symbole de fin de preuve, on peut utiliser le +FIXME //Revoir le tableau du fait des autres extensions évoquées.//
-package [[ctanpkg>QED|QED]]. +
  
 {{htmlmetatags>metatag-keywords=(Format DVI,LaTeX) {{htmlmetatags>metatag-keywords=(Format DVI,LaTeX)
-metatag-og:title=(Comment mettre en page des théorèmes?)+metatag-og:title=(Comment mettre en page des théorèmes)
 metatag-og:site_name=(FAQ LaTeX francophone) metatag-og:site_name=(FAQ LaTeX francophone)
 }} }}
- 
4_domaines_specialises/mathematiques/structures/mettre_en_page_des_theoremes.txt · Dernière modification: 2022/01/15 20:48 de yannick.tanguy
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0