Ce que tu sais déjà. Tu sais utiliser les congruences (Divisibilité, division euclidienne et congruences )
et les théorèmes de Bézout et de Gauss (PGCD, Bézout et Gauss ). Les nombres
premiers sont les « atomes » des entiers : tout entier se construit à partir d’eux, et leur étude sert aujourd’hui à
sécuriser les paiements en ligne.
1. Nombres premiers
Définition. Un entier naturel p p p est premier s’il admet exactement deux diviseurs positifs : 1 1 1 et lui-même.
0 0 0 et 1 1 1 ne sont pas premiers. Les premiers nombres premiers sont 2 2 2 , 3 3 3 , 5 5 5 , 7 7 7 , 11 11 11 , 13 13 13 , 17 17 17 , 19 19 19 , 23 23 23 , 29 29 29 …
Propriété. Tout entier n ⩾ 2 n \geqslant 2 n ⩾ 2 admet au moins un diviseur premier : son plus petit diviseur d ⩾ 2 d \geqslant 2 d ⩾ 2 est premier .
Si de plus n n n n’est pas premier, ce plus petit diviseur vérifie d ⩽ n d \leqslant \sqrt n d ⩽ n .
Justification. Si d d d n’était pas premier, il aurait un diviseur d ′ d' d ′ avec 1 < d ′ < d 1 < d' < d 1 < d ′ < d , qui diviserait aussi n n n : contradiction.
Si n = d × e n = d \times e n = d × e avec d ⩽ e d \leqslant e d ⩽ e , alors d 2 ⩽ d e = n d^2 \leqslant de = n d 2 ⩽ d e = n .
📋 Méthode — Tester la primalité de n
Chercher un diviseur premier p p p de n n n avec p ⩽ n p \leqslant \sqrt n p ⩽ n . S’il n’y en a aucun, n n n est premier.
Exemple : n = 391 n = 391 n = 391 . 391 ≈ 19,8 \sqrt{391} \approx 19{,}8 391 ≈ 19 , 8 . On teste 2 2 2 , 3 3 3 , 5 5 5 , 7 7 7 , 11 11 11 , 13 13 13 , 17 17 17 : 391 = 17 × 23 391 = 17 \times 23 391 = 17 × 23 , donc 391 391 391 n’est pas premier.
Exemple : n = 409 n = 409 n = 409 . 409 ≈ 20,2 \sqrt{409} \approx 20{,}2 409 ≈ 20 , 2 ; aucun des nombres 2 2 2 , 3 3 3 , 5 5 5 , 7 7 7 , 11 11 11 , 13 13 13 , 17 17 17 , 19 19 19 ne divise 409 409 409 : il est premier.
Crible d’Ératosthène. Pour obtenir tous les nombres premiers jusqu’à N N N , on écrit les entiers de 2 2 2 à N N N ; on garde 2 2 2 et
on barre ses multiples, on garde le premier nombre non barré (3 3 3 ) et on barre ses multiples, etc. On peut s’arrêter dès que
le nombre gardé dépasse N \sqrt N N .
AAAWgmp1bWIAAAAeanVtZGMycGEAEQAQgAAAqgA4m3EDYzJwYQAAABZcanVtYgAAAEdqdW1kYzJtYQARABCAAACqADibcQN1cm46YzJwYTo3MjhlMjIwNy01MDM5LTQ4MTAtYTZlMi0wMGU5MGU5YjBkNjMAAAADl2p1bWIAAAApanVtZGMyYXMAEQAQgAAAqgA4m3EDYzJwYS5hc3NlcnRpb25zAAAAALxqdW1iAAAARGp1bWRjYm9yABEAEIAAAKoAOJtxE2MycGEuaW5ncmVkaWVudC52MwAAAAAYYzJzaB//bkijG/zmrFxvTKS7HzIAAABwY2JvcqNpZGM6Zm9ybWF0bWltYWdlL3N2Zyt4bWxqaW5zdGFuY2VJRHgseG1wOmlpZDo3ODIyYTJjOC0xNzdmLTQ4ZTEtOGE0OC1jMTJiMzgwYjFjMzVscmVsYXRpb25zaGlwaHBhcmVudE9mAAAB4mp1bWIAAABBanVtZGNib3IAEQAQgAAAqgA4m3ETYzJwYS5hY3Rpb25zLnYyAAAAABhjMnNoBqUsW8ViOzoMEaV19rxmWgAAAZljYm9yomdhY3Rpb25zgqJmYWN0aW9ua2MycGEub3BlbmVkanBhcmFtZXRlcnOha2luZ3JlZGllbnRzgaJjdXJseC1zZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmluZ3JlZGllbnQudjNkaGFzaFggmDhlm8eUxVWtfIyXfV7TO5Aig4gP//2vQ4yrugK6WQSkZmFjdGlvbngdY29tLmFudGhyb3BpYy5jbGF1ZGUucHJvdmlkZWRqcGFyYW1ldGVyc6F4H2NvbS5hbnRocm9waWMub3JpZ2luLWNvbmZpZGVuY2VndW5rbm93bmtkZXNjcmlwdGlvbnhmQ2xhdWRlIHByb3ZpZGVkIHRoaXMgZmlsZSBhdCB0aGUgcmVxdWVzdCBvZiBhIHVzZXIgYW5kIG1heSBoYXZlIGNyZWF0ZWQgb3IgbW9kaWZpZWQgdGhlIGZpbGUgY29udGVudHMubXNvZnR3YXJlQWdlbnShZG5hbWVmQ2xhdWRlcmFsbEFjdGlvbnNJbmNsdWRlZPUAAADIanVtYgAAAEBqdW1kY2JvcgARABCAAACqADibcRNjMnBhLmhhc2guZGF0YQAAAAAYYzJzaOK3vfKmg9+5KYpGYPA1CkIAAACAY2JvcqVjYWxnZnNoYTI1NmNwYWRNAAAAAAAAAAAAAAAAAGRoYXNoWCD4F4tluf780kNm5oGFx+S+OjVC5GpHxiK/XPiCux1WyGRuYW1lbmp1bWJmIG1hbmlmZXN0amV4Y2x1c2lvbnOBomVzdGFydBh9Zmxlbmd0aBkeBAAAAj5qdW1iAAAAJ2p1bWRjMmNsABEAEIAAAKoAOJtxA2MycGEuY2xhaW0udjIAAAACD2Nib3KlY2FsZ2ZzaGEyNTZpc2lnbmF0dXJleE1zZWxmI2p1bWJmPS9jMnBhL3VybjpjMnBhOjcyOGUyMjA3LTUwMzktNDgxMC1hNmUyLTAwZTkwZTliMGQ2My9jMnBhLnNpZ25hdHVyZWppbnN0YW5jZUlEeCx4bXA6aWlkOmNjOTgyZWM1LTk5OTEtNDkxOC1iNzgyLTE0YTA0MDFkM2NjN3JjcmVhdGVkX2Fzc2VydGlvbnODomN1cmx4LXNlbGYjanVtYmY9YzJwYS5hc3NlcnRpb25zL2MycGEuaW5ncmVkaWVudC52M2RoYXNoWCCYOGWbx5TFVa18jJd9XtM7kCKDiA///a9DjKu6ArpZBKJjdXJseCpzZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmFjdGlvbnMudjJkaGFzaFggl9GGmlB/4PgbPxhTqRAmsrU59C8R/Y6Dp6MBGX3iPhOiY3VybHgpc2VsZiNqdW1iZj1jMnBhLmFzc2VydGlvbnMvYzJwYS5oYXNoLmRhdGFkaGFzaFggTPe3ZcQ5jUUWR8SUa1+hU6founu/YH5tOiDG6Wp1pfF0Y2xhaW1fZ2VuZXJhdG9yX2luZm+jZG5hbWVvQW50aHJvcGljIEZpbGVzZ3ZlcnNpb25lMS4wLjBrc3BlY1ZlcnNpb25lMi40LjAAABA4anVtYgAAAChqdW1kYzJjcwARABCAAACqADibcQNjMnBhLnNpZ25hdHVyZQAAABAIY2JvctKEWQISogEmGCFZAgowggIGMIIBjaADAgECAhRA5aAK7sI50L64g/oGQgU9Z1UTADAKBggqhkjOPQQDAzBJMRcwFQYDVQQKEw5BbnRocm9waWMsIFBCQzEuMCwGA1UEAxMlQW50aHJvcGljIENvbnRlbnQgQ3JlZGVudGlhbHMgUm9vdCBDQTAeFw0yNjA4MDcxODQzNTZaFw0yODA4MDYxOTQzNTZaMEQxFzAVBgNVBAoTDkFudGhyb3BpYywgUEJDMSkwJwYDVQQDEyBBbnRocm9waWMgQ2xhdWRlIENvbnRlbnQgU2lnbmluZzBZMBMGByqGSM49AgEGCCqGSM49AwEHA0IABJh6CmvLUBgFFNU0vUKlOVtE6djd17L5SuwX0LemFisBM3dkd/3cyjxFA3Qo5S46fX0/ihY0VZ7mfb9KF703t5OjWDBWMA4GA1UdDwEB/wQEAwIHgDAVBgNVHSUEDjAMBgorBgEEAYPoXgIBMAwGA1UdEwEB/wQCMAAwHwYDVR0jBBgwFoAUzlHiBIFOZFsj+OPEz5o+nMHXXMIwCgYIKoZIzj0EAwMDZwAwZAIwMXMdFJ4BetLLVY7ORuE9noqbbAZOZn/aArXyTwFAZfKrPzxF2vPoJNf1+UCdg1XGAjBwX1zd9WGqYkqmL5SFqw1QySjr1zJfpJM9+1rdDwSPLMOPOjKuiXjoU/pUUeG9RwmhY3BhZFkNngAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPZYQH1SHYNi3k8CjMWpe1yDMeyzcGi08YgjBozIyiCFIz0ZAv/7E/+lBfiaSsh8/ow5y++VQvMSQ3UPsAGZu/HFEoI=
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
premier
multiple de 2
de 3
de 5
de 7
Le crible jusqu'à 100 : les multiples de 2, 3, 5 et 7 sont barrés ; il reste les 25 nombres premiers inférieurs à 100.
def crible (N):
est_premier = [ True ] * (N + 1 )
est_premier[ 0 ] = est_premier[ 1 ] = False
for p in range ( 2 , int (N ** 0.5 ) + 1 ):
if est_premier[p]:
for m in range (p * p, N + 1 , p):
est_premier[m] = False
return [n for n in range (N + 1 ) if est_premier[n]]
print (crible( 50 )) # [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47]
→ S’entraîner : Exercice 1
2. Une infinité de nombres premiers
Théorème (Euclide). L’ensemble des nombres premiers est infini .
🧠 Démonstration (exigible au programme)
Raisonnons par l’absurde : supposons qu’il n’y ait qu’un nombre fini de nombres premiers p 1 p_1 p 1 , p 2 p_2 p 2 , …, p k p_k p k . Posons
N = p 1 × p 2 × ⋯ × p k + 1. N = p_1 \times p_2 \times \dots \times p_k + 1. N = p 1 × p 2 × ⋯ × p k + 1.
N ⩾ 2 N \geqslant 2 N ⩾ 2 , donc N N N admet un diviseur premier, qui est l’un des p i p_i p i . Or p i p_i p i divise le produit p 1 × ⋯ × p k p_1 \times \dots \times p_k p 1 × ⋯ × p k ; il
diviserait donc la différence N − p 1 × ⋯ × p k = 1 N - p_1 \times \dots \times p_k = 1 N − p 1 × ⋯ × p k = 1 : impossible. L’hypothèse de départ est fausse : il existe une infinité
de nombres premiers.
Attention. N N N n’est pas forcément premier : 2 × 3 × 5 × 7 × 11 × 13 + 1 = 30 031 = 59 × 509 2 \times 3 \times 5 \times 7 \times 11 \times 13 + 1 = 30\,031 = 59 \times 509 2 × 3 × 5 × 7 × 11 × 13 + 1 = 30 031 = 59 × 509 . Mais ses facteurs
premiers (59 59 59 et 509 509 509 ) sont nouveaux .
→ S’entraîner : Exercice 2
3. Décomposition en produit de facteurs premiers
Lemme d’Euclide. Si un nombre premier p p p divise un produit a b ab ab , alors p p p divise a a a ou p p p divise b b b .
Justification. Si p p p ne divise pas a a a , alors PGCD ( p ; a ) = 1 \text{PGCD}(p\,;\,a) = 1 PGCD ( p ; a ) = 1 (les seuls diviseurs positifs de p p p sont 1 1 1 et p p p ) ; par le
théorème de Gauss, p p p divise b b b .
Théorème fondamental de l’arithmétique. Tout entier n ⩾ 2 n \geqslant 2 n ⩾ 2 s’écrit comme un produit de nombres premiers :
n = p 1 α 1 × p 2 α 2 × ⋯ × p k α k , n = p_1^{\alpha_1} \times p_2^{\alpha_2} \times \dots \times p_k^{\alpha_k}, n = p 1 α 1 × p 2 α 2 × ⋯ × p k α k ,
avec p 1 < p 2 < ⋯ < p k p_1 < p_2 < \dots < p_k p 1 < p 2 < ⋯ < p k premiers et α i ⩾ 1 \alpha_i \geqslant 1 α i ⩾ 1 entiers. Cette écriture est unique .
Idée. L’existence vient de la propriété du § 1 : on extrait un facteur premier, puis on recommence avec le quotient
(qui diminue). L’unicité découle du lemme d’Euclide : un premier qui divise un produit de premiers est égal à l’un d’eux.
AAAWgmp1bWIAAAAeanVtZGMycGEAEQAQgAAAqgA4m3EDYzJwYQAAABZcanVtYgAAAEdqdW1kYzJtYQARABCAAACqADibcQN1cm46YzJwYTo1MDgyNDQzYi1lYzk4LTRmYjgtYmQ4NC02MWI1ZmNiMWIwN2EAAAADl2p1bWIAAAApanVtZGMyYXMAEQAQgAAAqgA4m3EDYzJwYS5hc3NlcnRpb25zAAAAALxqdW1iAAAARGp1bWRjYm9yABEAEIAAAKoAOJtxE2MycGEuaW5ncmVkaWVudC52MwAAAAAYYzJzaOs5NhkPdVz928QVa/Ovw7kAAABwY2JvcqNpZGM6Zm9ybWF0bWltYWdlL3N2Zyt4bWxqaW5zdGFuY2VJRHgseG1wOmlpZDplNjExOWU5Yi1iMDBiLTQ1NTUtOWI5Mi04NmQ3NmVmNTVmYjBscmVsYXRpb25zaGlwaHBhcmVudE9mAAAB4mp1bWIAAABBanVtZGNib3IAEQAQgAAAqgA4m3ETYzJwYS5hY3Rpb25zLnYyAAAAABhjMnNo2xFJDrHWvNSldu3LiOa+lgAAAZljYm9yomdhY3Rpb25zgqJmYWN0aW9ua2MycGEub3BlbmVkanBhcmFtZXRlcnOha2luZ3JlZGllbnRzgaJjdXJseC1zZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmluZ3JlZGllbnQudjNkaGFzaFggNEj/VFqWumz2r2aI80CR18GxmPZRg/x18EDbSO2zNsekZmFjdGlvbngdY29tLmFudGhyb3BpYy5jbGF1ZGUucHJvdmlkZWRqcGFyYW1ldGVyc6F4H2NvbS5hbnRocm9waWMub3JpZ2luLWNvbmZpZGVuY2VndW5rbm93bmtkZXNjcmlwdGlvbnhmQ2xhdWRlIHByb3ZpZGVkIHRoaXMgZmlsZSBhdCB0aGUgcmVxdWVzdCBvZiBhIHVzZXIgYW5kIG1heSBoYXZlIGNyZWF0ZWQgb3IgbW9kaWZpZWQgdGhlIGZpbGUgY29udGVudHMubXNvZnR3YXJlQWdlbnShZG5hbWVmQ2xhdWRlcmFsbEFjdGlvbnNJbmNsdWRlZPUAAADIanVtYgAAAEBqdW1kY2JvcgARABCAAACqADibcRNjMnBhLmhhc2guZGF0YQAAAAAYYzJzaJi/uFGHM6eGOviKo3Z8RKYAAACAY2JvcqVjYWxnZnNoYTI1NmNwYWRNAAAAAAAAAAAAAAAAAGRoYXNoWCBhbclZihlWPrMKOy6QdOkbWU76ibj8ZsNRJ6WKO+ja82RuYW1lbmp1bWJmIG1hbmlmZXN0amV4Y2x1c2lvbnOBomVzdGFydBh9Zmxlbmd0aBkeBAAAAj5qdW1iAAAAJ2p1bWRjMmNsABEAEIAAAKoAOJtxA2MycGEuY2xhaW0udjIAAAACD2Nib3KlY2FsZ2ZzaGEyNTZpc2lnbmF0dXJleE1zZWxmI2p1bWJmPS9jMnBhL3VybjpjMnBhOjUwODI0NDNiLWVjOTgtNGZiOC1iZDg0LTYxYjVmY2IxYjA3YS9jMnBhLnNpZ25hdHVyZWppbnN0YW5jZUlEeCx4bXA6aWlkOjI5ZTAxOWM2LTk2ZmEtNDM1MS05YTRkLTQyZTM3YWY3MmY4OHJjcmVhdGVkX2Fzc2VydGlvbnODomN1cmx4LXNlbGYjanVtYmY9YzJwYS5hc3NlcnRpb25zL2MycGEuaW5ncmVkaWVudC52M2RoYXNoWCA0SP9UWpa6bPavZojzQJHXwbGY9lGD/HXwQNtI7bM2x6JjdXJseCpzZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmFjdGlvbnMudjJkaGFzaFgg3Qd5Z/Q6+fUDgY6AeM/mBpw/yJRBXTbZLFJ5VzDoqdKiY3VybHgpc2VsZiNqdW1iZj1jMnBhLmFzc2VydGlvbnMvYzJwYS5oYXNoLmRhdGFkaGFzaFggEzWrqYYNY4bPrpRtvQrp91Eej6DfIhDBRf+F++JRHgN0Y2xhaW1fZ2VuZXJhdG9yX2luZm+jZG5hbWVvQW50aHJvcGljIEZpbGVzZ3ZlcnNpb25lMS4wLjBrc3BlY1ZlcnNpb25lMi40LjAAABA4anVtYgAAAChqdW1kYzJjcwARABCAAACqADibcQNjMnBhLnNpZ25hdHVyZQAAABAIY2JvctKEWQISogEmGCFZAgowggIGMIIBjaADAgECAhRA5aAK7sI50L64g/oGQgU9Z1UTADAKBggqhkjOPQQDAzBJMRcwFQYDVQQKEw5BbnRocm9waWMsIFBCQzEuMCwGA1UEAxMlQW50aHJvcGljIENvbnRlbnQgQ3JlZGVudGlhbHMgUm9vdCBDQTAeFw0yNjA4MDcxODQzNTZaFw0yODA4MDYxOTQzNTZaMEQxFzAVBgNVBAoTDkFudGhyb3BpYywgUEJDMSkwJwYDVQQDEyBBbnRocm9waWMgQ2xhdWRlIENvbnRlbnQgU2lnbmluZzBZMBMGByqGSM49AgEGCCqGSM49AwEHA0IABJh6CmvLUBgFFNU0vUKlOVtE6djd17L5SuwX0LemFisBM3dkd/3cyjxFA3Qo5S46fX0/ihY0VZ7mfb9KF703t5OjWDBWMA4GA1UdDwEB/wQEAwIHgDAVBgNVHSUEDjAMBgorBgEEAYPoXgIBMAwGA1UdEwEB/wQCMAAwHwYDVR0jBBgwFoAUzlHiBIFOZFsj+OPEz5o+nMHXXMIwCgYIKoZIzj0EAwMDZwAwZAIwMXMdFJ4BetLLVY7ORuE9noqbbAZOZn/aArXyTwFAZfKrPzxF2vPoJNf1+UCdg1XGAjBwX1zd9WGqYkqmL5SFqw1QySjr1zJfpJM9+1rdDwSPLMOPOjKuiXjoU/pUUeG9RwmhY3BhZFkNngAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPZYQNncoa0ihj7edFVByHeAhnZIYBDEP8Ybw7yQak+JVoc/i9e6+Ddd6McGDFWHazyUO5u52oyeEXuEQLJvFbZzqcc=
360
2
180
2
90
2
45
3
15
3
5
5
1
360 = 2³ × 3² × 5
les facteurs premiers sont
les diviseurs de la colonne orange
Décomposition de 360 par divisions successives : 360 = 2³ × 3² × 5.
Applications. Si n = p 1 α 1 … p k α k n = p_1^{\alpha_1} \dots p_k^{\alpha_k} n = p 1 α 1 … p k α k :
les diviseurs positifs de n n n sont les p 1 β 1 … p k β k p_1^{\beta_1} \dots p_k^{\beta_k} p 1 β 1 … p k β k avec 0 ⩽ β i ⩽ α i 0 \leqslant \beta_i \leqslant \alpha_i 0 ⩽ β i ⩽ α i ; il y en a
( α 1 + 1 ) ( α 2 + 1 ) … ( α k + 1 ) (\alpha_1 + 1)(\alpha_2 + 1) \dots (\alpha_k + 1) ( α 1 + 1 ) ( α 2 + 1 ) … ( α k + 1 ) ;
le PGCD de deux entiers s’obtient en prenant les facteurs premiers communs, avec le plus petit exposant.
Exemples. 360 = 2 3 × 3 2 × 5 360 = 2^3 \times 3^2 \times 5 360 = 2 3 × 3 2 × 5 a ( 3 + 1 ) ( 2 + 1 ) ( 1 + 1 ) = 24 (3 + 1)(2 + 1)(1 + 1) = 24 ( 3 + 1 ) ( 2 + 1 ) ( 1 + 1 ) = 24 diviseurs positifs.
252 = 2 2 × 3 2 × 7 252 = 2^2 \times 3^2 \times 7 252 = 2 2 × 3 2 × 7 , donc PGCD ( 360 ; 252 ) = 2 2 × 3 2 = 36 \text{PGCD}(360\,;\,252) = 2^2 \times 3^2 = 36 PGCD ( 360 ; 252 ) = 2 2 × 3 2 = 36 .
def decomposition (n):
facteurs = {}
p = 2
while p * p <= n:
while n % p == 0 :
facteurs[p] = facteurs.get(p, 0 ) + 1
n //= p
p += 1
if n > 1 :
facteurs[n] = facteurs.get(n, 0 ) + 1
return facteurs
print (decomposition( 360 )) # {2: 3, 3: 2, 5: 1}
→ S’entraîner : Exercice 3 ·
Exercice 4
4. Petit théorème de Fermat
Théorème (Fermat, 1640). Soit p p p un nombre premier et a a a un entier.
Si p p p ne divise pas a a a , alors a p − 1 ≡ 1 [ p ] a^{p - 1} \equiv 1\ [p] a p − 1 ≡ 1 [ p ] .
Pour tout entier a a a , a p ≡ a [ p ] a^p \equiv a\ [p] a p ≡ a [ p ] .
🧠 Démonstration (pour aller plus loin)
Supposons que p p p ne divise pas a a a . Considérons les p − 1 p - 1 p − 1 entiers a a a , 2 a 2a 2 a , …, ( p − 1 ) a (p - 1)a ( p − 1 ) a .
Aucun n’est divisible par p p p (lemme d’Euclide : p ∤ a p \nmid a p ∤ a et p ∤ k p \nmid k p ∤ k pour 1 ⩽ k ⩽ p − 1 1 \leqslant k \leqslant p - 1 1 ⩽ k ⩽ p − 1 ).
Leurs restes modulo p p p sont deux à deux distincts : si i a ≡ j a [ p ] ia \equiv ja\ [p] ia ≡ j a [ p ] , alors p ∣ ( i − j ) a p \mid (i - j)a p ∣ ( i − j ) a , donc p ∣ i − j p \mid i - j p ∣ i − j (Gauss), et comme
∣ i − j ∣ < p |i - j| < p ∣ i − j ∣ < p , i = j i = j i = j .
Leurs restes sont donc exactement 1 1 1 , 2 2 2 , …, p − 1 p - 1 p − 1 dans un certain ordre. En multipliant :
a × 2 a × ⋯ × ( p − 1 ) a ≡ 1 × 2 × ⋯ × ( p − 1 ) [ p ] , soit ( p − 1 ) ! a p − 1 ≡ ( p − 1 ) ! [ p ] . a \times 2a \times \dots \times (p - 1)a \equiv 1 \times 2 \times \dots \times (p - 1)\ [p],\quad\text{soit}\quad (p - 1)!\,a^{p-1} \equiv (p - 1)!\ [p]. a × 2 a × ⋯ × ( p − 1 ) a ≡ 1 × 2 × ⋯ × ( p − 1 ) [ p ] , soit ( p − 1 )! a p − 1 ≡ ( p − 1 )! [ p ] .
p p p est premier avec ( p − 1 ) ! (p - 1)! ( p − 1 )! (qui n’a que des facteurs < p < p < p ) : on peut simplifier par Gauss, d’où a p − 1 ≡ 1 [ p ] a^{p-1} \equiv 1\ [p] a p − 1 ≡ 1 [ p ] . En
multipliant par a a a , on obtient a p ≡ a [ p ] a^p \equiv a\ [p] a p ≡ a [ p ] , ce qui reste vrai si p ∣ a p \mid a p ∣ a (les deux membres sont congrus à 0 0 0 ).
Exemples.
13 13 13 est premier et ne divise pas 2 2 2 : 2 12 ≡ 1 [ 13 ] 2^{12} \equiv 1\ [13] 2 12 ≡ 1 [ 13 ] . Donc 2 2027 = ( 2 12 ) 168 × 2 11 ≡ 2 11 = 2 048 ≡ 7 [ 13 ] 2^{2027} = (2^{12})^{168} \times 2^{11} \equiv 2^{11} = 2\,048 \equiv 7\ [13] 2 2027 = ( 2 12 ) 168 × 2 11 ≡ 2 11 = 2 048 ≡ 7 [ 13 ]
(2 027 = 12 × 168 + 11 2\,027 = 12 \times 168 + 11 2 027 = 12 × 168 + 11 et 2 048 = 13 × 157 + 7 2\,048 = 13 \times 157 + 7 2 048 = 13 × 157 + 7 ).
Pour tout entier n n n , n 7 − n n^7 - n n 7 − n est divisible par 7 7 7 .
Test de Fermat. Si a n − 1 ≢ 1 [ n ] a^{n-1} \not\equiv 1\ [n] a n − 1 ≡ 1 [ n ] pour un a a a premier avec n n n , alors n n n n’est pas premier. La réciproque est fausse :
561 = 3 × 11 × 17 561 = 3 \times 11 \times 17 561 = 3 × 11 × 17 vérifie a 560 ≡ 1 [ 561 ] a^{560} \equiv 1\ [561] a 560 ≡ 1 [ 561 ] pour tout a a a premier avec 561 561 561 (c’est un nombre de Carmichael ).
→ S’entraîner : Exercice 5 ·
Exercice 6 ·
Exercice 7
À retenir.
p p p premier : exactement deux diviseurs positifs. Un entier n ⩾ 2 n \geqslant 2 n ⩾ 2 non premier a un diviseur premier ⩽ n \leqslant \sqrt n ⩽ n .
Il y a une infinité de nombres premiers (démonstration par l’absurde avec p 1 … p k + 1 p_1 \dots p_k + 1 p 1 … p k + 1 ).
Lemme d’Euclide : p ∣ a b ⇒ p ∣ a p \mid ab \Rightarrow p \mid a p ∣ ab ⇒ p ∣ a ou p ∣ b p \mid b p ∣ b . Décomposition unique n = p 1 α 1 … p k α k n = p_1^{\alpha_1} \dots p_k^{\alpha_k} n = p 1 α 1 … p k α k .
Nombre de diviseurs : ( α 1 + 1 ) … ( α k + 1 ) (\alpha_1 + 1) \dots (\alpha_k + 1) ( α 1 + 1 ) … ( α k + 1 ) ; PGCD : facteurs communs, plus petits exposants.
Fermat : p p p premier, p ∤ a p \nmid a p ∤ a ⇒ \Rightarrow ⇒ a p − 1 ≡ 1 [ p ] a^{p-1} \equiv 1\ [p] a p − 1 ≡ 1 [ p ] ; toujours a p ≡ a [ p ] a^p \equiv a\ [p] a p ≡ a [ p ] .