Bon par l'absurde, supposons rac(2) rationnel
donc rac(2) = p/q avec p et q premiers entre eux.
donc 2 = p²/q² soit p² = 2q²
On en déduit que p² est pair donc que p est pair. Posons p = 2n donc 2 = (2n)²/q² soit q²/n² = 2.
De la même manière on aura alors q² pair donc q pair.
p et q sont tous les 2 pairs et premiers entre eux, absurde.
On a donc montré que rac(2) n'est pas rationnel.