stringtranslate.com

Cometa (geometría)

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 , [1] pero la palabra deltoides también puede referirse a una curva deltoides , un objeto geométrico no relacionado que a veces se estudia en relación con los cuadriláteros. [2] [3] Una cometa también puede llamarse dardo , [4] particularmente si no es convexa. [5] [6]

Cada 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 a la vez ortodiagonales y tangenciales. Incluyen como casos especiales las cometas derechas , con dos ángulos rectos opuestos; los rombos , con dos ejes de simetría diagonales; y los cuadrados , que también son casos especiales tanto de cometas derechas como de rombos.

El cuadrilátero con la mayor relación entre perímetro y diámetro es una cometa, con ángulos de 60°, 75° y 150°. Cometas de dos formas (una convexa y otra no convexa) forman los prototiles de una de las formas del mosaico de Penrose . Las cometas también forman las caras de varios poliedros y teselaciones con simetría facial 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

Cometas convexas y cóncavas.

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. [1] [7] Se puede construir una cometa a partir de los centros y puntos de cruce de dos círculos que se cruzan . [8] Las cometas como se describen aquí pueden ser convexas o cóncavas , aunque algunas fuentes restringen que cometa se refiera únicamente a cometas convexas. Un cuadrilátero es una cometa si y sólo si se cumple alguna de las siguientes condiciones:

Los cuadriláteros de cometas reciben su nombre de las cometas voladoras arrastradas por el viento , que a menudo tienen esta forma [10] [11] y que a su vez reciben el nombre de un pájaro que flota en el aire y el sonido que emite. [12] [13] Según Olaus Henrici , el nombre "cometa" fue dado a estas formas por James Joseph Sylvester . [14]

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 de cuatro lados iguales) y los cuadrados . Todos los cometas equiláteros son rombos y todos los cometas equiangulares 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 derechas se consideran cometas. Al evitar la necesidad de considerar casos especiales, esta clasificación puede simplificar algunos datos sobre las cometas. [15]

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 automáticamente y que 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 que pasa por 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. [1] Los cuadriláteros que se cruzan solos incluyen otra clase de cuadriláteros simétricos, los antiparalelogramos . [dieciséis]

Casos especiales

Las cometas derechas tienen dos ángulos rectos opuestos . [15] [16] Las cometas derechas son exactamente las cometas que son cuadriláteros cíclicos , es decir que hay un círculo que pasa por todos sus vértices. [17] 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 suplementario el otro también lo es. [9] Por lo tanto, las cometas correctas son las cometas que tienen dos ángulos suplementarios opuestos, por cualquiera de los dos pares de ángulos opuestos. Debido a que los cometas derechos circunscriben un círculo y están inscritos en otro círculo, son cuadriláteros bicéntricos (en realidad tricéntricos, ya que también tienen un tercer círculo externamente tangente a las extensiones de sus lados ). [16] 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. [18]

Entre todos los cuadriláteros, la forma que tiene la mayor relación entre su perímetro y su diámetro (distancia máxima entre dos puntos cualesquiera) es una cometa equidiagonal con ángulos de 60°, 75°, 150°, 75°. Sus cuatro vértices se encuentran en las tres esquinas y en uno de los puntos medios laterales del triángulo de Reuleaux . [19] [20] Cuando una cometa equidiagonal tiene longitudes de lados menores o iguales a sus diagonales, como ésta o el cuadrado, es uno de los cuadriláteros con mayor relación de área a diámetro . [21]

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 . [22] 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. [dieciséis]

Parte de un mosaico aperiódico con prototipos hechos de ocho cometas.

Sólo hay ocho polígonos que pueden formar mosaicos en el plano, de modo que al reflejar cualquier mosaico a través de cualquiera de sus bordes se produce otro mosaico; esta disposición se llama teselación de bordes . Uno de ellos es un mosaico mediante una cometa derecha, con ángulos de 60°, 90° y 120°. Produce el mosaico trihexagonal deltoidal (ver § Mosaicos y poliedros). [23] Un prototipo hecho por ocho de estas cometas mosaico el avión sólo de forma aperiódica , clave para una supuesta solución del problema de Einstein . [24]

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 . [25]

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 corta. [1] Debido a su simetría, los otros dos ángulos de la cometa deben ser iguales. [10] [11] 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 . [1]

Como ocurre de manera más general con cualquier cuadrilátero ortodiagonal, el área de una cometa se puede calcular como la mitad del producto de las longitudes de las diagonales y : [10]

fórmula SASángulo[26]

círculo inscrito

Dos círculos tangentes a los lados y a los lados extendidos de una cometa convexa (arriba), una cometa no convexa (en el medio) y un antiparalelogramo (abajo). Las cuatro rectas que pasan por los lados de cada cuadrilátero son bitangentes de los círculos.

Todo cometa convexo es también un cuadrilátero tangencial , cuadrilátero que tiene un círculo inscrito . Es decir, existe un círculo tangente a sus 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, todo cometa convexo que no sea rombo es un cuadrilátero extangencial . Las cometas convexas que no son rombos son exactamente los cuadriláteros que son a la vez tangenciales y extangenciales. [16] Por cada cometa cóncava existen dos círculos tangentes a dos de los lados y las extensiones de los otros dos: uno es interior a la cometa y toca los dos lados opuestos al ángulo cóncavo, mientras que el otro círculo es exterior al cometa y toca la cometa en los dos bordes incidentes al ángulo cóncavo. [27]

Para una cometa convexa con longitudes diagonales y longitudes de lados y , el radio del círculo inscrito es

[16]

Un cuadrilátero tangencial también es una cometa si y sólo si se cumple alguna de las siguientes condiciones: [28]

Si las diagonales de un cuadrilátero tangencial se cortan en , y los círculos incírculos de los triángulos , , , tienen radios , , y respectivamente, entonces el cuadrilátero es una cometa si y solo si [28]

círculos excéntricos[28]

Dualidad

Una cometa y su doble trapecio isósceles.

Las cometas y los trapecios isósceles son duales entre sí, es decir, existe una correspondencia entre ellos que invierte la dimensión de sus partes, llevando vértices a lados y lados a vértices. Desde cualquier cometa, el círculo inscrito es tangente a sus cuatro lados en los cuatro vértices de un trapecio isósceles. Para cualquier trapezoide isósceles, las líneas tangentes al círculo circunscrito en sus cuatro vértices forman los cuatro lados de una cometa. Esta correspondencia también puede verse como un ejemplo de reciprocidad polar , un método general para corresponder puntos 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. [29] 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. [7]

Disección

El problema de la equidisección se refiere a la subdivisión de polígonos en triángulos que tienen áreas iguales. En este contexto, el espectro de un polígono es el conjunto de números tales que el polígono tiene una equidisección en triángulos de iguales áreas. Debido a su simetría, el espectro de una cometa contiene todos los números enteros pares. Ciertas cometas especiales también contienen algunos números impares en sus espectros. [30] [31]

Cada triángulo se puede subdividir en tres cometas rectas que se encuentran en el centro de su círculo inscrito. De manera más general, se puede utilizar un método basado en el empaquetado circular para subdividir cualquier polígono con lados en cometas, uniéndose de borde a borde. [32]

Azulejos y poliedros

Todas las cometas recubren el plano mediante reflexiones puntuales repetidas alrededor de los puntos medios de sus bordes, al igual que, en general, todos los cuadriláteros. [33] Cometas y dardos con ángulos de 72°, 72°, 72°, 144° y 36°, 72°, 36°, 216°, respectivamente, forman los prototipos de una versión del mosaico de Penrose , un mosaico aperiódico del Plano descubierto por el físico matemático Roger Penrose . [5] Cuando una cometa tiene ángulos que, en su vértice y en un lado, suman un número entero positivo , entonces se pueden usar copias a escala de esa cometa para mosaico el plano en una roseta fractal en la que anillos de cometas sucesivamente más grandes rodean una punto central. [34] Estas rosetas se pueden utilizar para estudiar el fenómeno del colapso inelástico, en el que un sistema de partículas en movimiento que se encuentran en colisiones inelásticas se fusionan en un punto común. [35]

Una cometa con ángulos de 60°, 90°, 120°, 90° también puede formar mosaicos en el plano mediante reflexiones repetidas en sus bordes; el mosaico resultante, el mosaico trihexagonal deltoidal , superpone un mosaico del plano mediante hexágonos regulares y triángulos isósceles. [16] El icositetraedro deltoidal , el hexecontaedro deltoidal y el trapezoedro son poliedros con caras congruentes en forma de cometa , [36] que alternativamente pueden considerarse como mosaicos de la esfera mediante cometas esféricas congruentes. [37] Hay infinitos mosaicos simétricos de caras del plano hiperbólico mediante cometas. [38] 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.

dados de diez caras

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

billar exterior

El matemático Richard Schwartz ha estudiado el billar exterior sobre cometas. El billar exterior es un sistema dinámico en el que, desde un punto exterior a un conjunto convexo compacto dado en el plano, se traza una línea tangente al conjunto convexo y se viaja desde el punto inicial a lo largo de esta línea hasta otro punto igualmente alejado del punto de tangencia. y luego repite el mismo proceso. Desde la década de 1950 no se sabía si cualquier sistema definido de esta manera podría producir caminos que se alejaran arbitrariamente de su punto de partida, y en un artículo de 2007, Schwartz resolvió este problema encontrando caminos de billar ilimitados para la cometa con ángulos de 72°, 72°. , 72°, 144°, el mismo que el utilizado en el mosaico de Penrose. [39] Más tarde escribió una monografía analizando los billares exteriores en busca de formas de cometas de manera más general. Para este problema, cualquier transformación afín de una cometa conserva las propiedades dinámicas de los billares externos sobre ella, y es posible transformar cualquier cometa en una forma donde tres vértices estén en los puntos y , con el cuarto en el intervalo unitario abierto. . El comportamiento de los billares exteriores en cualquier cometa depende en gran medida del parámetro y, en particular, de si es racional . Para el caso de la cometa Penrose, un número irracional, donde es la proporción áurea . [40]

Referencias

  1. ^ abcde Halsted, George Bruce (1896), "Capítulo XIV. Cuadriláteros simétricos", Geometría sintética elemental , J. Wiley & sons, págs.
  2. ^ Goormaghtigh, R. (1947), "Líneas ortopolares e isopolares en el cuadrilátero cíclico", The American Mathematical Monthly , 54 (4): 211–214, doi :10.1080/00029890.1947.11991815, JSTOR  2304700, MR  0019934
  3. ^ Véase la reseña de HSM Coxeter sobre Grünbaum (1960) en MR 0125489: "Es lamentable que el autor utilice, en lugar de 'cometa', el nombre 'deltoide', que pertenece más propiamente a una curva, la hipocicloide de tres cúspides. ".
  4. ^ Carta, Kevin; Rogers, Thomas (1993), "La dinámica del plegado de cuadriláteros", Matemáticas experimentales , 2 (3): 209–222, doi :10.1080/10586458.1993.10504278, MR  1273409
  5. ^ ab Gardner, Martin (enero de 1977), "Extraordinario mosaico no periódico que enriquece la teoría de los mosaicos", Juegos Matemáticos, Scientific American , vol. 236, núm. 1, págs. 110–121, Bibcode :1977SciAm.236a.110G, doi :10.1038/scientificamerican0177-110, JSTOR  24953856
  6. ^ Thurston, William P. (1998), "Formas de poliedros y triangulaciones de la esfera", en Rivin, Igor ; Rourke, Colin; Serie, Caroline (eds.), The Epstein Birthday Schrift , Geometry & Topology Monographs, vol. 1, Coventry, págs. 511–549, arXiv : math/9801088 , doi : 10.2140/gtm.1998.1.511, MR  1668340, S2CID  8686884{{citation}}: CS1 maint: location missing publisher (link)
  7. ^ abcde De Villiers, Michael (2009), Algunas aventuras en geometría euclidiana, aprendizaje dinámico de matemáticas, págs.16, 55, ISBN 978-0-557-10295-2
  8. ^ Szecsei, Denise (2004), La guía completa de geometría para idiotas, Penguin, págs. 290-291, ISBN 9781592571833
  9. ^ ab Usiskin, Zalman; Griffin, Jennifer (2008), La clasificación de cuadriláteros: un estudio de definición , Information Age Publishing , págs. 49–52, 63–67
  10. ^ abc Beamer, James E. (mayo de 1975), "El cuento de una cometa", The Arithmetic Teacher , 22 (5): 382–386, doi :10.5951/at.22.5.0382, JSTOR  41188788
  11. ^ ab Alejandro, Daniel C.; Koeberlein, Geralyn M. (2014), Geometría elemental para estudiantes universitarios (6.ª ed.), Cengage Learning , págs. 180–181, ISBN 9781285965901
  12. ^ Suay, Juan Miguel; Teira, David (2014), "Cometas: el ascenso y la caída de un objeto científico" (PDF) , Nuncius , 29 (2): 439–463, doi :10.1163/18253911-02902004
  13. ^ Liberman, Anatoly (2009), Orígenes de las palabras... y cómo los conocemos: etimología para todos, Oxford University Press , p. 17, ISBN 9780195387070
  14. ^ Henrici, Olaus (1879), Geometría elemental: figuras congruentes, Longmans, Green, pág. xiv
  15. ^ ab De Villiers, Michael (febrero de 1994), "El papel y la función de una clasificación jerárquica de cuadriláteros", Para el aprendizaje de las matemáticas , 14 (1): 11–18, JSTOR  40248098
  16. ^ abcdefgh Alsina, Claudi; Nelsen, Roger B. (2020), "Sección 3.4: Cometas", Una cornucopia de cuadriláteros , Las exposiciones matemáticas de Dolciani, vol. 55, Providence, Rhode Island: MAA Press y American Mathematical Society, págs. 73–78, ISBN 978-1-4704-5312-1, señor  4286138; ver también antiparalelogramos, p. 212
  17. ^ Gant, P. (1944), "Una nota sobre cuadriláteros", The Mathematical Gazette , 28 (278): 29–30, doi :10.2307/3607362, JSTOR  3607362, S2CID  250436895
  18. ^ Josefsson, Martin (2012), "Área máxima de un cuadrilátero bicéntrico" (PDF) , Forum Geometriorum , 12 : 237–241, MR  2990945
  19. ^ Ball, DG (1973), "Una generalización de ", The Mathematical Gazette , 57 (402): 298–303, doi :10.2307/3616052, JSTOR  3616052, S2CID  125396664
  20. ^ Griffiths, David; Culpin, David (1975), "Polígonos pi-óptimos", The Mathematical Gazette , 59 (409): 165–175, doi :10.2307/3617699, JSTOR  3617699, S2CID  126325288
  21. ^ Audet, Carlos; Hansen, Pedro; Svrtan, Dragutin (2021), "Uso de cálculos simbólicos para determinar los polígonos pequeños más grandes", Journal of Global Optimization , 81 (1): 261–268, doi :10.1007/s10898-020-00908-w, MR  4299185, S2CID  203042405
  22. ^ Darling, David (2004), El libro universal de las matemáticas: de Abracadabra a las paradojas de Zenón, John Wiley & Sons , p. 260, ISBN 9780471667001
  23. ^ Kirby, Mateo; Umble, Ronald (2011), "Teselados de bordes y rompecabezas de plegado de sellos", Mathematics Magazine , 84 (4): 283–289, arXiv : 0908.3257 , doi :10.4169/math.mag.84.4.283, MR  2843659, S2CID  123579388
  24. ^ Herrero, David; Myers, José Samuel; Kaplan, Craig S.; Goodman-Strauss, Chaim (marzo de 2023), Un monotilo aperiódico , arXiv : 2303.10798
  25. ^ Eves, Howard Whitley (1995), Geometría universitaria, Jones & Bartlett Learning , pág. 245, ISBN 9780867204759
  26. ^ "OC506" (PDF) , Olympiad Corner Solutions, Crux Mathematicorum , 47 (5): 241, mayo de 2021
  27. ^ Wheeler, Roger F. (1958), "Cuadriláteros", The Mathematical Gazette , 42 (342): 275–276, doi :10.2307/3610439, JSTOR  3610439, S2CID  250434576
  28. ^ abc Josefsson, Martin (2011), "¿Cuándo un cuadrilátero tangencial es una cometa?" (PDF) , Foro Geométrico , 11 : 165-174
  29. ^ Robertson, SA (1977), "Clasificación de triángulos y cuadriláteros", The Mathematical Gazette , 61 (415): 38–49, doi :10.2307/3617441, JSTOR  3617441, S2CID  125355481
  30. ^ Kasimatis, Elaine A .; Stein, Sherman K. (diciembre de 1990), "Equidissecciones de polígonos", Matemáticas discretas , 85 (3): 281–294, doi : 10.1016/0012-365X(90)90384-T , MR  1081836, Zbl  0736.05028
  31. ^ Jepsen, Charles H.; Sedberry, Trevor; Hoyer, Rolf (2009), "Equidisecciones de cuadriláteros en forma de cometa" (PDF) , Involve: A Journal of Mathematics , 2 (1): 89–93, doi : 10.2140/involve.2009.2.89 , MR  2501347
  32. ^ Berna, Marshall; Eppstein, David (2000), "Malla cuadrilátera mediante embalaje circular", Revista internacional de aplicaciones y geometría computacional , 10 (4): 347–360, arXiv : cs.CG/9908016 , doi :10.1142/S0218195900000206, MR  1791192, S2CID  12228995
  33. ^ Schattschneider, Doris (1993), "La fascinación del mosaico", en Emmer, Michele (ed.), The Visual Mind: Art and Mathematics , Leonardo Book Series, Cambridge, Massachusetts: MIT Press , págs. 157-164, ISBN 0-262-05048-X, SEÑOR  1255846
  34. ^ Fathauer, Robert (2018), "Arte y matemáticas recreativas basadas en rosetas de cometas", en Torrence, Eve ; Torrence, Bruce; Séquin, Carlo ; Fenyvesi, Kristóf (eds.), Actas de Bridges 2018: Matemáticas, Arte, Música, Arquitectura, Educación, Cultura , Phoenix, Arizona: Tessellations Publishing, págs. 15-22, ISBN 978-1-938664-27-4
  35. ^ Chazelle, Bernardo ; Karntikoon, Kritkorn; Zheng, Yufei (2022), "Un enfoque geométrico para el colapso inelástico", Journal of Computational Geometry , 13 (1): 197–203, doi :10.20382/jocg.v13i1a7, MR  4414332
  36. ^ ab Grünbaum, B. (1960), "Sobre los poliedros para que todas las caras sean congruentes", Boletín del Consejo de Investigación de Israel , 8F : 215–218 (1960), MR  0125489
  37. ^ Sakano, Yudai; Akama, Yohji (2015), "Triángulos esféricos anisoédricos y clasificación de mosaicos esféricos mediante cometas, dardos y rombos congruentes", Hiroshima Mathematical Journal , 45 (3): 309–339, doi : 10.32917/hmj/1448323768 , MR  3429167, S2CID  123859584
  38. ^ Dunham, Douglas; Lindgren, John; Witte, Dave (1981), "Creación de patrones hiperbólicos repetitivos", en Green, Doug; Lúcido, Tony; Fuchs, Henry (eds.), Actas de la octava conferencia anual sobre gráficos por computadora y técnicas interactivas, SIGGRAPH 1981, Dallas, Texas, EE. UU., 3 al 7 de agosto de 1981 , Association for Computing Machinery , págs . 10.1145/800224.806808 , S2CID  2255628
  39. ^ Schwartz, Richard Evan (2007), "Órbitas ilimitadas para billar exterior, I", Journal of Modern Dynamics , 1 (3): 371–424, arXiv : math/0702073 , doi :10.3934/jmd.2007.1.371, MR  2318496, S2CID  119146537
  40. ^ Schwartz, Richard Evan (2009), Billar exterior sobre cometas , Annals of Mathematics Studies, vol. 171, Princeton, Nueva Jersey: Princeton University Press , doi :10.1515/9781400831975, ISBN 978-0-691-14249-4, señor  2562898

enlaces externos