Bonjour,
j'ai validé une autre explication venant d'un visiteur nommé Touhami.
Bonne continuation

Yessine a écrit : ↑

dim. 14 juin 2020 08:38

Bonjour,
Ex:
Ex.jpg
je ne comprends pas la correction de question 3)b):
1.png
pouvez vous m'aider?
Merci d'avance

Bonjour,
On x=17+68k y=6x+k dans N
k est le bien le RESTE de la division euclidienne de y par x car 0<= k < x

Si y^x=17 alors 17 | y-6x ==> 17| k
Réciproquement, si 17 | k et comme il divise x alors 17 divise 6x+k donc 17| y.
17 est donc un diviseur commun à x et y.
X et y sont solutions de 409x-68y=17 ===> leur pgcd |17. Il en résulte que x^y = 17.

Bonjour,
tes entiers $x$ et $y$ sont solutions de l'équation $409x-68y=17$.
Le "si et seulement si" correspond à une équivalence donc on fait la preuve par double implication.

le sens direct $(pgcd(x,y)=17)\Longrightarrow (y\equiv 17k \,[x])$ : si 17 est le pgcd de $x$ et $y$, alors il divise $x$ et $y$, $x=17k$ et $y=17k'$ et la division euclidienne de $y$ par $x$ donne $y=qx+r$ donne $17k'=17k'q+r$ donc $r=17k'-17k'q=17(k-k'q)$ ce qui prouve bien que le reste est un multiple de 17.

Dans l'autre sens : $(y\equiv 17k \,[x])\Longrightarrow (pgcd(x,y)=17)$
on a encore la division euclidienne de $y$ par $x$ qui donne $y=qx+r$.
si on note $d=pgcd(x,y)$ alors $d|x$ et $d|y$ donc $d$ divise toute combinaison de $x$ et $y$ en particulier $d|409x-68y=17$ donc $d|17$
donc comme 17 est premier $d=1$ ou $d=17$.
Or on a vu dans la question 1 que si $x$ est solution de l''équation, alors c'est un multiple de 17 donc 17 divise $x$ donc aussi $qx$ et 17 divise le reste $r$ par hypothèse, donc $17$ divise $qx+r$ soit $17$ divise $y$. Donc 17 est un diviseur commun à $x$ et $y$ donc 17 divise leur pgcd et on a nécessairement $d=17$.
Est-ce plus clair ?

Bonjour,
Ex: je ne comprends pas la correction de question 3)b): pouvez vous m'aider?
Merci d'avance