Pappus d'Alexandrie

Au IVe siècle après J.-C., à Alexandrie en Égypte, Pappus rassemble une grande part du savoir mathématique grec disponible à son époque. Sa Synagoge, ou Collection mathématique, nous est parvenue en huit volumes.

L'ouvrage ne se contente pas d'aligner des résultats. Il reprend et complète notamment des travaux d'Euclide et d'Archimède, relie de nombreux domaines et conserve la trace de méthodes géométriques. Ce rôle de passeur explique pourquoi le nom de Pappus reste associé à un théorème, au birapport et aux prémices de la géométrie projective.

Pappus d'Alexandrie est un mathématicien grec du IVe siècle après J.-C., vraisemblablement né et actif à Alexandrie vers 290–350. Les renseignements conservés sur sa vie sont rares et parfois contradictoires. Son œuvre majeure est la Synagoge, traduite sous le titre Collection mathématique, qui nous est parvenue en huit volumes.

Cette collection synthétise, reprend et complète les mathématiques grecques de son époque, dont les travaux d'Euclide et d'Archimède. Son champ va de la géométrie et de l'arithmétique aux proportions, aux polyèdres et à l'isopérimétrie. Elle aborde aussi les grands problèmes grecs, tels que la duplication du cube et la quadrature du cercle, ainsi que les mathématiques récréatives, l'optique, l'astronomie et la mécanique. Pappus y étudie notamment la spirale d'Archimède, la quadratrice d'Hippias et les coniques définies par un foyer et une directrice. La figure synthétise cette ampleur sans attribuer artificiellement un thème particulier à chacun des huit volumes.

Ses recherches sur les constructions à la règle et au compas éclairent l'analyse et la synthèse pratiquées dans la géométrie grecque. Elles restent inscrites dans le cadre euclidien tout en préfigurant la géométrie projective. Son nom demeure attaché au théorème de Pappus. Son étude des divisions harmoniques constitue aussi un jalon dans l'histoire du rapport anharmonique, ou birapport, que Michel Chasles développera au XIXe siècle.

Voici un mini-cas à classer. Une notice réunit cinq étiquettes : la personne, la Collection mathématique, le théorème de Pappus, le birapport et la postérité de ses travaux. Pour chaque affirmation, il faut choisir la bonne étiquette, puis relever l'indice qui justifie ce choix.

1. « Mathématicien actif à Alexandrie vers 290–350 » se classe sous la personne : l'indice est la datation biographique, donnée comme vraisemblable. « Synagoge transmise en huit volumes » se classe sous la Collection mathématique, puisque les deux titres désignent la même œuvre.

2. « Résultat géométrique qui porte le nom de Pappus » se classe sous le théorème de Pappus. L'indice est précisément l'expression « porte son nom » : elle désigne un résultat particulier, et non les huit volumes de la Collection.

3. « Rapport anharmonique » se classe sous le birapport, son autre nom. En revanche, « développement par Michel Chasles au XIXe siècle » se classe sous la postérité : l'indice chronologique montre qu'il s'agit d'un prolongement ultérieur, et non d'une formulation à attribuer entièrement à Pappus.

4. La phrase « Pappus a formulé toute la géométrie projective moderne » est donc mal classée. Les indices conduisent à la postérité de ses travaux : Pappus reste dans le cadre euclidien et certains de ses résultats préfigurent seulement la théorie ultérieure. Le classement corrige l'attribution sans effacer son héritage.

Pour situer un texte ancien de géométrie, on peut chercher s'il est repris dans la Collection mathématique. Si la question porte sur la vie de Pappus, cette œuvre reste une trace plus solide que les rares renseignements biographiques, parfois contradictoires.

Pour étudier une contribution précise, on part du bon objet : la fiche du théorème pour le résultat qui porte son nom, celle du birapport pour le rapport anharmonique, ou la Collection pour la synthèse historique. Le titre et l'objet étudié permettent de choisir.

Pour comprendre les méthodes grecques, on observe le couple analyse-synthèse dans les constructions à la règle et au compas. Si l'on cherche une formulation projective moderne, il faut plutôt suivre les prolongements ultérieurs : Pappus les préfigure sans quitter le cadre euclidien.

Pappus d'Alexandrie et le théorème de Pappus. Le premier est un mathématicien grec ; le second est un résultat particulier attaché à son nom. Une recherche sur sa vie ou son œuvre concerne la personne, tandis qu'un énoncé à démontrer concerne le théorème.

La Collection mathématique et un traité sur une seule question. L'œuvre transmise en huit volumes couvre de nombreux domaines. Si le passage étudié traite d'une courbe ou d'une construction, ce thème n'épuise donc pas le contenu de l'ensemble.

Le rapport anharmonique et son développement au XIXe siècle. Pappus compte parmi les introducteurs de cette notion, aussi appelée birapport ; Michel Chasles la développera bien plus tard. Le nom de la notion ne suffit pas à attribuer toutes ses formulations au même auteur.

Des dates approximatives. La fourchette 290–350 ap. J.-C. situe vraisemblablement Pappus ; elle ne fournit ni dates certaines de naissance et de mort ni chronologie détaillée. Il faut conserver cette marque d'incertitude.

Une biographie lacunaire. Les informations disponibles sur sa vie sont maigres et parfois contradictoires. Lorsqu'un récit ajoute un événement personnel précis, il ne peut pas être validé par les seules données réunies dans cette fiche.

Un précurseur n'est pas un fondateur tardif. Dire que ses recherches préfigurent la géométrie projective décrit une continuité intellectuelle. Cela ne revient pas à lui attribuer la théorie développée sous sa forme ultérieure.

Un nom ne remplace pas un énoncé. La source attache le nom de Pappus à un théorème sans en donner ici les hypothèses ni la conclusion. Pour l'appliquer ou le démontrer, il faut consulter la fiche consacrée au résultat.

Le théorème de Pappus isole le résultat géométrique associé à son nom et permet d'en étudier l'énoncé propre.

La géométrie projective donne le cadre ultérieur que certains travaux de Pappus ont contribué à préfigurer.

Le birapport approfondit la notion de rapport anharmonique dont Pappus compte parmi les introducteurs.