Le carré de fin de démonstration : CQFD, Q.E.D. et tombstone de Halmos

Au bas d'une démonstration, juste après la dernière ligne, il y a toujours un petit signe qui dit « c'est fini ». Parfois trois lettres, CQFD ; parfois un carré noir posé dans la marge, ▪ ; parfois l'abréviation latine Q.E.D. Ce symbole de fin de démonstration est l'un des rares gestes rituels des mathématiques, et pourtant presque personne ne connaît son histoire ni sa logique. Je suis Léa M., normalienne (ENS Ulm), agrégée de mathématiques et mentor à Majorant. Dans cet article, je vous propose une petite promenade culturelle — de la géométrie grecque aux notations de Paul Halmos — pour comprendre d'où vient ce carré qui clôt vos copies, et surtout ce qu'il faut réellement en faire en prépa.

Pourquoi marquer la fin d'une démonstration ?

Commençons par la question de fond : à quoi sert ce signe ? Une démonstration mathématique est un raisonnement qui part d'hypothèses et aboutit à une conclusion. Mais dans un texte dense — un cours, un article, une copie de concours — où s'arrête le raisonnement, et où commence le commentaire, la remarque, l'exemple ? Sans marqueur, la frontière est floue.

Le symbole de fin de démonstration résout ce problème typographique : il signale sans ambiguïté que la preuve est achevée, que l'objectif annoncé est atteint, et que le lecteur peut « refermer » mentalement le raisonnement. C'est une ponctuation logique. Elle dit : ce qui devait être établi l'a été ; nous pouvons passer à la suite.

Ce besoin n'est pas neuf. Il est aussi ancien que l'écriture mathématique rigoureuse elle-même. Dès qu'on a voulu enchaîner des théorèmes et des preuves dans un texte suivi, il a fallu inventer une manière de dire « point final » à une démonstration. Les Grecs l'avaient déjà fait, à leur façon.

Aux origines : la formule d'Euclide

Le plus vieux ancêtre de notre carré est une formule, pas un symbole. Dans les Éléments d'Euclide (vers 300 avant notre ère), chaque proposition se termine par une expression grecque consacrée : ὅπερ ἔδει δεῖξαι (« hoper edei deixai »), que l'on traduit par « ce qu'il fallait démontrer ». Pour les problèmes de construction (tracer telle figure), Euclide utilisait une variante : ὅπερ ἔδει ποιῆσαι, « ce qu'il fallait faire ».

Cette formule remplissait exactement le rôle de notre symbole : elle bouclait la démonstration en rappelant que l'énoncé de départ venait d'être prouvé. C'était une signature intellectuelle, presque une fierté : j'avais annoncé un résultat, le voici établi.

Quand les textes grecs furent traduits en latin, langue savante de l'Europe médiévale et moderne, la formule devint quod erat demonstrandum — « ce qui devait être démontré ». Son abréviation, Q.E.D., allait traverser les siècles et devenir le marqueur de fin de preuve par excellence dans la tradition mathématique occidentale. Pour les constructions, on écrivait quod erat faciendum, Q.E.F., « ce qu'il fallait faire ».

Q.E.D., CQFD : la longue vie d'une abréviation

Pendant des siècles, Q.E.D. fut le signe universel. On le trouve à la fin des preuves de Newton, d'Euler, de Gauss — une petite formule latine, sobre et solennelle, qui marquait le triomphe de la raison. En français, CQFD s'est imposé dans l'enseignement, au point de devenir une expression du langage courant : « CQFD ! » se dit encore pour souligner qu'une démonstration, au sens large, est imparable.

Mais Q.E.D. avait un défaut pour le mathématicien pressé : trois lettres (ou quatre en français), c'est long à écrire, et cela mêle du texte à ce qui pourrait être un pur symbole. Au XXe siècle, avec l'explosion de la production mathématique et le souci croissant de clarté typographique, un besoin s'est fait sentir : disposer d'un signe graphique unique, instantané, visible d'un coup d'œil dans la marge. C'est là qu'intervient un personnage clé.

Le tombstone de Halmos : ▪

Le symbole moderne le plus répandu dans les livres et articles de recherche est un petit carré ou rectangle plein (ou parfois vide) : ▪ ou □. On l'appelle le tombstone (« pierre tombale », en anglais) ou, plus affectueusement, le halmos, du nom de celui qui l'a popularisé.

Paul Halmos (1916-2006), mathématicien américain d'origine hongroise, était un immense pédagogue et un styliste de l'écriture mathématique. Dans les années 1950, il emprunte à la typographie des magazines l'usage d'un petit signe pour marquer la fin d'un article, et l'importe dans les mathématiques pour signaler la fin d'une démonstration. Il n'a jamais prétendu l'avoir « inventé » — il reconnaissait l'avoir vu ailleurs — mais c'est lui qui l'a rendu standard dans la communauté mathématique. Le symbole lui est resté associé au point qu'on parle couramment du « symbole de Halmos ».

L'avantage du tombstone est évident : c'est un signe muet, purement visuel, qui ne coûte qu'un caractère et se repère instantanément en bout de ligne. Il a envahi les textes de recherche modernes et les logiciels de composition mathématique. Si vous ouvrez un livre de maths de niveau licence ou master, ou un article de recherche, vous verrez presque toujours un ▪ ou un □ là où Euclide aurait écrit sa formule grecque.

Le surnom de « tombstone » n'est pas anodin : la forme du petit rectangle évoque une pierre tombale, et l'image plaît aux mathématiciens par son humour discret — le raisonnement est « enterré », clos, achevé. Halmos lui-même racontait avoir emprunté ce signe aux magazines qu'il lisait, où un carré marquait la fin des articles pour éviter que le lecteur ne cherche une suite inexistante à la page suivante. Le même besoin — signaler sans ambiguïté « c'est terminé » — traversait ainsi le journalisme et les mathématiques. Halmos a simplement fait le pont entre les deux mondes, et ce petit geste typographique lui a valu une postérité que bien des théorèmes n'obtiennent jamais. Preuve, s'il en fallait, qu'en mathématiques la forme et le fond marchent main dans la main.

Carré plein, carré vide : y a-t-il une règle ?

On me pose souvent la question : le carré doit-il être plein (▪) ou vide (□) ? Existe-t-il une différence de sens ? La réponse honnête : il n'y a pas de convention universelle stricte. Les deux se rencontrent, et l'usage varie selon les auteurs et les maisons d'édition.

Cela dit, une pratique courante s'est dégagée dans certains ouvrages : le carré plein ▪ marque la fin d'une démonstration complète, tandis qu'on réserve parfois le carré vide □ pour indiquer qu'une preuve est laissée au lecteur, ou omise. Ce n'est pas une loi, seulement une habitude locale. D'autres auteurs utilisent le losange ◊, ou d'autres variantes encore. L'essentiel est la cohérence : à l'intérieur d'un même texte, un auteur s'en tient à une convention et à une seule.

Le message pédagogique est ici plus large qu'une histoire de symbole : en mathématiques, la notation est au service de la clarté. Un signe n'a de valeur que s'il est compris de la même façon par l'auteur et le lecteur. Ce principe, nous y reviendrons, était au cœur de la pensée de Halmos.

On rencontre d'ailleurs, chez certains auteurs, le carré centré et détaché du texte plutôt que collé à droite de la dernière ligne — pure affaire de mise en page. D'autres encore font précéder le symbole d'un léger espace ou l'accompagnent du mot « Démonstration » en début de preuve, de sorte que le lecteur voie d'un coup d'œil où commence et où finit chaque raisonnement. L'important, encore une fois, n'est pas la variante choisie mais la régularité de son emploi : le lecteur doit pouvoir se fier au signe sans jamais avoir à en deviner le sens.

Un signe qui voyage : traditions et variantes

Le besoin de marquer la fin d'une preuve est universel, mais la façon de le faire varie selon les langues, les époques et les communautés. Ce petit tour d'horizon éclaire la diversité des usages.

Dans le monde anglo-saxon, Q.E.D. a longtemps régné, avant que le tombstone de Halmos ne le supplante dans les textes techniques. On y rencontre aussi la formule anglaise « which was to be shown » ou, chez certains auteurs, un simple retour à la ligne suivi du symbole. Dans les textes français, CQFD demeure profondément ancré dans l'enseignement, et c'est lui que la plupart des élèves écrivent spontanément.

Dans la tradition allemande, on a longtemps utilisé l'abréviation « w.z.b.w. » (« was zu beweisen war », « ce qui était à démontrer »), calque exact de la formule latine. Chaque langue a ainsi produit sa propre traduction de la même idée euclidienne. C'est une belle illustration de l'unité des mathématiques par-delà les frontières : partout, on ressent le besoin de dire « c'est démontré », et partout on l'a fait à sa manière.

Il faut aussi mentionner un cousin important : le symbole qui marque la fin non d'une démonstration, mais d'une définition ou d'un exemple. Certains auteurs utilisent un losange ◊ ou un triangle pour clore un exemple, réservant le carré aux preuves. Cette distinction typographique fine aide le lecteur à naviguer dans un texte : il sait à tout moment s'il lit une preuve, une définition ou une illustration. Encore une fois, tout est affaire de convention locale et de cohérence.

De la logique à la typographie : pourquoi un signe et pas un mot ?

On peut se demander pourquoi les mathématiciens du XXe siècle ont préféré un symbole graphique à une formule. La réponse tient à l'évolution même de l'écriture mathématique, devenue de plus en plus dense et de plus en plus internationale.

Un symbole présente trois avantages décisifs. D'abord, il est langue-indépendant : un carré se comprend qu'on lise en français, en anglais ou en russe, là où « CQFD » ou « QED » supposent de connaître une abréviation. Dans une discipline mondialisée, où un article est lu sur tous les continents, cet universalisme est précieux. Ensuite, il est économique : un caractère au lieu de trois ou quatre, ce qui compte quand on compose des milliers de pages. Enfin, il est visuellement repérable : l'œil accroche instantanément un carré en bout de ligne, ce qui facilite la lecture rapide d'un texte technique.

Cette évolution du mot vers le signe illustre une tendance profonde des mathématiques modernes : la recherche d'un langage symbolique universel, épuré, efficace. Le passage de quod erat demonstrandum au petit carré n'est qu'un exemple parmi mille d'un mouvement plus vaste — celui qui a donné les symboles ∀, ∃, ∈, ⊂ et toute la panoplie qui vous est aujourd'hui familière. Chacun de ces signes a remplacé une périphrase, gagnant en concision et en universalité.

Que met-on sur une copie de prépa ?

Venons-en au concret, car c'est la vraie question de l'élève : qu'est-ce que j'écris, moi, en fin de démonstration, dans un DS ou une copie de concours ? Voici mes recommandations, en tant qu'ancienne prépa et correctrice.

• •CQFD reste la valeur sûre en France, dans un devoir manuscrit. Sobre, immédiatement reconnu, il ferme proprement une démonstration. Aucun correcteur ne vous le reprochera.
• •Le carré ▪ ou □ dessiné dans la marge fonctionne parfaitement aussi, surtout si vous aimez la concision. Beaucoup d'étudiants l'adoptent car il est rapide à tracer.
• •Souligner la conclusion ou l'encadrer est une excellente pratique complémentaire : elle guide l'œil du correcteur vers le résultat final. Un résultat encadré, précédé d'un « donc » clair, vaut mieux qu'un CQFD posé sur une conclusion noyée dans le texte.

Le point crucial — et je ne le répéterai jamais assez à mes élèves — c'est que le symbole ne prouve rien. Écrire CQFD ou dessiner un carré ne transforme pas un raisonnement bancal en démonstration valide. Le correcteur ne compte pas les points sur la présence du signe, mais sur la solidité de ce qui le précède. Un CQFD apposé sous un raisonnement troué ne fait qu'attirer l'attention sur le trou.

Q.E.D. hors des mathématiques : une petite gloire culturelle

Fait rare pour un symbole mathématique : le Q.E.D. a débordé de la discipline pour entrer dans la culture générale. En philosophie et en rhétorique, on l'emploie depuis longtemps pour clore une démonstration argumentative, pas seulement une preuve chiffrée. Spinoza, dans son Éthique, construit son ouvrage entier « à la manière des géomètres », avec définitions, axiomes, propositions et un « Q.E.D. » à la fin de chaque proposition démontrée. Il transpose ainsi la rigueur mathématique à la métaphysique — une ambition qui dit tout du prestige de la méthode démonstrative.

Dans le langage courant, « CQFD » est devenu une interjection : on le lance pour souligner qu'une argumentation est imparable, que la conclusion s'impose d'elle-même. Le petit sigle latin a donc conquis bien plus que les copies de maths ; il est devenu un symbole universel de la preuve aboutie, du raisonnement qui se referme sur sa conclusion sans laisser de prise à la contestation.

Cette diffusion culturelle n'est pas anecdotique pour un élève. Elle rappelle que la démonstration n'est pas une bizarrerie scolaire, mais l'un des sommets de la pensée occidentale : l'idée qu'on peut établir une vérité par le seul enchaînement du raisonnement, à partir de prémisses claires. Le petit carré que vous posez au bas d'une copie est l'héritier direct de cette ambition intellectuelle vieille de vingt-cinq siècles. Ce n'est pas rien, pour un signe qu'on trace en une seconde.

Le symbole comme culture mathématique

Pourquoi consacrer un article entier à un si petit signe ? Parce que ces détails, en apparence anecdotiques, disent quelque chose de profond sur la discipline. Les mathématiques sont un langage, et comme tout langage, elles ont leur ponctuation, leurs rituels, leur histoire. Connaître l'origine de Q.E.D., savoir qui était Halmos, comprendre pourquoi un carré a remplacé une formule latine : c'est habiter la discipline plutôt que la subir.

Cette culture a une valeur très concrète en prépa et aux concours. À l'oral, un candidat capable de glisser une remarque historique — « ce que les anciens notaient quod erat demonstrandum » — montre qu'il ne récite pas des formules mais qu'il comprend la matière comme une aventure intellectuelle vivante. Les jurys y sont sensibles : ils cherchent des scientifiques cultivés, pas des machines à calculer.

Plus fondamentalement, réfléchir au symbole de fin de preuve, c'est réfléchir à ce qu'est une démonstration. Où commence-t-elle ? Où s'arrête-t-elle ? Qu'est-ce qui distingue une preuve d'une simple vérification sur un exemple ? Le petit carré, en délimitant la preuve, nous force à cette question. Et cette question — qu'est-ce que prouver ? — est peut-être la plus importante de toute la formation mathématique.

Des cousins du carré : les autres marqueurs

Pour finir ce panorama, notons que le carré et le Q.E.D. ont des cousins dans d'autres contextes.

• •Certains auteurs terminent leurs démonstrations par un simple « ∎ » (le tombstone en caractère Unicode dédié, U+220E).
• •On rencontre aussi, dans des textes plus informels ou anglo-saxons, la locution plaisante « which was to be shown », calque direct de la formule latine.
• •Dans les documents composés avec des logiciels de mise en page scientifique, l'environnement de démonstration insère automatiquement le carré : le mathématicien n'a même plus à y penser, la typographie s'en charge.
• •Enfin, une tradition humoristique attribue à Q.E.D. la lecture détournée « quite easily done » (« fait très facilement »)... à réserver aux conversations de couloir, jamais à une copie de concours !

Tous ces marqueurs partagent la même fonction : dire « c'est fini », proprement. Le choix entre eux relève du style et de la convention, jamais de la logique. Ce qui compte, encore et toujours, c'est ce qu'il y a avant le symbole.

En résumé

Le symbole de fin de démonstration est bien plus qu'un ornement : c'est une ponctuation logique qui dit « ce qui devait être démontré l'est ». Son histoire va de la formule grecque d'Euclide (« ce qu'il fallait démontrer ») à son abréviation latine quod erat demonstrandum (Q.E.D.), francisée en CQFD, jusqu'au petit carré moderne — le tombstone, ou symbole de Halmos, popularisé au XXe siècle par le grand pédagogue Paul Halmos. Carré plein ou vide, CQFD ou losange : aucune règle universelle, seulement une exigence de cohérence. Sur une copie de prépa, CQFD, un carré dans la marge ou une conclusion encadrée conviennent tous — à condition de se rappeler l'essentiel : le symbole ne démontre rien, il ne fait que clore une preuve qui doit tenir par elle-même.

Derrière ce petit signe se cache toute une manière de penser la rigueur, la clarté et l'histoire des mathématiques. C'est exactement ce que nous cultivons chez Majorant : non pas des recettes à réciter, mais une compréhension profonde et vivante de la discipline. Nos mentors, passés par les ENS, Polytechnique, les Mines et CentraleSupélec, savent transmettre à la fois la technique et la culture qui font la différence aux concours. Envie de progresser en maths avec quelqu'un qui aime vraiment la matière ? Rencontrez votre mentor Majorant.