Pappus's problem

Imaginez quatre droites qui encadrent une zone. Depuis un point mobile, mesurez la plus courte distance jusqu’à chacune d’elles. Multipliez les deux premières distances, puis les deux autres. Le problème de Pappus cherche tous les emplacements où le rapport entre ces deux produits garde une valeur fixée.

Ces emplacements dessinent un lieu géométrique. Le problème transforme ainsi une règle portant sur des distances en une courbe que l’on peut étudier.

Le problème de Pappus est un problème de lieu géométrique. On se donne un nombre pair de droites, soit 2n droites, et une constante de proportion notée k. Pour un point mobile M, la distance perpendiculaire de M à la droite numéro i est notée d_i(M). On répartit les droites en deux groupes de n droites et l’on cherche tous les points M qui satisfont la relation suivante.

Une distance à une droite est toujours non négative. L’ordre des droites dans chaque groupe ne change donc pas le produit, mais la répartition en deux groupes fait partie des données. Deux droites peuvent coïncider : leur même distance intervient alors deux fois, comme deux facteurs distincts. Pour quatre droites, n vaut 2. L’étude de ce problème a joué un rôle fondateur dans la géométrie analytique : Descartes l’a relié aux constructions à la règle et au compas et à la classification des courbes planes.

Dans un repère, quatre droites bordent un rectangle : x = 0, y = 0, x = 4 et y = 3. Les deux premières forment le premier groupe, les deux autres le second. Le rapport fixé vaut 1. On cherche d’abord les solutions situées à l’intérieur du rectangle.

1. Pour un point M de coordonnées (x ; y) à l’intérieur, ses quatre distances sont x, y, 4 − x et 3 − y.

2. L’égalité des produits s’écrit $xy=(4-x)(3-y)xy=(4-x)(3-y)$.

3. En développant le second membre, les termes xy s’annulent et il reste $3x+4y=123x+4y=12$. Dans le rectangle, le lieu est donc le segment joignant (0 ; 3) à (4 ; 0).

4. Le point M de coordonnées (2 ; 1,5) appartient à ce segment. Le contrôle donne 2 × 1,5 = 3 pour chaque produit. Le rapport vaut bien 1. La figure rend visibles les quatre distances égales deux à deux et le segment obtenu.

Pour tester un point candidat, on abaisse une perpendiculaire vers chaque droite, puis on compare les deux produits de distances. Cette vérification directe convient lorsqu’un nombre précis de points est proposé.

Pour décrire tous les points, on choisit un repère et on traduit chaque distance en fonction des coordonnées. Cette voie analytique est préférable au dessin seul dès que l’on veut obtenir ou classer la courbe du lieu.

Dans l’exemple rectangulaire, il faut d’abord préciser la zone étudiée. À l’intérieur, les distances sont x, y, 4 − x et 3 − y ; hors du rectangle, les valeurs absolues deviennent nécessaires.

Avec le théorème de Pappus. Le problème étudié ici impose un rapport entre des produits de distances à des droites. Un énoncé portant sur des points alignés ou sur une configuration d’incidence ne répond pas à ce critère.

Avec une conique particulière. Une conique est une famille de courbes, tandis que le problème de Pappus est une règle de recherche d’un lieu. Selon les droites, leur groupement et le rapport choisi, le lieu obtenu ne doit pas être identifié d’avance à une ellipse ou à une hyperbole.

Les distances ne sont pas des coordonnées signées. Hors de la zone comprise entre les droites de l’exemple, écrire simplement x ou 4 − x peut produire une valeur négative. Il faut employer les distances absolues avant de résoudre l’équation par zones.

Le lieu complet peut avoir plusieurs morceaux. Le segment trouvé dans l’exemple décrit seulement l’intérieur du rectangle. Pour obtenir le lieu global, il faut examiner toutes les zones découpées par les quatre droites et réunir leurs solutions valides.

Une droite coïncidente compte encore. Si deux des 2n droites coïncident, la distance commune apparaît avec sa multiplicité dans le produit. La supprimer changerait l’exposant du facteur et donc le problème.

Un produit nul interdit une division automatique. Si un point est sur une droite, le produit du groupe correspondant vaut zéro. Il faut alors préciser la convention : le quotient littéral est indéfini si son dénominateur est nul, tandis que l’équation de proportion définit un lieu algébrique qui peut inclure des points supplémentaires où les deux produits sont nuls. On ne peut parler de « fermeture » que si la densité du lieu quotient dans ce lieu algébrique a été démontrée.

Le Lieu géométrique précise comment une condition commune transforme un ensemble de points en objet géométrique.

Les Cartésiennes (coordonnées) montrent comment repérer un point et traduire des contraintes géométriques en équations.

La conique prolonge l’étude vers une famille centrale de courbes planes et leur description analytique.