Je reprends ton message initial :
Citation :
prouvé l'irrationalité de racine carré de 2
on c ke racine carré de 2= a/b ( entié naturel) prouvon par labsurde:
on pose a=2a prime
prouvé ke b=2a'
C'est incompréhensible. Je tente une traduction :
Citation :
On veut prouver l'irrationalité de racine carré de 2.
Raisonnons par l'absurde.
Supposons que V2 = a/b (a et b entiers naturels, b non nul).
on pose a=2a'
Prouver que b=2a' << erreur d'énoncé
On suppose donc que a/b = V2 avec a/b
fraction irréductible (**)
On élève au carré : a²/b² = 2, c'est-à-dire a²=2b² (*)
Donc a est pair
On pose a=2a'
On remplace dans (*) : 4a'² = 2b² donc
b² = 2a'2
Donc b² est pair
Donc b est pair (pourquoi ?)
a et b sont pairs : a/b n'est pas irréductible.
Contradictoire avec (H).
Absurde.