Si \sqrt{2} était rationnel, comment pourrait-on l'écrire ?
Comment peut-on écrire a^2 , avec a défini précédemment ?
Si a^2 est un entier pair, que peut-on dire de la parité de a ?
Si a^2 = 2 b^2 et que a est un entier pair, a et b sont-ils premiers entre eux ?