Supposant que rac3 appartient a l'ensemble Q donc il se trouve deux nombres p et q de lN de tll que: rac3=p/q et pgcd(p,q)=1
donc 3q²=p² donc 3 divise p² ce qui veut dire que 3 divise p
donc p=3k ==> q²=3k² donc 3 divise q ce qui est faut parce que p et q sont premiers entre eux
en conclusion rac3 n'appartient pas a Q