Felix Klein 1895

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. Insertion d’une moyenne proportionnelle a x y b Insertion de deux moyennes proportionnelles

6. Treize solutions rapportées par Eutocius pour le problème des deux moyennes : • Archytas de Tarente (428 - 350) • Platon (427 - 347) • Eudoxe de Cnide (408 - 355) • Ménechme (deux solutions) (380 - 320) • Nicomède (280 - 210) • Philon de Byzance (280 - 220) • Érastosthène de Cyrène (276 - 194) • Apollonius de Pergé (262 - 190) • Dioclès (240 - 180) • Héron d’Alexandrie (10 - 75) • Sporus de Nicée (240 - 300) • Pappus d’Alexandrie (290 - 350)

7. L’appareil de Platon

8. Albrecht Dürer1525 http://www.museo.unimo.it/

10. Le mésolabe d’Ératosthène

12. Les coniques de Ménechme

13. Le compas parfait ? • Ibrāhīm ibn Sinān (908 - 946) • Wayjan al-Qūhī (940 - 1000) • Abū al-Sijzī (945 - 1020)  <  : 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 (875 - 950) : 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ā’ (940 - 998) : 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 (1048 - 1122) : 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 Videla1997 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 3 4 5 6 7 8 9 10 11 12 1314 15 16 17 1819 20

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 1849 - 1922

29. Roberts Chebyshev Watt 1784 Kempe Peaucellier 1864

30. Le trisecteur de Kempe

31. Alfred Bray Kempe 1876 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. 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

39. Artobolevski 1975-1978: Mécanismes transcendants

40. Un analyseur différentiel Science Museum, Londres