Bonjour
Voici la démonstration de l'irrationalité de la racine carre d'un nombre premier
Soit

un nombre premier et

sa racine
supposons que

tel que

soit la fraction la plus simplifiee
on élève le tout au carre on obtient alors

Par consequant

est divisible par

. Donc

aussi est divisible par

. On peut donc écrire

,

est un entier.
Ainsi

donc

Pour les même raisons citées plus haut on trouve que

est divisible par

donc la fraction de départ ne peut pas être irréductible. c'est une contradiction avec l'hypothèse de départ donc cette fraction n'existe pas
Alors mes questions :
1/ Pourquoi si

alors nécessairement

divise

? Comment démontrer cela ?
2/ Si on avait posé au départ

un nombre quelconque pas nécessairement premier, on aurais eu que

est irrationnel alors que ce n'est pas toujours vrai. Comment est ce possible ?
Merci