Soit $(x,y)$ une solution de $(E)$.
Nécessairement l'entier $5$ divise l'entier $5(y-y_0)=11(x-x_0)$. Puisque $5$ est premier à $11$ (car les entiers $5$ et $11$
sont des nombres premiers distincts), le théorème de \textsc{Gauss} permet d'affirmer que $5$ divise $x-x_0$. Par suite,
il existe un entier relatif $k$ tel que $x-x_0=5k$ ou encore $x=x_0+5k$.
De même, il existe nécessairement un entier relatif $k'$ tel que $y=y_0+11k'$.
Soient alors $k$ et $k'$ deux entiers relatifs puis $x=x_0+5k$ et $y=y_0+11k'$.
\begin{align*} 11x-5y=14&\Leftrightarrow11(x_0+5k)-5(y_0+11k')=14\Leftrightarrow11x_0-5y_0+5\times11\times(k-k')=14\\ &\Leftrightarrow5\times11\times(k-k')=0\Leftrightarrow k=k'. \end{align*}Finalement,
les couples d'entiers relatifs solutions de $(E)$ sont les couples de la forme $(4+5k,6+11k)$ où $k\in\mbz$.
Pour tout entier naturel $n$, $2^{3n}\equiv1\;(\text{mod}\;7)$.
$2012=3\times670+2$ et donc $2^{2012}=2^2\times2^{3\times670}$. La question a) permet alors d'écrire que $2^{3\times670}\equiv1\;(\text{mod}\;7)$ et donc $2^{2012}\equiv2^2\times1\;(\text{mod}\;7)$ ou encore $2^{2012}\equiv4\;(\text{mod}\;7)$.
Finalement, $2011^{2012}\equiv4\;(\text{mod}\;7)$. Comme $0\leqslant 4< 7$, on a montré que
le reste de la division euclidienne de $2011^{2012}$ par $7$ est $4$.
On en déduit que $d=1$ ou $d=7$.
Donc, si $d=7$, nécessairement $n\equiv2\;(\text{mod}\;7)$.
Réciproquement, soit $n$ un entier naturel tel que $n\equiv2\;(\text{mod}\;7)$. Alors,
On a montré que
pour tout entier naturel $n$, $\text{PGCD}(3n+1,2n+3)=\left\{ \begin{array}{l} 7\;\text{si}\;n\equiv2\;(\text{mod}\;7)\\ 1\;\text{sinon} \end{array} \right.$.
1 | 12 |
2 | 6 |
3 | 4 |
c'est-à-dire la liste des diviseurs de $12$. De manière générale, la condition $\dfrac{A}{N}-\text{Ent}\left(\dfrac{A}{N}\right)=0$ équivaut au fait que $N$ est un diviseur de $A$ et donc
l'algorithme donne la liste de tous les diviseurs d'un entier donné.