Théorème d'universalité de Kempe — Wikipédia
En 1876, Alfred B. Kempe a publié un article Sur une méthode générale de description des courbes planes du n-ième degré par Linkwork, (On a General Method of describing Plane Curves of the nth degree by Linkwork)[1] qui a montré que pour une courbe plane algébrique arbitraire, une liaison peut être construite qui dessine la courbe. Cette connexion directe entre les liaisons et les courbes algébriques a été nommée théorème d'universalité de Kempe : tout sous-ensemble borné d'une courbe algébrique peut être tracé par le mouvement de l'une des articulations dans une liaison convenablement choisie. La preuve de Kempe était imparfaite et la première preuve complète a été fournie en 2002 sur la base de ses idées[2].
Le résultat de Kempe n'est pas effectif, il déclare à ce titre
Il est à peine besoin d'ajouter que cette méthode ne serait d'aucune utilité pratique à cause de la complexité de l'enchaînement employé, conséquence nécessaire de la parfaite généralité de la démonstration[1].
Il appelle alors « l'artiste mathématicien » à trouver des moyens plus simples pour arriver à ce résultat :
La méthode a cependant un intérêt, car elle montre qu'il existe une manière de dessiner un cas donné ; et la variété des méthodes d'expression des fonctions particulières qui ont déjà été découvertes rend au plus haut degré probable que dans tous les cas une méthode plus simple puisse être trouvée. Il reste cependant un large champ ouvert à l'artiste mathématicien pour découvrir les liaisons les plus simples qui décriront des courbes particulières[1].
Une série d'animations démontrant la liaison résultant du théorème d'universalité de Kempe est explicite pour la parabole, la cubique auto-sécante, la cubique elliptique lisse et les courbes du trifolium[3].
Simplification des liaisons
[modifier | modifier le code]Plusieurs approches ont été adoptées pour simplifier les liaisons qui résultent du théorème d'universalité de Kempe. Une partie de la complexité provient des liaisons utilisées par Kempe pour effectuer l'addition et la soustraction de deux angles, la multiplication d'un angle par une constante et la traduction de la rotation d'une liaison à un endroit en une rotation d'un deuxième lien à un autre endroit. La liaison peut être simplifiée en utilisant des différentiels à engrenages coniques pour ajouter et soustraire des angles, des trains d'engrenages pour multiplier les angles et des entraînements par courroie ou par câble pour traduire les angles de rotation[4].La spécialisation des courbes à celles définies par des polynômes trigonométriques a fourni un autre moyen d'obtenir des liaisons de dessin plus simples[5]. Les courbes de Bézier peuvent être écrites sous la forme de polynômes trigonométriques. Par conséquent, un système de liaison peut être conçu pour dessiner toute courbe approchée par une séquence de courbes de Bézier[6].
Visualisations
[modifier | modifier le code]Ci-dessous un exemple de mécanisme de chaîne en série à simple couplage, conçu par Liu et McCarthy[5], utilisé pour dessiner la courbe trifolium (à gauche) et la courbe hypocycloïde (à droite). À l'aide de SageMath. Le code source est disponible sur GitHub.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e0/Single_Coupled_Serial_Chain_Trifolium_Mechanism.gif/400px-Single_Coupled_Serial_Chain_Trifolium_Mechanism.gif)
Article connexe
[modifier | modifier le code]Références
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Kempe's universality theorem » (voir la liste des auteurs).
- Kempe, « On a General Method of describing Plane Curves of the nth degree by Linkwork », Proceedings of the London Mathematical Society, vol. s1-7, , p. 213–216 (DOI 10.1112/plms/s1-7.1.213, lire en ligne)
- M. Kapovich and J. J. Millson (2002), Universality theorems for configguration spaces of planar linkages Topology, Pergamon Press.
- A. Kobel, (2008) Automated Generation of Kempe Linkages for Algebraic Curves in a Dynamic Geometry System. Saarland University, Saarbrucken, Germany, Faculty of Natural Sciences and Technology I, Department of Computer Science.
- Liu et McCarthy, « Synthesis of a linkage to draw a plane algebraic curve », Mechanism and Machine Theory, vol. 111, , p. 10–20 (DOI 10.1016/j.mechmachtheory.2016.12.005)
- Y. Liu and J. M. McCarthy (2017), Design of Mechanisms to Draw Trigonometric Plane Curves, J of Mechanisms and Robotics, 9(2), 024503
- Y. Liu and J. M. McCarthy (2017), Design of a Linkage System to Write in Cursive, J of Computers and Information in Science and Engineering, 17(3)
Liens externes
[modifier | modifier le code]- Animations d'A. Kobel de la parabole, de la cubique auto-sécante, de la cubique elliptique lisse et des courbes du trifolium
- Calcul mécanique de Y. Liu pour dessiner des courbes planes algébriques
- Animations de Y. Liu dessinant des courbes planes trigonométriques, le mécanisme Butterfly
- Liaison qui signe votre nom
- Liaison qui écrit le chinois cursif