Avancer

Section 12.3 Exercices

Calculez \(\text{PGCD}(a;b)\) à l'aide de l'algorithme d'Euclide, puis exprimez-le comme combinaison linéaire de \(a\) et de \(b\) en remontant, comme à l'exemple 12.1.3.

  1. Pour \(a=772\) et \(b=44\text{.}\)

  2. Pour \(a=1975\) et \(b=225\text{.}\)

  3. Pour \(a=1981\) et \(b=222\text{.}\)

  4. Pour \(a=12003\) et \(b=999\text{.}\)

  5. Pour \(a=30\) et \(b=4\text{.}\)

  6. Pour \(a=30\) et \(b=5\text{.}\)

Remarque : Vérifiez vos calculs en évaluant la combinaison linéaire obtenue.

Solution
  1. Commençons par exécuter l'algorithme d'Euclide, tout en isolant les restes :

    \begin{equation*} \begin{array}{rclcrclr} 772&=&44\cdot 17+24&\quad\Rightarrow\quad&24&=&772-44\cdot 17&(\text{E}_1)\\ 44&=&24\cdot 1+20&\quad\Rightarrow\quad&20&=&44-24\cdot 1&(\text{E}_2)\\ 24&=&20\cdot 1+4&\quad\Rightarrow\quad&4&=&24-20\cdot 1&(\text{E}_3)\\ 20&=&4\cdot 5+0&\text{Stop.}&&&& \end{array} \end{equation*}

    On en déduit d'abord que

    \begin{equation*} \text{PGCD}(772;44)=4. \end{equation*}

    Puis on remonte :

    \begin{equation*} \begin{array}{rclr} 4&=&24-20\cdot 1&(\text{E}_3)\\ &=&24-(44-24\cdot 1)\cdot 1&\text{grâce à }(\text{E}_2)\\ &=&24-44+24&\\ &=&24\cdot 2-44&\\ &=&(772-44\cdot 17)\cdot 2-44&\text{grâce à }(\text{E}_1)\\ &=&772\cdot 2-44\cdot 34-44&\\ &=&772\cdot 2-44\cdot 35.& \end{array} \end{equation*}

    On obtient donc la combinaison linéaire

    \begin{equation*} 4=772\cdot 2+44\cdot (-35) \end{equation*}

    c'est-à-dire

    \begin{equation*} \text{PGCD}(772;44)=772u+44v\qquad\text{avec }u=2\;\text{et}\;v=-35. \end{equation*}
  2. Commençons par exécuter l'algorithme d'Euclide, tout en isolant les restes :

    \begin{equation*} \begin{array}{rclcrclr} 1975&=&225\cdot 8+175&\quad\Rightarrow\quad&175&=&1975-225\cdot 8&(\text{E}_1)\\ 225&=&175\cdot 1+50&\quad\Rightarrow\quad&50&=&225-175\cdot 1&(\text{E}_2)\\ 175&=&50\cdot 3+25&\quad\Rightarrow\quad&25&=&175-50\cdot 3&(\text{E}_3)\\ 50&=&25\cdot 2+0&\text{Stop.}&&&& \end{array} \end{equation*}

    On en déduit d'abord que

    \begin{equation*} \text{PGCD}(1975;225)=25. \end{equation*}

    Puis on remonte :

    \begin{equation*} \begin{array}{rclr} 25&=&175-50\cdot 3&(\text{E}_3)\\ &=&175-(225-175\cdot 1)\cdot 3&\text{grâce à }(\text{E}_2)\\ &=&175-225\cdot 3+175\cdot 3&\\ &=&175\cdot 4-225\cdot 3&\\ &=&(1975-225\cdot 8)\cdot 4-225\cdot 3&\text{grâce à }(\text{E}_1)\\ &=&1975\cdot 4-225\cdot 32-225\cdot 3&\\ &=&1975\cdot 4-225\cdot 35.& \end{array} \end{equation*}

    On obtient donc la combinaison linéaire

    \begin{equation*} 25=1975\cdot 4+225\cdot (-35) \end{equation*}

    c'est-à-dire

    \begin{equation*} \text{PGCD}(1975;225)=1975u+225v\qquad\text{avec }u=4\;\text{et}\;v=-35. \end{equation*}
  3. Commençons par exécuter l'algorithme d'Euclide, tout en isolant les restes :

    \begin{equation*} \begin{array}{rclcrclr} 1981&=&222\cdot 8+205&\quad\Rightarrow\quad&205&=&1981-222\cdot 8&(\text{E}_1)\\ 222&=&205\cdot 1+17&\quad\Rightarrow\quad&17&=&222-205\cdot 1&(\text{E}_2)\\ 205&=&17\cdot 12+1&\quad\Rightarrow\quad&1&=&205-17\cdot 12&(\text{E}_3)\\ 17&=&1\cdot 17+0&\text{Stop.}&&&& \end{array} \end{equation*}

    On en déduit d'abord que

    \begin{equation*} \text{PGCD}(1975;225)=25. \end{equation*}

    Puis on remonte :

    \begin{equation*} \begin{array}{rclr} 1&=&205-17\cdot 12&(\text{E}_3)\\ &=&205-(222-205\cdot 1)\cdot 12&\text{grâce à }(\text{E}_2)\\ &=&205-222\cdot 12+205\cdot 12&\\ &=&205\cdot 13-222\cdot 12&\\ &=&(1981-222\cdot 8)\cdot 13-222\cdot 12&\text{grâce à }(\text{E}_1)\\ &=&1981\cdot 13-222\cdot 104-222\cdot 12&\\ &=&1981\cdot 13-222\cdot 116.& \end{array} \end{equation*}

    On obtient donc la combinaison linéaire

    \begin{equation*} 1=1981\cdot 13+222\cdot (-116) \end{equation*}

    c'est-à-dire

    \begin{equation*} \text{PGCD}(1981;222)=1981u+222v\qquad\text{avec }u=13\;\text{et}\;v=-116. \end{equation*}
  4. Commençons par exécuter l'algorithme d'Euclide, tout en isolant les restes :

    \begin{equation*} \begin{array}{rclcrclr} 12003&=&999\cdot 12+15&\quad\Rightarrow\quad&15&=&12003-999\cdot 12&(\text{E}_1)\\ 999&=&15\cdot 66+9&\quad\Rightarrow\quad&9&=&999-15\cdot 66&(\text{E}_2)\\ 15&=&9\cdot 1+6&\quad\Rightarrow\quad&6&=&15-9\cdot 1&(\text{E}_3)\\ 9&=&6\cdot 1+3&\quad\Rightarrow\quad&3&=&9-6\cdot 1&(\text{E}_4)\\ 6&=&3\cdot 2+0&\text{Stop.}&&&& \end{array} \end{equation*}

    On en déduit d'abord que

    \begin{equation*} \text{PGCD}(12003;999)=3. \end{equation*}

    Puis on remonte :

    \begin{equation*} \begin{array}{rclr} 3&=&9-6\cdot 1&(\text{E}_4)\\ &=&9-(15-9\cdot 1)\cdot 1&\text{grâce à }(\text{E}_3)\\ &=&9-15+9&\\ &=&9\cdot 2-15&\\ &=&(999-15\cdot 66)\cdot 2-15&\text{grâce à }(\text{E}_2)\\ &=&999\cdot 2-15\cdot 132-15&\\ &=&999\cdot 2-15\cdot 133&\\ &=&999\cdot 2-(12003-999\cdot 12)\cdot 133&\text{grâce à }(\text{E}_1)\\ &=&999\cdot 2-12003\cdot 133+999\cdot 1596&\\ &=&999\cdot 1598-12003\cdot 133.&\\ \end{array} \end{equation*}

    On obtient donc la combinaison linéaire

    \begin{equation*} 3=12003\cdot (-133)+999\cdot 1598 \end{equation*}

    c'est-à-dire

    \begin{equation*} \text{PGCD}(12003;999)=12003u+999v\qquad\text{avec }u=-133\;\text{et}\;v=1598. \end{equation*}
  5. Commençons par exécuter l'algorithme d'Euclide, tout en isolant les restes :

    \begin{equation*} \begin{array}{rclcrclr} 30&=&4\cdot 7+2&\quad\Rightarrow\quad&2&=&30-4\cdot 7&(\text{E}_1)\\ 4&=&2\cdot 2+0&\text{Stop.}&&&& \end{array} \end{equation*}

    On en déduit d'abord que

    \begin{equation*} \text{PGCD}(30;4)=2. \end{equation*}

    Il n'y a rien à remonter ici. L'équation \((\text{E}_1)\) donne la combinaison linéaire

    \begin{equation*} 2=30\cdot 1+4\cdot (-7) \end{equation*}

    c'est-à-dire

    \begin{equation*} \text{PGCD}(30;4)=30u+4v\qquad\text{avec }u=1\;\text{et}\;v=-7. \end{equation*}
  6. Commençons par exécuter l'algorithme d'Euclide, tout en isolant les restes :

    \begin{equation*} \begin{array}{rclcrclr} 30&=&5\cdot 6+0&\text{Stop.}&&&& \end{array} \end{equation*}

    Dans ce cas particulier (\(5\vert 30\)), on déduit d'abord que

    \begin{equation*} \text{PGCD}(30;5)=5. \end{equation*}

    Il n'y a rien à remonter ici. On a la combinaison linéaire triviale

    \begin{equation*} 5=30\cdot 0+5\cdot 1 \end{equation*}

    c'est-à-dire

    \begin{equation*} \text{PGCD}(30;5)=30u+5v\qquad\text{avec }u=0\;\text{et}\;v=1. \end{equation*}

À l'aide de l'algorithme d'Euclide étendu, calculez \(\text{PGCD}(a;b)\) et exprimez-le comme combinaison linéaire de \(a\) et de \(b\text{.}\)

Présentez vos calculs comme à l'exemple 12.1.6.

  1. Pour \(a=772\) et \(b=44\text{.}\)

  2. Pour \(a=1975\) et \(b=225\text{.}\)

  3. Pour \(a=1981\) et \(b=222\text{.}\)

  4. Pour \(a=12003\) et \(b=999\text{.}\)

  5. Pour \(a=30\) et \(b=4\text{.}\)

  6. Pour \(a=30\) et \(b=5\text{.}\)

Solution
  1. On a

    \begin{equation*} \begin{array}{|c|c|c|c|c|} \hline r&u&v&\text{Division euclidienne}&q\\ \hline 772&1&0&\\ \hline 44&0&1&772=44\cdot 17+24&17\\ \hline 24&1-0\cdot 17&0-1\cdot 17&44=24\cdot 1+20&1\\ &=1&=-17&&\\ \hline 20&0-1\cdot 1&1-(-17)\cdot 1&24=20\cdot 1+4&1\\ &=-1&=18&&\\ \hline 4&1-(-1)\cdot 1&-17-18\cdot 1&20=4\cdot 5+0&\\ &=2&=-35&\text{Stop}&\\ \hline \end{array} \end{equation*}

    On déduit de la dernière ligne la valeur du PGCD

    \begin{equation*} \text{PGCD}(772;44)=4 \end{equation*}

    ainsi que la combinaison linéaire

    \begin{equation*} 4=772\cdot 2+44\cdot (-35). \end{equation*}
  2. On a

    \begin{equation*} \begin{array}{|c|c|c|c|c|} \hline r&u&v&\text{Division euclidienne}&q\\ \hline 1975&1&0&\\ \hline 225&0&1&1975=225\cdot 8+175&8\\ \hline 175&1-0\cdot 8&0-1\cdot 8&225=175\cdot 1+50&1\\ &=1&=-8&&\\ \hline 50&0-1\cdot 1&1-(-8)\cdot 1&175=50\cdot 3+25&3\\ &=-1&=9&&\\ \hline 25&1-(-1)\cdot 3&-8-9\cdot 3&50=25\cdot 2+0&\\ &=4&=-35&\text{Stop}&\\ \hline \end{array} \end{equation*}

    On déduit de la dernière ligne la valeur du PGCD

    \begin{equation*} \text{PGCD}(1975;225)=25 \end{equation*}

    ainsi que la combinaison linéaire

    \begin{equation*} 25=1975\cdot 4+225\cdot (-35). \end{equation*}
  3. On a

    \begin{equation*} \begin{array}{|c|c|c|c|c|} \hline r&u&v&\text{Division euclidienne}&q\\ \hline 1981&1&0&\\ \hline 222&0&1&1981=222\cdot 8+205&8\\ \hline 205&1-0\cdot 8&0-1\cdot 8&222=205\cdot 1+17&1\\ &=1&=-8&&\\ \hline 17&0-1\cdot 1&1-(-8)\cdot 1&205=17\cdot 12+1&12\\ &=-1&=9&&\\ \hline 1&1-(-1)\cdot 12&-8-9\cdot 12&17=1\cdot 17+0&\\ &=13&=-116&\text{Stop}&\\ \hline \end{array} \end{equation*}

    On déduit de la dernière ligne la valeur du PGCD

    \begin{equation*} \text{PGCD}(1981;222)=1 \end{equation*}

    ainsi que la combinaison linéaire

    \begin{equation*} 1=1981\cdot 13+222\cdot (-116). \end{equation*}
  4. On a

    \begin{equation*} \begin{array}{|c|c|c|c|c|} \hline r&u&v&\text{Division euclidienne}&q\\ \hline 12003&1&0&\\ \hline 999&0&1&12003=999\cdot 12+15&12\\ \hline 15&1-0\cdot 12&0-1\cdot 12&999=15\cdot 66+9&66\\ &=1&=-12&&\\ \hline 9&0-1\cdot 66&1-(-12)\cdot 66&15=9\cdot 1+6&1\\ &=-66&=793&&\\ \hline 6&1-(-66)\cdot 1&-12-793\cdot 1&9=6\cdot 1+3&1\\ &=67&=-805&&\\ \hline 3&-66-67\cdot 1&793-(-805)\cdot 1&6=3\cdot 2+0&\\ &=-133&=1598&\text{Stop}&\\ \hline \end{array} \end{equation*}

    On déduit de la dernière ligne la valeur du PGCD

    \begin{equation*} \text{PGCD}(12003;999)=3 \end{equation*}

    ainsi que la combinaison linéaire

    \begin{equation*} 3=12003\cdot (-133)+999\cdot 1598. \end{equation*}
  5. On a

    \begin{equation*} \begin{array}{|c|c|c|c|c|} \hline r&u&v&\text{Division euclidienne}&q\\ \hline 30&1&0&\\ \hline 4&0&1&30=4\cdot 7+2&7\\ \hline 2&1-0\cdot 7&0-1\cdot 7&4=2\cdot 2+0&\\ &=1&=-7&\text{Stop}&\\ \hline \end{array} \end{equation*}

    On déduit de la dernière ligne la valeur du PGCD

    \begin{equation*} \text{PGCD}(30;4)=2 \end{equation*}

    ainsi que la combinaison linéaire

    \begin{equation*} 2=30\cdot 1+4\cdot (-7). \end{equation*}
  6. On a

    \begin{equation*} \begin{array}{|c|c|c|c|c|} \hline r&u&v&\text{Division euclidienne}&q\\ \hline 30&1&0&\\ \hline 5&0&1&30=5\cdot 6+0&\\ &&&\text{Stop}&\\ \hline \end{array} \end{equation*}

    On déduit de la dernière ligne la valeur du PGCD

    \begin{equation*} \text{PGCD}(30;5)=5 \end{equation*}

    ainsi que la combinaison linéaire

    \begin{equation*} 5=30\cdot 0+5\cdot 1. \end{equation*}

Soit \(a, b\) deux entiers relatifs non nuls. Le but de cet exercice est d'observer que l'équation

\begin{equation} au+bv=\text{PGCD}(a;b)\label{eqbezout}\tag{12.3.1} \end{equation}

admet une infinité de solutions \((u;v)\in\mathbb{Z}^2\text{.}\)

Notons \((u_0;v_0)\) la solution particulière fournie par l'algorithme d'Euclide étendu.

Montrez que, pour tout entier \(k\in\mathbb{Z}\text{,}\) le couple \((u;v)\in\mathbb{Z}^2\) défini par

\begin{equation*} \left\{ \begin{array}{rcccc} u&=&u_0&+&k\cdot b\\ v&=&v_0&-&k\cdot a \end{array}\right. \end{equation*}

est solution de l'équation (12.3.1).

Solution

Par hypothèses, on a

\begin{equation} au_0+bv_0=\text{PGCD}(a;b)\label{eqbezout0}\tag{12.3.2} \end{equation}

donc

\begin{equation*} \begin{array}{cccc} au+bv&=&a\cdot (u_0+kb)+b\cdot (v_0-ka)&\\ &=&au_0+akb+bv_0-bka&\\ &=&\underbrace{au_0+bv_0}_{\text{PGCD}(a;b)}+\underbrace{kab-bka}_{0}&\\ &=&\text{PGCD}(a;b). \end{array} \end{equation*}

Utilisez l'algorithme fourni à la section 12.2 pour exprimer \(\text{PGCD}(a;b)\) comme combinaison linéaire de \(a\) et de \(b\text{.}\)

Puis inspirez-vous de l'exercice 12.3.3 pour donner deux autres couples d'entiers relatifs \((u;v)\) tels que \(au+bv=\text{PGCD}(a;b)\text{.}\)

  1. Pour \(a=377\) et \(b=233\text{.}\)

  2. Pour \(a=377\) et \(b=234\text{.}\)

  3. Pour \(a=356\,002\) et \(b=18\,954\text{.}\)

Solution
  1. L'algorithme fourni donne

    \begin{equation*} \text{PGCD}(377;233)=1\quad\text{et}\quad 1=377\cdot 89+233\cdot (-144). \end{equation*}

    Notons \((u_0;v_0)=(89;-144)\) cette solution particulière de l'équation

    \begin{equation} au+bv=\text{PGCD}(a;b)\quad\Leftrightarrow\quad 377\cdot u+233\cdot v=1.\label{eqbezout1}\tag{12.3.3} \end{equation}

    Si on pose, par exemple,

    \begin{equation*} \left\{ \begin{array}{rcccccccccc} u&=&u_0&+&b&=&89&+&233&=&322\\ v&=&v_0&-&a&=&-144&-&377&=&-521 \end{array}\right. \end{equation*}

    on obtient une autre solution \((u;v)=(322;-521)\) de l'équation (12.3.3).

    Et si on pose, par exemple,

    \begin{equation*} \left\{ \begin{array}{rcccccccccc} u&=&u_0&+&2b&=&89&+&2\cdot 233&=&555\\ v&=&v_0&-&2a&=&-144&-&2\cdot 377&=&-898 \end{array}\right. \end{equation*}

    on obtient une autre solution \((u;v)=(555;-898)\) de l'équation (12.3.3).

  2. L'algorithme fourni donne

    \begin{equation*} \text{PGCD}(377;234)=13\quad\text{et}\quad 13=377\cdot 5+234\cdot (-8). \end{equation*}

    Notons \((u_0;v_0)=(13;-8)\) cette solution particulière de l'équation

    \begin{equation} au+bv=\text{PGCD}(a;b)\quad\Leftrightarrow\quad 377\cdot u+234\cdot v=13.\label{eqbezout2}\tag{12.3.4} \end{equation}

    Si on pose, par exemple,

    \begin{equation*} \left\{ \begin{array}{rcccccccccc} u&=&u_0&-&b&=&13&-&234&=&-221\\ v&=&v_0&+&a&=&-8&+&377&=&369 \end{array}\right. \end{equation*}

    on obtient une autre solution \((u;v)=(-221;369)\) de l'équation (12.3.4).

    Et si on pose, par exemple,

    \begin{equation*} \left\{ \begin{array}{rcccccccccc} u&=&u_0&+&5b&=&13&+&5\cdot 234&=&1183\\ v&=&v_0&-&5a&=&-8&-&5\cdot 377&=&-1893 \end{array}\right. \end{equation*}

    on obtient une autre solution \((u;v)=(1183;-1893)\) de l'équation (12.3.4).

  3. L'algorithme fourni donne

    \begin{equation*} \text{PGCD}(356002;18954)=2\quad\text{et}\quad 2=356002\cdot (-694)+18954\cdot 13035. \end{equation*}

    Notons \((u_0;v_0)=(-694;13035)\) cette solution particulière de l'équation

    \begin{equation} au+bv=\text{PGCD}(a;b)\quad\Leftrightarrow\quad 356002\cdot u+18954\cdot v=2.\label{eqbezout3}\tag{12.3.5} \end{equation}

    Si on pose, par exemple,

    \begin{equation*} \left\{ \begin{array}{rccccc} u&=&u_0&+&7b&=&131984\\ v&=&v_0&-&7a&=&-2478979 \end{array}\right. \end{equation*}

    on obtient une autre solution \((u;v)=(131\,984;-2\,278\,979)\) de l'équation (12.3.5).

    Et si on pose, par exemple,

    \begin{equation*} \left\{ \begin{array}{rccccc} u&=&u_0&-&3b&=&-57556\\ v&=&v_0&+&3a&=&1081041 \end{array}\right. \end{equation*}

    on obtient une autre solution \((u;v)=(-57\,556;1\,081\,041)\) de l'équation (12.3.5).

Soit \(a, b, c\) trois entiers relatifs. Montrez que

\begin{equation*} a\vert bc\quad\text{et}\quad\text{PGCD}(a;b)=1\quad\Rightarrow\quad a\vert c. \end{equation*}
Solution

Supposons que \(a\vert bc\) et que \(\text{PGCD}(a;b)=1\text{.}\)

Comme \(a\vert bc\text{,}\) il existe \(d\in\mathbb{Z}\) tel que

\begin{equation*} bc=ad. \end{equation*}

Et comme \(\text{PGCD}(a;b)=1\text{,}\) il existe \((u;v)\in\mathbb{Z}^2\) tel que

\begin{equation*} au+bv=1. \end{equation*}

On a donc

\begin{equation*} \begin{array}{ccc} c&=&1\cdot c\\ &=&(au+bv)\cdot c\\ &=&auc+bvc\\ &=&auc+(bc)v\\ &=&auc+(ad)v\\ &=&a(uc+dv)\\ &=&ae \end{array} \end{equation*}

avec \(e=uc+dv\in\mathbb{Z}\text{,}\) d'où \(a\vert c\text{.}\)

Soit \(p\) un nombre premier et \(b, c\) deux entiers relatifs. Montrez que

\begin{equation*} p\vert bc\quad\Rightarrow\quad p\vert b\quad\text{ou}\quad p\vert c. \end{equation*}
Solution

Rappel : Comme \(p\) est premier, ses seuls diviseurs positifs sont \(1\) et \(p\text{.}\)

Supposons que \(p\vert bc\text{.}\)

  • Si \(p\) divise \(b\text{,}\) on a fini.

  • Si \(p\) ne divise pas \(b\text{,}\) alors le plus grand diviseur commun à \(p\) et à \(b\) est forcément \(1\text{.}\) On a donc

    \begin{equation*} p\vert bc\quad\text{et}\quad\text{PGCD}(p;b)=1 \end{equation*}

    d'où

    \begin{equation*} p\vert c \end{equation*}

    par le lemme de Gauss 12.3.5.

  1. Montrez que si \(a\) et \(b\) sont des entiers premiers entre eux, alors pour tout \(x\in\mathbb{Z}\text{,}\) on a

    \begin{equation*} a\vert x\quad\text{et}\quad b\vert x\quad\Rightarrow\quad ab\vert x. \end{equation*}
  2. Montrez que si \(m_1,\ldots,m_n\in\mathbb{Z}\) sont premiers entre eux deux à deux, alors pour tout \(x\in\mathbb{Z}\text{,}\) on a

    \begin{equation*} m_i\vert x\quad\text{pour tout } i=1,\ldots,n\quad\Rightarrow\quad m_1\cdots m_n\vert x. \end{equation*}

Application : Si \(x\in\mathbb{Z}\) est divisible par \(2, 3\) et \(5\text{,}\) alors \(x\) est divisible \(2\cdot 3\cdot 5=30\text{.}\)

Solution
  1. Supposons que \(a\) et \(b\) sont premiers entre eux, et qu'ils divisent \(x\) tous les deux. Alors, d'une part, il existe \(k\in\mathbb{Z}\) tel que

    \begin{equation*} x=ka. \end{equation*}

    D'autre part, on a donc

    \begin{equation*} b\vert ka\quad\text{et}\quad\text{PGCD}(a;b)=1. \end{equation*}

    Par le lemme de Gauss 12.3.5, on en déduit que \(b\) divise \(k\text{,}\) de sorte qu'il existe \(m\in\mathbb{Z}\) tel que

    \begin{equation*} k=mb. \end{equation*}

    Finalement, on obtient

    \begin{equation*} x=ka=(mb)\cdot a=m\cdot(ab) \end{equation*}

    ce qui montre que \(ab\) divise \(x\text{.}\)

  2. Ce résultat découle du précédent par récurrence sur \(n\text{.}\)

Soit \(r\) un nombre rationnel.

  1. Montrez qu'il existe \((a;b)\in\mathbb{Z}\times\mathbb{N}^*\) tel que

    \begin{equation*} r=\frac{a}{b}\quad\text{et}\quad\text{PGCD}(a;b)=1. \end{equation*}

    Remarque : On appelle cela écrire \(r\) sous forme de fraction irréductible.

  2. Montrez qu'une telle écriture est unique.

Remarque :

  • L'algorithme d'Euclide étendu permet de mettre une fraction \(\frac{a}{b}\) dans sa forme irréductible.

    Il faut pour cela se rendre jusqu'à la ligne qui permet d'écrire \(0\) comme combinaison linéaire \(a\) et de \(b\text{.}\) On a alors

    \begin{equation*} 0=au+bv\quad\Rightarrow\quad\frac{a}{b}=-\frac{v}{u}. \end{equation*}

    Et il se trouve que ces coefficients \(u\) et \(v\) sont forcément premiers entre eux. (Tous les couples \((u;v)\) qui apparaissent au long de l'algorithme d'Euclide étendu sont premiers entre eux. Une façon de s'en convaincre est de bien comprendre l'exercice 11.3.10, d'observer que toutes les matrices y sont de déterminant \(\pm 1\text{,}\) et de ne pas oublier le théorème de Bézout 12.1.9.)

  • Par exemple, grâce à l'algorithme d'Euclide étendu appliqué à \(2589\) et \(234\), on obtient

    \begin{equation*} 0=2589\cdot 78+234\cdot(-863)\quad\Rightarrow\quad\frac{2589}{234}=\frac{863}{78} \end{equation*}

    où \(\text{PGCD}(863;78)=1\text{.}\)

Solution
  1. Par définition des nombres rationnels, il existe \((a;b)\in\mathbb{Z}\times\mathbb{N}^*\) tel que

    \begin{equation*} r=\frac{a}{b}. \end{equation*}

    Si \(\text{PGCD}(a;b)=1\text{,}\) on a fini.

    Sinon, notons \(d:=\text{PGCD}(a;b)\text{.}\) Comme \(d\) divise \(a\) et \(b\text{,}\) il existe deux entiers relatifs \(a_0, b_0\) tels que

    \begin{equation*} a=da_0\quad\text{et}\quad b=db_0. \end{equation*}

    On a alors

    \begin{equation*} r=\frac{a}{b}=\frac{da_0}{db_0}=\frac{a_0}{b_0}, \end{equation*}

    et il ne reste plus qu'à montrer que \(\text{PGCD}(a_0;b_0)=1\text{.}\)

    Par le théorème de Bachet-Bézout 12.1.1, il existe \((u;v)\in\mathbb{Z}^2\) tel que \(au+bv=d\text{,}\) d'où

    \begin{equation*} da_0u+db_0v=d. \end{equation*}

    En divisant par \(d\text{,}\) on obtient

    \begin{equation*} a_0u+b_0v=1, \end{equation*}

    d'où \(\text{PGCD}(a_0;b_0)=1\) par le théorème de Bézout 12.1.9.

  2. Supposons qu'il existe \((a_1;a_2)\) et \((b_1;b_2)\) tels que

    \begin{equation*} r=\frac{a_1}{b_1}=\frac{a_2}{b_2}\quad\text{avec}\quad(a_i;b_i)\in\mathbb{Z}\times\mathbb{N}^*\;\text{ et }\;\text{PGCD}(a_i;b_i)=1. \end{equation*}

    Nous devons montrer que \((a_1;a_2)=(b_1;b_2)\text{.}\)

    Commençons par noter que

    \begin{equation*} a_1b_2=b_1a_2. \end{equation*}
    • Alors

      \begin{equation*} b_1\vert b_1a_2=a_1b_2\quad\text{et}\quad\text{PGCD}(a_1;b_1)=1 \end{equation*}

      implique que

      \begin{equation*} b_1\vert b_2 \end{equation*}

      par le lemme de Gauss 12.3.5.

      Par un raisonnement symétrique, on a aussi

      \begin{equation*} b_2\vert b_1. \end{equation*}
    • Comme \(b_1\) et \(b_2\) sont tous deux positifs, on déduit de ce qui précède qu'il existe deux entiers positifs \(c, d\) tels que

      \begin{equation*} b_1=cb_2\quad\text{et}\quad b_2=db_1. \end{equation*}

      On a alors

      \begin{equation*} b_1=cdb_1, \end{equation*}

      si bien qu'une division par \(b_1\) entraîne

      \begin{equation*} cd=1. \end{equation*}

      Comme le seul diviseur positif de \(1\) est \(1\) lui-même, il en découle que

      \begin{equation*} c=d=1, \end{equation*}

      d'où \(b_1=b_2\text{.}\)

    • Finalement, revenant à l'équation \(a_1b_2=a_2b_1\text{,}\) on a aussi \(a_1=a_2\text{,}\) ce qui complète la démonstration.

Montrez que le nombre \(\sqrt{2}\) est irrationnel.

Indication
Utilisez une preuve par contradiction et l'exercice 12.3.8.

Le secret de Ricardo pour un oeuf à la coque cuit à la perfection? Trois minutes de cuisson dans une eau frémissante!

Albert est parti randonner sans montre ni chronomètre, mais avec des oeufs, une casserole, un briquet, et deux sabliers : un de sept minutes, et un autre de neuf minutes.

  1. Comment Albert doit-il procéder pour préparer ses oeufs en suivant à la lettre le secret de Ricardo?

  2. Expliquez comment faire pour chronométrer une durée de \(n\) minutes avec ces deux sabliers, quelle que soit la valeur de \(n\in\mathbb{N}^*\text{.}\)

Remarque : Cet exercice est inspiré des excellentes notes de cours de Laurent Godefroy, avec l'accord de leur auteur.

Indication

Utilisez des combinaisons linéaires appropriées.