Arithmétique dans Z I. Divisibilité 1°) Divisibilité dans Z Déf : Soit a ,b ∈ ℤ . On dit que a divise b ssi ∃k ∈ ℤ tel que b = ak . On note alors a | b et on dit que a est un diviseur de b et que b est un multiple de a . Prop : ∀a ,b ∈ ℤ, a | b ⇒ (−a ) | b ,a | (−b ) et (−a ) | (−b ) . Prop : ∀a ,b ∈ ℤ avec b ≠ 0 . a | b ⇒ a ≤ b . Déf : Pour a ∈ ℤ on note Div(a ) l’ensemble des diviseurs de a et Mul(a ) l’ensemble des multiples de a . Ainsi : Div(a ) = {k ∈ ℤ / k | a } et Mul(a ) = {ak / k ∈ ℤ} (aussi noté a ℤ ).
Prop : a | b et b | c ⇒ a | c , a | b et b | a ⇒ a = b ,
a | b et a | c ⇒ a | (b + c ) , a | b et c | d ⇒ ac | bd , a | b ⇒ ∀p ∈ ℕ, a p | b p . 2°) Division euclidienne Théorème :
a = bq + r ∀a ∈ ℤ, ∀b ∈ ℕ ∗ , ∃!(q , r ) ∈ ℤ 2 tel que . 0 ≤ r < b q et r sont respectivement appelés quotient et reste de la division euclidienne de a par b . (visualisation dans la barre de division). Prop : ∀a ∈ ℤ et ∀b ∈ ℕ∗ , on a équivalence entre : (i) b | a , (ii) le reste de la division euclidienne de a par b est nul. 3°) Calculs en congruence Déf : Soit a ,b ∈ ℤ . On dit que a est congru à b modulo n ssi n | (a −b ) . On note alors a = b [n ] . Ainsi
a = b [n ] ⇔ ∃k ∈ ℤ, a = b + k .n . Prop : ∀a ∈ ℤ, ∃!r ∈ {0,1,…, n −1} tel que a = r [n ] . De plus r correspond au reste de la division euclidienne de a par n . Prop : a = b [n ] ⇔ b = a [n ]
a = b [n ] et b = c [n ] ⇒ a = c [n ] . Prop : Soit a ,a ′,b ,b ′ ∈ ℤ vérifiant a = a ′ [n ] et b = b ′ [n ] . On a
a + b = a ′ + b ′ [n ] , ab = a ′b ′ [n ] , −a = −a ′ [n ] et ∀p ∈ ℕ,a p = a ′ p
[n ] .
II. PGCD et PPCM 1°) PGCD de deux entiers Déf : Soit a ,b ∈ ℤ . Tout d ∈ ℤ tel que d | a et d | b est appelé diviseur commun à a et b . On note Div(a ,b ) l’ensemble des diviseurs communs à a et b . Ainsi Div(a ,b ) = Div(a ) ∩ Div(b ) .
Prop : ∀a ,b ∈ ℤ tels que (a ,b ) ≠ (0, 0) l’ensemble Div(a ,b ) possède un plus grand élément. Déf : Soit a ,b ∈ ℤ tels que (a ,b ) ≠ (0, 0) . Le plus grand élément de Div(a ,b ) est appelé pgcd de a et b . On le note pgcd(a ,b ) ou encore a ∧ b .
Convention : On pose pgcd(0, 0) = 0 . Prop : ∀a ,b ∈ ℤ , pgcd(a ,b ) ∈ ℕ , pgcd(a ,b ) = pgcd(b , a ) et pgcd(a ,b ) = pgcd( a , b ) .
-1/4-