En la geometría diferencial de curvas , la evoluta de una curva es el lugar geométrico de todos sus centros de curvatura . Es decir, cuando se dibuja el centro de curvatura de cada punto de una curva, la forma resultante será la evoluta de esa curva. La evoluta de un círculo es, por tanto, un único punto en su centro. [1] De manera equivalente, una evoluta es la envolvente de las normales a una curva.
La evoluta de una curva, una superficie o, más generalmente, una subvariedad , es la cáustica de la función normal. Sea M una subvariedad regular y uniforme en R n . Para cada punto p en M y cada vector v , con base en p y normal a M , asociamos el punto p + v . Esto define una función lagrangiana , llamada función normal. La cáustica de la función normal es la evoluta de M . [2]
Las evolutas están estrechamente relacionadas con las involutas : una curva es la evoluta de cualquiera de sus involutas.
Historia
Apolonio ( c. 200 a. C.) analizó las evolutas en el Libro V de sus Cónicas . Sin embargo, a veces se atribuye a Huygens el mérito de ser el primero en estudiarlas (1673). Huygens formuló su teoría de las evolutas en algún momento alrededor de 1659 para ayudar a resolver el problema de encontrar la curva tautocrona , que a su vez lo ayudó a construir un péndulo isócrono. Esto se debió a que la curva tautocrona es una cicloide , y la cicloide tiene la propiedad única de que su evoluta también es una cicloide. La teoría de las evolutas, de hecho, permitió a Huygens lograr muchos resultados que luego se encontrarían utilizando el cálculo. [3]
Evolución de una curva paramétrica
Si es la representación paramétrica de una curva regular en el plano con su curvatura en ningún lugar igual a 0 y su radio de curvatura y la normal unitaria apuntando al centro de curvatura, entonces
describe la evoluta de la curva dada.
Porque y se obtiene y
Propiedades de la evoluta
Para obtener las propiedades de una curva regular es ventajoso utilizar como parámetro la longitud del arco de la curva dada, debido a y (ver fórmulas de Frenet-Serret ). Por lo tanto, el vector tangente de la evoluta es:
De esta ecuación se obtienen las siguientes propiedades de la evoluta:
En los puntos donde la evoluta no es regular , es decir, en los puntos de máxima o mínima curvatura ( vértices de la curva dada) la evoluta tiene cúspides . (Véase los diagramas de las evolutas de la parábola, la elipse, la cicloide y la nefroide.)
Para cualquier arco de la evoluta que no incluya una cúspide, la longitud del arco es igual a la diferencia entre los radios de curvatura en sus puntos extremos. Este hecho conduce a una demostración sencilla del teorema de Tait-Kneser sobre la anidación de círculos osculadores . [4]
Las normales de la curva dada en los puntos de curvatura distinta de cero son tangentes a la evoluta, y las normales de la curva en los puntos de curvatura cero son asíntotas de la evoluta. Por lo tanto: la evoluta es la envolvente de las normales de la curva dada.
En los tramos de la curva con o la curva es una involuta de su evoluta. (En el diagrama: La parábola azul es una involuta de la parábola semicúbica roja, que en realidad es la evoluta de la parábola azul.)
Demostración de la última propiedad: Sea en la sección de consideración. Una involuta de la evoluta puede describirse de la siguiente manera:
donde es una extensión de cuerda fija (véase Involuta de una curva parametrizada ).
Con y se obtiene
Esto significa: Para la extensión de cuerda se reproduce la curva dada.
Las curvas paralelas tienen la misma evoluta.
Demostración: Una curva paralela con una distancia fuera de la curva dada tiene la representación paramétrica y el radio de curvatura (ver curva paralela ). Por lo tanto, la evoluta de la curva paralela es
Ejemplos
Evolución de una parábola
Para la parábola con representación paramétrica se obtiene de las fórmulas anteriores las ecuaciones:
que describe una parábola semicúbica
Evolución de una elipse
Para la elipse con representación paramétrica se obtiene: [5]
Estas son las ecuaciones de un astroide no simétrico . La eliminación de parámetros conduce a la representación implícita
Evoluta de una cicloide
Para la cicloide con representación paramétrica la evoluta será: [6]
que describe una réplica transpuesta de sí misma.
Una curva con una definición similar es el radial de una curva dada. Para cada punto de la curva, tome el vector desde el punto hasta el centro de curvatura y trasládelo de modo que comience en el origen. Entonces, el lugar geométrico de los puntos al final de dichos vectores se llama radial de la curva. La ecuación para el radial se obtiene eliminando los términos x e y de la ecuación de la evoluta. Esto produce
^ Arnold, VI; Varchenko, AN; Gusein-Zade, SM (1985). La clasificación de puntos críticos, cáusticos y frentes de onda: singularidades de mapas diferenciables, vol . 1. Birkhäuser . ISBN.0-8176-3187-9.
^ Yoshida, N., y Saito, T. (2012). "Las evoluciones de curvas planas logarítmicas y los límites dibujables de los segmentos de curva". Diseño asistido por ordenador y aplicaciones . 9 (5): 721–731. doi :10.3722/cadaps.2012.721-731.{{cite journal}}: CS1 maint: multiple names: authors list (link)
^ "Evolución de la espiral de Euler". Wiki de Linebender . 2024-03-11.