Pour montrer qu´un réel est irrationnel, c´est en effet souvent une bonne idée de raisonner par l´absurde car on peut plus facilement caractériser les rationnels que les irrationnels.
Ici, une démo simple et classique :
Supposons rac(2) rationnel.
Alors il existe deux entiers p,q ( avec q>0)1ers entre eux tel que rac(2)=p/q.
En élevant au carré, 2*q^2=p^2.
D´où q|p^2, or pgcd(p,q)=1, d´où pgcd(p^2,q)=1
Ainsi q=1 et donc rac(2)=p est un entier strictement compris entre 1 et 2. Impossible, d´où rac(2) est irrationel.