1) On se demande si le nombre √2 peut s'écrire comme une fraction sous
sa forme irréductible, autrement dit si √2 appartient à Q.
On va supposer qu'il existe a compris sur N (car √2> 0) et b compris sur N* tels que
a √2 = a/b où a et b n'auraient pas de diviseur commun.