Cometa (geometría)

Compartir Imprimir Citar
Simétrico cuadrilátero a través de un diagonal

En geometría euclidiana, una cometa es un cuadrilátero con simetría de reflexión a lo largo de una diagonal. Debido a esta simetría, una cometa tiene dos ángulos iguales y dos pares de lados adyacentes de igual longitud. Las cometas también se conocen como deltoides, pero la palabra deltoides también puede referirse a una curva deltoidea, un objeto geométrico no relacionado que a veces se estudia en relación con los cuadriláteros. Una cometa también puede llamarse dardo, especialmente si no es convexa.

Toda cometa es un cuadrilátero ortodiagonal (sus diagonales forman ángulos rectos) y, cuando es convexa, un cuadrilátero tangencial (sus lados son tangentes a un círculo inscrito). Las cometas convexas son exactamente los cuadriláteros que son tanto ortodiagonales como tangenciales. Incluyen como casos especiales las cometas derechas, con dos ángulos rectos opuestos; los rombos, con dos ejes diagonales de simetría; y los cuadrados, que también son casos especiales tanto de cometas rectas como de rombos.

El cuadrilátero con la mayor relación entre el perímetro y el diámetro es una cometa, con ángulos de 60°, 75° y 150°. Cometas de dos formas (una convexa y otra no convexa) forman los prototipos de una de las formas del mosaico de Penrose. Las cometas también forman las caras de varios poliedros y teselaciones con simetría de caras, y se han estudiado en relación con los billares exteriores, un problema en las matemáticas avanzadas de los sistemas dinámicos.

Definición y clasificación

Kits de convex y concave

Una cometa es un cuadrilátero con simetría de reflexión en una de sus diagonales. De manera equivalente, es un cuadrilátero cuyos cuatro lados se pueden agrupar en dos pares de lados adyacentes de igual longitud. Se puede construir una cometa a partir de los centros y puntos de cruce de dos círculos que se cruzan. Las cometas, tal como se describen aquí, pueden ser convexas o cóncavas, aunque algunas fuentes restringen cometa para referirse únicamente a cometas convexas. Un cuadrilátero es una cometa si y solo si se cumple cualquiera de las siguientes condiciones:

Los cuadriláteros de cometas reciben su nombre de las cometas voladoras impulsadas por el viento, que a menudo tienen esta forma y que, a su vez, reciben el nombre de un pájaro que revolotea y el sonido que hace. Según Olaus Henrici, el nombre "cometa" fue dado a estas formas por James Joseph Sylvester.

Los cuadriláteros se pueden clasificar jerárquicamente, lo que significa que algunas clases de cuadriláteros incluyen otras clases, o particionalmente, lo que significa que cada cuadrilátero pertenece a una sola clase. Clasificadas jerárquicamente, las cometas incluyen los rombos (cuadriláteros con cuatro lados iguales) y los cuadrados. Todas las cometas equiláteras son rombos y todas las cometas equiángulos son cuadrados. Cuando se clasifican particionalmente, los rombos y los cuadrados no serían cometas, porque pertenecen a una clase diferente de cuadriláteros; De manera similar, las cometas correctas que se analizan a continuación no serían cometas. El resto de este artículo sigue una clasificación jerárquica; Los rombos, los cuadrados y las cometas rectas se consideran cometas. Al evitar la necesidad de considerar casos especiales, esta clasificación puede simplificar algunos datos sobre las cometas.

Al igual que las cometas, un paralelogramo también tiene dos pares de lados de igual longitud, pero son opuestos entre sí en lugar de adyacentes. Cualquier cuadrilátero que no se cruce a sí mismo y tenga un eje de simetría debe ser una cometa, con un eje de simetría diagonal; o un trapezoide isósceles, con un eje de simetría a través de los puntos medios de dos lados. Estos incluyen como casos especiales el rombo y el rectángulo respectivamente, y el cuadrado, que es un caso especial de ambos. Los cuadriláteros autocruzados incluyen otra clase de cuadriláteros simétricos, los antiparalelogramos.

Casos especiales

Kit derecho
Equidiagonal kite en un triángulo Reuleaux
Lute of Pythagoras

Las cometas derechas tienen dos ángulos rectos opuestos. Las cometas correctas son exactamente las cometas que son cuadriláteros cíclicos, lo que significa que hay un círculo que pasa por todos sus vértices. Los cuadriláteros cíclicos pueden definirse de manera equivalente como los cuadriláteros en los que dos ángulos opuestos son suplementarios (suman 180°); si un par es complementario, el otro también lo es. Por lo tanto, las cometas correctas son las cometas con dos ángulos suplementarios opuestos, para cualquiera de los dos pares de ángulos opuestos. Debido a que las cometas rectas circunscriben un círculo y están inscritas en otro círculo, son cuadriláteros bicéntricos (en realidad tricéntricos, ya que también tienen un tercer círculo exteriormente tangente a las extensiones de sus lados). Si los tamaños de un círculo inscrito y circunscrito son fijos, la cometa derecha tiene el área más grande de cualquier cuadrilátero atrapada entre ellos.

Entre todos los cuadriláteros, la forma que tiene la mayor relación entre su perímetro y su diámetro es una cometa equidiagonal con ángulos de 60°, 75°, 150°, 75°. Sus cuatro vértices se encuentran en las tres esquinas y uno de los puntos medios laterales del triángulo de Reuleaux. Cuando un papalote equidiagonal tiene lados de longitud menor o igual a sus diagonales, como este o el cuadrado, es uno de los cuadriláteros con mayor relación de área a diámetro.

Una cometa con tres ángulos de 108° y un ángulo de 36° forma el casco convexo del laúd de Pitágoras, un fractal hecho de pentagramas anidados. Los cuatro lados de esta cometa se encuentran en cuatro de los lados de un pentágono regular, con un triángulo dorado pegado en el quinto lado.

Solo hay ocho polígonos que pueden teselar el plano de tal manera que reflejar cualquier tesela a través de cualquiera de sus bordes produzca otra tesela; esta disposición se denomina teselación de bordes. Uno de ellos es un teselado por una cometa derecha, con ángulos de 60°, 90° y 120°. Produce el mosaico trihexagonal deltoidal (ver § Mosaicos y poliedros).

En geometría no euclidiana, una cometa puede tener tres ángulos rectos y un ángulo no recto, formando un caso especial de cuadrilátero de Lambert. El cuarto ángulo es agudo en geometría hiperbólica y obtuso en geometría esférica.

Propiedades

Diagonales, ángulos y área

Cada cometa es un cuadrilátero ortodiagonal, lo que significa que sus dos diagonales forman ángulos rectos entre sí. Además, una de las dos diagonales (el eje de simetría) es la bisectriz perpendicular de la otra, y también es la bisectriz de los dos ángulos que forma. Debido a su simetría, los otros dos ángulos de la cometa deben ser iguales. El eje de simetría diagonal de una cometa convexa la divide en dos triángulos congruentes; la otra diagonal lo divide en dos triángulos isósceles.

Como es cierto más generalmente para cualquier cuadrilátero ortodiagonal, el área A{displaystyle A} de una cometa se puede calcular como la mitad del producto de las longitudes de las diagonales p{displaystyle p} y q{displaystyle q}:

A=p⋅ ⋅ q2.{displaystyle A={frac {pcdot q} {2}}
a{displaystyle a}b{displaystyle b}Silencio Silencio {displaystyle theta }
A=ab⋅ ⋅ pecado⁡ ⁡ Silencio Silencio .{displaystyle displaystyle A=abcdot sin theta.}

Círculo inscrito

Dos círculos tangentes a los lados y los lados extendidos de una cometa convexa (top), kite no-convex (middle), y antiparallelograma (bottom). Las cuatro líneas a través de los lados de cada cuadrilátero son bitangents de los círculos.

Toda cometa convexa es también un cuadrilátero tangencial, un cuadrilátero que tiene una circunferencia inscrita. Es decir, existe un círculo que es tangente a los cuatro lados. Además, si una cometa convexa no es un rombo, hay un círculo fuera de la cometa que es tangente a las extensiones de los cuatro lados; por lo tanto, toda cometa convexa que no sea un rombo es un cuadrilátero ex-tangencial. Las cometas convexas que no son rombos son exactamente los cuadriláteros que son tangenciales y extangenciales. Para cada cometa cóncava existen dos circunferencias tangentes a dos de los lados y a las prolongaciones de los otros dos: una es interior a la cometa y toca los dos lados opuestos al ángulo cóncavo, mientras que la otra circunferencia es exterior a la cometa y toca la cometa en los dos bordes incidentes al ángulo cóncavo.

Para una cometa convexa con longitudes diagonales p{displaystyle p} y q{displaystyle q} y longitudes laterales a{displaystyle a} y b{displaystyle b}, el radio r{displaystyle r} del círculo inscrito es

r=pq2()a+b),{displaystyle r={frac}{2(a+b)}}
*** *** {displaystyle rho }
*** *** =pq2Silencioa− − bSilencio.{displaystyle rho ={frac {pq}{2 vidasa-b sufrimiento}}}

Un cuadrilátero tangencial también es una cometa si y solo si se cumple cualquiera de las siguientes condiciones:

Si las diagonales en un cuadrilátero tangencial ABCD{displaystyle ABCD} intersección en P{displaystyle P}, y los círculos de triángulos ABP{displaystyle ABP}, BCP{displaystyle BCP}, CDP{displaystyle CDP}, DAP{displaystyle DAP} tienen radio r1{displaystyle R_{1}, r2{displaystyle R_{2}, r3{displaystyle R_{3}, y r4{displaystyle R_{4} respectivamente, entonces el cuadrilátero es una cometa si y sólo si

r1+r3=r2+r4.{displaystyle r_{1}+r_{3}=r_{2}+r_{4}
P{displaystyle P}R1{displaystyle R_{1}R2{displaystyle R_{2}R3{displaystyle R_{3}R4{displaystyle R_{4}
R1+R3=R2+R4.{displaystyle R_{1}+R_{3}=R_{2}+R_{4}

Dualidad

Una cometa y su doble isosceles trapezoid

Las cometas y los trapecios isósceles son duales entre sí, lo que significa que existe una correspondencia entre ellos que invierte la dimensión de sus partes, llevando los vértices a los lados y los lados a los vértices. De cualquier cometa, la circunferencia inscrita es tangente a sus cuatro lados en los cuatro vértices de un trapezoide isósceles. Para cualquier trapezoide isósceles, las líneas tangentes al círculo que lo circunscribe en sus cuatro vértices forman los cuatro lados de una cometa. Esta correspondencia también se puede ver como un ejemplo de reciprocidad polar, un método general para puntos correspondientes con líneas y viceversa dado un círculo fijo. Aunque no tocan el círculo, los cuatro vértices de la cometa son recíprocos en este sentido a los cuatro lados del trapezoide isósceles. Las características de las cometas y los trapecios isósceles que se corresponden entre sí bajo esta dualidad se comparan en la siguiente tabla.

Isosceles trapezoid Kite
Dos pares de ángulos adyacentes iguales Dos pares de lados adyacentes iguales
Dos lados opuestos iguales Dos ángulos opuestos iguales
Dos lados opuestos con un bisector perpendicular compartido Dos ángulos opuestos con un bisector de ángulo compartido
Un eje de simetría a través de dos lados opuestos Un eje de simetría a través de dos ángulos opuestos
Circunscripción círculo a través de todos los vértices Tangente círculo inscrito a todos los lados

Disección

El problema de la equidisección se refiere a la subdivisión de polígonos en triángulos que todos tienen áreas iguales. En este contexto, el espectro espectro espectro espectro espectro espectro espectro espectro espectro espectro espectro espectro espectro espectro de un polígono es el conjunto de números n{displaystyle n} tal que el polígono tiene una equidisección en n{displaystyle n} triángulos de la misma zona. Debido a su simetría, el espectro de una cometa contiene todos incluso enteros. Algunos kits especiales también contienen algunos números extraños en sus espectros.

Cada triángulo se puede subdividir en tres kits derecho reunión en el centro de su círculo inscrito. Más generalmente, un método basado en el embalaje del círculo se puede utilizar para subdivide cualquier polígono con n{displaystyle n} partes en O()n){displaystyle O(n)} kites, reunión a punto.

Teselaciones y poliedros

Recursive construction of the kite and dart Penrose tiling
roseta fractal de kits de pene

Todos los kites tilean el plano por repetida reflexión punto alrededor de los puntos intermedios de sus bordes, como lo hacen más generalmente todos los cuadriláteros. Kits y dardos con ángulos 72°, 72°, 72°, 144° y 36°, 72°, 36°, 216°, respectivamente, forman los prototiles de una versión de la baldosa Penrose, un revestimiento aperódico del plano descubierto por el físico matemático Roger Penrose. Cuando una cometa tiene ángulos que, en su ápice y un lado, suma a π π ()1− − 1n){displaystyle pi (1-{tfrac {1}{n}}} para algunos enteros positivos n{displaystyle n}, entonces copias escaladas de esa cometa se puede utilizar para inclinar el plano en una roseta fractal en la que sucesivamente anillos más grandes de n{displaystyle n} Los kites rodean un punto central. Estas rosetas se pueden utilizar para estudiar el fenómeno del colapso inelástico, en el que un sistema de partículas móviles que se reúnen en colisiones inelásticas coalesce en un punto común.

Una cometa con ángulos de 60°, 90°, 120°, 90° también puede formar mosaicos en el plano mediante reflejos repetidos en sus bordes; el teselado resultante, el teselado trihexagonal deltoidal, superpone un teselado del plano por hexágonos regulares y triángulos isósceles. El icositetraedro deltoidal, el hexecontaedro deltoidal y el trapezoedro son poliedros con caras congruentes en forma de cometa, que alternativamente pueden considerarse mosaicos de la esfera por cometas esféricas congruentes. Hay infinitas teselaciones con simetría de caras del plano hiperbólico por cometas. Estos poliedros (equivalentemente, mosaicos esféricos), los mosaicos trihexagonales cuadrados y deltoidales del plano euclidiano, y algunos mosaicos del plano hiperbólico se muestran en la siguiente tabla, etiquetados por configuración de caras (el número de vecinos de cada uno de los cuatro vértices de cada mosaico). Algunos poliedros y mosaicos aparecen dos veces, bajo dos configuraciones de caras diferentes.

Polyhedra Euclidean
Rhombicdodecahedron.jpg
V4.3.4.3
Deltoidalicositetrahedron.jpg
V4.3.4.4
Deltoidalhexecontahedron.jpg
V4.3.4.5
Tiling Dual Semiregular V3-4-6-4 Deltoidal Trihexagonal.svg
V4.3.4.6
Polyhedra Euclidean Sellos hiperbólicos
Deltoidalicositetrahedron.jpg
V4.4.4.3
Square tiling uniform coloring 1.png
V4.4.4.4
H2-5-4-deltoidal.svg
V4.4.4.5
H2chess 246d.png
V4.4.4.6
Polyhedra Sellos hiperbólicos
Deltoidalhexecontahedron.jpg
V4.3.4.5
H2-5-4-deltoidal.svg
V4.4.4.5
H2-5-4-rhombic.svg
V4.5.4.5
Deltoidal pentahexagonal tiling.png
V4.6.4.5
Euclidean Sellos hiperbólicos
Tiling Dual Semiregular V3-4-6-4 Deltoidal Trihexagonal.svg
V4.3.4.6
H2chess 246d.png
V4.4.4.6
Deltoidal pentahexagonal tiling.png
V4.5.4.6
H2chess 266d.png
V4.6.4.6
Diez dados laterales

Los trapezoedros son otra familia de poliedros que tienen caras congruentes en forma de cometa. En estos poliedros, los bordes de uno de los dos lados de la cometa se encuentran en dos "polos" vértices, mientras que las aristas de la otra longitud forman un camino ecuatorial en zigzag alrededor del poliedro. Son los poliedros duales de los antiprismas uniformes. Un ejemplo comúnmente visto es el trapezoedro pentagonal, usado para dados de diez caras.

Familia de n- trampa mortal
Nombre Digonal trapezohedron
(Tetraedro)
TrigonalTetragonalPentagonalHexagonalHeptagonalOctagonal... Apeirogonal
Polyhedron Digonal trapezohedron.pngTrigonalTrapezohedron.svgTetragonal trapezohedron.pngPentagonal trapezohedron.svgHexagonal trapezohedron.pngHeptagonal trapezohedron.pngOctagonal trapezohedron.png...
Tessellation Spherical digonal antiprism.pngSpherical trigonal trapezohedron.pngSpherical tetragonal trapezohedron.pngSpherical pentagonal trapezohedron.pngSpherical hexagonal trapezohedron.pngSpherical heptagonal trapezohedron.pngSpherical octagonal trapezohedron.png... Apeirogonal trapezohedron.svg
Configuración facial V2.3.3.3 V3.3.3.3 V4.3.3.3 V5.3.3.3 V6.3.3.3 V7.3.3.3 V8.3.3.3 ... V dieta.3.3.3

Billares exteriores

El matemático Richard Schwartz ha estudiado billar exterior en kites. Los billares exteriores es un sistema dinámico en el que, desde un punto fuera de un determinado convexo compacto establecido en el plano, se dibuja una línea tangente al conjunto convexo, viaja desde el punto de partida a lo largo de esta línea a otro punto igualmente lejos del punto de tangencia, y luego repite el mismo proceso. Se había abierto desde la década de 1950 si cualquier sistema definido de esta manera podría producir caminos que se alejan arbitrariamente de su punto de partida, y en un documento de 2007 Schwartz solucionó este problema encontrando caminos de billar sin límites para el kit con ángulos 72°, 72°, 72°, 144°, el mismo que el utilizado en el revestimiento Penrose. Más tarde escribió un monografía analizando billar exterior para formas de cometa más generalmente. Para este problema, cualquier transformación affine de una cometa conserva las propiedades dinámicas de los billares externos en ella, y es posible transformar cualquier cometa en una forma donde tres vértices están en los puntos ()− − 1,0){displaystyle (-1,0)} y ()0,± ± 1){displaystyle (0,pm 1)}, con la cuarta ()α α ,0){displaystyle (alpha0)} con α α {displaystyle alpha } en el intervalo de unidad abierta ()0,1){displaystyle (0,1)}. El comportamiento de los billares externos en cualquier cometa depende fuertemente del parámetro α α {displaystyle alpha } y en particular si es racional. Para el caso de la cometa Penrose, α α =1/φ φ 3{displaystyle alpha =1/varphi ^{3}, un número irracional, donde φ φ =()1+5)/2{displaystyle varphi =(1+{sqrt {5}}/2} es la relación de oro.