CQFD (mathématiques)
Modèle:Voir homonymes {{#invoke:Bandeau|ébauche}} CQFD, également écrit C. Q. F. D. ou c.q.f.d.<ref>« C. Q. F. D. » selon Le Grand Robert de la langue française ; le dictionnaire Hachette écrit, lui, « c.q.f.d. ».</ref>, 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 Modèle:Grec ancien (hóper édei deîxai).
De nombreux documents utilisent maintenant, plutôt que cette abréviation, des symboles variés pour marquer visuellement la fin d'une démonstration, par exemple le carré blanc : ◻.
Éléments d'Euclide
L'expression ὅπερ ἔδει δεῖξαι (hóper édei deîxai) apparaît dans les versions grecques des Éléments d'Euclide <ref>Par exemple, Éléments d'Euclide, 2.5.</ref>. Ce traité de mathématiques composé par Euclide, résume et organise les principales connaissances en géométrie dans la Grèce classique au Modèle:S mini- siècleModèle:Vérification siècle Modèle:Av JCModèle:Vérification siècle Son traité est organisé en définitions, postulats, propositions et démonstrations. La fin des démonstrations était marquée par hoper edei deixai.
D'après le site Earliest Known Uses of Some of the Words of Mathematics<ref>{{#invoke:Langue|indicationDeLangue}} Earliest Known Uses of Some of the Words of Mathematics - letter Q</ref>, l'expression quod erat demonstrandum fut utilisée dans les traductions latines des Éléments d'Euclide au début du Modèle:S mini- siècleModèle:Vérification 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 est 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'argentModèle:Référence nécessaire. L'expression quod erat demonstrandum s'imposa à travers l'Europe, et fut remplacée par ses initiales QED ou qed, plus économiques.
L'expression « CQFD » 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<ref>Affirmation confirmée par exemple par une recherche sur le site de l'ArXivModèle:Citation nécessaire</ref>. Elles ont également disparu des manuels scolaires. De plus, certains auteurs préfèrent l'utilisation de symboles pour marquer la fin des démonstrations (carré plein : ◼ Modèle:Incise, carré blanc : ◻, dièse : ♯Modèle:Etc).
De plus en plus de documents scientifiques (aussi bien des articles que des manuels scolaires) sont produits avec LaTeX<ref>Modèle:Article</ref>. L'extension amsthm fournit un environnement pour les preuves<ref>Modèle:Ouvrage</ref>. Cet environnement est délimité par \begin{proof} et \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.
