[<] Calculs en congruence [>] Nombres premiers entre eux
Calculer le pgcd des entiers et et déterminer un couple de coefficients entiers exprimant une relation de Bézout .
Déterminer le pgcd et les coefficients de l’égalité de Bézout (1730-1783) des entiers et suivants:
.
Solution
et .
et
et
Soient . Montrer l’équivalence:
Solution
Supposons avec . et donc .
Supposons . On peut écrire avec .
Par l’égalité de Bézout, il existe tels que
et on a alors
avec et
(Coefficients de l’égalité de Bézout)
Soient et deux entiers non nuls de pgcd . Notre but est de déterminer tous les couples tels que .
Justifier l’existence d’un couple solution .
Exprimer à partir de tous les couples solutions.
Soient et des entiers. Établir
Résoudre dans les systèmes:
Solution
Soit solution. donc et avec premiers entre eux.
donc d’où
Les couples et sont à éliminer car 2 et 6 ne sont pas premiers entre eux.
Finalement,
Inversement: ok.
Finalement,
Soit solution. donc et avec premiers entre eux.
donc .
Sachant , il reste puis .
Inversement: ok.
Finalement,
Soient . Donner une condition nécessaire et suffisante pour que le système
possède un couple solution.
Solution
Si le système possède une solution alors est une condition nécessaire.
Inversement, si alors et donne un couple solution.
Résoudre dans l’équation:
Solution
Soit un couple solution. Posons .
On peut écrire
L’équation devient:
Ainsi est de la forme ou avec .
Inversement, ces couples sont solutions.
Soient et deux entiers naturels avec non nul.
Montrer que, si est le reste de la division euclidienne de par , alors est le reste de la division euclidienne de par .
En déduire
(Suite de Fibonacci)
On considère la suite déterminée par
Vérifier que, pour tout , et sont des entiers premiers entre eux.
Soit . Montrer
Soient et .
Établir
où est le reste de la division euclidienne de par .
Conclure
[<] Calculs en congruence [>] Nombres premiers entre eux
Édité le 29-08-2023
Bootstrap 3 - LaTeXML - Powered by MathJax