Curva de ancho constante - Curve of constant width

Medir el ancho de un triángulo de Reuleaux como la distancia entre líneas de apoyo paralelas . Debido a que esta distancia no depende de la dirección de las líneas, el triángulo de Reuleaux es una curva de ancho constante.

En geometría , una curva de ancho constante es una simple curva cerrada en el plano cuyo ancho (la distancia entre líneas de apoyo paralelas ) es el mismo en todas las direcciones. La forma delimitada por una curva de ancho constante es un cuerpo de ancho constante o un orbiforme , nombre que Leonhard Euler les dio a estas formas . Los ejemplos estándar son el círculo y el triángulo de Reuleaux . Estas curvas también se pueden construir utilizando arcos circulares centrados en los cruces de una disposición de líneas , como involutas de ciertas curvas, o mediante círculos de intersección centrados en una curva parcial.

Todo cuerpo de ancho constante es un conjunto convexo , su límite cruzado como máximo dos veces por cualquier línea, y si la línea cruza perpendicularmente lo hace en ambos cruces, separados por el ancho. Según el teorema de Barbier , el perímetro del cuerpo es exactamente π veces su ancho, pero su área depende de su forma, y ​​el triángulo de Reuleaux tiene el área más pequeña posible para su ancho y el círculo el más grande. Cada superconjunto de un cuerpo de ancho constante incluye pares de puntos que están más separados que el ancho, y cada curva de ancho constante incluye al menos seis puntos de curvatura extrema. Aunque el triángulo de Reuleaux no es liso, las curvas de ancho constante siempre se pueden aproximar arbitrariamente de cerca mediante curvas suaves del mismo ancho constante.

Los cilindros con sección transversal de ancho constante se pueden utilizar como rodillos para soportar una superficie nivelada. Otra aplicación de curvas de ancho constante es para formas de acuñación , donde los polígonos de Reuleaux regulares son una opción común. La posibilidad de que las curvas distintas de los círculos puedan tener un ancho constante hace que sea más complicado comprobar la redondez de un objeto .

Las curvas de ancho constante se han generalizado de varias formas a dimensiones más altas y a geometría no euclidiana .

Definiciones

El ancho y el ancho constante se definen en términos de las líneas de apoyo de las curvas; son líneas que tocan una curva sin cruzarla. Cada curva compacta en el plano tiene dos líneas de apoyo en cualquier dirección dada, con la curva intercalada entre ellas. La distancia euclidiana entre estas dos líneas es el ancho de la curva en esa dirección, y una curva tiene un ancho constante si esta distancia es la misma para todas las direcciones de las líneas. El ancho de un conjunto convexo acotado se puede definir de la misma manera que para las curvas, por la distancia entre pares de líneas paralelas que tocan el conjunto sin cruzarlo, y un conjunto convexo es un cuerpo de ancho constante cuando esta distancia es distinta de cero y no depende de la dirección de las líneas. Cada cuerpo de ancho constante tiene una curva de ancho constante como su límite, y cada curva de ancho constante tiene un cuerpo de ancho constante como su casco convexo .

Otra forma equivalente de definir el ancho de una curva compacta o de un conjunto convexo es mirando su proyección ortogonal sobre una línea. En ambos casos, la proyección es un segmento de línea , cuya longitud es igual a la distancia entre las líneas de apoyo que son perpendiculares a la línea. Entonces, una curva o un conjunto convexo tiene un ancho constante cuando todas sus proyecciones ortogonales tienen la misma longitud.

Ejemplos de

Una curva de ancho constante definida por un polinomio de octavo grado

Los círculos tienen un ancho constante, igual a su diámetro . Por otro lado, los cuadrados no: las líneas de apoyo paralelas a dos lados opuestos del cuadrado están más juntas que las líneas de apoyo paralelas a una diagonal. De manera más general, ningún polígono puede tener un ancho constante. Sin embargo, existen otras formas de ancho constante. Un ejemplo estándar es el triángulo de Reuleaux , la intersección de tres círculos, cada uno centrado donde se cruzan los otros dos círculos. Su curva límite consta de tres arcos de estos círculos, que se encuentran en ángulos de 120 °, por lo que no es suave y, de hecho, estos ángulos son los más agudos posibles para cualquier curva de ancho constante.

Otras curvas de ancho constante pueden ser suaves pero no circulares, ni siquiera tener arcos circulares en su límite. Por ejemplo, el conjunto cero del polinomio a continuación forma una curva algebraica suave no circular de ancho constante:

$${\ Displaystyle {\ begin {alineado} f (x, y) = {} & (x ^ {2} + y ^ {2}) ^ {4} -45 (x ^ {2} + y ^ {2} ) ^ {3} -41283 (x ^ {2} + y ^ {2}) ^ {2} \\ & + 7950960 (x ^ {2} + y ^ {2}) + 16 (x ^ {2} -3y ^ {2}) ^ {3} +48 (x ^ {2} + y ^ {2}) (x ^ {2} -3y ^ {2}) ^ {2} \\ & + x (x ^ {2} -3y ^ {2}) \ left (16 (x ^ {2} + y ^ {2}) ^ {2} -5544 (x ^ {2} + y ^ {2}) + 266382 \ derecha) -720 ^ {3}. \ end {alineado}}}$$

Su grado, ocho, es el grado mínimo posible para un polinomio que define una curva no circular de ancho constante.

Construcciones

Un polígono irregular de Reuleaux

Aplicar el método de líneas cruzadas a una disposición de cuatro líneas . Los límites del cuerpo azul de ancho constante son arcos circulares de cuatro pares de círculos anidados (círculos internos rojo oscuro y círculos externos rojo claro).

Cuerpo de ancho constante (amarillo) formado por discos de intersección (azul) centrados en una semielipse (negro). El círculo rojo muestra un círculo tangente a una línea de apoyo, en un punto de curvatura mínima de la semielipse. La excentricidad de la semielipse en la figura es la máxima posible para esta construcción.

Todo polígono regular con un número impar de lados da lugar a una curva de ancho constante, un polígono de Reuleaux , formado por arcos circulares centrados en sus vértices que pasan por los dos vértices más alejados del centro. Por ejemplo, esta construcción genera un triángulo de Reuleaux a partir de un triángulo equilátero. Algunos polígonos irregulares también generan polígonos Reuleaux. En una construcción estrechamente relacionada, llamada por Martin Gardner el "método de líneas cruzadas", una disposición de líneas en el plano (no dos paralelas pero arbitrarias) se clasifica en orden cíclico por las pendientes de las líneas. Luego, las líneas se conectan mediante una curva formada a partir de una secuencia de arcos circulares; cada arco conecta dos líneas consecutivas en el orden ordenado y se centra en su cruce. El radio del primer arco debe elegirse lo suficientemente grande para que todos los arcos sucesivos terminen en el lado correcto del siguiente punto de cruce; sin embargo, todos los radios suficientemente grandes funcionan. Para dos líneas, esto forma un círculo; para tres líneas en los lados de un triángulo equilátero, con el radio mínimo posible, forma un triángulo de Reuleaux, y para las líneas de un polígono de estrella regular puede formar un polígono de Reuleaux.

Leonhard Euler construyó curvas de ancho constante a partir de involutas de curvas con un número impar de singularidades de las cúspides , con solo una línea tangente en cada dirección (es decir, erizos proyectivos ). Una forma intuitiva de describir la construcción involuta es hacer rodar un segmento de línea alrededor de dicha curva, manteniéndolo tangente a la curva sin deslizarse a lo largo de ella, hasta que regrese a su punto inicial de tangencia. El segmento de línea debe ser lo suficientemente largo como para alcanzar los puntos de la cúspide de la curva, de modo que pueda pasar de cada cúspide a la siguiente parte de la curva, y su posición inicial debe elegirse cuidadosamente para que al final del proceso de laminación está en la misma posición desde la que comenzó. Cuando eso sucede, la curva trazada por los puntos finales del segmento de línea es una involuta que encierra la curva dada sin cruzarla, con un ancho constante igual a la longitud del segmento de línea. Si la curva inicial es suave (excepto en las cúspides), la curva resultante de ancho constante también será suave. Un ejemplo de una curva inicial con las propiedades correctas para esta construcción es la curva deltoidea , y las involutas del deltoides que la encierran forman curvas suaves de ancho constante, que no contienen ningún arco circular.

Otra construcción elige la mitad de la curva de ancho constante, cumpliendo ciertos requisitos, y forma a partir de ella un cuerpo de ancho constante que tiene la curva dada como parte de su límite. La construcción comienza con un arco curvo convexo, cuyos puntos finales están separados por el ancho previsto . Los dos extremos deben tocar líneas de soporte paralelas a una distancia entre sí. Además, cada línea de apoyo que toca otro punto del arco debe ser tangente en ese punto a un círculo de radio que contiene todo el arco; este requisito evita que la curvatura del arco sea menor que la del círculo. El cuerpo completo de ancho constante es entonces la intersección de los interiores de una familia infinita de círculos, de dos tipos: los tangentes a las líneas de apoyo y más círculos del mismo radio centrados en cada punto del arco dado. Esta construcción es universal: todas las curvas de ancho constante se pueden construir de esta manera. Victor Puiseux , un matemático francés del siglo XIX, encontró curvas de ancho constante que contienen arcos elípticos que se pueden construir de esta manera a partir de una semielipse . Para cumplir con la condición de curvatura, la semielipse debe estar limitada por el semieje mayor de su elipse, y la elipse debe tener excentricidad como máximo . De manera equivalente, el semieje mayor debe ser como máximo el doble del semieje menor. ${\ Displaystyle w}$${\ Displaystyle w}$${\ Displaystyle w}$${\ Displaystyle {\ tfrac {1} {2}} {\ sqrt {3}}}$

Dados dos cuerpos cualesquiera de ancho constante, su suma de Minkowski forma otro cuerpo de ancho constante. Una generalización de las sumas de Minkowski a las sumas de las funciones de apoyo de los erizos produce una curva de ancho constante a partir de la suma de un erizo proyectivo y un círculo, siempre que el resultado sea una curva convexa. Todas las curvas de ancho constante se pueden descomponer en una suma de erizos de esta manera.

Propiedades

El triángulo de Reuleaux rodando dentro de un cuadrado mientras en todo momento toca los cuatro lados

Una curva de ancho constante puede rotar entre dos líneas paralelas separadas por su ancho, mientras que en todo momento toca esas líneas, que actúan como líneas de apoyo para la curva rotada. Del mismo modo, una curva de ancho constante puede girar dentro de un rombo o cuadrado, cuyos pares de lados opuestos están separados por el ancho y se encuentran en líneas de apoyo paralelas. No todas las curvas de ancho constante pueden girar dentro de un hexágono regular de la misma manera, porque sus líneas de apoyo pueden formar diferentes hexágonos irregulares para diferentes rotaciones en lugar de formar siempre uno regular. Sin embargo, cada curva de ancho constante puede estar delimitada por al menos un hexágono regular con lados opuestos en líneas de soporte paralelas.

Una curva tiene un ancho constante si y solo si, por cada par de líneas de apoyo paralelas, toca esas dos líneas en puntos cuya distancia es igual a la separación entre las líneas. En particular, esto implica que solo puede tocar cada línea de apoyo en un solo punto. De manera equivalente, cada línea que cruza la curva perpendicularmente la cruza exactamente en dos puntos de distancia iguales al ancho. Por lo tanto, una curva de ancho constante debe ser convexa, ya que toda curva cerrada simple no convexa tiene una línea de apoyo que la toca en dos o más puntos. Las curvas de ancho constante son ejemplos de curvas auto-paralelas o auto-paralelas, curvas trazadas por ambos extremos de un segmento de línea que se mueve de tal manera que ambos extremos se mueven perpendicularmente al segmento de línea. Sin embargo, existen otras curvas auto-paralelas, como la espiral infinita formada por la involuta de un círculo, que no tienen ancho constante.

El teorema de Barbier afirma que el perímetro de cualquier curva de ancho constante es igual al ancho multiplicado por . Como caso especial, esta fórmula concuerda con la fórmula estándar para el perímetro de un círculo dado su diámetro. Por la desigualdad isoperimétrica y el teorema de Barbier, el círculo tiene el área máxima de cualquier curva de ancho constante dado. El teorema de Blaschke-Lebesgue dice que el triángulo de Reuleaux tiene la menor área de cualquier curva convexa de ancho constante dado. Cada superconjunto adecuado de un cuerpo de ancho constante tiene estrictamente un diámetro mayor, y cada conjunto euclidiano con esta propiedad es un cuerpo de ancho constante. En particular, no es posible que un cuerpo de ancho constante sea un subconjunto de un cuerpo diferente con el mismo ancho constante. Cada curva de ancho constante se puede aproximar arbitrariamente de cerca mediante una curva circular a trozos o mediante una curva analítica del mismo ancho constante. ${\ Displaystyle \ pi}$${\ Displaystyle \ pi d}$

Un vértice de una curva suave es un punto donde su curvatura es un máximo o mínimo local; para un arco circular, todos los puntos son vértices, pero las curvas no circulares pueden tener un conjunto de vértices finito y discreto. Para una curva que no es suave, los puntos donde no es suave también pueden considerarse vértices, de curvatura infinita. Para una curva de ancho constante, cada vértice de curvatura mínima localmente se empareja con un vértice de curvatura localmente máxima, frente a él en un diámetro de la curva, y debe haber al menos seis vértices. Esto contrasta con el teorema de los cuatro vértices , según el cual cada curva suave cerrada simple en el plano tiene al menos cuatro vértices. Algunas curvas, como las elipses, tienen exactamente cuatro vértices, pero esto no es posible para una curva de ancho constante. Debido a que los mínimos locales de curvatura son los máximos locales de curvatura opuestos, las únicas curvas de ancho constante con simetría central son los círculos, para los cuales la curvatura es la misma en todos los puntos. Para cada curva de ancho constante, el círculo circundante mínimo de la curva y el círculo más grande que contiene son concéntricos, y el promedio de sus diámetros es el ancho de la curva. Estos dos círculos juntos tocan la curva en al menos tres pares de puntos opuestos, pero estos puntos no son necesariamente vértices.

Un cuerpo convexo tiene un ancho constante si y solo si la suma de Minkowski del cuerpo y su rotación de 180 ° es un disco circular; si es así, el ancho del cuerpo es el radio del disco.

Aplicaciones

Rodillos de ancho constante

Debido a la capacidad de las curvas de ancho constante para rodar entre líneas paralelas, cualquier cilindro con una curva de ancho constante en su sección transversal puede actuar como un "rodillo" , sosteniendo un plano nivelado y manteniéndolo plano mientras rueda a lo largo de cualquier nivel. superficie. Sin embargo, el centro del rodillo se mueve hacia arriba y hacia abajo a medida que rueda, por lo que esta construcción no funcionaría para ruedas de esta forma unidas a ejes fijos.

Algunas formas de acuñación son cuerpos no circulares de ancho constante. Por ejemplo, las monedas británicas de 20p y 50p son heptágonos Reuleaux, y el dólar canadiense es un Reuleaux 11-gon. Estas formas permiten que las máquinas automáticas de monedas reconozcan estas monedas por su ancho, independientemente de la orientación de la moneda en la máquina. Por otro lado, probar el ancho es inadecuado para determinar la redondez de un objeto , porque tales pruebas no pueden distinguir círculos de otras curvas de ancho constante. Pasar por alto este hecho puede haber jugado un papel en el desastre del transbordador espacial Challenger , ya que la redondez de las secciones del cohete en ese lanzamiento se probó solo midiendo los anchos, y las formas redondeadas pueden causar tensiones inusualmente altas que podrían haber sido una de las más importantes. factores que causaron el desastre.

Generalizaciones

Las curvas de ancho constante se pueden generalizar a determinadas curvas no convexas, las curvas que tienen dos líneas tangentes en cada dirección, con la misma separación entre estas dos líneas independientemente de su dirección. Como caso límite, los erizos proyectivos (curvas con una línea tangente en cada dirección) también se han denominado "curvas de ancho cero".

Una forma de generalizar estos conceptos a tres dimensiones es a través de superficies de ancho constante . El análogo tridimensional de un triángulo de Reuleaux, el tetraedro de Reuleaux , no tiene un ancho constante, pero cambios menores producen los cuerpos de Meissner , que sí. Las curvas de ancho constante también pueden generalizarse a los cuerpos de brillo constante , formas tridimensionales cuyas proyecciones bidimensionales tienen todas áreas iguales; estas formas obedecen a una generalización del teorema de Barbier. Una clase diferente de generalizaciones tridimensionales, las curvas espaciales de ancho constante, se definen por las propiedades de que cada plano que cruza la curva perpendicularmente la interseca exactamente en otro punto, donde también es perpendicular, y que todos los pares de puntos se intersecan. por planos perpendiculares están separados por la misma distancia.

También se han estudiado curvas y cuerpos de ancho constante en geometría no euclidiana y para espacios vectoriales normativos no euclidianos .

Ver también

• Ancho medio , el ancho de una curva promediado en todas las direcciones posibles
• Curva de Zindler , una curva en la que todas las cuerdas que bisecan el perímetro tienen la misma longitud

Referencias

enlaces externos

• Applet interactivo de Michael Borcherds que muestra una forma irregular de ancho constante (que puedes cambiar) realizado con GeoGebra .
• Weisstein, Eric W. "Curva de ancho constante" . MathWorld .
• Moho, Steve. "Formas y sólidos de ancho constante" . Numberphile . Brady Haran . Archivado desde el original el 19 de marzo de 2016 . Consultado el 17 de noviembre de 2013 .
• Formas de ancho constante al cortar el nudo