Pour démontrer que tout entier $n \geq 2$ admet un diviseur premier, nous allons procéder par un raisonnement de type "preuve par l'absurde". L'idée principale est de montrer que si un entier $n$ n'a pas de diviseur premier, cela conduirait à une contradiction.

Preuve

1. Considérons un entier $n \geq 2$ :

   Soit $n$ un entier naturel tel que $n \geq 2$. Nous voulons montrer que $n$ possède au moins un diviseur premier.

2. Supposons par l'absurde que $n$ n'admet aucun diviseur premier :

   Cela signifie que $n$ ne peut pas être divisible par aucun nombre premier, c’est-à-dire qu'il ne peut pas être divisé par 2, 3, 5, etc.

3. Conséquences de cette hypothèse :

   Si $n$ n'est divisible par aucun nombre premier, alors $n$ lui-même ne peut pas être premier (car il n'a pas de diviseur premier), ce qui implique que $n$ doit être un produit de nombres entiers plus petits que lui. Cependant, tout entier non premier doit pouvoir être factorisé en un produit de nombres plus petits, dont au moins l'un est premier.

4. Division par les plus petits entiers :

   Commençons par diviser $n$ par les plus petits entiers, c’est-à-dire par 2, 3, 4, etc., jusqu'à atteindre $\sqrt{n}$. Si $n$ n'est pas divisible par un entier $k$, il continue de n'avoir aucun diviseur premier. Mais puisque chaque nombre composé se décompose en facteurs premiers, il s'avère inévitable que $n$ aura un diviseur premier si on continue cette division.

5. Contradiction :

   Si aucun diviseur premier n'existait pour $n$, alors $n$ ne pourrait être ni premier ni composé (car un nombre composé se décompose nécessairement en facteurs premiers). Cette situation est impossible pour tout entier $n \geq 2$. Ainsi, notre hypothèse initiale est fausse, prouvant qu'il existe au moins un diviseur premier pour chaque entier $n \geq 2$.

Conclusion

Tout entier $n \geq 2$ admet au moins un diviseur premier, soit $n$ est lui-même un nombre premier, soit $n$ est divisible par un nombre premier.

---

Avez-vous des questions ou souhaitez-vous des détails supplémentaires ? Voici quelques questions qui approfondissent ce concept :

1. Comment prouver que tout nombre premier supérieur à 2 est impair ?
2. Pourquoi un nombre composé a-t-il nécessairement un diviseur premier ?
3. Quelles sont les implications de cette preuve dans le théorème fondamental de l'arithmétique ?
4. Comment étendre cette preuve pour montrer que les entiers peuvent être décomposés en produits uniques de facteurs premiers ?
5. Comment utiliser cette propriété pour calculer le plus grand diviseur premier d'un nombre donné ?

Astuce : Lorsque vous cherchez des diviseurs d'un nombre, commencez toujours par tester les plus petits nombres premiers (2, 3, 5, etc.) jusqu'à la racine carrée du nombre pour optimiser votre recherche.