Différences
Ci-dessous, les différences entre deux révisions de la page.
— |
3_domaines_specialises:mathematiques:symboles:symbole_cqfd [2021/01/06 10:35] (Version actuelle) yannick.tanguy Déplacement de la page et correction de la mise en forme et du lien. |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | ====== Comment obtenir un carré de fin de démonstration ? ====== | ||
+ | Ce symbole est utilisé pour remplacer l'expression latine « //quod erat demonstrandum// »(QED), autrement dit notre [[wpfr>CQFD_(mathématiques)|CQFD]]. | ||
+ | |||
+ | L'obtention de ce symbole n'est pas compliquée, il s'agit du symbole <latex>\LaTeX</latex> mathématique ''\square''. La problématique tient plus à son positionnement sur la ligne du document où elle vient conclure la démonstration. | ||
+ | |||
+ | ===== Avec l'extension amsthm ===== | ||
+ | |||
+ | L'extension [[ctanpkg>amsthm|amsthm]] fournit un environnement ''proof'' qui ajoute automatiquement ce symbole en fin de démonstration. Le placement de celui-ci peut-être ajusté avec la | ||
+ | commande ''\qedhere''. | ||
+ | |||
+ | <code latex> | ||
+ | \documentclass{article} | ||
+ | \usepackage{amsthm} | ||
+ | \usepackage[french]{babel} | ||
+ | |||
+ | \begin{document} | ||
+ | \begin{proof} | ||
+ | (...) Et, par récurrence : | ||
+ | \[ (X+Y)^{n} = \sum_{{k=0}}^{n} {n \choose k} X^{{n-k}} Y^{k} \] | ||
+ | Ce qui généralise l'\emph{identité polynomiale}. | ||
+ | \end{proof} | ||
+ | \end{document} | ||
+ | </code> | ||
+ | |||
+ | <latexdoc> | ||
+ | \documentclass{article} | ||
+ | \usepackage{amsthm} | ||
+ | \usepackage[french]{babel} | ||
+ | \pagestyle{empty} | ||
+ | \begin{document} | ||
+ | \begin{proof} | ||
+ | (...) Et, par récurrence : | ||
+ | \[ (X+Y)^{n} = \sum_{{k=0}}^{n} {n \choose k} X^{{n-k}} Y^{k} \] | ||
+ | Ce qui généralise l'\emph{identité polynomiale}. | ||
+ | \end{proof} | ||
+ | \end{document} | ||
+ | </latexdoc> | ||
+ | |||
+ | ===== Avec l'extension QED ===== | ||
+ | |||
+ | L'extension [[ctanpkg>QED|QED]] définit un environnement de preuve et une commande ''\qed''. | ||
+ | |||
+ | ===== Avec des modifications manuelles ===== | ||
+ | |||
+ | Une commande ''\qed'' peut être définie manuellement : | ||
+ | |||
+ | <code latex> | ||
+ | \def\myhfill{ | ||
+ | \parfillskip=0pt | ||
+ | \widowpenalty=10000 | ||
+ | \displaywidowpenalty=10000 | ||
+ | \finalhyphendemerits=0 | ||
+ | \unskip\nobreak\null\hfil\penalty50 | ||
+ | \hskip2em\null\hfill | ||
+ | } | ||
+ | \def\qedsymbol{\ensuremath\square} | ||
+ | \def\qed{\myhfill\qedsymbol\par} | ||
+ | </code> | ||
+ | |||
+ | Le symbole de fin de démonstration sera placé à droite, sur la ligne | ||
+ | s'il reste de la place, sur la ligne d'au-dessous sinon. | ||
+ | |||
+ | {{htmlmetatags>metatag-keywords=(LaTeX) | ||
+ | metatag-og:title=(Comment faire un carré de fin de démonstration) | ||
+ | metatag-og:site_name=(FAQ LaTeX francophone) | ||
+ | }} |