👤

FRstudy.me: votre ressource incontournable pour des réponses expertes. Posez vos questions et recevez des réponses fiables et détaillées de la part de notre communauté d'experts dévoués.

Hey everybody ! J'ai un petit souci avec un exo sur lequel je buche, donc ben je vais vous en faire part !
Déja l'énnoncé :
On note (E) l'ensemble des entiers naturels qui peuvent s'écrire sous la forme 9 + a² ou dans ce cas a est un entier naturel non nul ; par exemple :
10 = 9 + 1²; 13 = 9 + 2², ...
On se propose dans cet exercice d'étudier l'existence d'éléments de (E) qui sont des puissances de 2,3 ou 5.
1. Etude de l'équation d'inconnue a :
a² + 9 = 2(puissance n), ou dans ce cas a appartient à N, n appartient à N, et n est plus grand ou égal à 4.
a) Montrer que si a existe, a est impaire.
b) En raisonnant modulo 4, montrer que l'équation proposée n'a pas de solution.
Pour la réponse a, j'ai montrer que a² = 2(puissance n) - 9, que 2(puissance n) est paire, et que moin un impaire, ca donne un chiffre impaire. Donc a² est impaire, et a est impaire. Voila si vous penser que c'est faux ou que je dois rajouter quelque chose dites moi !
Sinon pour la deuxieme question, ben je buche, surtout sur le modulo 4, j'y arrive vraiment pas, donc ben voila dites moi si vous penser comprendre comment faire !
Merci d'avance !


Sagot :

Bonjour Mtumwa478

1. Etude de l'équation d'inconnue a :
a² + 9 = 2(puissance n), ou dans ce cas a appartient à N, n appartient à N, et n est plus grand ou égal à 4.
a) Montrer que si a existe, a est impaire.

Supposons que a existe.
L'équation est [tex]a^2+9=2^n[/tex]

Puisque [tex]2^n[/tex] est un nombre pair, nous déduisons que [tex]a^2+9[/tex] est pair.
D'où, puisque 9 est impair, [tex]a^2[/tex] doit être impair.

Or le carré d'un nombre pair est un nombre pair et le carré d'un nombre impair est un nombre impair.

Donc [tex]a^2[/tex] ne sera impair que si a est est impair.

Par conséquent, si a existe, a est impair.

b) En raisonnant modulo 4, montrer que l'équation proposée n'a pas de solution.

Nous savons que n ≥ 4.

[tex]2^n=2^2\times2^{n-2}\\\\2^n=4\times2^{n-2}[/tex]

D'où  [tex]2^n\equiv0\ (mod\ 4)[/tex]

Puisque  [tex]a^2+9=2^n[/tex], calculons les restes de [tex]a^2+9\ mod\ 4[/tex] et voyons si [tex] a^2+9\equiv0\ (mod\ 4)[/tex]

Les possibilités pour a mod 4 sont 0 ; 1 ; 2 ou 3.

[tex]a\equiv0\ (mod\ 4)\Longrightarrow a^2\equiv0\ (mod\ 4)\Longrightarrow a^2+9\equiv1\ (mod\ 4)\\\\a\equiv1\ (mod\ 4)\Longrightarrow a^2\equiv1\ (mod\ 4)\Longrightarrow a^2+9\equiv2\ (mod\ 4)\\\\a\equiv2\ (mod\ 4)\Longrightarrow a^2\equiv0\ (mod\ 4)\Longrightarrow a^2+9\equiv1\ (mod\ 4)\\\\a\equiv3\ (mod\ 4)\Longrightarrow a^2\equiv1\ (mod\ 4)\Longrightarrow a^2+9\equiv2\ (mod\ 4)[/tex]

Dans aucun de ces 4 cas, nous ne retrouvons [tex] a^2+9\equiv0\ (mod\ 4)[/tex].

Par conséquent, l'équation proposée n'a pas de solution.