Salut a tous,
je dois prouver que x² - (V2)x - 4/7 = 0 n´admet pas de solution dont le nombre soit rationnel
Voila comment j´ai procédé :
J´ai prouvé que V2 est irrationnel (je vous passe la demonstration, elle importe peu) ensuite, j´ai supposé que x £ Q (x rationnel quoi)
Raisonnement par l´absurde
x² - (V2)x + 4/7 est supposé etre rationnel
donc x² - (V2)x - 4/7 = a/b avec a £ Z et b £ Z*
x² - (V2)x - 4/7 = a/b
a = bx² - bx(V2) - 4b/7
bx² est rationnel, bx(V2) est irrationnel, et - 4b/7 est rationnel
Donc la soustration de ces trois termes est irationnel
Contradiction car a ne l´est pas :
Conclusion x² - (V2)x + 4/7 = 0 n´admet pas de solution rationnel
Je suis sur que c´est probablement faux, et si j´ai une erreur / oubli, j´aimerais bien que vous me la signaliez
Merci d´avance 