Ménechme de Proconnèse

Vers 380–320 av. J.-C., le Grec Ménechme étudie un défi concret : doubler le volume d'un cube sans simplement doubler son arête. Si le premier cube a pour côté 1, le second doit avoir pour côté ∛2, soit environ 1,26.

Pour faire apparaître cette longueur, il met en relation des courbes obtenues en coupant un cône. Leur point de rencontre transforme un problème de volume en une construction géométrique. Cette recherche est au cœur de son association aux sections coniques.

Ménechme de Proconnèse est un mathématicien et astronome grec de l'Antiquité, situé approximativement entre 380 et 320 av. J.-C. La tradition rapportée par la source le présente comme le frère de Dinostrate, un disciple de Platon et d'Eudoxe de Cnide, ainsi qu'un précepteur d'Alexandre le Grand aux côtés d'Aristote. Des commentaires philosophiques de La République lui sont aussi attribués. Ces formulations restent prudentes, car la source elle-même les donne comme des attributions.

Son nom est surtout lié au problème de Délos, posé au VI^e siècle av. J.-C. Doubler un cube de côté 1 demande de construire une longueur dont le cube vaut 2. En appelant x cette longueur, la condition s'écrit $x^3=2x^3=2$. Une parabole et une hyperbole convenablement mises à l'échelle peuvent faire apparaître cette valeur à leur intersection.

Cette recherche conduit Ménechme à une étude systématique de l'ellipse, de la parabole et de l'hyperbole comme sections d'un cône de révolution. La source lui attribue vraisemblablement leurs noms. Elle rapporte aussi un dispositif mécanique, les critiques de Platon envers ce procédé, puis l'établissement beaucoup plus tardif de l'impossibilité d'une duplication à la seule règle et au compas.

On part d'un cube de côté 1 et de volume 1. Le volume visé vaut 2. La longueur inconnue x sera le côté du nouveau cube. Pour visualiser le calcul, on utilise la parabole y = x² et l'hyperbole y = 2/x, avec x positif.

1. Au point d'intersection, les deux ordonnées sont égales.
2. On obtient donc x² = 2/x.
3. Comme x est positif, on multiplie par x et l'on trouve x³ = 2.
4. La longueur cherchée est alors la racine cubique de 2.

Le calcul structuré est : $x^2=\frac{2}{x}⟹x^3=2⟹x=\sqrt[3]{2}\approx \mathrm{1,2599}x^2=\backslash frac\{2\}\{x\}\backslash Longrightarrow\; x^3=2\backslash Longrightarrow\; x=\backslash sqrt[3]\{2\}\backslash approx1\{,\}2599$. Le nouveau côté mesure donc environ 1,2599 unité. Contrôle : 1,2599³ ≈ 2,000, l'écart provenant de l'arrondi. La figure rend visible cette intersection, sans prétendre reconstituer l'instrument historique.

Pour refaire le problème de Délos, on fixe le côté initial à 1, puis on cherche x tel que x³ = 2. Un calcul numérique donne un tracé rapide ; une construction par coniques convient lorsque l'on veut montrer la solution géométrique.

Pour lire une coupe de cône, on observe la courbe obtenue et la position du plan. L'ellipse, la parabole et l'hyperbole sont alors comparées par leur forme et par la manière dont la coupe rencontre le cône.

Pour évaluer un récit sur Ménechme, on sépare les résultats mathématiques des détails transmis avec prudence. Les mots « aurait » et « on lui attribue » signalent qu'une affirmation biographique n'a pas le même statut qu'un calcul vérifiable.

Ménechme et Dinostrate. La source les présente comme deux frères, non comme deux noms d'une même personne. Un texte qui traite de la duplication du cube et des coniques vise Ménechme.

Construction par coniques et construction classique. Une intersection de coniques peut produire la longueur cherchée, tandis que la construction classique n'autorise que la règle et le compas. Le type d'outil admis tranche la distinction.

Exactitude géométrique et valeur décimale. Le point d'intersection définit exactement ∛2 dans le modèle ; 1,2599 n'en est qu'un arrondi. Cubée, la première valeur donne exactement 2, la seconde seulement environ 2.

Une mise à l'échelle est indispensable. Pour le cube unité, les courbes y = x² et y = 1/x se rencontrent en x = 1 et ne donnent pas ∛2. Le tracé calculé emploie y = 2/x, qui conduit bien à x³ = 2.

Les dates sont approximatives. Les repères vers 380 et vers 320 av. J.-C. ne doivent pas être lus comme des années certaines. Il faut conserver « vers » lorsqu'on les cite.

Les attributions ne sont pas des identifications certaines. Le rôle de précepteur, le dispositif mécanique, les commentaires philosophiques et l'invention des noms sont rapportés avec réserve. Il faut garder cette modalisation.

L'impossibilité vise un cadre précis. Elle concerne la duplication exacte avec les constructions classiques à la règle et au compas. Elle n'interdit ni une intersection de coniques, ni un dispositif mécanique, ni une approximation numérique.

Le glossaire sur la duplication du cube détaille le problème qui motive la recherche de ∛2.

La fiche consacrée à Eudoxe de Cnide situe le savant dont Ménechme aurait suivi l'enseignement.

Le portrait de Platon prolonge le contexte intellectuel et la question des constructions géométriques admises.