Le plan projectif simplifie la géométrie en éliminant les cas particuliers

Définitions et constructions classiques

Le plan projectif peut être obtenu de trois manières concrètes. La première consiste à prendre un carré et à coller ses bords opposés de façon non orientable, ce qui crée une surface sans bord où chaque point possède un voisinage topologique de type Möbius. La seconde construction identifie les points antipodaux d’une sphère ; chaque paire de points opposés devient un unique point du plan projectif. La troisième, la plus utilisée en calcul, introduit les coordonnées homogènes : un point du plan euclidien (x, y) s’écrit (x, y, 1) et les directions « à l’infini » s’expriment par (x, y, 0). Ces trois descriptions sont équivalentes du point de vue topologique et algébrique.

Rôle des coordonnées homogènes dans la géométrie

En coordonnées homogènes, la division par la dernière composante w (si w≠0) normalise le triplet (x, y, w) en (x/w, y/w, 1). Cette opération, appelée division de perspective, élimine la nécessité de traiter séparément les droites verticales, qui dans le repère cartésien exigent un traitement spécial parce que leur pente est infinie. En projetant toutes les droites dans l’espace à trois dimensions, chaque direction possède un représentant (x, y, 0), ce qui rend le calcul uniforme : aucune droite n’est « exceptionnelle ».

Applications en infographie

Les pipelines graphiques modernes utilisent des matrices 4×4 pour transformer des vecteurs homogènes (x, y, z, w). Après la transformation, le rendu passe par la division par w pour obtenir les coordonnées d’écran. Cette étape, identique à la normalisation décrite ci‑dessus, montre que les programmeurs manipulent quotidiennement la géométrie projective sans toujours en connaître le nom. Le modèle permet de représenter la perspective, les translations et les rotations dans un même cadre matriciel, simplifiant l’implémentation et réduisant le nombre de cas conditionnels dans le code.

Impact sur la cryptographie à courbes elliptiques

Les algorithmes de courbes elliptiques définissent un point neutre, souvent noté O, qui agit comme l’« élément à l’infini ». Lorsqu’on travaille avec des coordonnées affines (x, y), il faut ajouter une logique explicite pour gérer O. En passant aux coordonnées homogènes (X : Y : Z), O s’exprime simplement par Z=0, ce qui intègre le point à l’infini dans les mêmes formules de addition que les points ordinaires. Cette uniformisation évite les branches conditionnelles coûteuses et améliore la constance temporelle des implémentations, critère essentiel pour la résistance aux attaques par canal auxiliaire.

Le principal inconvénient de l’approche homogène réside dans la division par w : si w est très petit, les erreurs d’arrondi peuvent se propager, surtout en précision flottante. Les implémentations sécurisées utilisent donc souvent des arithmétiques à précision étendue ou des représentations projectives alternatives (par exemple, coordonnées de Jacobian) pour contrôler la stabilité numérique.