. est le premier exemple de nombre
irrationnel qu'aient rencontré les mathématiciens. Il
est connu depuis l'Antiquité grecque et cette
découverte a suscité à l'époque
beaucoup de perplexité.
Une preuve de ce résultat procède par contradiction. Il semble que ce soit d'ailleurs le premier exemple de raisonnement par contradiction dans l'histoire des mathématiques.