Bonjour (c'est des choses qui se disent parfois, chez les civilisés)

Démonstration par l'absurde : suppose qu'il est rationnel, c'est à dire qu'il existe deux entiers p et q tels que 2 = p/q avec p/q fraction irréductible.