Le doublement du cube Alexandre Noury et Alise Franck 16 juin 2008 Lautre jour, en relisant avec un groupe damis le dialogue

socratique le Thtte , je pensais ce que Lyndon Larouche souligne dans lintroduction de son essai : En dfense du sens commun , o il fait tat de leffort dlibr de Waterford (spcialiste anglais de la Grce antique) dans sa traduction du Thtte, de dtruire le concept de Puissance. Cette ide gomtrique est au cur du dialogue ; sans elle, la comprhension de la mthode socratique devient impossible. Mon intention est ici douvrir un chemin vers cette dcouverte fondamentale, qui fait partie des fondements de la gomtrie constructive. Soyez rvolutionnaires ! Jacques Cheminade nous a appris lors dune prsentation, que Jean Moulin comprenait lessence de la pense des Grecs, lui qui a su dfendre la civilisation contre la barbarie et qui a su rsister avec courage. Alors prts devenir plus puissants ?

A / Le Thtte

[Socrate essayant denrayer la maladie mentale nomme sophisme, se trouve dans lAgora dAthnes en compagnie de llve de Thodore, Thtte. Aprs avoir trbuch une premire fois la question, quest-ce que la science ? Thtte rpond :] Thodore que voici nous avait trac quelques figures propos des puissances et nous avait montr que celles de trois pieds et de cinq pieds ne sont point pour la longueur commensurables avec celle dun pied, et, les prenant ainsi, lune aprs lautre, il tait all jusqu celle de dix-sept pieds et il stait, je ne sais pourquoi, arrt l. Il nous vint alors lesprit, en considrant que les puissances sont en nombre infini, dessayer de les rassembler sous un terme unique, qui nous servirait nommer toutes ces racines, et que nous appellerons : les puissances.

cliquez sur une image pour lagrandir

Thtte labore : Toutes les lignes qui font du nombre quilatral et plan, un carr, nous les avons dfini longueurs , et toutes celles qui, du nombre, aux dimensions ingales font aussi un carr, nous les avons dfinies puissances, en ce sens quen longueurs elles ne sont pas commensurables au premier mais le sont par les superficies dont elles sont la puissance . Et si on est dans les volumes on aura une autre distinction du mme type. Daprs Thtte, le ct du carr de surface 1 nest pas commensurable avec le ct du carr de surface 2. Quest-ce que cela signifie ? Dans le dialogue du Mnon, Socrate dmontre que lesclave russit en utilisant la diagonale, gnrer un carr de surface double. Peut-on donc comparer le cot et la diagonale ? En premier lieu comparons deux longueurs gnres par un nombre diffrent de mmes segments, prenons celui-ci ( _ ) comme unit de base. Voici nos deux longueurs A : _ _ _ _ et

B : _ _ _ _ _. Ces deux lignes ont ce que les pythagoriciens appelaient une relation rationnelle entre elles, exprime sous la forme 4/5. Mais peut-on toujours trouver une unit commune entre les longueurs si elle ne nous est pas donne au dpart ? Lalgorithme dEuclide nous permettra de trouver le segment commun, si il existe ! Il nous faut comparer la plus grande des deux grandeurs avec la plus petite et utiliser le reste pour essayer de le comparer avec la plus petite des deux grandeurs : par exemple si nous prenons ces deux longueurs : C:_______ D:____ Nous pouvons comparer C avec D _ _ _ _ /_ _ _. Il nous reste E : _ _ _, qui peut tre utilis pour comparer ce reste D : _ _ _/ _, maintenant nous avons notre unit commune qui se retrouve 3 fois dans E : _/ _/ _. Nous pouvons prsent dterminer que C vaut : 7 units et que D en mesure 4. Ceci sera vrai pour toutes les lignes qui sont construites partir de la plus petite unit de longueur qui leur sera commune. Cette technique marche-t-elle chaque fois ? Quest-ce qui ce passera si deux grandeurs nont pas de commune mesure ? a/ Le Cas de la diagonale du carr Prenons le cas du ct du carr (PQ) et sa diagonale (PR). Comme il est indiqu dans le dialogue de Platon le Mnon, la diagonale est la solution au problme pos, qui est de doubler la surface du carr. Ce problme prend en compte des aires et non des longueurs comme dans le cas prcdent. La prsente diagonale na pas t cre par une simple addition de segment. Nous y appliquerons la mme technique dexhaustion que celle utilise dans lexemple

prcdent, pour comparer ces deux grandeurs. Prends tes ciseaux et du papier sinon aucune garantie de comprhension nest assure. Plie le ct PQ sur la diagonale PR. Q atteindra le point T et PV sera la ligne de pliage. Regarde le segment PTR et tu obtiens la mme situation que lorsque nous devions comparer C et D avec le reste E. Nous avons extrait la ligne PT (ou PQ) de lhypotnuse PR, ce qui nous laisse le reste TR. Mais TV (et TR) sont similaires par construction QV, et les cots du carr tant gaux, QR-QV est similaire PQ-TR, o TR est le reste de PR-PQ. Mais regarde, le petit triangle compos par le reste VTR a exactement les mmes rapports que le triangle original PQR. Le rsultat reproduisant les conditions initiales ce processus ne sarrtera jamais et nous trouverons toujours un reste plus petit. Do lide que ces deux longueurs sont incommensurables, dune nature diffrente lune de lautre car il est impossible de leur trouver commune mesure. Laction de rotation permet dengendrer un segment doubl et seule une action de qualit suprieure (la combinaison dune rotation et dune extension) permettra de gnrer la diagonale, la racine du carr doubl.

Cette ide dincommensurabilit est vraie pour dautres domaines, Pasteur en son temps, effectua une distinction similaire entre les processus vivants et les processus non vivants, il prouva exprimentalement que le vivant ne peut pas tre cr par le nonvivant. b/ Et si on est dans les volumes on aura une autre distinction du mme type Thtte (-415 ; -395 av JC) prouve par cette rplique quil connaissait la construction dArchytas (-435 ; -347 av JC), solution au problme de Dlos, de doublement du cube. Le problme a son origine dans une lgende rapporte par ratosthne dans Le Platonicien. Les Dliens, victimes dune pidmie de peste, demandrent loracle de Delphes comment faire cesser cette pidmie. La rponse de loracle fut quil fallait doubler le volume de lautel consacr Apollon, autel dont la forme tait un cube parfait. Les architectes allrent trouver Platon pour savoir comment faire. Ce dernier leur rpondit que le dieu navait certainement pas besoin dun autel double, mais quil leur faisait reproche, par lintermdiaire de loracle, de ngliger la gomtrie.

B/ Archytas et le doublement du cube

a/ Penchons nous prsent sur la nature du problme qui est pos Nous pouvons voir dans la figure ci-contre que : dans le plan la ligne est double grce a une action de rotation simple tandis que laire (du carr) est double par une action de rotation extension -action spirale. Il faudra une action de qualit suprieure, comme une spirale dans lespace, pour engendrer la croissance (doublement) dun cube.

cliquez pour agrandir

b/ Proportions harmoniques et action circulaire, comprendre une moyenne gomtrique La rotation circulaire fournit le cas le plus simple et le plus caractristique pour gnrer, en

tant que projections rsultant dactions dordre suprieur, des proportions harmoniques entre ce qui semble tre des grandeurs scalaires (des segments de droites, par exemple). Construisons un cercle avec un diamtre donn OA. Un point P se dplaant le long du cercle entre O et A fera apparatre tout un ensemble de proportions harmoniques invariantes de la manire suivante. En reliant le point P aux extrmits du diamtre, O et A, on produit un triangle OPA dont la forme change avec la position de P mais dont langle en P est toujours droit. Ensuite, projetons perpendiculairement P sur la ligne OA, et nommons le point de projection Q. A lvidence, le triangle OPQ est aussi rectangle (angle droit en Q), et il partage un angle en O avec le triangle rectangle dorigine OPA. Les deux triangles restent donc constamment similaires lors du mouvement de P, et les rapports correspondants de leurs cts restent gaux, en particulier OQ : OP = OP : OA. Cela revient dire que la longueur OP est la moyenne gomtrique entre OQ et OA. En inversant le procd, nous pouvons construire la moyenne gomtrique de nimporte quelles longueurs donnes OA et OQ en utilisant le cercle. Vous

navez qu projeter le point Q sur la circonfrence du cercle pour obtenir le point P. La moyenne gomtrique tait aussi connue dans la Grce antique sous le nom de moyenne unique entre deux extrmes . Dans le cas du doublement du carr la moyenne gomtrique est assez simple trouver. c/ Les moyennes proportionnelles et le doublement du cube Archytas sattaqua au problme du doublement du cube en rsolvant le problme plus gnral de la construction de deux moyennes proportionnelles entre deux longueurs donnes a et b. Pour rsumer, par deux moyennes proportionnelles , nous entendons deux grandeurs x et y telles que, a et b tant donns (a est suppos plus grand que b), b : x = x : y = y : a. Le doublement du cube correspond au cas spcial ou a = 2 et b = 1. La premire des moyennes proportionnelles (x) correspond larte du cube dont le volume est double de celui du cube unit. Pour voir do vient la double moyenne, imaginons un cube unit se transformant en cube double par le processus suivant : dabord, tirons le cube dans sa largeur (cest--dire horizontalement), sans changer sa hauteur et sa profondeur, de sorte quelle devienne gale x ( longueur du ct du cube de volume double). Cette opration augmente le cliquez pour agrandir volume par le facteur x proportionnellement au volume unit de dpart. Ensuite, tirons en hauteur ce solide par le mme facteur x, en gardant la largeur gale x et la profondeur gale 1. Enfin, tirons en profondeur ce solide par le facteur x, tout en gardant la largeur et la longueur gale x. Le rsultat final est un cube de ct x, le cube de volume double. Puisque chacune de ces trois transformations a accru le volume par le mme facteur, la proportion de chaque volume par rapport au prcdent sera la mme (en loccurrence x). Puisque le volume initial est 1 et le volume final 2, les volumes intermdiaires N et M constituent une srie de moyennes proportionnelles 1 : N = N : M = M : 2. Etant donn que chaque opration dtirement dcrite ci-dessus augmente le volume par le facteur x, on a : N = x 1 = x et M = x N = x.

Si nous regardons prsent un nombre doubl entre le cube de 1 et le cube de 8 il y a deux tapes 2 et 4 qui sont nos moyennes gomtriques.

Nous connaissons notre cube de dpart de volume 1 et son ct 1, ainsi que le cube de volume 8 ayant un ct de 2. Le processus de croissance continue nest pas perceptible par nos sens ( nous ne voyons pas un cube double ni quadruple), nous pouvons cependant imaginer un cube de volume 1 crotre jusqu 8 ( son ct passant de 1 2), tout en figeant ce processus au moment ou le cube est gal 2 et 4.

Nous cherchons engendrer la premire moyenne gomtrique dune srie de deux moyennes entre deux extrmes. Nous avons donc ici nos 2 extrmes OM et OA, ou 1 et 2, et nos deux moyennes OQ et OP, tels que OM/OQ=OQ/OP=OP/OA. Comment gnrer un espace gomtrique o nous aurons nos deux demi-cercles se succdant dans le mme plan, crant notre machine moyenne ? d/ Essayons cette construction dans le plan La construction du cercle telle que nous lavons faite, applique un cercle de rayon OA = 2, gnre dj la moiti de la proportion requise, savoir OQ : OP = OP : 2. En rflchissant cela, la stratgie suivante simpose delle-mme : introduisons un second degr de rotation gnrant lautre moiti de la double proportion, cest--dire 1 : OQ = OQ : OP. Il nous faudra alors combiner dune manire ou dune autre les deux actions circulaires afin quelles produisent un vnement lors duquel deux conditions se ralisent simultanment ; cela nous donnera la double moyenne recherche : 1 : OQ = OQ : OP et en mme temps OQ : OP = OP : 2. Pour obtenir la proportion 1 : OQ = OQ : OP de la manire suggre, nous aurions besoin dun second cercle de diamtre OP, remplissant les conditions suivantes :

1) Le point Q (projection de P sur le diamtre du premier cercle) doit aussi tre un point du second cercle. 2) Q doit se projeter en M sur le second diamtre OP de telle sorte que la distance OM ait la longueur requise 1.

Un peu de gomtrie nous montre que la condition (1) est remplie pour toutes les positions de P sur le premier cercle mais que la condition (2) nest remplie que pour une seule position de P (plus son image symtrique). Comment pourrions-nous gnrer ce lieu en tant quvnement constructible ? Simple, en principe ! Imaginons que lon construise, pour chaque position de P (celui-ci se dplaant sur le premier cercle), un cercle correspondant autour du diamtre OP. En procdant de la sorte, nous obtenons une famille continue de cercles dont le diamtre OP change dangle et de longueur selon le mouvement de P. Pour chaque cercle de ce type, gnrons les points correspondants Q et M, comme indiqu en (1) et (2) ci-dessus. Quand P traverse la circonfrence du premier cercle, le mouvement de la courbe M traverse une certaine courbe lintrieur du cercle. Traons maintenant un troisime cercle de rayon 1 autour du point O. Il est facile de voir que la courbe trace par M coupera le troisime cercle en un certain endroit. En ce point, OM = 1, les conditions (1) et (2) sont remplies, et pour les positions correspondantes de P et Q les proportions dsires 1 : OQ = OQ : OP sont tablies. Une fois reli avec la proportion OQ : OP = OP : 2, cela dtermine OQ et OP tre les deux moyennes proportionnelles entre 1 et 2. Le problme est rsolu ! Toutefois, on pourrait objecter, non sans raison, quaucune vritable mthode nest prsente permettant de tracer rellement la courbe dfinissant les points M. Il va de soi quil nest pas suffisant de simplement demander : Marquez sur chaque cercle appartenant la famille infinie de cercles, le point correspondant M. En effet, si nous commencions marquer les cercles et les points un par un, nous naurions jamais plus quun ensemble discret* et nous narriverions jamais une courbe continue. Dun autre ct, il est possible avec un peu dingniosit de construire un mcanisme physique relativement simple permettant de tracer la courbe requise, laquelle sera obtenue par le mouvement de P sur la circonfrence du cercle dorigine. La mthode ainsi dveloppe est similaire la tactique

utilise par Nicomde quand il dessina mcaniquement une courbe la conchode pour doubler le cube. * ensemble de points distincts

C/ Construire physiquement la racine cubique de 2

Tapez Doublement du cube sur Google ou Wikipdia et la magie de linformation souvrira vous. En se rfrant aux travaux de Laurent Wantzel (1814-1848), on vous expliquera quil est impossible de doubler le cube, tant donn que la racine cubique de deux ne peut tre trace la rgle et au compas dans le plan. Je vous propose donc de sortir du plan pour visualiser comment Archytas a trouv une construction gomtrique engendrant notre srie de moyennes gomtrique dans lespace. Achytas combine plusieurs actions de rotation permettant de crer dans lespace ce que nous recherchons. Archytas commence en partant dune sphre de rayon 1 avec OA notre diamtre horizontal, et notre cercle quatorial de rayon 1. Un cylindre slve perpendiculairement au cercle quatorial. (Voir Figure 12)

cliquez pour agrandir

Rapportons prsent le rayon O1 de longueur 1 sur notre demi cercle, gnrant le point B. Prologeant le segment OB jusqu B ( lintersection de la perpendiculaire OA). La rotation de notre triangle OBA autour du diamtre OA va crer un cne gnrant un cercle Z ( la coupe du cne au point B perpendiculairement OA). Ce cercle Z nous offre la posibilit de placer notre point M sur ce mme cercle avec une distance gale 1. De plus lintersection entre le cne et le cylindre nous donne une courbe reprsentant tout les segments PQ en fonction des points M choisis.

Voici ici 3 exemples avec P1, P2 et P3 prsents sur le cylindre. (Voir Figure 13)

cliquez pour agrandir

Nos conditions OM/OQ=OQ/OP avec OM=1 sont acquises, il nous faut prsent fixer notre figure pour obtenir la deuxime partie de notre relation avec OA =2. Nous devons faire tourner autour de laxe passant par O et perpendiculaire OA notre grand cercle OPA, cette action engendre un tore intersectant notre cne. (Voir Figure 14) Lintersection entre le cylindre et le tore cre une courbe ralise ici en moulure. (Voir Figure 15)

cliquez pour agrandir

Lintersection entre nos 2 actions, le cylindre et le tore, cre la position recherche car le cne trace lui sur le cylindre une courbe de point P telle que OM=1 dans le triangle OPA. Lintersection du tore et du cne avec le cylindre nous permettra donc dobtenir le triangle OPA avec OA=2 et OM=1, nous obtenons notre relation OM/OQ=OQ/OP=OP/OA. (Voir Figure 16 et Figure 17) Sachant que notre premier extrme est 1 et notre deuxime est 2, nous avons donc engendr deux moyennes
cliquez sur une image pour lagrandir

gomtriques entre le cube de ct 1 et le cube de ct 2. Notre premire moyenne gomtrique nest autre que 2, soit OQ, qui est galement le ct constructible de notre cube de volume recherch.

Construisez ce mcanisme et exprimentez en crant les deux cubes. Voyez si vous pouvez mettre deux cubes deau de volume 1 dans votre cube de volume 2. Voici donc lun des trois problmes de la gomtrie grecque rsolu. En cadeau, voil trois animations qui permette de voir cela en mouvement : ANIMATION 1, ANIMATION 2, ANIMATION 3

Annexe : rapport Eudemes sur la construction dArchytas

Les Prsocratiques, (Archytas), Collection La Pliade Eutocios Voici la solution dArchytas, rapporte par Eudme, [au problme suivant :] Soit les deux droites donnes et , il faut trouver entre et deux moyennes proportionnelles. Traons le cercle ayant pour diamtre qui est la plus grande [des deux droites] ; et inscrivons [la droite] , de grandeur gale , que lon prolonge jusqu ce quelle rencontre en la tangente au cercle en . Menons [en ] la droite parallle , et concevons quun demi cylindre slve perpendiculairement sur le demi cercle , et que slve sur un demi-cercle perpendiculaire reposant sur le paralllogramme du demi cylindre.

cliquez sur une image pour lagrandir

Quand ce demi-cercle est m de en , lextrmit du diamtre demeurant immobile, il coupera la surface cylindrique en [effectuant son] mouvement, et tracera sur elle une certaine courbe. Puis, si demeure immobile, et si le triangle pivote [autour de sa base ] selon un mouvement oppos celui du demi cercle, il produira une surface conique au moyen de la droite qui, au cours de son mouvement, rencontrera la courbe [trace] sur le cylindre en un certain point. Et en mme temps, dcrira un demi cercle sur la surface du cne. Faisons alors prendre, en correspondance avec le point de rencontre des courbes, au demi cercle m [de en ] la position , et au triangle m selon un mouvement oppos la position ; soit le point de rencontre dont nous avons parl, et soit le demi cercle dcrit partir de ; soit encore sa section commune, avec le cercle ; si lon abaisse partir de une perpendiculaire au plan du demi cercle , elle tombera sur la circonfrence du cercle tant donn que le cylindre est droit. Abaissons la et [appelons la] ; la droite partant de pour rejoindre rencontrera en , tandis que (coupe) en le demi-cercle , et que , et se trouvent jointes.

Puisque donc chacun des demi cercles et est perpendiculaire au plan horizontal, leur section commune est perpendiculaire au plan du cercle, de telle sorte que est aussi perpendiculaire . Donc le [rectangle] form par , cest dire le [rectangle] form par , est gal au [carr] lev sur . Le triangle est donc semblable chacun des triangles et , et l[angle] est droit. Quant l(angle) , il est droit lui aussi. Donc et sont parallles et sont proportionnelles, de sorte que est ou encore est ce que est , en vertu de la similitude des triangles. Donc les quatre droites , , et forment une proportion continue. Et est gale , puisquelle est gale . Donc, les deux droites et tant donnes, deux moyennes proportionnelles ont t trouves, et . (Commentaire sur De la sphre et du cylindre dArchimde, dans Archimde, Heiberg) La premire construction fait partie du rapport dEudme tire du livre cit ci-dessus. Ces reprsentations en 2 Dimensions sont une aide , mais il se transforme en pige si lon neffectue pas la construction physique ; dans un Univers qui heureusement nest pas plat.