Théorème de Hessenberg. —Dans un plan projectif satisfaisant les axiomes d'incidence et la propriété de Pappus, la propriété de Desargues est vérifiée, à savoir que, étant donnés deux triangles ABC et A'B'C', si (AA'), (BB') et (CC') sont concourantes alors les 3 points d'intersection des côtés homologues des triangles, soit (AB) ∩ (A'B'), (AC) ∩ (A'C') et (BC) ∩ (BC'), sont alignés.
Démonstration
Pour le démontrer, il suffit de considérer quelques points d'intersection supplémentaires et d'employer (à trois reprises) l'axiome de Pappus.
Les deux triangles ABC et A'B'C' sont en perspective depuis le point S, et leurs côtés homologues s'intersectent en
P = (BC) ∩ (B'C'), Q = (AC) ∩ (A'C') et R = (AB) ∩ (A'B')
et on veut montrer que ces 3 points sont alignés.
Soit le point D = (AC) ∩ (B'C'). La propriété de Pappus pour les deux triplets de points alignés (S,B',B) et (A,C,D) donne, en posant E = (SD) ∩ (AB) et F = (SC) ∩ (B'A), que P (= (B'D) ∩ (CB)), F et E sont alignés.
La propriété de Pappus pour les deux triplets de points alignés (S,A,A') et (B',C',D) donne, en posant G = (SD) ∩ (B'A'), que Q (= (AD) ∩ (C'A')), G et F (= (SC') ∩ (B'A)) sont alignés.
La propriété de Pappus pour les deux triplets de points alignés (A,B',F) et (G,E,D) donne que P (sur (EF) d'après 1), Q (sur (GF) d'après 2), et R sont alignés, ce qui est le résultat cherché.