Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2002/07/24 12:19] benjamin |
4_domaines_specialises:mathematiques:structures:mettre_en_page_des_theoremes [2018/12/09 10:42] 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} | \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} | \begin{document} | ||
\section{Introduction.} | \section{Introduction.} | ||
Ligne 26: | Ligne 34: | ||
\begin{th-u} | \begin{th-u} | ||
- | bla ble | + | bla bla |
\end{th-u} | \end{th-u} | ||
\section{Conclusion} | \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} a \'et\'e remplac\'e par \pack{newthm}. | ||
- | \reponse Le package \pack{ntheorem} disponible sur | + | $\Reponse$ |
- | \ctan{macros/latex/contrib/supported/ntheorem} permet de générer une liste | + | \label{reponse=ntheorem} |
- | des théorèmes apparaissant dans un document. | + | Le package [[ctanpkg>ntheorem|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}. | ||
- | \reponse Les trois packages suivants permettent de définir son propre style. | ||
- | \begin{itemize} | ||
- | \item Le package \pack{amsmath}, disponible sur \ctan{/fonts/ams/amslatex/}, | ||
- | définit l'environnement \env{proof} insérant un carré. | ||
- | Des exemples de théorèmes se trouvent dans le fichier thmtest.tex | ||
- | \item Le package \pack{theorem}, disponible sur CTAN. Voir le fichier | + | <latexdoc> |
- | theorem.dvi | + | \documentclass{article} |
- | \item Il existe également le package \pack{ntheorem} disponible sur CTAN | + | \usepackage[thmmarks]{ntheorem} |
- | (\CTAN{macros/latex/contrib/supported/ntheorem}) ou sur | + | |
- | \url{http://www.informatik.uni-freiburg.de/~may/Ntheorem/ntheorem.html} | + | {\theoremstyle{changebreak} |
- | Il peut générer une liste des théoremes de la même manière que | + | \theoremindent0.5cm |
- | \cmd{listoffigures}, est compatible avec amsmath, permet d'ajouter des | + | \theoremnumbering{greek} |
- | symboles à la fin d'un théoreme (carré, q.e.d.), permet la référence | + | \newtheorem{Lemma}{Lemme}} |
- | à d'autres théoremes. Voir le fichier ntheorem.dvi | + | |
- | \end{itemize} | + | {\theoremheaderfont{\normalfont\bfseries} |
- | \reponse Voici un tableau récapitulatif :\\ | + | \theorembodyfont{\slshape} |
- | {\tiny | + | \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+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} | \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{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]]. | ||
+ | {{htmlmetatags>metatag-keywords=(Format DVI,LaTeX) | ||
+ | metatag-og:title=(Comment mettre en page des théorèmes?) | ||
+ | metatag-og:site_name=(FAQ LaTeX francophone) | ||
+ | }} | ||