En mathématiques, une preuve sans mots (ou une démonstration visuelle) est une démonstration d'une identité (ou d'une affirmation mathématique plus générale) à l'aide d'un diagramme la rendant évidente, sans qu'un texte plus explicite le commentant soit nécessaire. Quand le diagramme n'en illustre qu'un cas particulier, il faut que sa généralisation ne demande au lecteur qu'un effort minimal. Malgré les risques qu'elles présentent, ces démonstrations sont souvent considérées comme plus élégantes que des preuves mathématiquement plus rigoureuses.
Compte tenu de la définition de ces preuves, les commentaires qui suivent devraient être presque complètement redondants, pour quiconque connait le résultat à démontrer ; on trouvera cependant des analyses plus détaillées des premières dans l'article algèbre géométrique, cet article donnant également un historique de certaines de ces preuves, et offrant quelques considérations sur la valeur qu'il faut leur accorder.
La somme des entiers impairs de 1 à 2n − 1 est un carré parfait ; plus précisément, elle vaut n2. La preuve sans mots représentée à droite consiste à ajouter des bandes successives (ici, alternativement noires et blanches) formées d'un nombre impair de carreaux, pour obtenir une suite croissante de carrés, et ce indéfiniment.
Les formules donnant la somme des puissances n-èmes des entiers consécutifs (formules de Faulhaber) peuvent être démontrées visuellement pour n = 1, 2 ou 3 ; la jolie preuve visuelle ci-dessous illustre le fait que
elle demande cependant une observation plus attentive que la précédente pour être convaincante.
En revanche, la preuve visuelle ci-contre, proposée par Solomon W. Golomb, de ce que la somme des cubes des entiers de 1 à n est égale au carré de la somme de ces mêmes entiers, semble difficilement pouvoir se passer de quelques commentaires (expliquant par exemple que les k carrés additionnés dans chaque bande sont eux mêmes de côté k) ; Nelsen la considère cependant comme une preuve sans mots à part entière.
Le théorème de Pythagore possède de nombreuses preuves sans mots ; celle de droite (adaptée du Zhou Bi Suan Jing (en), un recueil chinois d'avant l'ère chrétienne), si elle n'est pas la plus parlante, a le mérite d'être l'une des plus anciennes démonstrations connues de ce théorème, et repose sur deux calculs différents de l'aire du grand carré, donnant la célèbre relation entre les côtés a2 + b2 = c2. Cette démonstration demande plus d'efforts au lecteur que les précédentes (il faut voir que les 4 triangles rectangles se replient vers l'intérieur du carré médian sans changer d'aire, puis utiliser l'identité a2 + b2 = (a − b)2 + 2ab), mais est cependant considérée également par Nelsen comme un exemple de preuve sans mots. La figure ci-dessous est la reconstitution moderne (et animée) d'une version ultérieure, ne demandant plus aucun calcul.
Le diagramme ci-contre donne une preuve graphique très simple de l'inégalité de Young, (où f est une fonction continue croissante telle que f(0)=0), en interprétant les deux intégrales comme deux aires bordées par le graphe de f ; il permet même de montrer facilement que l'égalité entre les deux termes n'a lieu que si b=f(a).