Lostounet a procédé par l'absurde :
Il suppose que racine(2)-racine(3) est un rationnel, il montre qu'il y a une incohérence, et donc que cette supposition est fausse.
Commençons par remarquer que si on multiplie un nombre rationnel r par lui même, le résultat (cad r^2) est toujours rationnel. Donc si racine(2)-racine(3) est rationnel,alors
^2=5-2\sqrt 6)
est rationnel. Donc on aurait

rationnel. Sauf que si on enlève

c'est toujours un rationnel. On a alors

rationnel. On divise par -2, ça reste rationnel, donc

. Mais ça c'est faux, c'est un résultat connu. Si tu ne sais pas le montrer, tu peux chercher comment montrer que

n'est pas rationnel, c'est sensiblement la même chose.
On a donc une incohérence, d'où racine(2)-racine(3) n'est pas rationnel
