Les différents raisonnements mathématiques- Première techno - Mathématiques - Maxicours

Les différents raisonnements mathématiques

Objectifs
  • Reconnaitre les différents types de raisonnement.
  • Savoir quel type de raisonnement utiliser dans telle ou telle situation.
Points clés
  • Disjonction de cas : On vérifie notre propriété en testant différents cas et on montre que tous les cas aboutissent au même résultat.
  • Contraposée : Pour vérifier P⇒Q on prouve que (non)Q⇒(non)P
  • Raisonnement par l’absurde : On part du principe que la propriété est vrai et on montre qu’on arrive à quelque chose d’absurde ou d’incohérent.
  • Contre exemple : On trouve une situation dans laquelle notre propriété ne marche pas.

 

Pour bien comprendre
  • Reconnaitre des implications et équivalences.
  • Savoir déterminer et reconnaitre les négations d’affirmation.
1. Le raisonnement par disjonction de cas
Pour prouver qu’une affirmation est vraie

Pour prouver qu’une affirmation P est vraie, il est parfois nécessaire de tester si l’affirmation est vraie lorsque l’on différencie les cas.

Exemple
Montrer que quelque soit ,  est un nombre entier. 
Pour cela on utilise une disjonction de cas :
  • Nous allons d’abord tester notre affirmation pour un nombre  pair.
    On a donc avec k
    Dans ce cas,  or est un nombre entier. L’affirmation est donc vérifiée si  est pair.
  • Nous testons ensuite notre affirmation pour un nombre  impair.
    On a donc avec k∈.
    Dans ce cas, or est un nombre entier. L’affirmation est donc vérifiée si  est impair.

L’affirmation est vraie pour  pair et pour  impair. L’affirmation est donc vérifiée quelque soit .

Exemple non mathématique
Partons du principe que sur Mars il existe deux types de martiens avec un comportement très différent. Les martiens verts et les martiens rouges.
Pour vérifier l’affirmation P suivante : « Les martiens sont tous accueillants », on va faire une disjonction de cas.
Nous allons d’abord vérifier si les martiens verts sont accueillants.
Ensuite, nous vérifierons que les martiens rouges sont également accueillants.
Si les deux conditions sont vérifiées alors nous allons conclure que l’affirmation P est vraie.
2. Le raisonnement par contraposée
Pour prouver qu’une implication est vraie

Pour prouver que P implique Q, on peut prouver que l’inverse de la proposition Q implique l’inverse de la proposition P.

Exemple
Soit a et b deux entiers naturel non nul.
Prouvons que “ab=1” ⇒ “a = b = 1”
Si a≠1 alors a≥2 et b≥1. Donc ab≠1.
Même chose si b≠1. On a prouvé que “a ou b ≠1” ⇒ “ab≠1”.
Par contraposée “ab=1” ⇒ “a = b = 1”.
Exemple non mathématique
Retournons sur Mars.
P : « Le martien est bleu ».
Q : « Le martien est gentil ».
P⇒Q signifie « Si le martien est bleu alors le martien est gentil ». 
La contraposée de P⇒Q est (non)Q⇒(non)P .

Pour prouver que « Si le martien est bleu alors il est gentil » il suffit de prouver que « Si le martien n’est pas gentil alors le martien n’est pas bleu ».
3. Le raisonnement par l'absurde
Pour prouver qu’une affirmation est fausse

Pour prouver qu’une affirmation P est fausse, on part du principe que cette propriété est vraie. On arrive alors à une incohérence ou une absurdité qui nous prouve que l’affirmation P ne peut pas être vraie et s’avère donc fausse.

Exemple
Prouvons que est un nombre irrationnel.
Partons du principe que est un nombre rationnel. C’est-à-dire qu’il est possible de l’écrire sous forme de fraction : avec  et  deux nombres entiers relatifs, premiers entre eux. 
   . Cela veut dire que  est pair et donc que  est pair. C’est-à-dire que
On a donc  :   
Cela veut dire que  est pair donc que  est pair. 
Or, dans notre hypothèse de départ, nous avons choisi  et   tels qu’ils soient premiers entre eux. Si tous les deux sont pairs, ils ne sont pas premiers entre eux et nous arrivons à une incohérence.
On en conclut donc, à la suite de notre raisonnement par l’absurde, que n’est pas un nombre rationnel et qu’il est donc irrationnel.
Exemple non mathématique
Démontrons par l’absurde que « Les pommes ne poussent pas sur des poiriers ».
Pour cela on considère la proposition suivante comme vraie « Les pommes poussent sur des poiriers ». Or les fruits qui poussent sur des poiriers sont des poires donc puisque les pommes poussent sur des poiriers, ce sont des poires. C’est une absurdité.
On peut donc conclure que les pommes ne poussent pas sur des poiriers.
4. Contre exemple
Pour prouver qu’une affirmation est fausse

Pour prouver qu’une affirmation P est fausse, il peut nous suffire de trouver un exemple pour lequel l’affirmation est fausse.

Exemple
Prenons l’affirmation « Le carré d’un nombre n est toujours pair ».
Prenons n=3. n2 = 9 or 9 est impair donc l’affirmation est fausse.
Exemple non mathématique
Pour démontrer que l’affirmation « Les martiens bleus sont gentils » est fausse, il nous suffit de trouver un martien bleu qui n’est pas gentil.

Vous avez déjà mis une note à ce cours.

Découvrez les autres cours offerts par Maxicours !

Découvrez Maxicours

Comment as-tu trouvé ce cours ?

Évalue ce cours !

 

quote blanc icon

Découvrez Maxicours

Exerce toi en t’abonnant

Des profs en ligne

  • 6 j/7 de 17 h à 20 h
  • Par chat, audio, vidéo
  • Sur les matières principales

Des ressources riches

  • Fiches, vidéos de cours
  • Exercices & corrigés
  • Modules de révisions Bac et Brevet

Des outils ludiques

  • Coach virtuel
  • Quiz interactifs
  • Planning de révision

Des tableaux de bord

  • Suivi de la progression
  • Score d’assiduité
  • Un compte Parent

Inscrivez-vous à notre newsletter !

Votre adresse e-mail sera exclusivement utilisée pour vous envoyer notre newsletter. Vous pourrez vous désinscrire à tout moment, à travers le lien de désinscription présent dans chaque newsletter. Conformément à la Loi Informatique et Libertés n°78-17 du 6 janvier 1978 modifiée, au RGPD n°2016/679 et à la Loi pour une République numérique du 7 octobre 2016, vous disposez du droit d’accès, de rectification, de limitation, d’opposition, de suppression, du droit à la portabilité de vos données, de transmettre des directives sur leur sort en cas de décès. Vous pouvez exercer ces droits en adressant un mail à : contact-donnees@sejer.fr. Vous avez la possibilité de former une réclamation auprès de l’autorité compétente. En savoir plus sur notre politique de confidentialité