C.q.f.d.

Pour les articles homonymes, voir CQFD (homonymie) et QED (homonymie).

CQFD (ou c.q.f.d.^[1]) est l'abréviation de « ce qu'il fallait démontrer ». Elle se place à la fin d'une démonstration mathématique pour indiquer que le résultat attendu a été démontré. L'expression équivalente en latin est QED, « quod erat demonstrandum », elle-même traduite de l'expression grecque ὅπερ ἔδει δεῖξαι (hoper edei deixai).

De nombreux documents utilisent maintenant des symboles variés pour marquer visuellement la fin d'une démonstration. Il s'agit d'une pratique usuelle et fréquente, mais pas constante^{[réf. nécessaire]}.

Les Éléments d'Euclide

Une des plus anciennes versions connues du traité d'Euclide

L'expression hoper edei deixai apparait dans les versions grecques des Éléments d'Euclide^[2]. Ce traité de mathématiques composé par Euclide, résume et organise les principales connaissances en géométrique dans la Grèce classique au III^e siècle av. JC. Son traité est organisé en définitions, postulats, Propositions et Démonstrations. La fin des démonstrations était marquée par quod edei deixai.

D'après le site Earliest Known Uses of Some of the Words of Mathematics^[3], l'expression quod erat demonstratum fut utilisé dans les traductions latines des Éléments d'Euclide au début du XVI^e siècle. Il existe aussi différentes variantes, qui sont apparues à cette époque :

• Quod erat faciendum - Cette expression est utilisée dans les traductions des Éléments à la fin d'une construction géométrique.
• Quod erat Absurdum - Cette expression concluait les démonstrations par l'absurde.

L'imprimerie de Gutenberg (impression sur planches pressées avec lettres amovibles) permettait une plus grande diffusion des ouvrages, même si la publication de livres scientifiques (surtout de mathématiques) représentait alors une perte d'argent^{[réf. nécessaire]}. L'expression quod erat demonstratum s'imposa à travers l'Europe, et fut remplacée par ses initiales QED ou qed, plus économiques.

L'expression est aujourd'hui passée dans le langage courant, pour clore un discours dans lequel on pense avoir apporté suffisamment d'arguments pour convaincre son interlocuteur.

Évolution de la typographie

Toutefois, les abréviations CQFD et QED sont largement délaissées dans l'ensemble des articles de recherche et dans de nombreux ouvrages de mathématiques de niveau doctoral^[4]. Elle a également disparu des manuels scolaires. De plus, des auteurs préfèrent l'utilisation de symboles pour marquer la fin des démonstrations (carrés pleins ∎, carrés blancs □, etc.).

De plus en plus de documents scientifiques (aussi bien des articles que des manuels scolaires) sont produits avec LATEX (lire l'article Latex)^{[réf. nécessaire]}. Le package amsmath fournit un environnement pour les preuves^{[réf. nécessaire]}. Cet environnement est délimité par \begin{proof} ... \end{proof}. Par défaut, dans le document produit, est affiché Proof en italique, suivi du texte, terminé par un carré blanc ∎. L'environnement prévoit le bon positionnement du carré en fonction de la mise en page (taille du papier et des marges) et de la dernière ligne affichée. Il est possible de remplacer ce caractère par défaut par CQFD ou QED.

Notes et références

• Portail des mathématiques