En geometría , un objeto gordo es un objeto en dos o más dimensiones, cuyas longitudes en las diferentes dimensiones son similares. Por ejemplo, un cuadrado es gordo porque su longitud y anchura son idénticas. Un rectángulo de 2 por 1 es más delgado que un cuadrado, pero es gordo en relación con un rectángulo de 10 por 1. De manera similar, un círculo es más gordo que una elipse de 1 por 10 y un triángulo equilátero es más gordo que un triángulo muy obtuso .
Los objetos gordos son especialmente importantes en la geometría computacional . Muchos algoritmos de geometría computacional pueden funcionar mucho mejor si su entrada consiste únicamente en objetos gordos; consulte la sección de aplicaciones a continuación.
Dado un valor constante R ≥1, un objeto o se denomina R -gordo si su "factor de delgadez" es como máximo R . El "factor de delgadez" tiene distintas definiciones en distintos artículos. Una definición común [1] es:
donde o y los cubos son d -dimensionales. Un cubo bidimensional es un cuadrado , por lo que el factor de esbeltez de un cuadrado es 1 (ya que su cuadrado circundante más pequeño es el mismo que su disco circundante más grande). El factor de esbeltez de un rectángulo de 10 por 1 es 10. El factor de esbeltez de un círculo es √2. Por lo tanto, por esta definición, un cuadrado es 1-gordo pero un disco y un rectángulo de 10×1 no son 1-gordo. Un cuadrado también es 2-gordo (ya que su factor de esbeltez es menor que 2), 3-gordo, etc. Un disco también es 2-gordo (y también 3-gordo, etc.), pero un rectángulo de 10×1 no es 2-gordo. Toda forma es ∞-gorda, ya que por definición el factor de esbeltez es siempre como máximo ∞.
La definición anterior puede denominarse gordura de dos cubos, ya que se basa en la relación entre las longitudes de los lados de dos cubos. De manera similar, es posible definir la gordura de dos bolas , en la que se utiliza una bola de dimensión d . [2] Una bola de dos dimensiones es un disco . Según esta definición alternativa, un disco es 1-gordo, pero un cuadrado no es 1-gordo, ya que su delgadez de dos bolas es √2.
Una definición alternativa, que puede denominarse grosor de bola envolvente (también llamada "grosor" [3] ), se basa en el siguiente factor de delgadez:
El exponente 1/ d hace de esta definición una relación de dos longitudes, de modo que es comparable a la gordura de dos bolas.
También aquí se puede utilizar un cubo en lugar de una pelota.
De manera similar, es posible definir la gordura de la bola encerrada en función del siguiente factor de delgadez:
La delgadez de la bola o cubo envolvente puede ser muy diferente de la delgadez de la bola o cubo encerrado.
Por ejemplo, considere una piruleta con un caramelo en forma de cuadrado de 1×1 y un palito en forma de rectángulo b ×(1/ b ) (con b >1>(1/ b )). A medida que b aumenta, el área del cubo que lo encierra (≈ b 2 ) aumenta, pero el área del cubo encerrado permanece constante (=1) y el área total de la forma también permanece constante (=2). Por lo tanto, la delgadez del cubo encerrado puede crecer arbitrariamente mientras que la delgadez del cubo encerrado permanece constante (=√2). Vea esta página de GeoGebra para una demostración.
Por otra parte, consideremos una 'serpiente' rectilínea con ancho 1/b y largo b , que está completamente plegada dentro de un cuadrado de lado 1. A medida que b aumenta, el área del cubo encerrado (≈1/ b 2 ) disminuye, pero las áreas totales de la serpiente y del cubo que lo encierra permanecen constantes (=1). Por lo tanto, la delgadez del cubo encerrado puede crecer arbitrariamente mientras que la del cubo que lo encierra permanece constante (=1).
Tanto en la piruleta como en la serpiente, la delgadez de dos cubos crece arbitrariamente, ya que en general:
Dado que todos los factores de delgadez son al menos 1, se deduce que si un objeto o es R-gordo según la definición de dos bolas/cubos, también es R-gordo según las definiciones de bola/cubo envolvente y bola/cubo encerrado (pero lo opuesto no es cierto, como se ejemplifica anteriormente).
El volumen de una bola de dimensión d y radio r es : , donde V d es una constante dependiente de la dimensión:
Un cubo de dimensión d con una longitud de lado de 2 a tiene un volumen (2 a ) d . Está encerrado en una bola de dimensión d con un radio a√d cuyo volumen es V d ( a√d ) d . Por lo tanto, para cada objeto de dimensión d :
Para dimensiones pares ( d = 2 k ), el factor se simplifica a: . En particular, para formas bidimensionales V 2 =π y el factor es: √(0,5 π)≈1,25, por lo que:
De consideraciones similares:
Una bola de dimensión d con radio a está encerrada en un cubo de dimensión d con una longitud de lado de 2 a . Por lo tanto, para cada objeto de dimensión d :
Para dimensiones pares ( d = 2 k ), el factor se simplifica a: . En particular, para formas bidimensionales el factor es: 2/√π≈1.13, por lo que:
De consideraciones similares:
Al multiplicar las relaciones anteriores se obtienen las siguientes relaciones simples:
Por lo tanto, un objeto R -fat según la definición de dos bolas o de dos cubos es como máximo R √ d -fat según la definición alternativa.
Las definiciones anteriores son todas globales en el sentido de que no se preocupan por las pequeñas áreas delgadas que forman parte de un objeto grande y gordo.
Por ejemplo, considere una piruleta con un caramelo en forma de un cuadrado de 1×1 y un palo en forma de un rectángulo de 1×(1/ b ) (con b >1>(1/ b )). A medida que b aumenta, el área del cubo que lo encierra (=4) y el área del cubo encerrado (=1) permanecen constantes, mientras que el área total de la forma cambia solo ligeramente (=1+1/ b ). Por lo tanto, los tres factores de delgadez están acotados: delgadez del cubo que lo encierra ≤ 2, delgadez del cubo encerrado ≤ 2, delgadez de dos cubos = 2. Por lo tanto, según todas las definiciones, la piruleta es 2-gorda. Sin embargo, la parte del palo de la piruleta obviamente se vuelve cada vez más delgada.
En algunas aplicaciones, estas partes delgadas son inaceptables, por lo que la gordura local , basada en un factor de delgadez local, puede ser más apropiada. Para cada factor de delgadez global, es posible definir una versión local. Por ejemplo, para la delgadez de la bola envolvente, es posible definir el factor de delgadez de la bola envolvente local de un objeto o considerando el conjunto B de todas las bolas cuyo centro está dentro de o y cuyo límite intersecta el límite de o (es decir, que no contiene completamente a o ). El factor de delgadez de la bola envolvente local se define como: [3] [4]
El 1/2 es un factor de normalización que hace que la delgadez local de la bola que la envuelve sea igual a 1. La delgadez local de la bola que la envuelve de la forma de piruleta descrita anteriormente está dominada por el palito 1×(1/ b ), y tiende a ∞ a medida que b crece. Por lo tanto, según la definición local, la piruleta anterior no es 2-gorda.
La gordura local implica gordura global. A continuación se presenta un esbozo de prueba de la gordura basado en bolas envolventes. Por definición, el volumen de la bola envolvente más pequeña es ≤ el volumen de cualquier otra bola envolvente. En particular, es ≤ el volumen de cualquier bola envolvente cuyo centro esté dentro de o y cuyo límite toque el límite de o . Pero cada una de esas bolas envolventes está en el conjunto B considerado por la definición de delgadez de bola envolvente local. Por lo tanto:
Por eso:
Para un cuerpo convexo , lo opuesto también es cierto: la gordura local implica gordura global. La demostración [3] se basa en el siguiente lema. Sea o un objeto convexo. Sea P un punto en o . Sean b y B dos bolas centradas en P tales que b es más pequeño que B. Entonces o interseca una porción mayor de b que de B , es decir:
Esquema de demostración: parados en el punto P , podemos observar diferentes ángulos θ y medir la distancia hasta el límite de o . Como o es convexo, esta distancia es una función, digamos r ( θ ). Podemos calcular el lado izquierdo de la desigualdad integrando la siguiente función (multiplicada por alguna función determinante) sobre todos los ángulos:
De manera similar podemos calcular el lado derecho de la desigualdad integrando la siguiente función:
Comprobando los tres casos posibles, es posible demostrar que siempre . Por lo tanto, la integral de f es al menos la integral de F , y se deduce el lema.
La definición de delgadez de una bola localmente envolvente considera todas las bolas que están centradas en un punto de o e intersecan el límite de o . Sin embargo, cuando o es convexo, el lema anterior nos permite considerar, para cada punto de o , solo bolas que sean de tamaño máximo, es decir, solo bolas que contengan completamente a o (y cuyo límite interseque el límite de o ). Para cada bola b :
donde es una constante dependiente de la dimensión.
El diámetro de o es como máximo el diámetro de la bola más pequeña que encierra a o , y el volumen de esa bola es: . Combinando todas las desigualdades se obtiene que para cada objeto convexo :
Para los objetos no convexos, esta desigualdad, por supuesto, no se cumple, como lo ejemplifica la piruleta de arriba.
La siguiente tabla muestra el factor de delgadez de varias formas en función de las diferentes definiciones. Las dos columnas de las definiciones locales se rellenan con "*" cuando la forma es convexa (en este caso, el valor de la delgadez local es igual al valor de la delgadez global correspondiente):
La delgadez es invariable a escala, por lo que el factor de delgadez de un triángulo (como el de cualquier otro polígono) se puede representar como una función de sus ángulos únicamente. Los tres factores de delgadez basados en bolas se pueden calcular utilizando identidades trigonométricas bien conocidas.
El círculo más grande contenido en un triángulo se llama su incírculo . Se sabe que:
donde Δ es el área de un triángulo y r es el radio del círculo inscrito. Por lo tanto, la delgadez de un triángulo en forma de bola cerrada es:
El círculo más pequeño que contiene un triángulo agudo es su circunferencia circunscrita , mientras que para un triángulo obtuso es el círculo que tiene como diámetro el lado más largo del triángulo. [5]
Se sabe que:
donde nuevamente Δ es el área de un triángulo y R es el radio del círculo circunscrito. Por lo tanto, para un triángulo acutángulo, el factor de delgadez de la bola circundante es:
También se sabe que:
donde c es cualquier lado del triángulo y A , B son los ángulos adyacentes. Por lo tanto, para un triángulo obtuso con ángulos agudos A y B (y el lado más largo c ), el factor de delgadez de la bola circundante es:
Nótese que en un triángulo rectángulo , , por lo que las dos expresiones coinciden.
El radio interno r y el radio circunscrito R están conectados a través de un par de fórmulas que proporcionan dos expresiones alternativas para la esbeltez de dos bolas de un triángulo agudo: [6]
Para un triángulo obtuso, se debe utilizar c /2 en lugar de R. Por la ley de los senos :
Por lo tanto, el factor de esbeltez de un triángulo obtuso con ángulo obtuso C es:
Nótese que en un triángulo rectángulo , , por lo que las dos expresiones coinciden.
Las dos expresiones se pueden combinar de la siguiente manera para obtener una única expresión para la delgadez de dos bolas de cualquier triángulo con ángulos A y B menores :
Para tener una idea de la tasa de cambio en la obesidad, considere lo que da esta fórmula para un triángulo isósceles con un ángulo de cabeza θ cuando θ es pequeño :
Los siguientes gráficos muestran el factor de delgadez de 2 bolas de un triángulo:
La delgadez de un círculo basada en la bola es, por supuesto, 1: el valor más pequeño posible.
Para un segmento circular con ángulo central θ , el diámetro del círculo circunscrito es la longitud de la cuerda y el diámetro del círculo inscrito es la altura del segmento, por lo que la delgadez de dos bolas (y su aproximación cuando θ es pequeño ) es:
Para un sector circular con ángulo central θ (cuando θ es pequeño), el diámetro del círculo circunscrito es el radio del círculo y el diámetro del círculo inscrito es la longitud de la cuerda, por lo que la delgadez de dos bolas es:
En el caso de una elipse , los factores de delgadez son diferentes en distintas ubicaciones. Por ejemplo, considere una elipse con eje corto a y eje largo b . La longitud de una cuerda varía entre en el lado angosto de la elipse y en su lado ancho; de manera similar, la altura del segmento varía entre en el lado angosto y en su lado ancho. Por lo tanto, la delgadez de dos bolas varía entre:
y:
En general, cuando la secante comienza en el ángulo Θ el factor de delgadez se puede aproximar mediante: [7]
Un polígono convexo se llama r -separado si el ángulo entre cada par de bordes (no necesariamente adyacentes) es al menos r .
Lema: La delgadez de la bola circundante de un polígono convexo separado por r es como máximo . [8] : 7–8
Un polígono convexo se llama k,r -separado si:
Lema: La delgadez de la bola circundante de un polígono convexo separado por k,r es como máximo . [9] mejora el límite superior a .
Si un objeto o tiene un diámetro de 2 a , entonces cada bola que encierra a o debe tener un radio de al menos a y un volumen de al menos V d a d . Por lo tanto, por definición de la gordura de la bola que lo encierra, el volumen de un objeto R -gordo con un diámetro de 2 a debe ser al menos: V d a d / R d . Por lo tanto:
Por ejemplo (tomando d = 2, R = 1 y C = 3): el número de discos no superpuestos con un radio de al menos 1 contenidos en un círculo de radio 3 es como máximo 3 2 = 9. (En realidad, es como máximo 7).
Si consideramos la gordura local en lugar de la gordura global, podemos obtener un lema más fuerte: [3]
Por ejemplo (tomando d = 2, R = 1 y C = 0): el número de discos no superpuestos con un radio mayor que 1 que tocan un disco unitario dado es como máximo 4 2 = 16 (este no es un límite estricto ya que en este caso es fácil demostrar un límite superior de 5).
La siguiente generalización de la gordura fue estudiada por [2] para objetos bidimensionales.
Un triángulo ∆ es un (β, δ)-triángulo de un objeto plano o (0<β≤π/3, 0<δ< 1), si ∆ ⊆ o , cada uno de los ángulos de ∆ es al menos β, y la longitud de cada una de sus aristas es al menos δ·diámetro( o ). Un objeto o en el plano está (β,δ)-cubierto si para cada punto P ∈ o existe un (β, δ)-triángulo ∆ de o que contiene a P.
Para los objetos convexos , las dos definiciones son equivalentes, en el sentido de que si o es α-gordo, para alguna constante α, entonces también está (β,δ)-cubierto, para constantes apropiadas β y δ, y viceversa. Sin embargo, para los objetos no convexos la definición de ser gordo es más general que la definición de estar (β, δ)-cubierto. [2]
Los objetos gordos se utilizan en diversos problemas, por ejemplo: