Problème d'Alhazen

Où se refléchit le rayon venant de la bougie et atteignant l'œil de l'observateur ?

Le problème d'Alhazen est un problème d'optique géométrique concernant la réflexion sur un miroir sphérique. Il porte le nom d'Alhazen en référence au mathématicien arabe du XIe siècle Alhazen (Ibn al-Haytham) qui en présenta une solution géométrique dans son Traité d'optique. La solution algébrique requiert une équation quartique. La solution du problème est, en général, non constructible à la règle et au compas.

Formulation géométrique

[modifier | modifier le code]

Le but est de résoudre le problème optique suivant : « Étant donnée une source de lumière et un miroir sphérique, convexe ou concave, trouver le point de la surface où le rayon lumineux se réfléchit avant d'atteindre l’œil de l'observateur. » Ce problème est analogue à la question : « Sur un billard circulaire, dans quelle direction envoyer la boule pour qu'elle rebondisse sur le bord du billard avant d'atteindre la boule cible ? »

La solution pour un miroir plan est connue de longue date : c'est le point d'intersection du miroir plan avec la droite joignant l'œil de l'observateur et le symétrique de la source de lumière par rapport au miroir plan. Cette propriété est tirée du fait que le rayon lumineux se réfléchit sur une surface en restant dans un même plan et en conservant le même angle par rapport à la normale à la surface.

Le problème de la réflexion sur un miroir sphérique, dans son aspect symétrique, est étudié dès le IIe siècle par Claude Ptolémée[1].

Une traduction géométrique de ce problème est : « Étant donnés deux points A et B d'un plan et un cercle donné de centre O et de rayon r, trouver le point D du cercle tel que la droite (DO) soit bissectrice de l'angle (ADB). »

Solution d'Ibn al-Haytham

[modifier | modifier le code]
Traduction du problème de réflexion en problème de sécante.

Ibn al-Haytham résout le problème à l'aide d'intersections de coniques et présente une preuve géométrique en 6 lemmes[2] dans son Traité d'optique (XIe siècle). Il ramène le problème à la construction d'une sécante dans un triangle isocèle :

On reprend la traduction supra : trouver le point D d'un cercle de centre O et de rayon r tel que (OD) soit bissectrice de l'angle AOB. On construit un triangle isocèle MNP dont l'angle au sommet P est égal à AOB. On place sur la base [MN] un point F tel que . On trace par F une sécante au triangle qui coupe [NP] en Q et la médiatrice de [MN] en S de telle sorte que (cette construction utilise l'intersection d'une hyperbole et d'un cercle) et il démontre que l'angle SQN est égal à l'angle BOD où D est le point recherché.

Il ne se limite pas au miroir sphérique mais résout le cas du miroir cylindrique et du cône[1]. Son œuvre est traduite en latin entre la fin du XIIe siècle et le début du XIIIe siècle. Vitellion publie en 1270 une Optique largement inspirée du traité d'Alhazen et qui contient le problème[3] sans rien apporter de neuf puis l'œuvre d'Alhazen est publiée à Bâle en 1572[4].

Solutions postérieures

[modifier | modifier le code]

La solution d'Ibn al-Haytham parait tellement compliquée que les mathématiciens ultérieurs vont chercher à proposer des solutions plus élégantes.

Construction mécanique

[modifier | modifier le code]
Mécanisme articulé de Roberto Marcolongo pour résoudre le problème d'Alhazen.

Selon Roberto Marcolongo[5],[6], Léonard de Vinci, à la fin du XVe siècle, a vainement cherché une solution mathématique au problème d'Alhazen avant de proposer une solution mécanique à l'aide d'un instrument articulé de type pantographe qui permet d'assurer l'égalité des angles ODA et ODB. Analysant textes et dessins de quelques feuillets du Codex Atlantico, Marcolongo a construit l'instrument articulé ci-contre. Le point O est placé au centre du cercle, la longueur OD est fixe, égale au rayon du cercle. Les branches (DA) et (DB) pivotent autour de D en conservant (OD) comme bissectrice, car le losange formé par le système articulé se déforme en conservant le sommet opposé à D aligné avec O et D. Une épingle est placée en A dans le système coulissant de la branche (DA). Et l'instrument pivote autour de O de telle sorte que la seconde branche passe par B.

Constructions géométriques

[modifier | modifier le code]
Courbe de Barrow pour le cercle et les points A et B. Ici, les points sont intérieurs. La courbe coupe le cercle en 4 points qui, tous, permettent une réflexion de A vers B (une seule réflexion est matérialisée).

Isaac Barrow en 1669 propose l'intersection du cercle avec une courbe à une boucle passant par A et B, possédant O comme point double et possédant une asymptote[7].

René-François de Sluse propose la construction par l'intersection d’une parabole et d'un cercle, tandis que Christian Huygens propose, en 1672, l'intersection du cercle avec une hyperbole équilatère[8] passant par le centre du cercle, par les points A' et B' inverses des points A et B par rapport au cercle-miroir, et ayant pour asymptotes les droites parallèles aux bissectrices de l'angle AOB passant par le milieu de [A'B'][9].

Ces diverses courbes coupent le cercle en 2 ou 4 points. Quand A et B sont intérieurs au cercle tous ces points sont solutions. S'ils sont extérieurs, un point sur deux seulement est solution[9].

Solutions analytiques

[modifier | modifier le code]

Des résolutions analytiques sont également recherchées. À la même période que Sluse et Huygens, James Gregory tente sans succès une résolution analytique.

Au XVIIIe siècle, des résolutions algébriques et trigonométriques sont proposées. Abraham Gotthelf Kästner, par exemple, propose dès 1777[10],[11] une résolution trigonométrique, tandis que William Wales cite, dès 1781, le problème d'Alhazen comme problème conduisant à une équation de degré 4 qu'il résout à l'aide de tables logarithmiques[12].

Des publications existent également au XIXe siècle[13] et le lien est fait avec les problèmes de chemins minimaux ou maximaux[11]. Au XXe siècle, le problème continue à intéresser les mathématiciens : Jack M. Elkin[14] en 1965 et Peter Neumann[15] en 1998 prouvent que la solution générale n'est pas constructible à la règle et au compas, John D. Smith expose en 1992 une élégante solution à l'aide des complexes[1].

Notes et références

[modifier | modifier le code]
  1. a b et c Smith 1992, p. 192.
  2. Sabra 1982.
  3. Bode 1892, p. 77.
  4. Sabra 1982, p. 299.
  5. Roberto Marcolongo. Lo strumento inventato da Leonardo da Vinci per la risoluzione del problema di Alhazen, Napoli : Unione tipografica combattenti, 1929.
  6. Roberto Marcolongo, «Leonardo da Vinci nelle storia della matamatica e della meccanica, Il problema d'Alhazen», ATTI del congresso internationale dei matematici (Bologan 3-10 settembre 1928, tome 1, pp 287-289, Lire en ligne.
  7. Smith 1992, p. 194.
  8. Hyperbole éventuellement dégénérée en deux droites si OA=OB.
  9. a et b Smith 1992, p. 195.
  10. Baker 1881, p. 328.
  11. a et b Bode 1892, p. 81-82.
  12. Baker 1881, p. 329.
  13. Enoch Beery Seitz (en) le résout à l'aide d'une équation de degré 8 (de degré 4 selon (Bode 1892, p. 81-82)) et par la méthode de Horner(Baker 1881, p. 328).
  14. (en) Jack M.Elkin, « A deceptively easy problem », Mathematics Teacher, vol. 58, no 3,‎ , p. 194-199 (JSTOR 27968003).
  15. Neumann 1998.

Bibliographie

[modifier | modifier le code]
  • (en) Abdelhamid I. Sabra, « Ibn al-Haytham's Lemmas for Solving "Alhazen's Problem" », Archive for History of Exact Sciences, vol. 26, no 4,‎ , p. 299-324 (lire en ligne, consulté le )
  • (en) Peter M. Neumann, « Reflections on Reflection in a Spherical Mirror », The American Mathematical Monthly, vol. 105, no 6,‎ , p. 523-528 (présentation en ligne)
  • (en) John D. Smith, « The Remarkable Ibn al-Haytham », The Mathematical Gazette, vol. 76, no 475,‎ , p. 189-198 (lire en ligne)
  • (de) Paul Bode, « Die Alhazensche Spiegel-Aufgabe in ihrer historischen Entwicklung nebst einer analytischen Lösung des verallgemeinerten Problems », Jahresbericht des physikalischen Vereins zu Frankfurt am Main,‎ , p. 63-107 (lire en ligne)
  • (en) Marcus Baker, « Alhazen's Problem », American Journal of Mathematics,, vol. 1, no 1,‎ , p. 327-331 (lire en ligne)