Bonjour, j'aurai besoin d'aide sur cet exercice de mathématique niveau terminale, car je ne comprend pas ce qu'il faut faire. Soit (a, b, m, n) ∈ Z⁴ avec m et n ⩾ 2 tels que m ∧ n = 1 (PGCD(m, n) = 1). On considère une relation de Bézout mu + nv = 1. On cherche les entiers x tels que x ≡ a [m] et x ≡ b [n].
Question :
(1) Vérifier que l’entier x₀ = bmu + anv convient.
(2) Démontrer qu’un entier x convient si, et seulement si, x ≡ x₀ [mn].
(3) Application numérique. (a) Déterminer les entiers x tels que x ≡ 2 [3] et x ≡ 3 [5].
(b) En déduire les entiers x tels que x ≡ 2 [3], x ≡ 3 [5] et x ≡ 2 [7], puis donner la plus petite solution positive.