stringtranslate.com

El problema del gusano de Moser

Problema sin resolver en matemáticas :
¿Cuál es el área mínima de una figura que puede cubrir cada curva de longitud unitaria?

El problema del gusano de Moser (también conocido como el problema de la manta del gusano madre ) es un problema sin resolver en geometría formulado por el matemático austro-canadiense Leo Moser en 1966. El problema pide la región de área más pequeña que puede acomodar cada curva plana de longitud 1. Aquí "acomodar" significa que la curva puede rotarse y trasladarse para encajar dentro de la región. En algunas variaciones del problema, la región está restringida a ser convexa .

Ejemplos

Por ejemplo, un disco circular de radio 1/2 puede acomodar cualquier curva plana de longitud 1 colocando el punto medio de la curva en el centro del disco. Otra posible solución tiene la forma de un rombo con ángulos de vértice de 60° y 120° y con una diagonal larga de longitud unitaria. [1] Sin embargo, estas no son soluciones óptimas; se conocen otras formas que resuelven el problema con áreas más pequeñas.

Propiedades de la solución

No es completamente trivial que exista una cobertura de área mínima. Una posibilidad alternativa sería que exista un área mínima a la que se pueda aproximar pero que no se pueda alcanzar. Sin embargo, existe una cobertura convexa mínima . Su existencia se desprende del teorema de selección de Blaschke . [2]

Tampoco es trivial determinar si una forma dada forma una cubierta. Gerriets y Poole (1974) conjeturaron que una forma acomoda cada curva de longitud unitaria si y solo si acomoda cada cadena poligonal de longitud unitaria con tres segmentos, una condición más fácil de probar, pero Panraksa, Wetzel y Wichiramala (2007) demostraron que ningún límite finito en el número de segmentos en una policadena sería suficiente para esta prueba.

Límites conocidos

El problema sigue abierto, pero a lo largo de una serie de artículos los investigadores han estrechado la brecha entre los límites inferior y superior conocidos. En particular, Norwood y Poole (2003) construyeron una cubierta universal (no convexa) y demostraron que la forma mínima tiene un área de como máximo 0,260437; Gerriets y Poole (1974) y Norwood, Poole y Laidacker (1992) dieron límites superiores más débiles. En el caso convexo, Wang (2006) mejoró un límite superior a 0,270911861. Khandhawit, Pagonakis y Sriswasdi (2013) utilizaron una estrategia de mínimo-máximo para el área de un conjunto convexo que contiene un segmento, un triángulo y un rectángulo para mostrar un límite inferior de 0,232239 para una cubierta convexa.

En la década de 1970, John Wetzel conjeturó que un sector circular de 30° con un radio unitario es una cubierta con un área de . Movshovich y Wetzel (2017) y Panraksa y Wichiramala (2021) afirmaron de forma independiente dos pruebas de la conjetura. Si se confirma, esto reducirá el límite superior de la cubierta convexa en aproximadamente un 3 %.

Véase también

Notas

  1. ^ Gerriets y Poole (1974).
  2. ^ Norwood, Poole y Laidacker (1992) atribuyen esta observación a un manuscrito inédito de Laidacker y Poole, fechado en 1986.

Referencias