la démonstration classique (par l´absurde):
supposons que V2 soit rationnel alors il existe (p,q)€(IN*)² tel que V2=p/q et tel que p et q soient premiers entre eux. on a p²=2q². on en déduit que p² est pair, d´où p pair i.e. p=2k (k€IN*). (2k)²=2q² <=> q²=2k² d´où q² est pair, ainsi que q. p et q admettent un diviseur commun qui est 2 ce qui contedrit l´hypothèse de départ. donc V2 est irrationnel.