Décidémment ces jours-çi, V(2) est à l´honneur
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, 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 :
2q² = 4k² => q² = 2k²
Cette égalité montre 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. Il en résulte alors que V(2) est irrationnel.
CQFD.