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 CQFD.

L’obtention de ce symbole n’est pas compliquée, il s’agit du symbole 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 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.

\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}

Avec l’extension QED

L’extension QED définit un environnement de preuve et une commande \qed.

Avec des modifications manuelles

Une commande \qed peut être définie manuellement :

\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}

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.