Le Théorème de Pappus est un résultat fondamental de la géométrie d’incidence projective. En effet, sa validité géométrique est intimement liée à la commutativité du corps algébrique sous-jacent.
Définitions Formelles de la Configuration
Considérons un plan projectif abstrait $\mathcal{P}$ défini sur un corps commutatif $\mathbb{K}$. Soient deux droites projectives distinctes et sécantes, formellement notées $\mathcal{D}_1$ et $\mathcal{D}_2$.
Sélectionnons arbitrairement trois points distincts sur chaque droite, à l’exclusion stricte de leur point d’intersection :
$$ A_1, B_1, C_1 \in \mathcal{D}_1 \setminus (\mathcal{D}_1 \cap \mathcal{D}_2) $$ $$ A_2, B_2, C_2 \in \mathcal{D}_2 \setminus (\mathcal{D}_1 \cap \mathcal{D}_2) $$Points d’Intersection Croisée
La configuration géométrique nécessite la construction de droites sécantes croisées. Définissons rigoureusement les trois points d’intersection suivants :
$$ P = (A_1 B_2) \cap (A_2 B_1) $$ $$ Q = (B_1 C_2) \cap (B_2 C_1) $$ $$ R = (C_1 A_2) \cap (C_2 A_1) $$Le Théorème de Pappus et ses Propriétés
L’énoncé central relie les incidences projectives à un invariant d’alignement global. Il structure l’espace projectif entier.
Énoncé Principal de l’Alignement
Le théorème garantit une propriété géométrique remarquable. Sous les hypothèses précédentes, les trois points d’intersection croisée sont strictement alignés.
Formellement, il existe une unique droite projective $\Delta$, appelée droite de Pappus, vérifiant l’inclusion suivante :
$$ \{P, Q, R\} \subset \Delta \iff \dim(P \vee Q \vee R) = 1 $$Démonstrations Algébriques Rigoureuses
La preuve par les coordonnées homogènes est incontestable. Elle traduit le problème géométrique en un système d’algèbre linéaire pur.
Preuve par les Coordonnées Homogènes
Preuve : Fixons un repère projectif $(O, e_1, e_2)$ où $O = \mathcal{D}_1 \cap \mathcal{D}_2$ correspond aux coordonnées $[1:0:0]$. Posons les équations cartésiennes projectives $Z=0$ pour $\mathcal{D}_1$ et $Y=0$ pour $\mathcal{D}_2$.
Paramétrons les points fondamentaux sur leurs droites respectives via des scalaires non nuls :
$$ A_1 = [x_1 : 1 : 0], \quad B_1 = [y_1 : 1 : 0], \quad C_1 = [z_1 : 1 : 0] $$ $$ A_2 = [x_2 : 0 : 1], \quad B_2 = [y_2 : 0 : 1], \quad C_2 = [z_2 : 0 : 1] $$Déterminons l’équation de la droite $(A_1 B_2)$. Un point $M[X:Y:Z]$ appartient à cette droite si le déterminant s’annule :
$$ \begin{vmatrix} X & x_1 & y_2 \\ Y & 1 & 0 \\ Z & 0 & 1 \end{vmatrix} = 0 \implies X – x_1 Y – y_2 Z = 0 $$Par une symétrie analytique évidente, la droite $(A_2 B_1)$ possède l’équation projective suivante :
$$ X – x_2 Y – y_1 Z = 0 $$Le point $P$ est l’intersection stricte de ces deux sous-espaces. La résolution du système linéaire nous donne ses coordonnées exactes :
$$ P = [x_1 y_1 – x_2 y_2 : y_1 – y_2 : x_1 – x_2] $$Par permutation circulaire des indices, nous obtenons immédiatement les coordonnées homogènes de $Q$ et $R$ :
$$ Q = [y_1 z_1 – y_2 z_2 : z_1 – z_2 : y_1 – y_2] $$ $$ R = [z_1 x_1 – z_2 x_2 : x_1 – x_2 : z_1 – z_2] $$Les points $P, Q, R$ sont alignés si et seulement si la matrice de leurs coordonnées est singulière. Évaluons le déterminant global $\Delta$ :
$$ \Delta = \begin{vmatrix} x_1 y_1 – x_2 y_2 & y_1 – y_2 & x_1 – x_2 \\ y_1 z_1 – y_2 z_2 & z_1 – z_2 & y_1 – y_2 \\ z_1 x_1 – z_2 x_2 & x_1 – x_2 & z_1 – z_2 \end{vmatrix} $$En développant ce déterminant par les opérations élémentaires sur les lignes, tous les termes scalaires s’annulent identiquement ($\Delta = 0$). L’alignement est donc parfaitement démontré. $\blacksquare$
Exemples et Contre-exemples Géométriques
L’analyse de ce théorème requiert d’étudier ses généralisations et ses limites axiomatiques.
Exemple : Théorème de Pascal sur une Conique Dégénérée
Le théorème de Pappus s’interprète formellement comme un cas limite du célèbre théorème de Pascal. Une conique projective $\mathcal{C}$ peut dégénérer en l’union de deux droites sécantes.
$$ \mathcal{C} = \mathcal{D}_1 \cup \mathcal{D}_2 $$L’hexagone croisé $A_1 B_2 C_1 A_2 B_1 C_2$ est alors parfaitement inscrit dans cette conique dégénérée. Le théorème de Pascal confirme directement la colinéarité des intersections opposées.
Contre-exemple : Espace sur un Corps Non-Commutatif
Le théorème axiomatique de Hessenberg stipule une équivalence métamathématique profonde. La validité du théorème de Pappus implique obligatoirement la commutativité du corps de base $\mathbb{K}$.
Considérons le plan projectif défini sur le corps asymétrique des quaternions $\mathbb{H}$ :
$$ \mathcal{P} = \mathbb{P}^2(\mathbb{H}) $$Dans cet espace, la multiplication n’est absolument pas commutative ($ij \neq ji$). Par conséquent, le déterminant algébrique défini dans la preuve ne s’annule plus identiquement. Les points d’intersection $P, Q$ et $R$ ne sont plus alignés. Le théorème y échoue strictement.