jonses a écrit:Pratique et efficace la démo :we: Mais je ne n'ai toujours pas vu les espaces vectoriels en cours, donc je me demande bien s'il est possible de résoudre cette équation à mon niveau...
Perso, je dirais pas que la démo est "pratrique et efficace" : elle considère comme "aquis" le fait qu'on a affaire à un
"

- espace vectoriel de dimension

" ce qui revient à considérer comme aquis... le résultat que tu as à démontrer.
La preuve de barbu consiste donc à écrire "c'est vrai parce que... on sait que c'est vrai" : c'est un peu limite comme "preuve"...
Donc à mon sens, il te faut faire du "bricolage". La méthode que tu as comméncé à utiliser doit marcher, mais ç'est un peu complexe à cause des carrés...
Perso, j'écrirais plutôt que :
\sqrt{3}=-(a+b\sqrt{2}))
- Si

alors on a aussi

et, comme

n'est pas un quotient, ces deux équations impliquent que

- Si

alors

avec

(en multipliant numérateur et dénominateur par le conjugué

qui est non nul car
\not=(0,0))
)
En élévant au carré, il vient

et, comme

n'est pas dans

on doit avoir

et

.
Mais, si

, la deuxième équation est

qui n'a pas de solution car

n'est pas dans

et, si

la deuxième équation est

qui n'a pas de solution car

n'est pas dans

.