Réponse :
bonjour
Explications étape par étape
1)
on suppose √2 rationnel
√2=p/q
avec p/q irréductible
p=q√2
p²=2q²
d'où
p² est pair
d'où
p est pair
2)
p pair p s'éceit 2k
p²=(2k)²
p²=4k²
2q²=4k²
q²=2k²
d'où
q² est pair d'où q est pair
d'où
p/q n'est pas irréductible
d'où
hypothèse de départ fausse
d'où
√2 n'est pas rationnel