Comment transformer une divisibilité en preuve ?

Ce que tu vas savoir faire

• Relier multiple, diviseur et égalité a = bk avec un témoin entier.
• Déterminer un plus grand multiple sous une borne par calcul ou algorithme.
• Tester la primalité en justifiant la borne √n.
• Modéliser pair et impair par 2k et 2k+1.
• Démontrer une propriété de divisibilité par calcul littéral.
• Rendre une fraction irréductible et contrôler le résultat.

Avant de commencer

• Connaitre ℕ et ℤ.
• Effectuer une division euclidienne simple.
• Développer et factoriser une expression élémentaire.

1. Multiple et diviseur disent-ils la même relation ?

Pour des entiers a et b, a est multiple de b s’il existe un entier k tel que a = bk. La même égalité dit que b divise a, noté b ∣ a. Ainsi 12 = 4×3 prouve à la fois que 12 est multiple de 4 et que 4 divise 12. Le nombre k est le témoin.

Ne permute pas les rôles : 3 divise 12, mais 12 ne divise pas 3. Zéro est multiple de tout entier car 0 = b×0 ; tout entier non nul divise 0. Écrire une division exige en revanche un diviseur non nul. Dans ℕ, les multiples de b se listent b×0, b×1, b×2, … ; dans ℤ, les témoins peuvent aussi être négatifs.

2. Comment trouver le plus grand multiple sous une borne ?

Pour a > 0 et une borne b, la division euclidienne donne b = aq+r avec 0 ≤ r < a. Le plus grand multiple de a inférieur ou égal à b est aq = b−r. Par exemple 53 = 7×7+4 : le résultat est 49.

Un balayage ajoute a jusqu’à dépasser b ; le quotient q = ⌊b/a⌋ donne directement la réponse. Compare les deux méthodes et contrôle trois propriétés : le résultat est divisible par a, il ne dépasse pas b, et le multiple suivant dépasse b. Si les données peuvent être négatives, annonce les conventions et utilise la partie entière plutôt qu’une troncature vers zéro.

3. Jusqu’où faut-il chercher un diviseur premier ?

Un nombre premier est un naturel supérieur à 1 qui possède exactement deux diviseurs positifs : 1 et lui-même. Donc 1 n’est pas premier. Si n = uv est composé et u > √n ainsi que v > √n, alors uv > n, contradiction : au moins un facteur est inférieur ou égal à √n.

Pour tester n, élimine 2 puis essaie les nombres premiers jusqu’à √n. Pour 97, √97 < 10 : il suffit de tester 2, 3, 5 et 7. Aucun ne divise 97, donc 97 est premier. Essayer seulement quelques nombres sans annoncer la borne ne constitue pas une preuve.

4. Pourquoi écrire pair et impair avec une variable ?

Un entier n est pair s’il existe k ∈ ℤ tel que n = 2k. Il est impair s’il existe k ∈ ℤ tel que n = 2k+1. Ces formes valent aussi pour les négatifs : −3 = 2×(−2)+1.

La variable représente tous les cas à la fois. Deux impairs consécutifs s’écrivent 2k+1 et 2k+3 ; un entier et son suivant s’écrivent n et n+1. Avant de résoudre, vérifie que la forme décrit exactement les objets demandés et qu’elle n’oublie aucun entier possible.

5. Comment passer d’un exemple à une démonstration ?

Si x et y sont multiples de a, il existe des entiers k et ℓ tels que x = ak et y = aℓ. Alors x+y = ak+aℓ = a(k+ℓ). Comme k+ℓ est entier, x+y est multiple de a. Le dernier facteur fournit le nouveau témoin.

Si n est impair, n = 2k+1. Alors n² = (2k+1)² = 4k²+4k+1 = 2(2k²+2k)+1. Le nombre entre parenthèses est entier : n² est impair. Tester 3, 5 et 7 peut suggérer la propriété, mais seule la variable arbitraire prouve tous les cas.

6. Quand une fraction est-elle irréductible ?

Une fraction p/q avec q ≠ 0 est irréductible lorsque p et q n’ont aucun diviseur positif commun autre que 1, donc PGCD(|p|,|q|)=1. Pour 20/45, le PGCD vaut 5 et 20/45 = 4/9. On place habituellement le signe au numérateur et on garde le dénominateur positif.

L’algorithme d’Euclide répète les restes : 45 = 2×20+5 puis 20 = 4×5+0, donc le dernier reste non nul est 5. Divise numérateur et dénominateur par le même nombre : la valeur ne change pas. Contrôle ensuite que le nouveau PGCD vaut 1 et que le dénominateur n’est jamais devenu nul.

Erreurs fréquentes

L'essentiel à mémoriser

• Témoin entier.
• Borne euclidienne.
• Primalité jusqu’à √n.
• Parité algébrique.
• Preuve factorisée.
• Fraction auditée.

Vérifier sa compréhension

Réponds aux 8 questions. Ton score et les réponses justes ou fausses apparaissent immédiatement.

Réviser au bon moment

Révèle chaque réponse, puis indique la difficulté de ton rappel pour programmer la prochaine révision dans ce navigateur.

Poursuivre le parcours

Sources et traçabilité

Dernière vérification : 2026-08-09

1. Programme d’enseignement de mathématiques de la classe de seconde générale et technologique, Ministère de l’Éducation nationale — consulté le 2026-08-09.
2. Annexe — Programme de mathématiques de seconde 2026, Ministère de l’Éducation nationale — consulté le 2026-08-09.
3. Programmes et ressources en mathématiques — voie générale et technologique, Éduscol — consulté le 2026-08-09.
4. Ressources pour la classe de seconde — Notations et raisonnement mathématiques, Ministère de l’Éducation nationale — consulté le 2026-08-09.