Résoudre une équation diophantienne dans le cas général - Exercice 1

30 min
45
Soit l'équation (E):15x−26y=3\left(E\right) : 15x-26y=3, où xx et yy sont des entiers relatifs.
Question 1

Justifier que (E)\left(E\right) admet des solutions.

Correction
Soient aa, bb et cc trois entiers relatifs avec a≠0a\neq 0 et b≠0b\neq 0.
  • L'équation ax+by=cax+by=c admet des couples d'entiers relatifs (x;y)\left(x;y\right) solutions si et seulement si PGCD(a;b)\text{PGCD}\left(a;b\right) divise cc.
  • Calculons PGCD(26;15)\text{PGCD}\left(26;15\right) avec l'algorithme d'Euclide :
    26=15×1+11\red{26}=\blue{15}\times\purple{1}+\pink{11}
    15=11×1+4\red{15}=\blue{11}\times\purple{1}+\pink{4}
    11=4×2+3\red{11}=\blue{4}\times\purple{2}+\pink{3}
    4=3×1+1\red{4}=\blue{3}\times\purple{1}+\pink{1}
    3=1×3+0\red{3}=\blue{1}\times\purple{3}+\pink{0}
    Le dernier reste non nul vaut 11 : PGCD(15;26)=1\text{PGCD}\left(15;26\right)=1.
    Or 11 divise 33 :
    l'équation (E)\left(E\right) admet des solutions
    Question 2

    Déterminer un couple (u;v)\left(u;v\right) d'entiers relatifs tel que 15u−26v=115u-26v=1, puis une solution particulière de (E)\left(E\right).

    Correction
    Maintenant nous allons remonter l'algorithme d'Euclide de la question 11 en partant du dernier reste non nul :
    1=4−31=4-3
    1=4−(11−4×2)=3×4−111=4-\left(11-4\times 2\right)=3\times 4-11
    1=3×(15−11)−11=3×15−4×111=3\times\left(15-11\right)-11=3\times 15-4\times 11
    1=3×15−4×(26−15)=7×15−4×261=3\times 15-4\times\left(26-15\right)=7\times 15-4\times 26
    Ainsi 15×7−26×4=115\times 7-26\times 4=1 : le couple (u;v)=(7;4)\left(u;v\right)=\left(7;4\right) convient.
    En multipliant cette égalité par 33 : 15×21−26×12=315\times 21-26\times 12=3.
    Vérification : 15×21−26×12=315−312=315\times 21-26\times 12=315-312=3
    (x0;y0)=(21;12)\left(x_{0};y_{0}\right)=\left(21;12\right) est une solution particulière de (E)\left(E\right)
    Question 3

    Résoudre (E)\left(E\right).

    Correction
    Theˊoreˋme de Gauss\text{Théorème de Gauss} : soient aa, bb et cc trois entiers relatifs non nuls.
  • Si aa divise le produit bcbc et si aa et bb sont premiers entre eux, alors aa divise cc.
  • D’une part :\text{D'une part :} nous savons que 15x−26y=315x-26y=3
    D’autre part :\text{D'autre part :} nous avons démontré à la question 22 que : 15×21−26×12=315\times 21-26\times 12=3
    Nous allons maintenant soustraire ces deux égalités, cela nous donne :
    15x−26y−15×21+26×12=015x-26y-15\times 21+26\times 12=0
    15(x−21)=26(y−12)\pink{15\left(x-21\right)=26\left(y-12\right)}
    Donc 2626 divise 15(x−21)15\left(x-21\right). Or 2626 et 1515 sont premiers entre eux donc, d'après le théorème de Gauss, 2626 divise x−21x-21 : x−21=26kx-21=26k où k∈Zk\in \mathbb{Z}, c'est-à-dire x=21+26kx=21+26k.
    En remplaçant dans 15(x−21)=26(y−12)\pink{15\left(x-21\right)=26\left(y-12\right)} : 15×26k=26(y−12)15\times 26k=26\left(y-12\right). On simplifie par 2626 : y−12=15ky-12=15k, donc y=12+15ky=12+15k.
    Réciproquement : 15(21+26k)−26(12+15k)=315+390k−312−390k=315\left(21+26k\right)-26\left(12+15k\right)=315+390k-312-390k=3.
    S={(21+26k;12+15k) ouˋ k∈Z}S=\left\{\left(21+26k;12+15k\right) \text{ où } k\in \mathbb{Z}\right\}

    Signaler une erreur

    Aide-nous à améliorer nos contenus en signalant les erreurs ou problèmes que tu penses avoir trouvés.

    Connecte-toi ou crée un compte pour signaler une erreur.