Théorème de Desargues
Un article de Wikipédia, l'encyclopédie libre.
Les théorèmes de Desargues regroupent des théorèmes de géométrie affine et de géométrie projective liant deux triangles et les droites qu'ils déterminent.
[modifier] En géométrie affine
Le théorème de Desargues s'énonce ainsi :
Si ABC et A'B'C' sont deux triangles, sans point commun tels que
- (AB) //(A'B')
- (BC) // (B'C')
- (CA)// (C'A')
alors les droites (AA'), (BB') et (CC') sont concourantes ou parallèles.
Dans la première configuration, on suppose que deux des droites (par exemple (AA') et (BB')) sont sécantes en S. La preuve s'effectue en construisant le point M sur (SC) tel que (A'M)//(AC). Le théorème de Thalès permet de prouver qu'alors (MB')//(CB). Or il n'existe qu'un seul point situé, d'une part sur la parallèle à (AB) menée par A', d'autre part sur la parallèle à (BC) menée par B' et ce point est C'. Donc M et C' sont confondus et les points SCC' sont donc alignés.
Dans la seconde configuration, on ne trouve aucune droite sécante : elles sont donc parallèles.
Réciproque : Soient ABC et A'B'C' deux triangles sans point commun tels que
- les droites (AA'), (BB') et (CC') sont concourantes ou parallèles
- (AB)//(A'B')
- (AC)//(A'C')
alors (BC)//(B'C').
Avec des droites concourantes, nous retrouvons une conséquence du théorème de Thalès. Avec des droites parallèles, la démonstration utilise l'existence des parallélogramme (AA'B'B) et (AA'C'C) pour en déduire l'existence du parallélogramme (BB'C'C).
[modifier] En géométrie projective
En géométrie projective, le théorème de Desargues se généralise et se résume au seul énoncé suivant:
Soient ABC et A'B'C' deux triangles sans point commun tels que les droites (AA'), (BB') (CC') sont concourantes alors les points d'intersection des droites
- (AB) et (A'B')
- (AC) et (A'C')
- (BC) et (B'C')
sont situés sur une même droite.
Dans le cas où aucun point d'intersection n'est un point impropre, on obtient la configuration ci-contre:
Le dual de ce théorème en donne aussi la réciproque :
- ABC et A'B'C' deux triangles sans point commun tels que les points d'intersection des droites
- (AB) et (A'B')
- (AC) et (A'C')
- (BC) et (B'C')
- sont situés sur une même droite
- alors les droites (AA'), (BB') (CC') sont concourantes (en un point propre ou impropre).
En géométrie projective, une démonstration simple consiste à utiliser une application projective qui transforme les triangles (ABC) et (A'B'C') en (A1B1C1) et (A'1B'1C'1) de telle sorte que les points d'intersection de (A1B1) et (A'1B'1) et de (A1C1) et (A'1C'1) soient impropres. Les droites (A1B1) et (A'1B'1) sont alors parallèles ainsi que les droites (A1C1) et (A'1C'1). On est alors revenu à la configuration précedente qui prouve que (B1C1) et (B'1C'1) sont parallèles et que leur point d'intersection est donc impropre (situé sur la même droite que les deux précédents). On en déduit alors la propriété sur les droites de départ.
En géométrie "classique", cette forme du théorème de Desargues peut se démontrer en imaginant que notre dessin représente en perspective un tetraèdre SABC coupé par un plan (A'B'C'). Les droites (AB) et (A'B') étant dans le plan (SAB) leur point d'intersection apparent est un point d'intersection réel commun au deux plans (ABC) et (A'B'C'), il en est de même du point d'intersection des droites (BC) et (B'C') et du point d'intersection des droites (AC) et (A'C'). Les plans (ABC) et (A'B'C') sont sécants suivant une droite (d) qui contient ces trois points d'intersection.
[modifier] Théorème de Desargues et définition axiomatique
Au début du XXme siècle, David Hilbert tente une définition axiomatique du plan affine. Sur un espace muni de points, il définit des droites comme des ensembles de points vérifiant certains axiomes dont
- Par deux points distincts passe une et une seule droite.
- Toute droite contient au moins deux points. Il existe au moins trois points non alignés.
- Par un point A extérieur à une droite (d) , il ne passe qu'une seule droite parallèle à (d) (parallèle i. e. n'a pas de point commun avec).
Il découvre alors que ces axiomes ne permettent pas de démontrer le théorème de Desargues. Il faut l'existence de l'espace ou de l'axiome de la congruence.
En 1902, Moulton exhibe un exemple de plan — le plan de Moulton — vérifiant les trois axiomes précédents et dans lequel le théorème de Desargues est faux.
|
|
