Heu...ça doit plutôt être que racine de 2 est irrationnel, c´est à dire qu´il n´existe pas de fraction égale à racine de 2
S´il existait une telle fraction p/q, irréductible, alors en élevant au carré on obtient :
2 = p²/q² soit 2*q²=p² ( 1)
Donc p² est multiple de 2, donc p est multiple de 2 donc p² est multiple de 4. En reportant dans ( 1), on obtient q² est multiple de 4 soit q est multiple de 2.
On a donc : p=2*p´ et q=2*q´ ( p et q multiples de 2) alors que la fraction p/q est irréductible...contradiction.