Un article de Wikipedia.y-project.com.

Image:Icone math élém.jpg Cet article fait partie de la série Mathématiques élémentaires

Algèbre

Analyse

Arithmétique

Géométrie

Logique

Probabilité

Statistique

Démontrer une propriété c'est utiliser des théorèmes et des définitions 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 1 Quelques méthodes de démonstration 1.1 Par application directe du théorème 1.2 Par contraposée 1.3 Par l'absurde 1.4 Par analyse-synthèse 1.4.1 Analyse 1.4.2 Synthèse 1.5 Par l?exemple 2 Voir aussi

[] 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 un théorème est sous la forme Si A alors B, s?il est vrai et si on montre que A est vraie alors B est vraie.

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

• On vérifie d?une part que AB²+AC²=12²+5²=144+25=169 et d?autre part que BC²=13²=169 donc AB²+AC²=BC²
• 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 A

[] 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

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

Exemple:

A : Il existe une infinité de nombres premiers

non A : Il existe un nombre fini de nombres premiers

On les note <math>p_,p_ \dots p_n</math> classés par ordre croissant Soit <math>P=p_1 \times p_2 \times \dots \times p_n+1</math>. Il est plus grand que <math>p_n</math>.

<math>P</math> n'est divisible ni par <math>p_1</math>, ni par <math>p_ \dots </math> ni par <math>p_n</math>

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 <math>p_n</math> d'après l'hypothèse. Donc A est vraie.

[] 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).

Exemple :

Toute fonction définie sur ? est la somme d'une fonction paire et d'une fonction impaire

[] Analyse

Si f=p+i avec p fonction paire et i fonction impaire

Quel que soit x ? ?, f(x)=p(x)+i(x) et f(?x)=p(x)?i(x)

p(x)=(f(x)+f(?x))/2 et

i(x)=(f(x)?f(?x))/2

[] Synthèse

On considère les fonctions i et p définies par les formules précédentes

f=p+i

Quel que soit x ? ?, p(?x)=p(x) donc p est paire

Quel que soit x ? ?, i(?x)=?i(x) donc i est impaire

[] 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

DernierMirror  

Réagissez

Commentez l'encyclopédie:
Attention! tous les commentaites inaproprié seront supprimés

Titre:
Video YouTube ou google:	(doit être en rapport avec le sujet)
Votre mail:	(ne sera pas affiché sur le site)
Un pseudo:
Votre site:
Commentaire	(le html n'est pas autorisé, nombre de caractère maximum = 400)
	(Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Démonstration (mathématiques élémentaires)