title: Teorema de universalidad de Kempe
text: # Teorema de universalidad de Kempe
  
  En 1876, Alfred B. Kempe publicó su artículo On a General Method of describing Plane Curves of the nth degree by Linkwork, que mostró que para una curva plana algebraica arbitraria se puede construir un enlace que dibuje la curva. Esta conexión directa entre los vínculos y las curvas algebraicas se ha denominado teorema de universalidad de Kempe según el cual cualquier subconjunto acotado de una curva algebraica puede trazarse mediante el movimiento de una de las articulaciones en un vínculo adecuadamente elegido. La prueba de Kempe tenía fallas y la primera prueba completa se proporcionó en 2002 basada en sus ideas.
  
  Este teorema se ha popularizado describiéndolo como diciendo: "One can design a linkage which will sign your name! [¡Uno puede diseñar un enlace que firmará tu nombre!]"
  
  Kempe reconoció que sus resultados demuestran la existencia de un vínculo de dibujo, pero no sería práctico. Él afirma
  
     Apenas es necesario agregar que este método no sería útil en la práctica debido a la complejidad del trabajo de enlace empleado, una consecuencia necesaria de la perfecta generalidad de la demostración.
  
  Pidiendo al "artista matemático" que encuentre formas más simples de lograr este resultado:
  
     Sin embargo, el método tiene un interés, ya que muestra que hay una manera de dibujar cualquier caso dado; y la variedad de métodos para expresar funciones particulares que ya se han descubierto hace que sea muy probable que en todos los casos se pueda encontrar un método más simple. Todavía hay, sin embargo, un amplio campo abierto para que el artista matemático descubra los enlaces más simples que describan curvas particulares.
  
  Una serie de animaciones que demuestran el trabajo de enlace que resulta del teorema de universalidad de Kempe están disponibles para las curvas de parábola, cúbica autointersecante, cúbica elíptica suave y trifolium.
  
  ## Vínculos de dibujo más simples
  
  Se han adoptado varios enfoques para simplificar los vínculos de dibujo que resultan del teorema de universalidad de Kempe. Parte de la complejidad surge de los vínculos que Kempe usó para realizar sumas y restas de dos ángulos, la multiplicación de un ángulo por una constante y la traducción de la rotación de un vínculo en una ubicación a la rotación de un segundo vínculo en otra ubicación. Kempe llamó a estos enlaces: enlaces de adición, inversión, multiplicación y traducción, respectivamente. El enlace de dibujo se puede simplificar utilizando diferenciales de engranajes cónicos para sumar y restar ángulos, trenes de engranajes para multiplicar ángulos y transmisiones por correa o cable para traducir ángulos de rotación.
  
  Otra fuente de complejidad es la generalidad de la aplicación de Kempe a todas las curvas algebraicas. Al centrarse en curvas algebraicas parametrizadas, el álgebra de cuaterniones duales se puede utilizar para factorizar el polinomio de movimiento y obtener un vínculo de dibujo. Esto se ha ampliado para proporcionar movimiento del efector final, pero de nuevo para curvas parametrizadas.
  
  La especialización de las curvas en aquellas definidas por polinomios trigonométricos ha proporcionado otra forma de obtener vínculos de dibujo más simples. Las curvas de Bezier se pueden escribir en forma de polinomios trigonométricos, por lo tanto, se puede diseñar un sistema de enlace que dibuje cualquier curva que se aproxime mediante una secuencia de curvas de Bezier.
  
  ## Visualizaciones
  
  A continuación se muestra un ejemplo de un mecanismo de cadena en serie de un solo acoplamiento, utilizado para dibujar la curva trifolium (izquierda) y la curva hipocicloide (derecha). Usando SageMath. El código fuente se puede encontrar en GitHub .
  
  