Bonsoir,
a/b est irréductible => pas diviseur commun à a et à b.
1) Si √2=a/b=> 2=a²/b²=>a²=2b²
2) 2 divise a² donc 2 divise a =>a est pair
3) a pair=>a=2*k =>4k²=2b²=>b²=2k²=> 2 divise b =>b est pair
4)=> a et b sont divisible par 2 ce qui est faux car a et b sont premiers entre eux par hypothèse.
5) il est faux de penser que √2=a/b avec a et b premiers entre eux.
