MetMat

Comment raisonner par disjonction de cas ?

En partitionnant les configurations et en traitant chaque cas

L'objectif

Prouver une proposition en découpant l'ensemble des configurations en cas exhaustifs et en traitant chacun.

Le principe

Si E=E1E2EkE = E_1 \cup E_2 \cup \dots \cup E_k et si PP est vraie sur chaque EiE_i, alors PP est vraie sur EE ; la partition doit couvrir toutes les possibilités.

La méthode
  1. 1
    J'identifie une partition naturelle de l'ensemble de travail (par exemple selon le signe, la parité, l'appartenance à un intervalle…).
  2. 2
    Je vérifie que la partition est exhaustive : tout élément appartient à au moins un cas.
  3. 3
    Je traite chaque cas séparément et je montre que la conclusion tient dans chacun.
  4. 4
    Je conclus que la proposition est vraie dans tous les cas, donc globalement.

Exemple corrigé

Difficulté croissante de 1 à 3

Exercices aujourd'hui0 / 3

Prêt à t'entraîner ?

Génère un exercice personnalisé sur cette méthode et entraîne-toi avec la correction IA.