Vérifications expérimentales : démarches possibles

GeoGebra

Pour programmer GeoGebra, on a fait appel au théorème de Pythagore. On obtient donc un cercle vicieux si on veut faire appel à GeoGebra pour vérifier le théorème de Pythagore.

Mesures physiques

Les physiciens pensent qu'on vit dans un espace non-euclidien, dans lequel la courbure varie. Or le théorème de Pythagore suppose un espace euclidien, où la courbure est partout nulle. Sinon, on peut même obtenir un triangle équilatéral dont tous les angles sont droits :

Triangle sphérique, équilatéral et rectangle

Découpages

Le découpage menant au théorème de Pythagore que nous avons vu précédemment peut sembler convaincant. Mais notre intuition visuelle peut nous jouer des tours, comme le montre le paradoxe du carré manquant. Il faut donc se convaincre que le découpage de Pythagore est exact, et notamment qu'il est sans trous ni superpositions. Sinon, on peut se retrouver avec un autre phénomène comme le suivant:

Analyse du découpage précédent avec une figure GeoGebra