Ce que tu sais déjà. En Seconde, tu as manipulé multiples, diviseurs et parité
(Seconde — Multiples, diviseurs et parité ) ; en Terminale, tu sais raisonner
par récurrence (Terminale — Raisonnement par récurrence ). L’arithmétique des
maths expertes étudie les entiers relatifs pour eux-mêmes : c’est la base de la cryptographie, des codes de
contrôle (ISBN, IBAN, numéro de Sécurité sociale) et de nombreuses énigmes.
1. Divisibilité dans les entiers relatifs
Définition. Soit a a a et b b b deux entiers relatifs. On dit que a a a divise b b b , et on note a ∣ b a \mid b a ∣ b , s’il existe un
entier relatif k k k tel que b = k a b = ka b = k a . On dit aussi que b b b est un multiple de a a a , ou que a a a est un diviseur de b b b .
Exemples. − 6 ∣ 42 -6 \mid 42 − 6 ∣ 42 car 42 = ( − 7 ) × ( − 6 ) 42 = (-7) \times (-6) 42 = ( − 7 ) × ( − 6 ) . Tout entier divise 0 0 0 (0 = 0 × a 0 = 0 \times a 0 = 0 × a ). 1 1 1 et − 1 -1 − 1 divisent tout
entier. Les diviseurs de 12 12 12 dans Z \mathbb{Z} Z sont ± 1 \pm 1 ± 1 , ± 2 \pm 2 ± 2 , ± 3 \pm 3 ± 3 , ± 4 \pm 4 ± 4 , ± 6 \pm 6 ± 6 , ± 12 \pm 12 ± 12 .
Propriétés. Soit a a a , b b b , c c c des entiers relatifs.
Transitivité : si a ∣ b a \mid b a ∣ b et b ∣ c b \mid c b ∣ c , alors a ∣ c a \mid c a ∣ c .
Combinaisons linéaires : si a ∣ b a \mid b a ∣ b et a ∣ c a \mid c a ∣ c , alors pour tous entiers u u u et v v v , a ∣ b u + c v a \mid bu + cv a ∣ b u + c v .
Si a ∣ b a \mid b a ∣ b avec b ≠ 0 b \neq 0 b = 0 , alors ∣ a ∣ ⩽ ∣ b ∣ |a| \leqslant |b| ∣ a ∣ ⩽ ∣ b ∣ .
🧠 Démonstration — combinaisons linéaires
Si a ∣ b a \mid b a ∣ b et a ∣ c a \mid c a ∣ c , il existe des entiers k k k et k ′ k' k ′ tels que b = k a b = ka b = k a et c = k ′ a c = k'a c = k ′ a . Alors
b u + c v = k a u + k ′ a v = ( k u + k ′ v ) a , bu + cv = kau + k'av = (ku + k'v)a, b u + c v = k a u + k ′ a v = ( k u + k ′ v ) a ,
et k u + k ′ v ku + k'v k u + k ′ v est un entier : a a a divise b u + c v bu + cv b u + c v .
📋 Méthode — Utiliser une combinaison linéaire pour trouver n
Problème : trouver les entiers n n n tels que n + 2 n + 2 n + 2 divise 3 n + 11 3n + 11 3 n + 11 .
n + 2 n + 2 n + 2 divise n + 2 n + 2 n + 2 , donc il divise 3 ( n + 2 ) = 3 n + 6 3(n + 2) = 3n + 6 3 ( n + 2 ) = 3 n + 6 ; s’il divise aussi 3 n + 11 3n + 11 3 n + 11 , il divise la différence
( 3 n + 11 ) − ( 3 n + 6 ) = 5 (3n + 11) - (3n + 6) = 5 ( 3 n + 11 ) − ( 3 n + 6 ) = 5 . Donc n + 2 ∈ { − 5 ; − 1 ; 1 ; 5 } n + 2 \in \{-5\,;\,-1\,;\,1\,;\,5\} n + 2 ∈ { − 5 ; − 1 ; 1 ; 5 } , soit n ∈ { − 7 ; − 3 ; − 1 ; 3 } n \in \{-7\,;\,-3\,;\,-1\,;\,3\} n ∈ { − 7 ; − 3 ; − 1 ; 3 } .
Réciproquement , on vérifie que chacune de ces valeurs convient (par exemple, pour n = 3 n = 3 n = 3 : 5 ∣ 20 5 \mid 20 5 ∣ 20 ).
→ S’entraîner : Exercice 1 ·
Exercice 2
2. Division euclidienne
Théorème (division euclidienne). Soit a ∈ Z a \in \mathbb{Z} a ∈ Z et b ∈ N ∗ b \in \mathbb{N}^* b ∈ N ∗ . Il existe un unique couple d’entiers ( q ; r ) (q\,;\,r) ( q ; r )
tel que
a = b q + r et 0 ⩽ r < b . a = bq + r \qquad\text{et}\qquad 0 \leqslant r < b. a = b q + r et 0 ⩽ r < b .
q q q est le quotient et r r r le reste de la division euclidienne de a a a par b b b .
AAAWgmp1bWIAAAAeanVtZGMycGEAEQAQgAAAqgA4m3EDYzJwYQAAABZcanVtYgAAAEdqdW1kYzJtYQARABCAAACqADibcQN1cm46YzJwYTo2Nzg5MTliZS0yMDdkLTQ0NzktODg4Mi1lZGUzZWQ1YmE3N2YAAAADl2p1bWIAAAApanVtZGMyYXMAEQAQgAAAqgA4m3EDYzJwYS5hc3NlcnRpb25zAAAAALxqdW1iAAAARGp1bWRjYm9yABEAEIAAAKoAOJtxE2MycGEuaW5ncmVkaWVudC52MwAAAAAYYzJzaJvnKvJxR3Ob5KZztfU//1cAAABwY2JvcqNpZGM6Zm9ybWF0bWltYWdlL3N2Zyt4bWxqaW5zdGFuY2VJRHgseG1wOmlpZDo5MzdjZTM1ZS0zNjc3LTQyMWUtOWNjYy00MjQxMTdhNjUyNjBscmVsYXRpb25zaGlwaHBhcmVudE9mAAAB4mp1bWIAAABBanVtZGNib3IAEQAQgAAAqgA4m3ETYzJwYS5hY3Rpb25zLnYyAAAAABhjMnNohVNgB2iRo2JISaIFJBtlIgAAAZljYm9yomdhY3Rpb25zgqJmYWN0aW9ua2MycGEub3BlbmVkanBhcmFtZXRlcnOha2luZ3JlZGllbnRzgaJjdXJseC1zZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmluZ3JlZGllbnQudjNkaGFzaFggr9XeId9vjhqzYBJa+x4IkGWd0sOpci2aPVrG6wPsQDKkZmFjdGlvbngdY29tLmFudGhyb3BpYy5jbGF1ZGUucHJvdmlkZWRqcGFyYW1ldGVyc6F4H2NvbS5hbnRocm9waWMub3JpZ2luLWNvbmZpZGVuY2VndW5rbm93bmtkZXNjcmlwdGlvbnhmQ2xhdWRlIHByb3ZpZGVkIHRoaXMgZmlsZSBhdCB0aGUgcmVxdWVzdCBvZiBhIHVzZXIgYW5kIG1heSBoYXZlIGNyZWF0ZWQgb3IgbW9kaWZpZWQgdGhlIGZpbGUgY29udGVudHMubXNvZnR3YXJlQWdlbnShZG5hbWVmQ2xhdWRlcmFsbEFjdGlvbnNJbmNsdWRlZPUAAADIanVtYgAAAEBqdW1kY2JvcgARABCAAACqADibcRNjMnBhLmhhc2guZGF0YQAAAAAYYzJzaF7gHtECYRTeyHaPqzHAVbcAAACAY2JvcqVjYWxnZnNoYTI1NmNwYWRNAAAAAAAAAAAAAAAAAGRoYXNoWCAZg9YLZLXsn/WIw5k4NlcuPrECRkeFAGWQt20S5qdfGWRuYW1lbmp1bWJmIG1hbmlmZXN0amV4Y2x1c2lvbnOBomVzdGFydBh9Zmxlbmd0aBkeBAAAAj5qdW1iAAAAJ2p1bWRjMmNsABEAEIAAAKoAOJtxA2MycGEuY2xhaW0udjIAAAACD2Nib3KlY2FsZ2ZzaGEyNTZpc2lnbmF0dXJleE1zZWxmI2p1bWJmPS9jMnBhL3VybjpjMnBhOjY3ODkxOWJlLTIwN2QtNDQ3OS04ODgyLWVkZTNlZDViYTc3Zi9jMnBhLnNpZ25hdHVyZWppbnN0YW5jZUlEeCx4bXA6aWlkOjdmOTA2OWNjLWE5NmItNDMyZS1iNWYxLTJlMmJlZWUzMTA1ZHJjcmVhdGVkX2Fzc2VydGlvbnODomN1cmx4LXNlbGYjanVtYmY9YzJwYS5hc3NlcnRpb25zL2MycGEuaW5ncmVkaWVudC52M2RoYXNoWCCv1d4h32+OGrNgElr7HgiQZZ3Sw6lyLZo9WsbrA+xAMqJjdXJseCpzZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmFjdGlvbnMudjJkaGFzaFgggai+AyQS4m0FJ8gxPTQbSoWmvnlSTWU1rBA88FyLkRaiY3VybHgpc2VsZiNqdW1iZj1jMnBhLmFzc2VydGlvbnMvYzJwYS5oYXNoLmRhdGFkaGFzaFgg6PpfKQjZl+cdK9GlCGTVe2nxVvp/rOT7AUWshK0+FHd0Y2xhaW1fZ2VuZXJhdG9yX2luZm+jZG5hbWVvQW50aHJvcGljIEZpbGVzZ3ZlcnNpb25lMS4wLjBrc3BlY1ZlcnNpb25lMi40LjAAABA4anVtYgAAAChqdW1kYzJjcwARABCAAACqADibcQNjMnBhLnNpZ25hdHVyZQAAABAIY2JvctKEWQISogEmGCFZAgowggIGMIIBjaADAgECAhRA5aAK7sI50L64g/oGQgU9Z1UTADAKBggqhkjOPQQDAzBJMRcwFQYDVQQKEw5BbnRocm9waWMsIFBCQzEuMCwGA1UEAxMlQW50aHJvcGljIENvbnRlbnQgQ3JlZGVudGlhbHMgUm9vdCBDQTAeFw0yNjA4MDcxODQzNTZaFw0yODA4MDYxOTQzNTZaMEQxFzAVBgNVBAoTDkFudGhyb3BpYywgUEJDMSkwJwYDVQQDEyBBbnRocm9waWMgQ2xhdWRlIENvbnRlbnQgU2lnbmluZzBZMBMGByqGSM49AgEGCCqGSM49AwEHA0IABJh6CmvLUBgFFNU0vUKlOVtE6djd17L5SuwX0LemFisBM3dkd/3cyjxFA3Qo5S46fX0/ihY0VZ7mfb9KF703t5OjWDBWMA4GA1UdDwEB/wQEAwIHgDAVBgNVHSUEDjAMBgorBgEEAYPoXgIBMAwGA1UdEwEB/wQCMAAwHwYDVR0jBBgwFoAUzlHiBIFOZFsj+OPEz5o+nMHXXMIwCgYIKoZIzj0EAwMDZwAwZAIwMXMdFJ4BetLLVY7ORuE9noqbbAZOZn/aArXyTwFAZfKrPzxF2vPoJNf1+UCdg1XGAjBwX1zd9WGqYkqmL5SFqw1QySjr1zJfpJM9+1rdDwSPLMOPOjKuiXjoU/pUUeG9RwmhY3BhZFkNngAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPZYQIPF8WMN0yXRnCmHnDIJOWrcbY6+azDMwKaZKpnvV/Gq2I7PMqrCPCQ/tDq69UiJujPfPY7KBn7gpnVhzzhyTjE=
b(q − 1)
bq
b(q + 1)
b(q + 2)
a
r = a − bq
longueur b
bq ≤ a < b(q + 1) donc 0 ≤ r < b
a se place entre deux multiples consécutifs de b : bq ≤ a < b(q + 1), et le reste r = a − bq est dans [0 ; b[.
🧠 Démonstration — existence et unicité
Existence. Les multiples de b b b partagent la droite des réels en intervalles [ b k ; b ( k + 1 ) [ [bk\,;\,b(k + 1)[ [ bk ; b ( k + 1 ) [ ; a a a appartient à
exactement l’un d’eux : il existe un entier q q q tel que b q ⩽ a < b q + b bq \leqslant a < bq + b b q ⩽ a < b q + b . On pose r = a − b q r = a - bq r = a − b q : alors 0 ⩽ r < b 0 \leqslant r < b 0 ⩽ r < b .
Unicité. Si a = b q + r = b q ′ + r ′ a = bq + r = bq' + r' a = b q + r = b q ′ + r ′ avec 0 ⩽ r < b 0 \leqslant r < b 0 ⩽ r < b et 0 ⩽ r ′ < b 0 \leqslant r' < b 0 ⩽ r ′ < b , alors b ( q − q ′ ) = r ′ − r b(q - q') = r' - r b ( q − q ′ ) = r ′ − r . Donc b b b divise
r ′ − r r' - r r ′ − r , et − b < r ′ − r < b -b < r' - r < b − b < r ′ − r < b . Le seul multiple de b b b strictement compris entre − b -b − b et b b b est 0 0 0 : r = r ′ r = r' r = r ′ , puis q = q ′ q = q' q = q ′ .
Exemples.
a = 100 a = 100 a = 100 , b = 7 b = 7 b = 7 : 100 = 7 × 14 + 2 100 = 7 \times 14 + 2 100 = 7 × 14 + 2 , quotient 14 14 14 , reste 2 2 2 .
a = − 100 a = -100 a = − 100 , b = 7 b = 7 b = 7 : − 100 = 7 × ( − 15 ) + 5 -100 = 7 \times (-15) + 5 − 100 = 7 × ( − 15 ) + 5 , quotient − 15 -15 − 15 , reste 5 5 5 (et non − 2 -2 − 2 : un reste est toujours positif).
Conséquence. b b b divise a a a si et seulement si le reste de la division euclidienne de a a a par b b b est nul. Tout entier
s’écrit sous l’une des formes b k bk bk , b k + 1 bk + 1 bk + 1 , …, b k + ( b − 1 ) bk + (b - 1) bk + ( b − 1 ) : c’est la base des disjonctions de cas .
Exemple. Tout entier n n n s’écrit 3 k 3k 3 k , 3 k + 1 3k + 1 3 k + 1 ou 3 k + 2 3k + 2 3 k + 2 . Alors n 2 n^2 n 2 vaut 9 k 2 9k^2 9 k 2 , 9 k 2 + 6 k + 1 9k^2 + 6k + 1 9 k 2 + 6 k + 1 ou 9 k 2 + 12 k + 4 9k^2 + 12k + 4 9 k 2 + 12 k + 4 :
le reste de n 2 n^2 n 2 dans la division par 3 3 3 est toujours 0 0 0 ou 1 1 1 , jamais 2 2 2 .
def division (a, b):
"""Quotient et reste de la division euclidienne de a par b > 0."""
return a // b, a % b # en Python, a % b est toujours dans [0 ; b[ si b > 0
print (division( 100 , 7 )) # (14, 2)
print (division( - 100 , 7 )) # (-15, 5)
→ S’entraîner : Exercice 3
3. Congruences
Définition. Soit n ⩾ 2 n \geqslant 2 n ⩾ 2 un entier. Deux entiers a a a et b b b sont congrus modulo n n n , et on note
a ≡ b [ n ] a \equiv b\ [n] a ≡ b [ n ] , si n n n divise a − b a - b a − b .
Propriété. a ≡ b [ n ] a \equiv b\ [n] a ≡ b [ n ] si et seulement si a a a et b b b ont le même reste dans la division euclidienne par n n n . En
particulier, si r r r est le reste de la division de a a a par n n n , alors a ≡ r [ n ] a \equiv r\ [n] a ≡ r [ n ] avec 0 ⩽ r < n 0 \leqslant r < n 0 ⩽ r < n .
Exemples. 38 ≡ 3 [ 5 ] 38 \equiv 3\ [5] 38 ≡ 3 [ 5 ] ; − 4 ≡ 8 [ 12 ] -4 \equiv 8\ [12] − 4 ≡ 8 [ 12 ] (il est 8 8 8 h quand on recule de 4 4 4 h depuis midi) ; n n n est pair si et
seulement si n ≡ 0 [ 2 ] n \equiv 0\ [2] n ≡ 0 [ 2 ] .
AAAWgmp1bWIAAAAeanVtZGMycGEAEQAQgAAAqgA4m3EDYzJwYQAAABZcanVtYgAAAEdqdW1kYzJtYQARABCAAACqADibcQN1cm46YzJwYTplNTg2NmZlYy0zOTEyLTQ0NWEtODg0ZS1jM2UwZGQ2OWM1ZTUAAAADl2p1bWIAAAApanVtZGMyYXMAEQAQgAAAqgA4m3EDYzJwYS5hc3NlcnRpb25zAAAAALxqdW1iAAAARGp1bWRjYm9yABEAEIAAAKoAOJtxE2MycGEuaW5ncmVkaWVudC52MwAAAAAYYzJzaJsfV/MAckVSsQf5QKCLBK0AAABwY2JvcqNpZGM6Zm9ybWF0bWltYWdlL3N2Zyt4bWxqaW5zdGFuY2VJRHgseG1wOmlpZDpmZmU2ZTRlZi05N2UyLTQwM2QtOGJkNS0yNzgwZGI5M2IzYjJscmVsYXRpb25zaGlwaHBhcmVudE9mAAAB4mp1bWIAAABBanVtZGNib3IAEQAQgAAAqgA4m3ETYzJwYS5hY3Rpb25zLnYyAAAAABhjMnNoNNRMkicafHgM8EOTFV5V0AAAAZljYm9yomdhY3Rpb25zgqJmYWN0aW9ua2MycGEub3BlbmVkanBhcmFtZXRlcnOha2luZ3JlZGllbnRzgaJjdXJseC1zZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmluZ3JlZGllbnQudjNkaGFzaFggWUsVyUlqqMJvLst2+YtK9ox2D33WDPxnROFJGVaQB5SkZmFjdGlvbngdY29tLmFudGhyb3BpYy5jbGF1ZGUucHJvdmlkZWRqcGFyYW1ldGVyc6F4H2NvbS5hbnRocm9waWMub3JpZ2luLWNvbmZpZGVuY2VndW5rbm93bmtkZXNjcmlwdGlvbnhmQ2xhdWRlIHByb3ZpZGVkIHRoaXMgZmlsZSBhdCB0aGUgcmVxdWVzdCBvZiBhIHVzZXIgYW5kIG1heSBoYXZlIGNyZWF0ZWQgb3IgbW9kaWZpZWQgdGhlIGZpbGUgY29udGVudHMubXNvZnR3YXJlQWdlbnShZG5hbWVmQ2xhdWRlcmFsbEFjdGlvbnNJbmNsdWRlZPUAAADIanVtYgAAAEBqdW1kY2JvcgARABCAAACqADibcRNjMnBhLmhhc2guZGF0YQAAAAAYYzJzaNIORye+AC19uSMhyysBg4wAAACAY2JvcqVjYWxnZnNoYTI1NmNwYWRNAAAAAAAAAAAAAAAAAGRoYXNoWCD4Df7ozCRBQpFxQ/NTsyeoQ99W2wpXjwCP+UCBw7R6HWRuYW1lbmp1bWJmIG1hbmlmZXN0amV4Y2x1c2lvbnOBomVzdGFydBh9Zmxlbmd0aBkeBAAAAj5qdW1iAAAAJ2p1bWRjMmNsABEAEIAAAKoAOJtxA2MycGEuY2xhaW0udjIAAAACD2Nib3KlY2FsZ2ZzaGEyNTZpc2lnbmF0dXJleE1zZWxmI2p1bWJmPS9jMnBhL3VybjpjMnBhOmU1ODY2ZmVjLTM5MTItNDQ1YS04ODRlLWMzZTBkZDY5YzVlNS9jMnBhLnNpZ25hdHVyZWppbnN0YW5jZUlEeCx4bXA6aWlkOmJlNTllNTZkLWU0OTQtNGY3Ny1iZmYzLTEzMTZkOTZiNmRiOHJjcmVhdGVkX2Fzc2VydGlvbnODomN1cmx4LXNlbGYjanVtYmY9YzJwYS5hc3NlcnRpb25zL2MycGEuaW5ncmVkaWVudC52M2RoYXNoWCBZSxXJSWqowm8uy3b5i0r2jHYPfdYM/GdE4UkZVpAHlKJjdXJseCpzZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmFjdGlvbnMudjJkaGFzaFgg31ufjeVyDF/jE//AiGfpgcJ9rBuuKxaGypLAW2BnxRmiY3VybHgpc2VsZiNqdW1iZj1jMnBhLmFzc2VydGlvbnMvYzJwYS5oYXNoLmRhdGFkaGFzaFgg5ifmG+JagzPeVwcyJxxvaGHoXIx9s8/f6doL8M7CuCV0Y2xhaW1fZ2VuZXJhdG9yX2luZm+jZG5hbWVvQW50aHJvcGljIEZpbGVzZ3ZlcnNpb25lMS4wLjBrc3BlY1ZlcnNpb25lMi40LjAAABA4anVtYgAAAChqdW1kYzJjcwARABCAAACqADibcQNjMnBhLnNpZ25hdHVyZQAAABAIY2JvctKEWQISogEmGCFZAgowggIGMIIBjaADAgECAhRA5aAK7sI50L64g/oGQgU9Z1UTADAKBggqhkjOPQQDAzBJMRcwFQYDVQQKEw5BbnRocm9waWMsIFBCQzEuMCwGA1UEAxMlQW50aHJvcGljIENvbnRlbnQgQ3JlZGVudGlhbHMgUm9vdCBDQTAeFw0yNjA4MDcxODQzNTZaFw0yODA4MDYxOTQzNTZaMEQxFzAVBgNVBAoTDkFudGhyb3BpYywgUEJDMSkwJwYDVQQDEyBBbnRocm9waWMgQ2xhdWRlIENvbnRlbnQgU2lnbmluZzBZMBMGByqGSM49AgEGCCqGSM49AwEHA0IABJh6CmvLUBgFFNU0vUKlOVtE6djd17L5SuwX0LemFisBM3dkd/3cyjxFA3Qo5S46fX0/ihY0VZ7mfb9KF703t5OjWDBWMA4GA1UdDwEB/wQEAwIHgDAVBgNVHSUEDjAMBgorBgEEAYPoXgIBMAwGA1UdEwEB/wQCMAAwHwYDVR0jBBgwFoAUzlHiBIFOZFsj+OPEz5o+nMHXXMIwCgYIKoZIzj0EAwMDZwAwZAIwMXMdFJ4BetLLVY7ORuE9noqbbAZOZn/aArXyTwFAZfKrPzxF2vPoJNf1+UCdg1XGAjBwX1zd9WGqYkqmL5SFqw1QySjr1zJfpJM9+1rdDwSPLMOPOjKuiXjoU/pUUeG9RwmhY3BhZFkNngAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPZYQN1f+xxH+g37G8E4ZoX/X0D7OUliyfkOj7xXS7ZDoroPYu82kYbwR00NaerCDYakRv4CavOVOS6fo/yXmFZqVFU=
0
lundi
1
mardi
2
mercredi
3
jeudi
4
vendredi
5
samedi
6
dimanche
3 ≡ 10 ≡ 17 ≡ −4
modulo 7
+7 : un tour complet
Modulo 7, les entiers « tournent en rond » comme les jours de la semaine : 3, 10, 17, −4 occupent la même case.
Propriétés. Pour n ⩾ 2 n \geqslant 2 n ⩾ 2 : la congruence est réflexive (a ≡ a a \equiv a a ≡ a ), symétrique et transitive (si
a ≡ b a \equiv b a ≡ b et b ≡ c b \equiv c b ≡ c modulo n n n , alors a ≡ c a \equiv c a ≡ c ).
→ S’entraîner : Exercice 4
4. Compatibilité avec les opérations
Théorème. Soit n ⩾ 2 n \geqslant 2 n ⩾ 2 . Si a ≡ b [ n ] a \equiv b\ [n] a ≡ b [ n ] et c ≡ d [ n ] c \equiv d\ [n] c ≡ d [ n ] , alors :
a + c ≡ b + d [ n ] a + c \equiv b + d\ [n] a + c ≡ b + d [ n ] et a − c ≡ b − d [ n ] a - c \equiv b - d\ [n] a − c ≡ b − d [ n ] ;
a c ≡ b d [ n ] ac \equiv bd\ [n] a c ≡ b d [ n ] ;
pour tout entier naturel k k k , a k ≡ b k [ n ] a^k \equiv b^k\ [n] a k ≡ b k [ n ] .
🧠 Démonstration — compatibilité avec la multiplication
On a a − b = k n a - b = kn a − b = k n et c − d = k ′ n c - d = k'n c − d = k ′ n . Alors
a c − b d = a c − b c + b c − b d = ( a − b ) c + b ( c − d ) = n ( k c + b k ′ ) , ac - bd = ac - bc + bc - bd = (a - b)c + b(c - d) = n(kc + bk'), a c − b d = a c − b c + b c − b d = ( a − b ) c + b ( c − d ) = n ( k c + b k ′ ) ,
donc n ∣ a c − b d n \mid ac - bd n ∣ a c − b d . Pour les puissances, on applique ce résultat k k k fois (récurrence sur k k k ).
Attention. On ne peut pas diviser une congruence n’importe comment : 2 × 3 ≡ 2 × 0 [ 6 ] 2 \times 3 \equiv 2 \times 0\ [6] 2 × 3 ≡ 2 × 0 [ 6 ] mais 3 ≢ 0 [ 6 ] 3 \not\equiv 0\ [6] 3 ≡ 0 [ 6 ] .
📋 Méthode — Reste d'une grande puissance
Reste de 7 100 7^{100} 7 100 dans la division par 5 5 5 :
chercher une puissance simple : 7 ≡ 2 [ 5 ] 7 \equiv 2\ [5] 7 ≡ 2 [ 5 ] , 2 2 = 4 ≡ − 1 [ 5 ] 2^2 = 4 \equiv -1\ [5] 2 2 = 4 ≡ − 1 [ 5 ] , donc 2 4 ≡ 1 [ 5 ] 2^4 \equiv 1\ [5] 2 4 ≡ 1 [ 5 ] ;
écrire l’exposant avec ce cycle : 100 = 4 × 25 100 = 4 \times 25 100 = 4 × 25 ;
conclure : 7 100 ≡ 2 100 = ( 2 4 ) 25 ≡ 1 25 = 1 [ 5 ] 7^{100} \equiv 2^{100} = \left(2^4\right)^{25} \equiv 1^{25} = 1\ [5] 7 100 ≡ 2 100 = ( 2 4 ) 25 ≡ 1 25 = 1 [ 5 ] . Le reste est 1 1 1 .
print ( pow ( 7 , 100 , 5 )) # 1 : pow(a, k, n) calcule a**k modulo n très rapidement
→ S’entraîner : Exercice 5 ·
Exercice 6
5. Critères de divisibilité et congruences à résoudre
Critères de divisibilité. Un entier N = a k … a 1 a 0 ‾ = a k 10 k + ⋯ + a 1 10 + a 0 N = \overline{a_k \dots a_1 a_0} = a_k 10^k + \dots + a_1 10 + a_0 N = a k … a 1 a 0 = a k 1 0 k + ⋯ + a 1 10 + a 0 :
comme 10 ≡ 1 [ 9 ] 10 \equiv 1\ [9] 10 ≡ 1 [ 9 ] , 10 j ≡ 1 [ 9 ] 10^j \equiv 1\ [9] 1 0 j ≡ 1 [ 9 ] donc N ≡ a k + ⋯ + a 1 + a 0 [ 9 ] N \equiv a_k + \dots + a_1 + a_0\ [9] N ≡ a k + ⋯ + a 1 + a 0 [ 9 ] : N N N et la somme de ses chiffres ont le
même reste modulo 9 (et modulo 3) ;
comme 10 ≡ − 1 [ 11 ] 10 \equiv -1\ [11] 10 ≡ − 1 [ 11 ] , N ≡ a 0 − a 1 + a 2 − … [ 11 ] N \equiv a_0 - a_1 + a_2 - \dots\ [11] N ≡ a 0 − a 1 + a 2 − … [ 11 ] : critère de divisibilité par 11 11 11 (somme alternée des
chiffres).
Exemple. N = 918 082 N = 918\,082 N = 918 082 : 2 − 8 + 0 − 8 + 1 − 9 = − 22 ≡ 0 [ 11 ] 2 - 8 + 0 - 8 + 1 - 9 = -22 \equiv 0\ [11] 2 − 8 + 0 − 8 + 1 − 9 = − 22 ≡ 0 [ 11 ] , donc 11 ∣ N 11 \mid N 11 ∣ N .
Résoudre une congruence a x ≡ b [ n ] ax \equiv b\ [n] a x ≡ b [ n ] . Il suffit de tester les n n n restes possibles de x x x : c’est une table de
congruences .
Exemple. Résoudre 3 x ≡ 5 [ 7 ] 3x \equiv 5\ [7] 3 x ≡ 5 [ 7 ] .
x ≡ x \equiv x ≡ 0 0 0 1 1 1 2 2 2 3 3 3 4 4 4 5 5 5 6 6 6 3 x ≡ 3x \equiv 3 x ≡ 0 0 0 3 3 3 6 6 6 2 2 2 5 5 5 1 1 1 4 4 4
Les solutions sont les entiers x ≡ 4 [ 7 ] x \equiv 4\ [7] x ≡ 4 [ 7 ] , c’est-à-dire x = 4 + 7 k x = 4 + 7k x = 4 + 7 k , k ∈ Z k \in \mathbb{Z} k ∈ Z .
On lit aussi dans la table que 3 × 5 ≡ 1 [ 7 ] 3 \times 5 \equiv 1\ [7] 3 × 5 ≡ 1 [ 7 ] : 5 5 5 est un inverse de 3 3 3 modulo 7 7 7 . Multiplier
3 x ≡ 5 3x \equiv 5 3 x ≡ 5 par 5 5 5 donne directement x ≡ 25 ≡ 4 [ 7 ] x \equiv 25 \equiv 4\ [7] x ≡ 25 ≡ 4 [ 7 ] .
Remarque. Un inverse de a a a modulo n n n n’existe pas toujours (il n’y a pas d’inverse de 2 2 2 modulo 6 6 6 ) : le chapitre
suivant (PGCD, Bézout et Gauss ) dira exactement quand.
→ S’entraîner : Exercice 7 ·
Exercice 8
À retenir.
a ∣ b ⟺ b = k a a \mid b \iff b = ka a ∣ b ⟺ b = k a ; si a ∣ b a \mid b a ∣ b et a ∣ c a \mid c a ∣ c , alors a ∣ b u + c v a \mid bu + cv a ∣ b u + c v .
Division euclidienne : a = b q + r a = bq + r a = b q + r avec 0 ⩽ r < b 0 \leqslant r < b 0 ⩽ r < b , unique.
a ≡ b [ n ] ⟺ n ∣ a − b ⟺ a \equiv b\ [n] \iff n \mid a - b \iff a ≡ b [ n ] ⟺ n ∣ a − b ⟺ même reste modulo n n n .
Les congruences se conservent par + + + , − - − , × \times × et puissance, pas par division.
Chercher une puissance congrue à ± 1 \pm 1 ± 1 pour calculer des restes ; table de congruences pour résoudre a x ≡ b [ n ] ax \equiv b\ [n] a x ≡ b [ n ] .