Le jour où le dogme de Pythagore s’écroula

Pythagore pensait que tout était nombre, nombre entier plus précisément ou rapport de nombres entiers. De nos jours, on dit nombres rationnels, du latin ratio qui, dans ce contexte signifie rapport.

La duplication du carré

Dans le Ménon de Platon, le problème de Socrate est celui de la duplication du carré, c’est-à-dire de trouver un carré d’aire double d’un carré donné.

Le grand carré orange duplique le carré représenté de travers. Pour le démontrer, il suffit de compter les triangles.

La solution pour dupliquer un carré est d’en construire un dont le côté est la diagonale du premier. Selon le théorème de Pythagore, 2 = 2 2a est le côté du carré et d sa diagonale. Si tout est nombre, a et d sont deux nombres entiers naturels (en choisissant bien l’unité).

Un raisonnement par l’absurde

Ici commence un raisonnement mathématique subtil, l’un des plus anciens de ce type. Bien que nous ne connaissions aucun de ces deux nombres, nous imaginons la factorisation de 2 = 2 2 et y comptons les occurrences du facteur 2 en utilisant chacune des formes à droite et à gauche du signe égal. Ce nombre est pair dans 2 puisque chaque apparition dans d est doublée par l’effet de la multiplication par lui-même. Le même phénomène se produit dans 2. En multipliant cette quantité par 2, on en ajoute un. Le nombre de 2 dans 2 2 est donc impair. L’égalité 2 = 2 2 conduit à une absurdité : le nombre de 2 est à la fois pair (dans 2) et impair (dans 2 2). L’hypothèse de l’existence d’une commune mesure entre les côtés des deux carrés aboutit à une absurdité, elle est donc fausse.

L’écroulement du dogme de Pythagore

L’idée de Pythagore s’écroule, il existe des longueurs incommensurables. Son dogme « tout est nombre » ne retrouvera vie que dans les temps modernes, quand d’autres « objets » seront admis dans le champ des nombres, en particulier, le rapport de la diagonale au côté du carré, racine de 2 que nous disons irrationnel, non pas parce que ce nombre ne serait pas raisonnable mais parce qu’il ne s’agit pas d’un rapport d’entiers.