La géométrie projective – qui n'est plus enseignée depuis plusieurs décennies – avait quelques théorèmes assez ésotériques pour les étudiants de l'époque. On se propose d'illustrer un de ceux là de manière concrète en ramenant l'infini à distance finie.
Née de la perspective des peintres de la Renaissance, la géométrie projective étudie les propriétés des figures invariantes par projection centrale. Girard Desargues en jette les bases en 1639, mais c'est Jean-Victor Poncelet qui la refonde dans son Traité des propriétés projectives des figures publié en 1822 et conçu durant sa captivité en Russie. On y complète le plan par des points à l'infini, où se rejoignent les parallèles : deux droites s'y coupent toujours. Distances et angles s'effacent ; ne subsistent que l'incidence, l'alignement et le birapport, son invariant fondamental.
Le plan projectif, sa droite de l'infini et les coniques
Dans une première approche, le plan projectif peut être considéré comme un complété du plan affine usuel. À chaque droite affine on ajoute un point à l'infini tel que toutes les droites affines parallèles ont le même point à l'infini : si alors . Il faut bien comprendre qu'il n'y a qu'un seul point à l'infini sur cette droite : c'est le même qu'on aille dans un sens ou dans l'autre. L'ensemble de tous ces points à l'infini forment une nouvelle droite du plan projectif appelée la droite de l'infini.
