Différences

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

--- 4_domaines_specialises:mathematiques:symboles:symbole_cqfd [2021/08/11 18:51] – Précisions sur "ntheorem". jejust
+++ 4_domaines_specialises:mathematiques:symboles:symbole_cqfd [2022/08/13 13:21] (Version actuelle) – [Avec l'extension “QED”] Balises <latex> inutiles supprimées dbitouze
@@ Ligne 9: / Ligne 9: @@
 ===== Avec l'extension “amsthm” =====
-L'extension [[ctanpkg>amsthm]] fournit un environnement ''proof'' qui ajoute automatiquement ce symbole en fin de démonstration.
+L'extension [[ctanpkg>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>
@@ Ligne 40: / Ligne 39: @@
 \end{document}
 </latexdoc>
+\\
+Cependant, si la démonstration se termine par une formule en exergue, le symbole CQFD
+risque d'apparaître trop bas.
+Son placement pourra être corrigé en utilisant la commande ''\qedhere'' comme étiquette de formule,
+avec la commande ''\tag'':
+<WRAP column half>
+**Sans correction:**
+<code latex>
+\documentclass{article}
+  \usepackage{amsthm,amsmath}
+  \usepackage[french]{babel}
+\begin{document}
+\begin{proof}
+  Texte...
+  \begin{equation*}
+    maths...
+  \end{equation*}
+\end{proof}
+\end{document}
+</code>
+<latexdoc>
+\documentclass{article}
+  \usepackage[width=6cm]{geometry}
+  \usepackage{amsthm,amsmath}
+  \usepackage[french]{babel}
+  \pagestyle{empty}
+\begin{document}
+\begin{proof}
+  Texte...
+  \begin{equation*}
+    maths...
+  \end{equation*}
+\end{proof}
+\end{document}
+</latexdoc>
+</WRAP>
+<WRAP column half>
+**Avec correction:**
+<code latex>
+\documentclass{article}
+  \usepackage{amsthm,amsmath}
+  \usepackage[french]{babel}
+\begin{document}
+\begin{proof}
+  Texte...
+  \begin{equation*}
+    maths... \tag*{\qedhere}
+  \end{equation*}
+\end{proof}
+\end{document}
+</code>
+<latexdoc>
+\documentclass{article}
+  \usepackage[width=6cm]{geometry}
+  \usepackage{amsthm,amsmath}
+  \usepackage[french]{babel}
+  \pagestyle{empty}
+\begin{document}
+\begin{proof}
+  Texte...
+  \begin{equation*}
+    maths... \tag*{\qedhere}
+  \end{equation*}
+\end{proof}
+\end{document}
+</latexdoc>
+</WRAP>
+<WRAP clear />
+==== Comment obtenir un carré noir? ====
+Il est très simple de changer le symbole de fin de démonstration,
+en redéfinissant la commande ''\qedsymbol'':
+<WRAP column 50ex>
+<code latex>
+\documentclass{article}
+  \usepackage{amsthm,amssymb}
+  \usepackage[french]{babel}
+\renewcommand{\qedsymbol}{$\blacksquare$}
+\begin{document}
+\begin{proof}
+  Et nous y voilà.
+\end{proof}
+\end{document}
+</code>
+</WRAP>
+<WRAP column 30ex>
+<latexdoc>
+\documentclass{article}
+  \usepackage[width=6cm]{geometry}
+  \usepackage{amsthm,amssymb}
+  \usepackage[french]{babel}
+  \pagestyle{empty}
+\renewcommand{\qedsymbol}{$\blacksquare$}
+\begin{document}
+\begin{proof}
+  Et nous y voilà.
+\end{proof}
+\end{document}
+</latexdoc>
+</WRAP>
+<WRAP clear />
+De la même façon, il est très simple de faire disparaître le carré,
+en redéfinissant ''\qedsymbol'' pour qu'elle ne fasse rien:
+<WRAP column 50ex>
+<code latex>
+\documentclass{article}
+  \usepackage{amsthm}
+  \usepackage[french]{babel}
+\renewcommand{\qedsymbol}{}
+\begin{document}
+\begin{proof}
+  Et nous y voilà.
+\end{proof}
+\end{document}
+</code>
+</WRAP>
+<WRAP column 30ex>
+<latexdoc>
+\documentclass{article}
+  \usepackage[width=6cm]{geometry}
+  \usepackage{amsthm}
+  \usepackage[french]{babel}
+  \pagestyle{empty}
+\renewcommand{\qedsymbol}{}
+\begin{document}
+\begin{proof}
+  Et nous y voilà.
+\end{proof}
+\end{document}
+</latexdoc>
+</WRAP>
+<WRAP clear />
 ===== Avec l'extension “ntheorem” =====
@@ Ligne 90: / Ligne 243: @@
 ^ Commande  ^ Rendu                     ^ Signification                                             ^
 | ''\qed''  | $\square$                 | //Quod erat demonstrandum// / Ce qu'il fallait démontrer  |
-| ''\QED''  | <latex>\rm Q.E.D.</latex> | //Quod erat demonstrandum// / Ce qu'il fallait démontrer  |
+| ''\QED''  | Q.E.D. | //Quod erat demonstrandum// / Ce qu'il fallait démontrer  |
-| ''\QEI''  | <latex>\rm Q.E.I.</latex> | //Quod erat inveniendum// / Ce qu'il fallait trouver      |
+| ''\QEI''  | Q.E.I. | //Quod erat inveniendum// / Ce qu'il fallait trouver      |
-| ''\QEF''  | <latex>\rm Q.E.F.</latex> | //Quod erat faciendum// / Ce qu'il fallait faire          |
+| ''\QEF''  | Q.E.F. | //Quod erat faciendum// / Ce qu'il fallait faire          |
 <WRAP column half>