QUELQUES PROPRIETES UTILES POUR

BATIR UNE DEMONSTRATION GEOMETRIQUE

1) Principe

Considrons les affirmations suivantes :

P1 : (AB) (DC) et (AD) (BC)
P2 : (AB) (DC) et AB = DC
P3 : AB = DC et AD = BC
P4 : [AC] et [BD] ont mme milieu

On dmontre que chacune de ces affirmations, prise isolment, est quivalente laffirmation
P suivante : le quadrilatre ABCD est un paralllogramme.

Bien comprendre ce que ceci signifie : dire que laffirmation P3 est quivalente
laffirmation le quadrilatre ABCD est un paralllogramme cest, non seulement, dire,
que, pour tout paralllogramme, les cts opposs ont mme longueur deux deux mais cest
aussi dire que tout quadrilatre qui a des cts opposs de mme longueur deux deux est un
paralllogramme.

Btir une dmonstration va consister enchaner des proprits :
si, un certain moment, on sait, par exemple, que P3 est vrifie (autrement dit si on sait que
AB = DC et AD = BC), on pourra en dduire que ABCD est un paralllogramme. A ltape
suivante, on pourra en dduire que P1, par exemple, est vrifie, autrement dit que
(AB) (DC) et (AD) (BC).

La dmonstration aura donc consist enchaner deux thormes :

Premier thorme (P3 P) : si un quadrilatre a des cts opposs de mme longueur deux
deux, alors cest un paralllogramme.
Deuxime thorme (P P1) : si un quadrilatre est un paralllogramme alors ses cts
opposs sont parallles deux deux.

Il est donc important de connatre pour diverses figures lmentaires une liste de propositions
quivalentes

2) Listes de propositions quivalentes

a) Liste de propositions quivalentes la proposition TI : Le triangle ABC est isocle de
sommet A

TI1 : AB = AC
TI2 : ABC = ACB

b) Liste de propositions quivalentes la proposition TE : Le triangle ABC est quilatral

TE1 : AB = AC = BC
TE2 : ABC = ACB = BAC
TE3 : ACB = ABC =60



A
B C
A
B
C
D
C
B
A
D. Pernoux
Voir aussi ces pages avec applets java : http://perso.wanadoo.fr/pernoux/main.htm#demo
D. Pernoux
http://pernoux.perso.orange.fr

c) Liste de propositions quivalentes la proposition TR : Le triangle ABC est un triangle
rectangle en B

TR1 : ABC = 90
TR2 : AC
2
= AB
2
+ BC
2
TR3 : I est le milieu de [AC] et IA = IB = IC

Remarques :
Le thorme TR TR2 est le thorme de Pythagore.
Le thorme TR2 TR est le thorme rciproque du thorme de Pythagore
Le thorme TR TR3 exprime le fait que si un triangle ABC est rectangle en B alors le
cercle de diamtre [AC] passe par B.
Le thorme TR3 TR exprime le fait que si [AC] est un diamtre dun cercle et B un
point de ce cercle alors le triangle ABC est rectangle en B

d) Proposition quivalente la proposition T : Le quadrilatre ABCD est un trapze

T1 : (AB) (DC)

e) Liste de propositions quivalentes la proposition P : Le quadrilatre ABCD est un
paralllogramme

P1 : (AB) (DC) et (AD) (BC)
P2 : (AB) (DC) et AB = DC
P3 : AB = DC et AD = BC
P4 : [AC] et [BD] ont mme milieu

f) Liste de propositions quivalentes la proposition R : Le quadrilatre ABCD est un
rectangle

R1 : Les angles de ABCD sont des angles droits
R1 : ABCD est un paralllogramme et ADC = 90
R2 : ABCD est un paralllogramme et AC = DB

g) Liste de propositions quivalentes la proposition L : Le quadrilatre ABCD est un
losange

L1 : AB = BC = CD = DA
L2 : ABCD est un paralllogramme et (AC) (DB)

h) Liste de propositions quivalentes la proposition C : Le quadrilatre ABCD est un
carr

C1 : ABCD est un rectangle et ABCD est un losange
C2 : AB = BC = CD = DA et BAD = 90

i) Liste de propositions quivalentes la proposition PR : Le polygne P est un polygne
rgulier

PR1 : Tous les cts de P ont mme longueur et tous ses angles sont gaux
PR2 : P est inscriptible dans un cercle et tous les angles au centre dtermins par les
segments joignant le centre du cercle deux sommets succesifs sont gaux.
D
C A
B
C
B
A
D
I
A
B C
A
B
D
C
A B
C
D
D
C
B
A