I- Configuration Triangulaire de Thalès.
Théorème 1 :
Soient ∆1 et ∆2 deux droites strictement parallèles du plan P, et soient D et D’ deux
droites sécantes en O, non parallèles à
, qui coupent respectivement les droites ∆1 et ∆2 en
A, B et A’, B’. On a alors
'
'
OB OB
OA OA
=
; O,A,B et O, A', B' sont dans le même ordre.
Preuve :
1) On veut montrer que O, A, B sur D et O, A’, B’ sur D' sont dans le même ordre. Pour cela
supposons que le point A appartienne à ]OB[.
Alors,
ne passe pas par O – elle serait alors confondue avec D – et
ne passe pas par B' – elle couperait
– l’axiome de Pasch assure alors qu’elle coupe ]BB’[
ou ]B’O[.
Supposons qu’elle coupe ]BB’[ en M.
Alors ∆1 ne serait pas strictement parallèle à ∆2, donc ∆1 coupe]OB’[.
Si c'est le point B qui appartient à ]OA[, une démonstration analogue à la précédente point
par point, montre que B' appartient à ]OA'[.
2) On veut monter alors que
.
En notant hB la hauteur issue de B et hB’ la hauteur issue de B’, on a :
A
(OBB′) =
.
De même,
A
(OBB′) =OB′.hB et
A
(OA′B) =OA’.hB. D’où
( ') '
( ' ) '
OBB OB
OA B OA
=
A
A
.
Montrons alors que
A
(OAB′)=
A
(OA′B).
A
(OBB′)=
A
(OAB′) +
A
(ABB′), car A est entre O et B, et donc ABB’ et OAB’ ont une
intersection réduite au segment [AB’]. De même, A’ étant entre O et B’, on a
A
(OBB′)=
A
(OBA′) +
A
(A’BB′). On en déduit que
A
(OAB′)=
A
(OA′B).
Et donc
.
Remarque : Le théorème que nous venons d’énoncer est un cas particulier du théorème de
Thalès. Un cas plus général est énoncé ci-après.
II- Théorème de Thalès dans le plan.
Théorème 2 :
Soient D1, D2, et D3 trois droites strictement parallèles, et soient d et d’ deux droites
non parallèles à
qui coupent respectivement D1, D2, et D3 en A, B, C et en A’, B’, C’.
On a alors :