Normalement, la démo de l´irrationalité ne se fait pas sous cette forme, enfin en tout cas la forme que j´ai toujours vu, c´était celle là :
Par l´absurde, supposons donc que V(2) soit un rationnel. Il existe alors deux entiers p et q (strictement positifs) tels que :
V(2) = p/q
Quitte à simplifier par le pgcd de p et q, on peut supposer p et q premiers entre eux (la fraction p / q est dite irréductible).
En élevant au carré les deux membres, on obtient :
2 = p²/q²
En multipliant par q² les deux côtés, on trouve alors :
2q² = p²
On en déduit que 2 divise p²=p×p et d´après le lemme de Gauss, puisque 2 est premier, il en résulte que 2 divise p, donc il existe k un entier tel que p = 2k. On trouve alors en simplifiant par 2 :
q² = 2k²
Cette égalité montre, d´après le lemme de Gauss, que 2 divise q.
On a donc montré que 2 divise p et q, ce qui est contradictoire avec l´hypothèse de départ, où l´on avait supposé p et q premiers entre eux. Donc V(2) est irationnel. CQFD.