Démonstration (mathématiques élémentaires)

Démonstration (mathématiques élémentaires)

Démontrer une propriété c'est utiliser des théorèmes, des définitions ou des axiomes que l'on sait être vrais et quelques règles de logique élémentaire.

Elle expose une justification d’une propriété nouvelle algébrique, géométrique, numérique… Une démonstration est rarement achevée parce qu’on peut toujours retoucher son style de rédaction (plus ou moins télégraphique), sa longueur (profondeur des détails), les outils utilisés (parfois radicalement différents) voire simplement l’usage des règles logiques. Certains s’amusent même à s’interdire l’usage d’une lettre, d’une méthode ou même de mots pour écrire une preuve.

Du point de vue pédagogique, une démonstration sert à prouver aux élèves que le professeur a raison, mais aussi qu’un autre professeur que lui aurait aussi raison, à condition d’accepter les prérequis et la méthode de la preuve. Elle sert aussi à montrer aux élèves la liberté scientifique dans l’acte de rédiger et d’expliquer.

Sommaire

Quelques méthodes de démonstration

En mathématiques, il existe plusieurs méthodes pour démontrer un théorème :

  • Par application directe du théorème
  • Par contraposée
  • Par l’absurde
  • Par analyse-synthèse
  • Par l’exemple

Par application directe du théorème

Si on dispose d'un théorème de la forme Si A alors B et si on montre que A est vraie, alors on peut en déduire que B est vraie.

Ainsi pour démontrer que le triangle ABC est rectangle, avec AB=13, CB=12 et AC=5, on utilise le théorème réciproque de Pythagore :

  • On vérifie d’une part que AC2+CB2=52+122=25+144=169 et d’autre part que AB2=132=169 donc AC2+CB2=AB2.
  • Le théorème réciproque de Pythagore énonce que Si le carré du côté d'un triangle est égal à la somme des carrés des deux autres côtés alors ce triangle est rectangle (l'hypoténuse étant le premier côté cité)
  • On a bien A vraie et si A alors B vraie, on peut donc en conclure que B est vraie, soit que le triangle ABC est rectangle en C.

Par contraposée

Pour démontrer que « Si A alors B » est vrai, il est souvent commode de démontrer que la contraposée est vraie

Par l'absurde

Article détaillé : Raisonnement par l'absurde.

Pour montrer que A est vraie, on montre que si on suppose A fausse, on arrive à une contradiction.

Exemple:

A : Il existe une infinité de nombres premiers

non A : Il existe un nombre fini de nombres premiers

On les note p_{1},p_{2} \dots p_n classés par ordre croissant Soit P=p_1 \times p_2 \times \dots \times p_n+1. Il est plus grand que pn.

P n'est divisible ni par p1, ni par p_{2} \dots ni par pn

Or P est premier car tout nombre non premier admet au moins 1 diviseur premier.

Mais il n'y a pas de nombre premier plus grand que pn d'après l'hypothèse. Donc A est vraie.

Par analyse-synthèse

Article détaillé : Raisonnement par analyse-synthèse.

On suppose le problème résolu, on en déduit les conditions nécessaires (phase d'analyse). On utilise ces conditions nécessaires pour résoudre le problème (phase de synthèse).

Par l’exemple

Pour montrer que pour un x, P(x) est vraie, on trouve une valeur a telle que P(a) soit vraie : on trouve un exemple.

Pour montrer que pour un x, P(x) est fausse on montre qu'il existe x tel que non P(x) est vraie. On trouve a tel que non P(a) soit vraie : un contre-exemple.

Attention

Pour montrer que pour tout x, P(x) est vraie, un exemple ne suffit pas bien au contraire.

Voir aussi

Démonstration


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Démonstration (mathématiques élémentaires) de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Demonstration (mathematiques elementaires) — Démonstration (mathématiques élémentaires) Cet article fait partie de la série Mathématiques élémentaires Algèbre Logique Arithmétique Probabilités …   Wikipédia en Français

  • Démonstration (Mathématiques Élémentaires) — Cet article fait partie de la série Mathématiques élémentaires Algèbre Logique Arithmétique Probabilités …   Wikipédia en Français

  • Mathematiques elementaires — Mathématiques élémentaires Cet article fait partie de la série Mathématiques élémentaires Algèbre Logique Arithmétique Probabilités …   Wikipédia en Français

  • Mathématiques Élémentaires — Cet article fait partie de la série Mathématiques élémentaires Algèbre Logique Arithmétique Probabilités …   Wikipédia en Français

  • Mathématiques élémentaires — Les mathématiques élémentaires[1] regroupent des notions et techniques mathématiques abordées dans l enseignement scolaire primaire et secondaire. Elles se démarquent ainsi des mathématiques de l enseignement supérieur et notamment, en France,… …   Wikipédia en Français

  • Logique (mathématiques élémentaires) — La logique est le lieu où le langage puis les axiomes (logiques ou propres à certaines théories) des mathématiques sont définis ce qui est à la base des démonstrations en mathématique. Bien qu elle apparaisse de manière cachée dans toute l… …   Wikipédia en Français

  • Probabilités (mathématiques élémentaires) — Pour les articles homonymes, voir Interconnexions entre la théorie des probabilités et les statistiques. Les probabilités sont nées du désir de prévoir l imprévisible ou de quantifier l incertain. Mais il faut avant tout préciser ce qu elles ne… …   Wikipédia en Français

  • Fonction (mathématiques élémentaires) — Pour les articles homonymes, voir Fonction. En mathématiques élémentaires, la plupart des fonctions rencontrées sont des fonctions numériques, mais la notion de fonction ne se limite pas à celle ci. L article qui suit présente quelques règles à… …   Wikipédia en Français

  • Statistiques (mathématiques élémentaires) — Une enquête statistique consiste à observer une certaine population (élèves d’une classe, personnes âgées de 20 à 60 ans dans une région donnée, familles dans une région donnée, exploitations agricoles, appartements, travailleurs…) et à… …   Wikipédia en Français

  • Suite (mathématiques élémentaires) — Intuitivement une suite réelle est une règle qui associe à chaque entier naturel n un certain nombre réel ; on dit alors que ce nombre réel est indexé par l’entier. En fait une suite est un moyen d’indexer des nombres réels par des entiers… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”