Теорема Кемпеса об универсальности - Kempes universality theorem

В 1876 г. Альфред Б. Кемпе опубликовал свою статью Об общем способе описания плоских кривых n-й степени линковкой,[1] который показал, что для произвольной алгебраической плоской кривой можно построить сцепление, которое рисует кривую. Эта прямая связь между связи и алгебраические кривые был назван Теорема Кемпе об универсальности[2] что любое ограниченное подмножество алгебраическая кривая можно проследить по движению одного из шарниров в соответственно выбранной связке. Доказательство Кемпе было ошибочным, и первое полное доказательство было предоставлено в 2002 году на основе его идей.[3][4]

Эта теорема была популяризирована тем, что описывала ее следующим образом: «Можно создать связь, которая будет подписывать ваше имя!»[5]

Кемпе признал, что его результаты демонстрируют существование связи чертежей, но это нецелесообразно. Он утверждает

Едва ли нужно добавлять, что этот метод не был бы практически полезным из-за сложности используемой связи, необходимого следствия идеальной общности демонстрации.[1]

Затем он призывает «художника-математика» найти более простые способы достижения этого результата:

Однако этот метод представляет интерес, поскольку показывает, что является способ рисования того или иного случая; а разнообразие методов выражения определенных функций, которые уже были обнаружены, в высшей степени делает возможным то, что в каждом случае может быть найден более простой метод. Тем не менее, у художника-математика все еще есть широкое поле для открытия простейших связей, которые будут описывать определенные кривые.[1]

Серия анимаций, демонстрирующих взаимосвязь, вытекающую из теоремы Кемпе об универсальности, доступна для параболы, самопересекающейся кубической, гладкой эллиптической кубической и трехлистных кривых.[6]

Упрощенные связи чертежей

Было предпринято несколько подходов к упрощению связей на чертежах, которые вытекают из теоремы Кемпе об универсальности. Некоторая сложность возникает из-за связей, которые Кемпе использовал для выполнения сложения и вычитания двух углов, умножения угла на константу и преобразования поворота звена в одном месте во вращение второго звена в другом месте. Кемпе назвал эти связи дополнительными, реверсивными, мультипликаторными и трансляторными связями соответственно. Связь чертежей можно упростить, используя конические дифференциалы складывать и вычитать углы, зубчатые передачи умножать углы и ременные или тросовые приводы переводить углы поворота.[7]

Еще один источник сложности - это универсальность приложения Кемпе ко всем алгебраическим кривым. Сосредоточившись на параметризованных алгебраических кривых, двойственная кватернионная алгебра может использоваться для факторизации полинома движения и получения связи чертежа.[8] Это было расширено, чтобы обеспечить перемещение рабочего органа, но снова для параметризованных кривых.[9]

Специализация кривых на те, которые определены тригонометрические полиномы предоставил другой способ получить более простые связи чертежей.[10] Кривые Безье можно записать в виде тригонометрические полиномы поэтому может быть разработана система связи, которая рисует любую кривую, которая аппроксимируется последовательностью кривых Безье.[11]

Визуализации

Ниже приведен пример последовательного цепного механизма с одинарной связью, разработанного Лю и Маккарти.[10] используется для рисования трехлистная кривая (слева) и гипоциклоидная кривая (верно). С помощью SageMath, их дизайн был интерпретирован в этих изображениях. Исходный код можно найти на GitHub.

Односвязная последовательная цепь Trifolium Mechanism.gif

Гипоциклоидный механизм 2.gif

Рекомендации

  1. ^ а б c Кемпе, А. Б. (1875). «Об общем методе описания плоских кривых n-й степени линкворком». Труды Лондонского математического общества. s1-7: 213–216. Дои:10.1112 / плмс / с1-7.1.213.
  2. ^ А. Саксена (2011) Связи Кемпе и теорема универсальности В архиве 2016-12-07 в Wayback Machine, РЕЗОНАНС
  3. ^ М. Капович и Дж. Дж. Милсон (2002), Теоремы универсальности конфигурационных пространств планарных зацеплений Топология, Pergamon Press.
  4. ^ Демейн, Эрик; О'Рурк, Джозеф (2007), «3.2 Теорема Кемпе об универсальности», Геометрические алгоритмы складывания, Cambridge University Press, стр. 31–40, ISBN  978-0-521-71522-5.
  5. ^ Дж. Малькевич, Очерк, Американское математическое общество.
  6. ^ А. Кобель, (2008) Автоматическая генерация связей Кемпе для алгебраических кривых в системе динамической геометрии. Saarland University, Саарбрюккен, Германия, факультет естественных наук и технологий I, факультет компьютерных наук.
  7. ^ Лю, Ян; Маккарти, Дж. Майкл (2017). «Синтез сцепления для построения плоской алгебраической кривой». Механизм и теория машин. 111: 10–20. Дои:10.1016 / j.mechmachtheory.2016.12.005.
  8. ^ Г. Хегедус, З. Ли, Дж. Скичо, Х. П. Шрокер (2015), От фундаментальной теоремы алгебры к теореме Кемпе об универсальности
  9. ^ М. Галлет, К. Кутшан, З. Ли, Дж. Регенсбургер, Дж. Скичо и Н. Вилламиза (2017), Плоские связи после заданного движения, Математика вычислений, 86 (303), страницы 473-506.
  10. ^ а б Ю. Лю и Дж. М. Маккарти (2017), Разработка механизмов для рисования тригонометрических плоских кривых, Институт механизмов и робототехники, 9 (2), 024503
  11. ^ Ю. Лю и Дж. М. Маккарти (2017), Разработка системы связи для письма курсивом, Журнал "Компьютеры и информация в науке и технике", 17 (3)

внешняя ссылка