Duplication du cube, trisection de l’angle, quadrature du cercle : rien d’impossible ! Stage « Grands problèmes » 11 avril 2006.

Présentation au sujet: "Duplication du cube, trisection de l’angle, quadrature du cercle : rien d’impossible ! Stage « Grands problèmes » 11 avril 2006."— Transcription de la présentation:

1 Duplication du cube, trisection de l’angle, quadrature du cercle : rien d’impossible ! Stage « Grands problèmes » 11 avril 2006

2 Felix Klein 1895

3 Eutocius d’Ascalon (Palestine) 480-540
Commentaires sur le traité d’Archimède « De la sphère et du cylindre » (manuscrit latin de 1270)

4 «  Ce problème résolu, nous pourrons, d’une façon générale, changer en cube toute figure solide donnée limitée par des parallélogrammes, ou la faire passer d’une forme à une autre et la rendre semblable à une figure donnée, et l’amplifier en respectant la similitude, et cela, même quand il s’agit d’autels et de temples ; nous pourrons aussi convertir en cube les volumes des corps liquides et secs, tels le métrète et la médimne, et exprimer par l’arête de ce cube la capacité des récipients de ces corps. Mais mon invention sera utile aussi à ceux qui voudront augmenter les dimensions des catapultes et d’autres machines balistiques, où tout doit être augmenté en proportion, épaisseurs, longueurs, forages, trous des moyeux et cordes engagées dans ceux-ci, si nous voulons que la portée du tir soit augmentée en proportion ; or cela n’est pas réalisable sans que les moyennes soient trouvées. »

5 a x y b Insertion d’une moyenne proportionnelle
Insertion de deux moyennes proportionnelles

6 Treize solutions rapportées par Eutocius pour le problème des deux moyennes :
Archytas de Tarente ( ) Platon ( ) Eudoxe de Cnide ( ) Ménechme (deux solutions) ( ) Nicomède ( ) Philon de Byzance ( ) Érastosthène de Cyrène ( ) Apollonius de Pergé ( ) Dioclès ( ) Héron d’Alexandrie ( ) Sporus de Nicée ( ) Pappus d’Alexandrie ( )

7 L’appareil de Platon

8 Albrecht Dürer 1525

9

10 Le mésolabe d’Ératosthène

11

12 Les coniques de Ménechme

13 Le compas parfait ?  <  : ellipse  =  : parabole
Ibrāhīm ibn Sinān ( ) Wayjan al-Qūhī ( ) Abū al-Sijzī ( )  <  : ellipse  =  : parabole  >  : hyperbole

14 Le trisecteur d’Archimède

15 La conchoïde de Nicomède

16 La quadratrice d’Hippias-Dinostrate

17 L’appareil de Giambatista Suardi
1752

18 Les constructions dans les mathématiques arabes
Abū Nasr al-Fārābi ( ) : Le livre des procédés ingénieux et des mystères de la nature sur la subtilité des figures géométriques Abū al-Wafā’ ( ) : Le livre des constructions géométriques nécessaires à l’artisan Approfondissement des procédés grecs pour l’insertion de deux moyennes et la trisection de l’angle Construction de l’énnéagone régulier Douze constructions (au moins) de l’heptagone régulier Nombreuses constructions des sections coniques (par points, avec des fils, avec le compas parfait...) Umar al-Khayyām ( ) : théorie complète de la construction des équations cubiques Utilisation systématique des constructions utilisant droites, cercles et coniques

19 François Viète 1593 Cas d’une seule racine réelle : insertion de deux moyennes Cas de trois racines réelles : trisection de l’angle

20 Mais je m’étonne de ce qu’ils n’ont point outre cela distingué divers degrés entre ces lignes plus composées, et je ne saurais comprendre pourquoi ils les ont nommées mécaniques, plutôt que géométriques. Car de dire que ç’ait été à cause qu’il est besoin de se servir de quelque machine pour les décrire, il faudrait rejeter par même raison les cercles et les lignes droites, vu qu’on ne les décrit sur le papier qu’avec un compas et une règle, qu’on peut aussi nommer des machines. Descartes 1637

21 Classification de Descartes 1637
• courbes géométriques : courbes ayant une équation algébrique ou courbes engendrées par un « mouvement continu unique » • courbes mécaniques : autres courbes (quadratrice, spirale, cycloïde, courbe logarithmique…)

22 René Descartes 1637

23 Frans van Schooten 1646

24 Guillaume de L’Hospital 1720

25 Carl Friedrich Gauss 1801 Le polygone régulier à n côtés est constructible avec des droites et des cercles si et seulement si n = 2np1p2 ... pk , où les pi sont des nombres premiers distincts de la forme 2a + 1 Carlos Videla 1997 Le polygone régulier à n côtés est constructible avec des droites, des cercles et des coniques si et seulement si n = 2n3mp1p2 ... pk , où les pi sont des nombres premiers distincts de la forme 2a3b + 1

26 Construction des polygones réguliers à 7 et 9 côtés avec Cabri
Éric Bainville et Bernard Genevès 1998

27 Construction des polygones réguliers à 13 et 19 côtés avec Cabri
Éric Bainville et Bernard Genevès 1998

28 Alfred Bray Kempe

29 Watt 1784 Roberts Chebyshev Kempe Peaucellier 1864

30 Le trisecteur de Kempe

31 Alfred Bray Kempe 1876 Gabriel Koenigs 1895
Les courbes planes algébriques sont exactement celles qui peuvent être tracées à l’aide d’un système articulé Toute équation algébrique peut être résolue de manière exacte au moyen d’un système articulé Gabriel Koenigs 1895 Toute relation algébrique entre points d’un plan peut être réalisée par un système articulé plan Toute relation algébrique entre points de l’espace peut être réalisée par un système articulé dans l’espace

32 Gottfried Wilhelm Leibniz 1693
Certains problèmes ne sont ni plans, ni solides, ni sur-solides, ni d’aucun degré déterminé, mais surpassent toute équation algébrique. Il n’empêche que de tels problèmes peuvent réellement se poser en Géométrie : il est donc indispensable d’admettre les seules courbes permettant de les construire ; or ces courbes peuvent être tracées d’un mouvement continu, il ne faut donc pas les juger mécaniques, mais géométriques. C’est pourquoi l’erreur qu’a commise Descartes en les excluant de la Géométrie fut aussi grave que celle des Anciens qui rejetaient comme non géométriques certains lieux solides ou linéaires. Il existe néanmoins d’autres façons de construire les courbes, comportant l’adjonction d’un élément physique.

33 Construction exacte de la courbe logarithmique et du nombre e
Giovanni Poleni 1729 Giambatista Suardi 1752

34 L’intégraphe d’Abdank-Abakanowicz

35 Musée des arts et métiers, Paris
L’appareil de Platon Musée des arts et métiers, Paris

36 Quadrature du cercle avec l’intégraphe

37 Felix Klein 1895 Voilà donc une construction géométrique qui permet la quadrature du cercle. On voit de plus qu’elle la réalise dans l’ordre d’idées où s’étaient engagés les géomètres anciens ; notre courbe intégrale n’est qu’une modification des quadratrices considérées par eux. 1882 : Lindemann démontre que la quadrature du cercle est impossible à la règle et au compas 1886 : L’intégraphe d’Abdank-Abakanowicz permet de résoudre de manière exacte la quadrature du cercle

38 Artobolevski 1975-1978 : Mécanismes algébriques
Finalement, l’idée de Descartes connaît une postérité étonnante puisque, au vingtième siècle, on va étudier et construire systématiquement les mécanismes articulés permettant de construire les courbes algébriques. Les traités (un des plus aboutis est celui de l’ingénieur mécanicien russe Artobolevskii, dans lequel j’ai puisé les illustrations) décrivent une collection de mécanismes de base, que l’ingénieur peut ensuite combiner pour réaliser des calculs plus complexes. On reconnaît sur les figures de gauche des appareils permettant de réaliser des opérations : un additionneur, un multiplicateur, un extracteur de racines cubiques (qui n’est pas sans rappeler l’appareil de Platon), le compas trisecteur de Descartes, et, à droite, des systèmes articulés pour tracer des courbes algébriques classiques : hyperbole, ellipse, conchoïde, cissoïde.

39 Artobolevski 1975-1978 : Mécanismes transcendants
Au début du vingtième siècle, ces instruments sont repris et approfondis grâce aux progrès technologiques. On voit ici un planimètre pour calculer l’aire enclose dans un contour fermé, un intégraphe pour construire la courbe intégrale d’une courbe donnée, et deux appareils tractionnels pour tracer des courbes transcendantes : on retrouve le traceur de logarithmes de Suardi, et l’autre instrument sert à tracer une spirale logarihtmique. Ces mécanismes transcendants s’ajoutent aux mécanismes algébriques vus tout-à-l’heure. Au total, l’ingénieur dispose d’une collection complète de mécanismes permettant d’effectuer tous les calculs mathématiques courants. Grâce à cela, on a vu fleurir, à partir des années , un calcul analogique graphomécanique de grande envergure.

40 Un analyseur différentiel
Science Museum, Londres