Le théorème de Pappus est l'un des énoncés les plus simples de la géométrie plane. Il exprime qu'en choisissant deux couples de points (parmi trois) sur deux droites fixes, les points d'intersection des diagonales de ce quadrilatère sont alignés. En prenant une conique au lieu de deux droites (= une hyperbole dégénérée, confondue avec ses asymptotes), on généralise au théorème de Pascal.