Module n3 :

Initiation au raisonnement
dductif

Le but de ce chapitre est de dcouvrir la
dmonstration en mathmatiques.
On devra faire une dmonstration lorsquil sera
demand lors dun nonc de :
montrer que , prouver que , justifier que











I Activits - Vocabulaire
1) Il faut se mfier de ce que lon voit :
http://pat.sage.perso.neuf.fr/

2) Il faut se mfier des vidences :
Le prix dun meuble est diminu de 50% puis
augment de 50%. Quel est alors son prix ?
Vrifier en prenant 400 comme prix de dpart.

3) Rle du contre-exemple


Un exemple qui ne vrifie pas un nonc
suffit pour prouver que cet nonc est faux.
Cet exemple est appel contre-exemple
On vient de voir avec ces activits, quen
mathmatiques, on ne peut pas prouver quun nonc
est vrai seulement partir de constatations ou en
effectuant des mesures sur un dessin. Elles
permettent seulement dtablir une conjecture cest-
-dire un nonc qui semble vrai alors quon ne la
pas prouv.

Lorsque cet nonc est justifi en s'appuyant
exclusivement sur les donnes du problme et des
proprits (ou des thormes), alors vous avez
labor une DMONSTRATION.



TEXTE DU PROBLEME
Bla bla bla bla bla bla bla bla Bla
bla bla bla bla bla bla bla Bla bla
bla bla bla bla bla bla Bla bla bla
bla bla bla bla bla
Xwzrr tqscx zaxg xsxw ?
On distingue deux parties
Il tait une fois . un problme
La description
dune situation

Une question
Que faire ?
II En route vers la dmonstration.
Chercher dans le livre de math. si le problme
rsolu ne serait pas crit par hasard ???

Chercher sur le Net sur le site lvesoucieux.com ???
Demander son cousin Emile de passer la maison dans les
plus brefs dlais (il est bon en math, lui !!!)
Offrir quelques bonbons au meilleur lve de la classe ???

Ou alors !!!
Rsoudre ce problme soit mme
Sans mthode, difficile !!!
Avec mthode, cela peut devenir presque facile
Comment ?
Le but de la dmonstration est cet
instant fix .

3) En regardant le dessin, tenter de rpondre la
question .

Bla bla bla bla bla bla bla bla Bla bla bla bla bla bla bla bla
Bla bla bla bla bla bla bla bla Bla bla bla bla bla bla bla bla
Xwzrr tqscx zaxg xsxw ?
Comment procder ?
Ce nest pas nouveau
a non plus
Trs important de savoir
dans quelle direction aller !!
Do limportance dune
construction soigne
Ce nest pas si simple
1) Lire le texte attentivement .

2) Reprsenter la situation par un dessin .

4) Sortir une une les informations
contenues dans le texte .
Un petit essai ?

Lire le texte attentivement .
Reprsenter la situation par un dessin . (m) A B
(d)
(d)
En regardant le dessin, tenter de rpondre
la question .
Le but de la dmonstration est cet instant
fix .

BUT : (d) // (d)
Sortir une une les informations
contenues dans le texte .

) (m A
) (m B
) (d A
) ' (d B
(d) (m)
(d) (m)
Donnes
La phase de prparation
est maintenant acheve
La phase suivante est la
dmonstration
Soit une droite (m) et deux points A et B de (m) . Par A tracer
la droite (d) perpendiculaire (m) et par B la droite (d)
perpendiculaire (m) .
Que peut-on dire des droites (d) et (d) ?

(m) A B
(d)
(d)
BUT : (d) // (d)
) (m A
) (m B
) (d A
) ' (d B
(d) (m)
(d) (m)
Donnes
Donc (d) // (d)
Conclusion
On commence par la
fin !
tonnant , non ???
Pour construire une dmonstration, louvrier mathmaticien a besoin doutils
Ces outils portent entre autres le nom de proprits
Ces proprits nombreuses sont runies
sur des fiches par thme
Laquelle de ces fiches contient-elle la prcieuse
proprit ?
Fiche :Comment dmontrer quun triangle est isocle
Fiche :Comment dmontrer que deux distances sont
gales
Fiche :Comment dmontrer que deux droites sont
perpendiculaires
Fiche :Comment dmontrer quun quadrilatre est un
rectangle
Fiche :Comment dmontrer que deux droites sont
parallles
Fiche :Comment dmontrer que deux distances sont
gales
Fiche :Comment dmontrer quun triangle est rectangle
(m)
A
B
(d) (d)
BUT : (d) // (d)
) (m A
) (m B
) (d A
) ' (d B
Donnes
(d) (m)
(d) (m)
Cest bien cette
fiche .
Quelles proprits
contient-elle ?
(m)
A
B
(d) (d)
BUT : (d) // (d)
) (m A
) (m B
) (d A
) ' (d B
Donnes
(d) (m)
(d) (m)
Comment dmontrer que deux droites
sont parallles
Si deux droites sont symtriques par rapport
un point alors elles sont parallles .
Si deux droites dterminent avec une scante
des angles alternes-internes de mme mesure alors
elles sont parallles
Si deux droites dterminent avec une scante
des angles alternes-externes de mme mesure alors
elles sont parallles
Si deux droites dterminent avec une scante
des angles correspondants de mme mesure alors
elles sont parallles
Si un quadrilatre est un trapze alors ses
bases sont parallles
Si un quadrilatre est un paralllogramme
alors ses cts opposs sont parallles
Si deux droites sont parallles une mme
droite alors elles sont parallles
Si deux droites sont perpendiculaires une
mme droite alors elles sont parallles


Quelle proprit
semble tre le
mieux adapt ce
problme ?
Cest srement la
bonne proprit.
Observons l
Si deux droites sont perpendiculaires une mme droite
alors elles sont parallles

Cette proprit permet de dmontrer que deux droites .
Sont parallles
Mais il faut savoir que
deux droites sont perpendiculaires
une mme droite
BUT : (d) // (d)
) (m A
) (m B
) (d A
) ' (d B
INFORMATIONS
(m)
A
B
(d) (d)
(d) (m)
(d) (m)
Conclusion
(d) // (d)
Proprit
Donnes
Ces informations
ncessaires taient-
elles donnes ?
Oui
Gnial !
Le problme est
rsolu
Cet ensemble sera
appel :
bloc logique
Un seul bloc
logique a
permis de
rpondre la
question
Nous dirons que
cest un
problme de
niveau 1
Si deux droites sont perpendiculaires une mme
droite alors elles sont parallles
(d) (m)
(d) (m)
Rsumons :

Une dmonstration en gomtrie est une succession de chainons
dductifs qui partent des donnes et arrivent la conclusion.
Un chainon dductif est un enchainement de phrases qui peut se
prsenter sous la forme :
On sait que
Donnes
Or si
condition
alors
conclusion
Proprit
Donc
conclusion
Chainon
dductif