El clásico teorema de los cuatro vértices indica que la función curvatura de una curva plana simple, cerrada y suave tiene al menos cuatro extremos locales (específicamente, al menos dos máximos locales y al menos dos mínimos locales). El nombre del teorema se deriva de la convención de denominar vértice a cada punto extremo de la función de curvatura. Este teorema posee muchas generalizaciones, incluida una versión para curvas espaciales donde un vértice se define como un punto de cambio de torsión.
La curvatura de una elipse posee exactamente cuatro vértices: dos máximos locales donde es cruzada por el eje mayor de la elipse, y dos mínimos locales donde es cruzada por el eje menor. En una circunferencia, cada punto es tanto un máximo local como un mínimo de curvatura local, por lo que hay infinitos vértices.
Historia[editar]
El teorema de los cuatro vértices se probó por primera vez para curvas convexas (es decir, curvas con curvatura estrictamente positiva) en 1909 por Syamadas Mukhopadhyaya.1 Su prueba utiliza el hecho de que un punto en la curva es un extremo de la función de curvatura si y solo si la circunferencia osculatriz en ese punto tiene contacto de cuarto orden con la curva (en general, el círculo de osculación tiene solo un contacto de tercer orden con la curva). El teorema de los cuatro vértices fue probado de forma general por Adolf Kneser en 1912 usando un argumento proyectivo.2
Demostración[editar]
Durante muchos años, la demostración del teorema de los cuatro vértices se valía de razonamientos complejos, pero Osserman (1985) proporcionó una prueba simple y conceptual, basada en la idea del círculo mínimo envolvente..3 Este es un círculo que contiene la curva dada y tiene el radio más pequeño posible. Si la curva incluye un arco del círculo, contiene infinitos vértices. De lo contrario, la curva y el círculo deben ser tangentes en al menos dos puntos. En cada tangencia, la curvatura de la curva es mayor que la del círculo (de lo contrario, la curva continuaría desde la tangencia fuera del círculo en lugar de dentro). Sin embargo, entre cada par de tangencias, la curvatura debe disminuir por debajo de la del círculo, por ejemplo, en un punto obtenido al trasladar el círculo hasta que ya no contenga ninguna parte de la curva entre los dos puntos de tangencia, teniendo en cuenta el último punto de contacto entre el círculo trasladado y la curva. Por lo tanto, hay un mínimo de curvatura local entre cada par de tangencias, dando dos de los cuatro vértices. Así mismo, debe de haber un máximo de curvatura local entre cada par de mínimos locales, dando los otros dos vértices.34
Relación inversa[editar]
El inverso al teorema de los cuatro vértices establece que cualquier función continua de variable real que tiene al menos dos máximos locales y dos mínimos locales es la función de curvatura de una curva plana cerrada simple. Herman Gluck lo demostró para las funciones estrictamente positivas en 1971 como un caso especial de un teorema general sobre la preasignación de la curvatura de n-esferas.5 Björn Dahlberg demostró la convergencia completa con el teorema de los cuatro vértices poco antes de su muerte en enero de 1998, teorema que fue publicado póstumamente.6 La prueba de Dahlberg usa un argumento basado en el concepto de índice, que de alguna manera recuerda a la demostración topológica estándar del teorema fundamental del álgebra.7
Aplicación a la mecánica[editar]
Un corolario del teorema es que una figura plana homogénea que rueda sobre una superficie horizontal bajo condiciones de gravedad uniforme, tiene al menos 4 puntos de equilibrio. Una versión discreta de esta afirmación es que no puede haber un polígono monostático. Sin embargo, en tres dimensiones existen poliedros monostáticos, y también existe un objeto convexo, homogéneo con exactamente 2 puntos de equilibrio (uno estable y el otro inestable), el Gömböc.
Variaciones discretas[editar]
Existen varias versiones discretas del teorema de los cuatro vértices, tanto para polígonos convexos como no convexos.8 Estos son algunos de ellos:
- (Bilinski) La secuencia de ángulos de un polígono equilátero convexo con al menos cuatro vértices tiene al menos cuatro extremos.
- La secuencia de longitudes laterales de un polígono equiangular convexo con al menos cuatro lados tiene al menos cuatro extremos.
- (Musin) Una circunferencia circunscritaalrededor de tres vértices consecutivos de un polígono con al menos cuatro vértices se llama extremal si contiene todos los vértices restantes del polígono, o no tiene ninguno de ellos en su interior. Tal polígono convexo es "genérico" si no tiene cuatro vértices en la misma circunferencia. Entonces, cada polígono convexo genérico con al menos cuatro vértices tiene al menos cuatro circunferencias extremas.
- (Legendre-Cauchy) Dos n-gonos convexos con la correspondiente longitud lateral tiene cero o al menos 4 cambios de signo en la secuencia cíclica de las correspondientes diferencias de ángulo.
- (A.D. Alexandrov) Dos n-gonos convexos con lados correspondientes paralelos y la misma área tienen cero o al menos 4 cambios de signo en la secuencia cíclica de las diferencias de longitudes laterales correspondientes.
Algunas de estas variaciones son más fuertes que otras, y todas implican el teorema de los cuatro vértices (usual) por un argumento de paso al límite.
Generalización a curvas espaciales[editar]
La proyección estereográfica de la esfera al plano conserva los puntos críticos de la curvatura geodésica. Por lo tanto, las curvas esféricas cerradas simples tienen cuatro vértices. Además, en la esfera, los vértices de una curva corresponden a puntos donde su torsión desaparece. Entonces, para las curvas espaciales, un vértice se define como un punto en el que la torsión desaparece. En 1994, V. D. Sedykh9 demostró que cada curva espacial cerrada simple que se encuentra en la superficie de un cuerpo convexo tiene cuatro vértices. En 2015 Mohammad Ghomi10 generalizó el teorema de Sedij a todas las curvas que recorren un disco localmente convexo.
La curvatura de una elipse posee exactamente cuatro vértices: dos máximos locales donde es cruzada por el eje mayor de la elipse, y dos mínimos locales donde es cruzada por el eje menor. En una circunferencia, cada punto es tanto un máximo local como un mínimo de curvatura local, por lo que hay infinitos vértices.
Historia[editar]
El teorema de los cuatro vértices se probó por primera vez para curvas convexas (es decir, curvas con curvatura estrictamente positiva) en 1909 por Syamadas Mukhopadhyaya.1 Su prueba utiliza el hecho de que un punto en la curva es un extremo de la función de curvatura si y solo si la circunferencia osculatriz en ese punto tiene contacto de cuarto orden con la curva (en general, el círculo de osculación tiene solo un contacto de tercer orden con la curva). El teorema de los cuatro vértices fue probado de forma general por Adolf Kneser en 1912 usando un argumento proyectivo.2
Demostración[editar]
Durante muchos años, la demostración del teorema de los cuatro vértices se valía de razonamientos complejos, pero Osserman (1985) proporcionó una prueba simple y conceptual, basada en la idea del círculo mínimo envolvente..3 Este es un círculo que contiene la curva dada y tiene el radio más pequeño posible. Si la curva incluye un arco del círculo, contiene infinitos vértices. De lo contrario, la curva y el círculo deben ser tangentes en al menos dos puntos. En cada tangencia, la curvatura de la curva es mayor que la del círculo (de lo contrario, la curva continuaría desde la tangencia fuera del círculo en lugar de dentro). Sin embargo, entre cada par de tangencias, la curvatura debe disminuir por debajo de la del círculo, por ejemplo, en un punto obtenido al trasladar el círculo hasta que ya no contenga ninguna parte de la curva entre los dos puntos de tangencia, teniendo en cuenta el último punto de contacto entre el círculo trasladado y la curva. Por lo tanto, hay un mínimo de curvatura local entre cada par de tangencias, dando dos de los cuatro vértices. Así mismo, debe de haber un máximo de curvatura local entre cada par de mínimos locales, dando los otros dos vértices.34
Relación inversa[editar]
El inverso al teorema de los cuatro vértices establece que cualquier función continua de variable real que tiene al menos dos máximos locales y dos mínimos locales es la función de curvatura de una curva plana cerrada simple. Herman Gluck lo demostró para las funciones estrictamente positivas en 1971 como un caso especial de un teorema general sobre la preasignación de la curvatura de n-esferas.5 Björn Dahlberg demostró la convergencia completa con el teorema de los cuatro vértices poco antes de su muerte en enero de 1998, teorema que fue publicado póstumamente.6 La prueba de Dahlberg usa un argumento basado en el concepto de índice, que de alguna manera recuerda a la demostración topológica estándar del teorema fundamental del álgebra.7
Aplicación a la mecánica[editar]
Un corolario del teorema es que una figura plana homogénea que rueda sobre una superficie horizontal bajo condiciones de gravedad uniforme, tiene al menos 4 puntos de equilibrio. Una versión discreta de esta afirmación es que no puede haber un polígono monostático. Sin embargo, en tres dimensiones existen poliedros monostáticos, y también existe un objeto convexo, homogéneo con exactamente 2 puntos de equilibrio (uno estable y el otro inestable), el Gömböc.
Variaciones discretas[editar]
Existen varias versiones discretas del teorema de los cuatro vértices, tanto para polígonos convexos como no convexos.8 Estos son algunos de ellos:
- (Bilinski) La secuencia de ángulos de un polígono equilátero convexo con al menos cuatro vértices tiene al menos cuatro extremos.
- La secuencia de longitudes laterales de un polígono equiangular convexo con al menos cuatro lados tiene al menos cuatro extremos.
- (Musin) Una circunferencia circunscritaalrededor de tres vértices consecutivos de un polígono con al menos cuatro vértices se llama extremal si contiene todos los vértices restantes del polígono, o no tiene ninguno de ellos en su interior. Tal polígono convexo es "genérico" si no tiene cuatro vértices en la misma circunferencia. Entonces, cada polígono convexo genérico con al menos cuatro vértices tiene al menos cuatro circunferencias extremas.
- (Legendre-Cauchy) Dos n-gonos convexos con la correspondiente longitud lateral tiene cero o al menos 4 cambios de signo en la secuencia cíclica de las correspondientes diferencias de ángulo.
- (A.D. Alexandrov) Dos n-gonos convexos con lados correspondientes paralelos y la misma área tienen cero o al menos 4 cambios de signo en la secuencia cíclica de las diferencias de longitudes laterales correspondientes.
Algunas de estas variaciones son más fuertes que otras, y todas implican el teorema de los cuatro vértices (usual) por un argumento de paso al límite.
Generalización a curvas espaciales[editar]
La proyección estereográfica de la esfera al plano conserva los puntos críticos de la curvatura geodésica. Por lo tanto, las curvas esféricas cerradas simples tienen cuatro vértices. Además, en la esfera, los vértices de una curva corresponden a puntos donde su torsión desaparece. Entonces, para las curvas espaciales, un vértice se define como un punto en el que la torsión desaparece. En 1994, V. D. Sedykh9 demostró que cada curva espacial cerrada simple que se encuentra en la superficie de un cuerpo convexo tiene cuatro vértices. En 2015 Mohammad Ghomi10 generalizó el teorema de Sedij a todas las curvas que recorren un disco localmente convexo.
Partiendo de un triángulo equilátero de lado a delíniese, haciendo centro en uno de los vértices del triángulo y con radio a, un arco de circunferencias que una entre sí a los dos vértices restantes, repítase la operación para cada vértice y ya se habrá obtenido el triángulo de Reuleaux buscado. Borrando el triángulo inicial, el espacio central que delimitan en común las tres cirunferencias es el triángulo de Reuleaux, una curva de anchura constante.
Cada uno de los ángulos de un triángulo equilátero es de radianes. Cada uno de los tres arcos es de longitud . Por tanto el perímetro del triángulo de Reuleaux es .
Otros usos[editar]
- Debido a que todos sus diámetros tienen la misma longitud, el triángulo Reuleaux, junto con los demás polígonos regulares de Reuleaux, es la respuesta a la pregunta "Además de un círculo, ¿qué otra forma puede tener una tapa de alcantarilla para que no caiga a través del agujero?"
- El rotor de un Motor Wankel puede fácilmente ser confundido con un triángulo de Reuleaux. Aunque se parece mucho en su aspecto, el rotor Wankel tiene entre vértices una curva algo más plana que la del triángulo de Reuleux y por ello no tiene ancho constante.1
- En 1914 el ingeniero británico Harry James Watts patentó (US-Patent 1241175 y siguientes) una broca (llamada de Harry Watts en los países de habla inglesa) con forma de triángulo de Reuleaux. Esta broca va montada en un dispositivo especial que hace que gire un tanto excéntricamente y así puede taladrar un agujero con una forma casi exactamente cuadrada. En la figura se puede ver la rotación de esta broca dentro de un agujero cuadrado. Se ve que solo en las esquinas dicha broca deja cuatro pequeñas áreas sin cubrir, que suman un 1,33% del área del cuadrado.
- Un triángulo de Reuleaux puede rodar fácilmente, pero no funciona bien como rueda debido a que no tiene un centro fijo de rotación. Sin embargo, en la figura adjunta la tabla puede hacerse avanzar de manera perfctamente horizontal. En el rodillo de la izquierda habrá un eje que solo se desplace horizontalmente, mientras que en la sección del rodillo de la derecha, que es un triángulo de Reuleux, todos los puntos tienen algo de movimiento vertical, como se aprecia en la animación de la broca de Harry Watts.
- La existencia de los polígonos de Reuleaux es una buena demostración de que el que una figura tenga anchura constante no implica que sea un círculo.
- Muchos lápices son fabricados con este perfil, en lugar de los mucho más tradicionales de sección redonda o hexagonal.2 Por lo general son promocionados como más cómodos y producen un agarre adecuado, además de ser menos probable que rueden fuera de las mesas.
Versión en tres dimensiones[editar]
La intersección de esferas de radio s centradas en los vértices de tetraedros regulares con lado también s es denominado el tetraedro Reuleaux, pero en este caso no es una superficie de anchura constante. Puede, sin embargo, ser realizada dentro de una superficie de anchura constante, conocida como el tetraedro Meissner, reemplazando sus límites en forma de arco por "parches" de superficie curvada. Alternativamente, la superficie de un triángulo de Reuleaux en revolución sobre uno de sus ejes simétricos forma una superficie de anchura constante.
No hay comentarios:
Publicar un comentario