« Approfondissements de lycée/Premiers » : différence entre les versions

Contenu supprimé Contenu ajouté
Tavernierbot (discussion | contributions)
m Bot: Retouches costmétiques
Ligne 1 :
[[Approfondissements de lycée]]
 
== Nombres premiers ==
 
=== Introduction ===
Un nombre premier (ou premier en abrégé) est un nombre entier naturel qui admet deux et seulement deux diviseurs : 1 et lui-même. Pour des raisons théoriques, le nombre 1 n'est pas considéré comme un nombre premier (nous verrons pourquoi plus tard dans ce chapitre). Par exemple, 2 est un nombre premier, 3 est premier, et 5 est premier, mais 4 ne l'est pas parce qu'il est divisible par 2.
 
Ligne 9 :
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71.
 
Les nombres premiers sont une source sans fin de fascination pour les mathématiciens. Certains des problèmes concernant les nombres premiers sont si difficiles que même le travail de certains des plus brillants mathématiciens n'a pas suffi à les résoudre. Un de ceux-ci est la [[w:Conjecture de Goldbach|conjecture de Goldbach]], qui énonce que tous les nombres pairs supérieurs à 3 peuvent être exprimés comme sommme de deux nombres premiers.
 
==== Signification géométrique des nombres premiers ====
Prenons un exemple : si nous avons 12 carreaux de carrelage, pouvons-nous les assembler en une forme rectangulaire de plus d'une façon ? Bien sur, nous le pouvons : ceci est dû au fait que
 
Ligne 25 :
Mais qu'en est-il du nombre 7 ? Pouvez-vous arranger 7 carreaux de carrelage en une forme rectangulaire de plus d'une facon ? La réponse est non, parce que 7 est un nombre premier.
 
==== Théorème fondamental de l'arithmétique ====
Un '''théorème''' est un fait mathématique non-évident (on dit aussi non-trivial). Un théorème doit être démontré ; une proposition qui est généralement reconnue comme vraie, mais sans démonstration, est appelée '''conjecture'''. Les '''axiomes''' sont les faits de base que nous supposons vrais, et qui sont utilisés pour démontrer les théorèmes. Ils tendent à être des énoncés évidents mais ils sont importants lorsque nous voulons démontrer formellement les choses.
 
Ligne 51 :
:''Garder à l'esprit la définition du théorème fondamental de l'arithmétique, pourquoi le nombre 1 n'est-il pas considéré comme premier ?''
 
=== Décomposition ===
Nous savons, à partir du théorème fondamental de l'arithmétique que tout nombre entier peut être exprimé comme un produit de nombres premiers. La question est : pour un nombre donné ''x'', existe-t'il une manière ''facile'' de trouver tous les facteurs premiers de ''x'' ?
 
Ligne 95 :
:donc 11, 11 et 17 sont les facteurs premiers de 2057.
 
==== Exercices ====
Décomposer les nombres suivants :
# 13
Ligne 105 :
# 2187 Si cela prend trop de temps, il existe une manière rapide...
 
==== info — Décomposition en facteurs premiers ====
<blockquote style="padding: 1em; border: 2px dotted purple;">
Il existe une manière ''facile'' de décomposer un nombre en facteurs premiers. En appliquant simplement la méthode décrite ci-dessus (en utilisant un ordinateur). Mais la méthode ci-dessus est trop lente pour les grands nombres : essayer de décomposer un nombre avec des milliers de chiffres prendrait plus de temps que l'age actuel de l'univers. Mais existe-t'il une manière ''rapide'' ? Ou plus précisément, existe-t'il une manière ''efficiente'' ? Cela se peut, mais personne ne l'a encore trouvée. Certains des schémas de cryptologie les plus largement utilisés aujourd'hui (tel que le [http://fr.wikipedia.org/wiki/Rivest_Shamir_Adleman RSA]) utilisent le fait que nous ne pouvons pas décomposer des grands nombres en facteurs premiers rapidement. Si une telle méthode est trouvée, 90 % des transactions sur internet seront non sécurisées. Donc, s'il vous arrive de découvrir une telle méthode, ne soyez pas trop empressé de la publier, consultez votre ministère de sécurité nationale avant !
Ligne 112 :
</blockquote>
 
=== Deux, cinq et trois ===
Les nombres premiers 2, 5 et 3 tiennent une place spéciale dans la décomposition. Premièrement, tous les nombres pairs ont 2 comme l'un de leurs facteurs premiers. Deuxièmement, tous les nombres qui finissent par 0 ou 5 peuvent être divisés entièrement par 5.
 
Le troisième cas, où 3 est un facteur premier, est le but de cette section. La question sous-jacente est : existe-t'il une manière simple de décider si un nombre possède 3 comme l'un de ses facteurs premiers ? La réponse est oui. Mais comment ?
 
=== Théorème - Divisibilité par 3 ===
<blockquote style="padding: 1em; border: 2px dotted purple;">
''Un nombre est divisible par 3 si et seulement si la '''somme de ses chiffres''' est divisible par 3''
Ligne 141 :
:''Essayez quelques nombres vous-mêmes.''
 
==== info — Récursivité ====
<blockquote style="padding: 1em; border: 2px dotted purple;">
Un scientifique éminent d'informatique a dit un jour "L'itération est humaine, la récursivité, divine." Mais que veux dire ''récursivité'' ? Avant cela, qu'est-ce que l'''itération'' ?
Ligne 159 :
</blockquote>
 
==== Exercices ====
Factoriser ces entiers :
# 45
Ligne 165 :
# 2187
 
=== Trouver des nombres premiers ===
Le crible des nombres premiers est une méthode relativement efficiente pour trouver tous les nombres premiers inférieurs ou égaux à un nombre précis. Disons que nous voulons tous les nombres premiers inférieurs ou égaux à 50.
 
Ligne 194 :
\begin{matrix}
X & 2_p & 3 & X & 5 & X & 7 & X & 9 & X \\
11 & X & 13 & X & 15 & X & 17 & X & 19 & X \\
21 & X & 23 & X & 25 & X & 27 & X & 29 & X \\
31 & X & 33 & X & 35 & X & 37 & X & 39 & X \\
41 & X & 43 & X & 45 & X & 47 & X & 49 & X \\
\end{matrix}
</math>
Ligne 205 :
\begin{matrix}
X & 2_p & 3_p & X & 5 & X & 7 & X & X & X \\
11 & X & 13 & X & X & X & 17 & X & 19 & X \\
X & X & 23 & X & 25 & X & X & X & 29 & X \\
31 & X & X & X & 35 & X & 37 & X & X & X \\
41 & X & 43 & X & X & X & 47 & X & 49 & X \\
\end{matrix}
</math>
Ligne 216 :
\begin{matrix}
X & 2_p & 3_p & X & 5_p & X & 7 & X & X & X \\
11 & X & 13 & X & X & X & 17 & X & 19 & X \\
X & X & 23 & X & X & X & X & X & 29 & X \\
31 & X & X & X & X & X & 37 & X & X & X \\
41 & X & 43 & X & X & X & 47 & X & 49 & X
\end{matrix}
</math>
Ligne 227 :
\begin{matrix}
X & 2_p & 3_p & X & 5_p & X & 7_p & X & X & X \\
11 & X & 13 & X & X & X & 17 & X & 19 & X \\
X & X & 23 & X & X & X & X & X & 29 & X \\
31 & X & X & X & X & X & 37 & X & X & X \\
41 & X & 43 & X & X & X & 47 & X & X & X \\
\end{matrix}
</math>
Ligne 236 :
La méthode décrite ci-dessus peut être répétée, mais elle n'éliminera pas un nombre composé pas encore éliminé. ''Essayez de le prouver vous-même !'' Mais pourquoi est-ce ainsi ? Parceque le prochain nombre non marqué est 11 et 11<sup>2</sup> &gt; 50. (Pourquoi ?)
 
==== Exercice ====
1. Trouver tous les nombres inférieurs à 200
 
=== Infinité des nombres premiers ===
Nous savons que certains nombres peuvent être décomposés en nombres premiers. Certains ont seulement eux-mêmes comme nombre premier, parcequ'ils sont premiers. Donc, combien de nombres premiers existe-t'il ? Il en existe une infinité ! Voici une démonstration classique de l'infinité des nombres premiers datant de plus de 2 000 ans et due au mathématicien grec Euclide :
 
==== Démonstration de l'infinité des nombres premiers ====
 
 
Ligne 263 :
On peut maintenant conclure que ''y'' n'est divisible par aucun des nombres premiers formant ''n'', puisque ''y'' diffère d'un multiple de chacun des nombres premiers par exactement 1. Puisque ''y'' n'est divisible par aucun nombre premier, ''y'' doit être soit un nombre premier, ou ses facteurs premiers doivent tous être plus grands que ''n'', une contradiction de la proposition originale qui énonce que ''n'' est le plus grand nombre premier ! Par conséquent, on peut déclarer que la proposition originale est incorrecte, et ainsi, qu'il existe une infinité de nombres premiers.
 
==== info — Nombres premiers dans une progression arithmétique ====
<blockquote style="padding: 1em; border: 2px dotted purple;">
Considérons la progression arithmétique
:''a'', ''a'' + ''b'', ''a'' + 2''b'', ''a'' + 3''b'' ....
si ''a'' et ''b'' partagent un facteur commun plus grand que 1, alors ''a'' + ''kb'' pour tout k n'est pas un nombre premier. Mais si ''a'' et ''b'' sont premiers entre eux, alors il existe une infinité de ''k'''s tels que ''a'' + ''kb'' est premier !
Par exemple, considérons a = 3, b = 4,
:3, 7, 11, 15, 19, 23, 27, 31...
dans cette liste plutôt courte, 3, 7, 11, 19, 23 et 31 sont premiers et ils sont tous égaux à 4''k'' + 3 pour un certain ''k''. Et il existe une infinité de nombres premiers dans cette progression (voir : Exercices sur la démonstration par l'absurde [[AL_DémonstrationsAL Démonstrations mathématique| Démonstrations]]).
</blockquote>
 
== Ensemble de problèmes ==
1. Montrer que le théorème "divisible par 3" marche pour tout nombre à 3 chiffres (Astuce : Exprimer un nombre à 3 chiffre sous la forme 100a + 10b + c, où 0 &le; a, b et c &le; 9)
 
2. "Un nombre est divisible par 9 si et seulement si la somme est divisible par 9." Vrai ou faux ? Déterminer si 89, 558, 51858, et 41857 sont divisibles par 9. Vérifier vos réponses.
Ligne 301 :
:<math>
\begin{matrix}
x \equiv 3^7 + 1^7 + 2^7 + + 4^7 + 5^7 + 6^7 + 7^7 \ \pmod{7}\\
\end{matrix}
</math>
Ligne 327 :
Maintenant, montrer que
:<math>\sqrt{-1} \equiv \frac{p - 1}{2}! \pmod{p}</math>
pour ''p'' &equiv; 1 (mod 4)
 
== Projet — La racine carrée de -1 ==
1. La question 10 de l'ensemble des problèmes a montré que
:<math>\sqrt{-1} \equiv \sqrt{p-1} \pmod{p}</math>
existe pour ''p'' &equiv; 1 (mod 4) premier. Expliquer pourquoi aucune racine carrée de -1 n'existe si ''p'' &equiv; 3 (mod 4) est premier.
 
2. Montrer que pour ''p'' &equiv; 1 (mod 4) premier, il existe exactement 2 solutions à
:x = <math>\sqrt{-1} \pmod{p}</math>
 
3. Supposons ''m'' et ''n'', des nombres entiers avec pgdc(''n'',''m'') = 1. Montrer que pour chacun des nombres 0, 1, 2, 3, .... , ''nm'' - 1, il existe une paire unique de nombre ''a'' et ''b'' tel que le plus petit nombre ''x'' qui satisfait :
:''x'' &equiv; a (mod m)
:''x'' &equiv; b (mod n)
est ce nombre.
C.a.d. Supposons m = 2, n = 3, alors 4 est uniquement représenté par
:''x'' &equiv; 0 (mod 2)
:''x'' &equiv; 1 (mod 3)
comme le plus petit ''x'' qui satisfait les deux congruences précédentes est ''4''. Dans ce cas, l'unique paire de nombres est 0 et 1.
 
4. Si ''p'' &equiv; 1 (mod 4) premier et ''q'' &equiv; 3 (mod 4) premier. Est-ce que
:<math>\sqrt{-1} \pmod{pq}</math>
a une solution ? Pourquoi ?
 
5. Si ''p'' &equiv; 1 (mod 4) premier et ''q'' &equiv; 1 (mod 4) premier et p &ne; q. Montrer que
:<math>x = \sqrt{-1} \pmod{pq}</math>
a plus que 4 solutions.