En geometría , un objeto gordo es un objeto en dos o más dimensiones, cuyas longitudes en las distintas dimensiones son similares. Por ejemplo, un cuadrado es gordo porque su largo y ancho son idénticos. Un rectángulo de 2 por 1 es más delgado que un cuadrado, pero es grueso en comparación con un rectángulo de 10 por 1. De manera similar, un círculo es más grueso que una elipse de 1 por 10 y un triángulo equilátero es más grueso que un triángulo muy obtuso .
Los objetos gordos son especialmente importantes en geometría computacional . Muchos algoritmos en geometría computacional pueden funcionar mucho mejor si su entrada consiste únicamente en objetos gruesos; consulte la sección de aplicaciones a continuación.
Dada una constante R ≥1, un objeto o se llama R -gordo si su "factor de delgadez" es como máximo R . El "factor de delgadez" tiene diferentes definiciones en diferentes 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 delgadez de un cuadrado es 1 (ya que su cuadrado más pequeño es el mismo que su disco más grande). El factor de delgadez de un rectángulo de 10 por 1 es 10. El factor de delgadez de un círculo es √2. Por lo tanto, según esta definición, un cuadrado tiene 1 grasa, pero un disco y un rectángulo de 10 × 1 no son 1 grasa. Un cuadrado también tiene 2 grasas (ya que su factor de delgadez es inferior a 2), 3 grasas, etc. Un disco también tiene 2 grasas (y también 3 grasas, etc.), pero un rectángulo de 10 × 1 no es 2. -gordo. Cada forma es ∞-grasa, ya que por definición el factor de delgadez 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 las que en su lugar se utiliza una bola d-dimensional . [2] Una bola bidimensional es un disco . Según esta definición alternativa, un disco tiene 1 grasa pero un cuadrado no tiene 1 grasa, ya que su delgadez de dos bolas es √2.
Una definición alternativa, que puede denominarse gordura de bola envolvente (también llamada "espesor" [3] ) se basa en el siguiente factor de delgadez:
El exponente 1/ d hace que esta definición sea una relación de dos longitudes, por lo que es comparable a la gordura de dos bolas.
Aquí también se puede utilizar un cubo en lugar de una bola.
De manera similar, es posible definir la gordura de la bola encerrada basándose en el siguiente factor de delgadez:
La delgadez de la bola/cubo envolvente puede ser muy diferente de la delgadez de la bola/cubo cerrado.
Por ejemplo, considere una paleta con un caramelo en forma de cuadrado de 1×1 y un palo en forma de rectángulo b ×(1/ b ) (con b >1>(1/ b )). A medida que b aumenta, el área del cubo encerrado (≈ 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 cerrado puede crecer arbitrariamente mientras que la delgadez del cubo cerrado permanece constante (=√2). Vea esta página de GeoGebra para una demostración.
Por otro lado, considere una 'serpiente' rectilínea con ancho 1/b y longitud b , que está completamente doblada 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 la rodea permanecen constantes (=1). Por lo tanto, la delgadez del cubo cerrado puede crecer arbitrariamente mientras que la delgadez del cubo envolvente permanece constante (=1).
Tanto en la piruleta como en la serpiente, la delgadez de los 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-graso según la definición de dos bolas/cubos, también es R-graso según la bola/cubo encerrado y la bola/cubo encerrado. definiciones (pero lo contrario no es cierto, como se ejemplificó anteriormente).
El volumen de una bola d -dimensional de radio r es : , donde V d es una constante dependiente de la dimensión:
Un cubo d -dimensional con una longitud de lado 2 a tiene volumen (2 a ) d . Está encerrado en una bola d -dimensional con radio a√d cuyo volumen es V d ( a√d ) d . Por lo tanto, para cada objeto d -dimensional:
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, entonces:
De consideraciones similares:
Una bola d -dimensional con radio a está encerrada en un cubo d -dimensional con una longitud de lado 2 a . Por lo tanto, para cada objeto d -dimensional:
Para dimensiones pares ( d = 2 k ), el factor se simplifica a: . En particular, para formas bidimensionales el factor es: 2/√π≈1.13, entonces:
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.
Todas las definiciones anteriores son globales en el sentido de que no les importan las áreas pequeñas y delgadas que forman parte de un objeto grande y gordo.
Por ejemplo, considere una paleta con un caramelo en forma de cuadrado de 1×1 y un palo en forma de rectángulo de 1×(1/ b ) (con b >1>(1/ b )). A medida que b aumenta, el área del cubo encerrado (=4) y el área del cubo encerrado (=1) permanecen constantes, mientras que el área total de la forma cambia sólo ligeramente (=1+1/ b ). Por lo tanto, los tres factores de delgadez están acotados: delgadez del cubo cerrado ≤2, delgadez del cubo cerrado ≤2, delgadez de dos cubos = 2. Por lo tanto, según todas las definiciones, la piruleta tiene 2 grasas. Sin embargo, la parte del palito de la piruleta obviamente se vuelve cada vez más delgada.
En algunas aplicaciones, partes tan 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 cruza el límite de o ( es decir, que no contiene completamente 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 de la bola envolvente local de una bola sea igual a 1. La delgadez de la bola envolvente local de la forma de paleta descrita anteriormente está dominada por 1×(1/ b ) se pega, y va a ∞ a medida que b crece. Por lo tanto, según la definición local, la paleta anterior no tiene 2 grasas.
La gordura local implica gordura global. Aquí hay un boceto de prueba de gordura basado en bolas encerradas. Por definición, el volumen de la bola más pequeña que la rodea es ≤ el volumen de cualquier otra bola que la rodea. En particular, es ≤ el volumen de cualquier bola circundante cuyo centro esté dentro de o y cuyo límite toque el límite de o . Pero cada una de estas bolas envolventes está en el conjunto B considerado por la definición de delgadez de la bola envolvente local. Por eso:
Por eso:
Para un cuerpo convexo , lo contrario también es cierto: la gordura local implica gordura global. La prueba [3] se basa en el siguiente lema. Sea o un objeto convexo. Sea P un punto en o . Sean by B dos bolas centradas en P tales que b es menor que B. Entonces o interseca una porción mayor de b que de B , es decir:
Bosquejo de prueba: estando en el punto P , podemos mirar diferentes ángulos θ y medir la distancia al límite de o . Como o es convexa, 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) en todos los ángulos:
De manera similar podemos calcular el lado derecho de la desigualdad integrando la siguiente función:
Al marcar los 3 casos posibles, es posible demostrar que siempre . Por tanto, la integral de f es al menos la integral de F , y el lema sigue.
La definición de delgadez de bola envolvente local considera todas las bolas que están centradas en un punto en o y cruzan el límite de o . Sin embargo, cuando o es convexo, el lema anterior nos permite considerar, para cada punto en o , sólo bolas que son de tamaño máximo, es decir, sólo bolas que contienen enteramente o (y cuyo límite intersecta el límite de o ). Por cada una de esas bolas b :
donde es alguna 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 objetos no convexos, esta desigualdad, por supuesto, no se cumple, como lo ejemplifica la paleta de arriba.
La siguiente tabla muestra el factor de delgadez de varias formas según 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 invariante a la escala, por lo que el factor de delgadez de un triángulo (como de cualquier otro polígono) puede presentarse 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 incírculo . Se sabe que:
donde Δ es el área de un triángulo y r es el radio del círculo. Por tanto, la delgadez de la bola encerrada de un triángulo es:
El círculo que contiene más pequeño para un triángulo agudo es su círculo circunstante , 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 circunstante. Por lo tanto, para un triángulo agudo, 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 lado más largo c ), el factor de delgadez de la bola circundante es:
Tenga en cuenta que en un triángulo rectángulo , las dos expresiones coinciden.
El inradio r y el circunradio R están conectados mediante un par de fórmulas que proporcionan dos expresiones alternativas para la delgadez de dos bolas de un triángulo agudo: [6]
Para un triángulo obtuso, se debe usar c /2 en lugar de R . Por la ley de los senos :
Por tanto, el factor de delgadez de un triángulo obtuso con ángulo obtuso C es:
Tenga en cuenta que en un triángulo rectángulo , las dos expresiones coinciden.
Las dos expresiones se pueden combinar de la siguiente manera para obtener una sola expresión para la delgadez de dos bolas de cualquier triángulo con ángulos A y B más pequeños :
Para tener una idea de la tasa de cambio en la gordura, considere lo que da esta fórmula para un triángulo isósceles con un ángulo de cabeza θ cuando θ es pequeño :
Las siguientes gráficas 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 circunstante es la longitud de la cuerda y el diámetro del círculo circunstante es la altura del segmento, por lo que la delgadez de las 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 circunstante es el radio del círculo y el diámetro del círculo circunstante es la longitud de la cuerda, por lo que la delgadez de las dos bolas es:
Para una elipse , los factores de delgadez son diferentes en diferentes ubicaciones. Por ejemplo, considere una elipse con eje corto a y eje largo b . la longitud de una cuerda varía entre el lado estrecho de la elipse y su lado ancho; de manera similar, la altura del segmento oscila entre el lado estrecho y el lado ancho. Entonces la delgadez de dos bolas oscila 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 aristas (no necesariamente adyacentes) es al menos r .
Lema: La delgadez de la bola envolvente 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 envolvente de un polígono convexo separado por k,r es como máximo . [9] mejorar 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 al menos a y un volumen al menos V d a d . Por lo tanto, por definición de gordura de bola envolvente, el volumen de un objeto R -gordo con diámetro 2 a debe ser al menos: V d a d / R d . Por eso:
Por ejemplo (tomando d =2, R =1 y C =3): El número de discos no superpuestos con radio al menos 1 contenidos en un círculo de radio 3 es como máximo 3 2 =9. (En realidad, son como máximo 7).
Si consideramos la gordura local en lugar de la gordura global, podemos obtener un lema más sólido: [3]
Por ejemplo (tomando d =2, R =1 y C =0): el número de discos no superpuestos con radio mayor que 1 que tocan una unidad de disco dada es como máximo 4 2 =16 (esto no es un límite estricto ya que en este caso es fácil demostrar un límite superior de 5).
[2] estudió la siguiente generalización de la gordura 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 por (β,δ) si para cada punto P ∈ o existe un triángulo (β, δ) ∆ de o que contiene a P.
Para objetos convexos , las dos definiciones son equivalentes, en el sentido de que si o es α-fat, para alguna constante α, entonces también está cubierto (β,δ), para las constantes apropiadas β y δ, y viceversa. Sin embargo, para objetos no convexos, la definición de ser gordo es más general que la definición de estar cubierto (β, δ). [2]
Los objetos grasos se utilizan en diversos problemas, por ejemplo: