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 [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{textele +===== Avec les commandes de base ===== 
-titre du théorème qui sera imprimé. \oarg{compteurpermet de référencer un + 
-autre théorème pour obtenir la même numérotation. \oarg{sectionpermet 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} \documentclass{article}
-\newtheorem{th-imp}% +\usepackage{lmodern} 
-           {Th\'eor\`eme important}[section]+\newtheorem{th-imp}{Théorème
 +           important}[section]
 \newtheorem{th-u}% \newtheorem{th-u}%
-           {Th\'eor\`eme}[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-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} \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{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} \documentclass{article}
- 
 \usepackage[thmmarks]{ntheorem} \usepackage[thmmarks]{ntheorem}
  
Ligne 61: Ligne 103:
 \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\'eor\`eme}}+\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\'eor\`eme complexe] +\begin{Theorem}[Théorème complexe] 
-Voici l'\'enonc\'de mon th\'eor\`eme 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}
-  0+0=\mbox{la t\^ete \`a toto}+  0+0=\mbox{la t\^ete à toto}
 \end{equation} \end{equation}
 \end{Lemma} \end{Lemma}
  
 \begin{Proof}[de rien] \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} \end{Proof}
-Fin du th\'eor\`eme.+Fin du théorème.
 \end{Theorem} \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+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{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     \\\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}+
  
-\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       
 +| 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     |
  
-\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)
 +}}
4_domaines_specialises/mathematiques/structures/mettre_en_page_des_theoremes.1476603391.txt.gz · Dernière modification: 2016/10/16 07:36 de jejust
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0