Théorème de pappus

Théorème de Pappus

Sommaire

1 Introduction
2 Énoncé du théorème
3 Démonstration à l'aide des applications projectives
4 Notions connexes
5 Théorème ou axiome?
6 Sources

Introduction

Le théorème de Pappus est un résultat de géométrie présentant deux particularités :

D'abord, parmi tous les théorèmes de géométrie, c'est celui qui demande les hypothèses minimales. Il porte sur deux triplets de points arbitraires respectivement pris sur deux droites coplanaires quelconques. Il ne demande donc comme connaissance que celle de l'alignement de trois points et ne nécessite par exemple ni métrique, ni orthogonalité… On dit qu'il est un théorème de géométrie projective.

Ensuite, ce théorème est le générateur de tous les théorèmes de géométrie euclidienne par l'enchaînement suivant

D'après un résultat obtenu par D. Hilbert, le théorème de Pappus permet de démontrer le théorème des triangles homologiques.

Dans Leçons de géométrie projective du célèbre géomètre F. Enriqués, on lit : …en se servant du théorème des triangles homologiques […] on pourrait déduire tous les théorèmes de géométrie projective plane. (voir page 46 de son livre)

Enfin la géométrie projective contient la géométrie euclidienne comme cas particulier.

On trouvera tous les détails sur ces développements dans les références données en fin d'article. Cette particularité remarquable explique que certains auteurs aient conféré le statut d'axiome à ce théorème, voir axiomes de plans projectifs.

Énoncé du théorème

Théorème de Pappus

Dans un plan, soient $A 1$ , $B 1$ , $C 1$ trois points distincts alignés sur une droite $(d)$ , et soient $A 2$ , $B 2$ , $C 2$ trois autres points distincts alignés sur une autre droite $(d^\prime)$ alors les points

$A$ intersection de $(B 2 C 1)$ avec $(C 2 B 1)$
$B$ intersection de $(A 2 C 1)$ avec $(C 2 A 1)$
$C$ intersection de $(A 2 B 1)$ avec $(B 2 A 1)$

sont alignés.

Il s'agit d'un théorème de géométrie projective donc les points considérés peuvent être propres ou impropres. Dans le cas où tous les points sont propres, on obtient une configuration du type ci-contre.

Remarques :

si l'on note $(Δ)$ la droite portant les points A,B,C alors les assertions suivantes sont équivalentes (en géométrie projective) :

-- les trois droites $(d)$ , $(d^\prime)$ et $(Δ)$ sont concourantes ;

-- les trois droites $(A 1 A 2)$ $(B 1 B 2)$ $(C 1 C 2)$ sont concourantes ;

-- les six droites « croisillons » $(B 2 C 1)$ $(C 2 B 1)$ $(A 2 C 1)$ $(C 2 A 1)$ $(A 2 B 1)$ $(B 2 A 1)$ sont tangentes à une même conique.

-- Les deux droites $(d)$ et $(d^\prime)$ peuvent être considérées comme une conique dégénérée : pour l'hexagramme $A 1 B 2 C 1 A 2 B 1 C 2$ , le théorème de Pappus-Pascal affirme l'alignement des points $A$ , $B$ et $C$ .

Démonstration à l'aide des applications projectives

Démonstration du théorème

On construit les points O intersection de (d) et (d'), D intersection de $(A 1 B 2)$ et $(A 2 C 1)$ et E intersection de $(A 1 C 2)$ et $(C 1 B 2)$

On considère la projection centrale p de la droite $(A 1 B 2)$ sur la droite (d) de centre $A 2$

$A 1$ a pour image $A 1$
C a pour image $B 1$
D a pour image $C 1$
$B 2$ a pour image O

On considère la projection centrale q de la droite (d) sur la droite $(B 2 C 1)$ de centre $C 2$

$A 1$ a pour image E
$B 1$ a pour image A
$C 1$ pour image $C 1$
O a pour image $B 2$

Par l'application projective q o p de la droite $(A 1 B 2)$ sur la droite $(B 2 C 1)$

$A 1$ a pour image E
C a pour image A
D a pour image $C 1$
$B 2$ a pour image $B 2$

Si on regarde maintenant la projection centrale r de la droite $(A 1 B 2)$ sur la droite $(B 2 C 1)$ de centre B

$A 1$ a pour image E
D a pour image $C 1$
$B 2$ a pour image $B 2$

Or, une application projective d'une droite sur une autre est entièrement déterminée par l'image de trois points distincts. Les transformations q o p et r coïncident sur $A 1$ , D et $B 2$ . Elles sont donc égales et $r (C) = A$ . Les points A, B et C sont donc alignés.

Notions connexes

Le Théorème d'Hessenberg qui fait le lien entre le théorème de Pappus et le théorème de Desargues.
Le théorème de Pappus-affine dans le plan affine.
L'Hexagramme de Pascal dont la configuration de Pappus est une version dégénérée (la conique est une bidroite).
Enfin il est indispensable de rappeler que la configuration de Pappus est un bel exemple de Dualité (géométrie projective).

Théorème ou axiome?

Tout dépend dans quelle géométrie on se situe. Si on travaille dans un contexte de géométrie euclidienne, cette propriété n'est qu'un théorème découlant d'axiomes plus puissants.

En revanche, dans un contexte de géométrie projective, si on travaille dans un plan projectif pappusien, c'est un de nos axiomes de construction de ce plan. Si on travaille dans un plan projectif homogène, c'est un théorème qui découle d'un autre ensemble d'axiomes.

Sources

Leçons de géométrie projective de F. Enriqués
Petite encyclopédie de mathématiques Ed. Didier
Enfin un site où sont donnés de nombreux développements sur le Thèorème de Pappus:Merveilleux Pappus

Articles de Géométrie projective ou voisins à consulter.

[modifier]

Hexagramme de Pascal • Axiomes de plans projectifs • Théorème de Pappus • Théorème de Desargues • Dualité • Axiomes de plans projectifs/Suite des axiomes • Axiomes de plans projectifs/homogènes • Axiomes de plans projectifs/barycentriques • Plan affine • Théorème d'Hessenberg • Traité projectif des coniques • Traité projectif des coniques/Dans un plan pappusien • Conique • Octonions • Relation d'équivalence • Structure de corps • Construction d'un cercle point par point • Construction d'une parabole tangente par tangente • Plan de Fano • Portail:Géométrie • Géométrie analytique • Géométrie synthétique • Géométrie • Géométrie projective • Géométrie non euclidienne • Division harmonique • Rapport anharmonique • Application projective • Fonction homographique • Perspective • Perspective conique • Infini • Droite (mathématiques)

Portail de la géométrie

Ce document provient de « Th%C3%A9or%C3%A8me de Pappus ».

Catégories : Théorème de mathématiques | Géométrie projective | Ligne droite

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de pappus de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

Theoreme de Pappus — Théorème de Pappus Sommaire 1 Introduction 2 Énoncé du théorème 3 Démonstration à l aide des applications projectives 4 Notions connexes … Wikipédia en Français
Théorème de Pappus — Ne doit pas être confondu avec Théorème de Pappus Guldin. Le théorème de Pappus est un théorème de géométrie projective plane qui possède plusieurs déclinaisons en géométrie affine. En géométrie projective Il s énonce uniquement en termes d … Wikipédia en Français
Théorème de Pappus-Guldin — Théorème de Guldin On désigne sous le nom de théorème de Guldin deux énoncés de géométrie euclidienne établis par le mathématicien suisse Paul Guldin. Il est probable que ces résultats aient déjà été connus de Pappus d Alexandrie et c est… … Wikipédia en Français
Théorème de Desargues — dans un plan projectif : les deux triangles (non plats) ABC et A B C ont leurs sommets sur 3 droites distinctes p = (AA ) , q = (BB ) et r = (CC ) ; alors ces 3 droites sont concourantes (en S) si et seulement si les points P = (BC) ∩… … Wikipédia en Français
Theoreme d'Hessenberg — Théorème d Hessenberg En géométrie projective, le théorème d’Hessenberg fait le lien entre le théorème de Pappus et le théorème de Desargues. On s’intéresse ici au théorème d Hessenberg dans sa version projective (il existe également une version… … Wikipédia en Français
Théorème d'Hessenberg — En géométrie projective, le théorème d’Hessenberg fait le lien entre le théorème de Pappus et le théorème de Desargues. On s’intéresse ici au théorème d Hessenberg dans sa version projective (il existe également une version affine qui s en déduit … Wikipédia en Français
Théorème de Hessenberg — Théorème d Hessenberg En géométrie projective, le théorème d’Hessenberg fait le lien entre le théorème de Pappus et le théorème de Desargues. On s’intéresse ici au théorème d Hessenberg dans sa version projective (il existe également une version… … Wikipédia en Français
Théorème d’Hessenberg — Théorème d Hessenberg En géométrie projective, le théorème d’Hessenberg fait le lien entre le théorème de Pappus et le théorème de Desargues. On s’intéresse ici au théorème d Hessenberg dans sa version projective (il existe également une version… … Wikipédia en Français
Theoreme de Thales — Théorème de Thalès Pour l’article homonyme, voir Théorème de Thalès (cercle). Configuration possible du théorème Le théorème de Thalès ou théorè … Wikipédia en Français
Théorème de Thales — Théorème de Thalès Pour l’article homonyme, voir Théorème de Thalès (cercle). Configuration possible du théorème Le théorème de Thalès ou théorè … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de pappus