1)
V = racine carré
V2 = p/q ; p et q € N, avec q différent de 0
(V2)² = (p/q)²
2 = (p²)/(q²)
2*q² = p²
2)
Comme p² = 2*q²; p² est divisible par 2, donc p² est pair.
3) Puisque p²=2*q², (donc que p² est pair), alors p ne peux pas être impair, d´après PARTIE A 2); donc p est pair
4) p est pair; on peut donc écrire p sous la forme: p= 2*m; avec m € N.
puisque
p² = 2*q²
(2*m)² = 2*q²
4m² = 2q²
2*m² = q²; on en déduit que q² est pair.
et grâce à PARTIE A 2), on en conclut que q est aussi pair.
5)
p et q étant pairs, nous pouvons poser p=2*a et q=2*b ; avec a et b € Z
donc p/q = (2*a)/(2*b) = a/b ; avec b différent de 0
ce qui signifie que la fraction p/q peut être réduite par a/b; or on a supposé p/q une fraction irréductible, il y a donc contradiction.
Il est donc absurde d´écrire que V2=p/q ; donc V2 n´est pas rationnel.