Bonjour,
les grecs, à l'origine de la démonstration que tu cherches, n'avaient pas tes outils sous la main.
Pour ma part, j'avoue que tes explications ne m'ont pas convaincu. Je ne dis pas qu'ellessont erronées, remarque, je suis incapable de juger.
Je te donnes une autre approche :
si on part de l'hypothèse que est rationnel, alors il peut s'écrire comme le rapport de deux entiers p et q premiers entre eux, c'est à dire n'ayant pas de facteurs communs.
Elevons au carré, nous obtenons
, donc est divisible par 2, donc, du fait de la décomposition des entiers en produit de facteurs, p aussi. Soit alors p=2p'.
Alors , donc . Donc q est divisible par 2. Donc p et q ont un facteur commun, ce qui est contradictoire avec l'hypothèse que est rationnel.
J'espère que cela aura pû t'aider.