stringtranslate.com

Cuadrilátero cíclico

Ejemplos de cuadriláteros cíclicos

En geometría euclidiana , un cuadrilátero cíclico o cuadrilátero inscrito es un cuadrilátero cuyos vértices se encuentran todos en un solo círculo . A este círculo se le llama círculo circunscrito o círculo circunscrito , y se dice que los vértices son concíclicos . El centro del círculo y su radio se llaman circuncentro y circunradio respectivamente. Otros nombres para estos cuadriláteros son cuadrilátero concíclico y cuadrilátero cordal , este último ya que los lados del cuadrilátero son cuerdas del círculo circunstante. Habitualmente se supone que el cuadrilátero es convexo , pero también existen cuadriláteros cíclicos cruzados. Las fórmulas y propiedades que se dan a continuación son válidas en el caso convexo.

La palabra cíclico proviene del griego antiguo κύκλος ( kuklos ), que significa "círculo" o "rueda".

Todos los triángulos tienen un círculo circunstante , pero no todos los cuadriláteros. Un ejemplo de cuadrilátero que no puede ser cíclico es un rombo no cuadrado . Las caracterizaciones de la sección siguiente establecen qué condiciones necesarias y suficientes debe satisfacer un cuadrilátero para tener un círculo circunstante.

Casos especiales

Cualquier cuadrado , rectángulo , trapezoide isósceles o antiparalelogramo es cíclico. Una cometa es cíclica si y sólo si tiene dos ángulos rectos: una cometa recta . Un cuadrilátero bicéntrico es un cuadrilátero cíclico que también es tangencial y un cuadrilátero exbicéntrico es un cuadrilátero cíclico que también es extangencial . Un cuadrilátero armónico es un cuadrilátero cíclico en el que el producto de las longitudes de los lados opuestos es igual.

Caracterizaciones

Un cuadrilátero cíclico ABCD

Circuncentro

Un cuadrilátero convexo es cíclico si y sólo si las cuatro bisectrices perpendiculares a los lados son concurrentes . Este punto común es el circuncentro . [1]

Ángulos suplementarios

Prueba sin palabras usando el teorema de los ángulos inscritos de que los ángulos opuestos de un cuadrilátero cíclico son suplementarios:
2𝜃 + 2𝜙 = 360° ∴ 𝜃 + 𝜙 = 180°

Un cuadrilátero convexo ABCD es cíclico si y sólo si sus ángulos opuestos son suplementarios , es decir [1] [2]

El teorema directo fue la Proposición 22 del Libro 3 de los Elementos de Euclides . [3] De manera equivalente, un cuadrilátero convexo es cíclico si y solo si cada ángulo exterior es igual al ángulo interior opuesto .

En 1836, Duncan Gregory generalizó este resultado de la siguiente manera: Dado cualquier 2 n -gon cíclico convexo, entonces las dos sumas de ángulos alternos internos son iguales a ( n -1) . [4] Este resultado se puede generalizar aún más de la siguiente manera: si A1A2...A2n (n > 1) es cualquier 2 n -gon cíclico en el que el vértice Ai->Ai+k (el vértice Ai está unido a Ai+k ), entonces las dos sumas de los ángulos alternos internos son iguales a m (donde m = nk y k = 1, 2, 3, ... es el giro total). [5]

Tomando la proyección estereográfica (tangente de medio ángulo) de cada ángulo, esta se puede reexpresar,

Lo que implica que [6]

Ángulos entre lados y diagonales.

Un cuadrilátero convexo ABCD es cíclico si y sólo si un ángulo entre un lado y una diagonal es igual al ángulo entre el lado opuesto y la otra diagonal. [7] Es decir, por ejemplo,

puntos pascales

ABCD es un cuadrilátero cíclico. E es el punto de intersección de las diagonales y F es el punto de intersección de las extensiones de los lados BC y AD . es un círculo cuyo diámetro es el segmento, EF . P y Q son puntos Pascal formados por el círculo . Los triángulos FAB y FCD son semejantes.

Otras condiciones necesarias y suficientes para que un cuadrilátero convexo ABCD sea cíclico son: sea E el punto de intersección de las diagonales, sea F el punto de intersección de las extensiones de los lados AD y BC , sea un círculo cuyo diámetro sea el segmento, EF , y sean P y Q puntos Pascal en los lados AB y CD formados por el círculo . (1) ABCD es un cuadrilátero cíclico si y sólo si los puntos P y Q son colineales con el centro O , del círculo . (2) ABCD es un cuadrilátero cíclico si y sólo si los puntos P y Q son los puntos medios de los lados AB y CD . [2]

Intersección de diagonales

Si dos rectas, una que contiene el segmento AC y la otra que contiene el segmento BD , se cruzan en E , entonces los cuatro puntos A , B , C , D son concíclicos si y sólo si [8]

La intersección E puede ser interna o externa al círculo. En el primer caso, el cuadrilátero cíclico es ABCD , y en el segundo caso, el cuadrilátero cíclico es ABDC . Cuando la intersección es interna, la igualdad establece que el producto de las longitudes de los segmentos en que E divide una diagonal es igual a la de la otra diagonal. Esto se conoce como teorema de las cuerdas que se cruzan , ya que las diagonales del cuadrilátero cíclico son cuerdas del círculo circunstante.

teorema de ptolomeo

El teorema de Ptolomeo expresa el producto de las longitudes de las dos diagonales e y f de un cuadrilátero cíclico como igual a la suma de los productos de los lados opuestos: [9] : p.25  [2]

donde a , b , c , d son las longitudes de los lados en orden. Lo contrario también es cierto. Es decir, si esta ecuación se satisface en un cuadrilátero convexo, entonces se forma un cuadrilátero cíclico.

triangulo diagonal

ABCD es un cuadrilátero cíclico. EFG es el triángulo diagonal de ABCD . El punto T de intersección de las bimedianas de ABCD pertenece al círculo de nueve puntos de EFG .

En un cuadrilátero convexo ABCD , sea EFG el triángulo diagonal de ABCD y sea el círculo de nueve puntos de EFG .ABCD es cíclico si y sólo si el punto de intersección de las bimedianas de ABCD pertenece al círculo de nueve puntos . [10] [11] [2]

Área

El área K de un cuadrilátero cíclico con lados a , b , c , d viene dada por la fórmula de Brahmagupta [9] : p.24 

donde s , el semiperímetro , es s =1/2( a + b + c + d ) . Este es un corolario de la fórmula de Bretschneider para el cuadrilátero general, ya que los ángulos opuestos son suplementarios en el caso cíclico. Si además d = 0 , el cuadrilátero cíclico pasa a ser un triángulo y la fórmula se reduce a la fórmula de Herón .

El cuadrilátero cíclico tiene el área máxima entre todos los cuadriláteros que tienen la misma longitud de lado (independientemente de la secuencia). Éste es otro corolario de la fórmula de Bretschneider. También se puede demostrar mediante cálculo . [12]

Cuatro longitudes desiguales, cada una menor que la suma de las otras tres, son los lados de cada uno de tres cuadriláteros cíclicos no congruentes, [13] que, según la fórmula de Brahmagupta, tienen todos la misma área. Específicamente, para los lados a , b , c y d , el lado a podría ser opuesto a cualquiera de los lados b , c o d .

El área de un cuadrilátero cíclico con lados sucesivos a , b , c , d , el ángulo A entre los lados a y d y el ángulo B entre los lados a y b se puede expresar como [9] : p.25 

o

o [9] : p.26 

donde θ es cualquier ángulo entre las diagonales. Siempre que A no sea un ángulo recto, el área también se puede expresar como [9] : p.26 

Otra fórmula es [14] : p.83 

donde R es el radio del círculo circunstante . Como consecuencia directa, [15]

donde hay igualdad si y sólo si el cuadrilátero es un cuadrado.

Diagonales

En un cuadrilátero cíclico con vértices sucesivos A , B , C , D y lados a = AB , b = BC , c = CD y d = DA , las longitudes de las diagonales p = AC y q = BD se pueden expresar en términos de los lados como [9] : p.25,   [16] [17] : p. 84 

y

mostrando así el teorema de Ptolomeo

Según el segundo teorema de Ptolomeo , [9] : p.25,   [16]

usando las mismas notaciones que arriba.

Para la suma de las diagonales tenemos la desigualdad [18] : p.123, #2975 

La igualdad se cumple si y sólo si las diagonales tienen la misma longitud, lo que se puede demostrar utilizando la desigualdad AM-GM .

Además, [18] : p.64, #1639 

En cualquier cuadrilátero convexo, las dos diagonales juntas dividen el cuadrilátero en cuatro triángulos; en un cuadrilátero cíclico, los pares opuestos de estos cuatro triángulos son similares entre sí.

Si ABCD es un cuadrilátero cíclico donde AC se encuentra con BD en E , entonces [19]

Un conjunto de lados que puede formar un cuadrilátero cíclico se puede organizar en cualquiera de tres secuencias distintas, cada una de las cuales puede formar un cuadrilátero cíclico de la misma área en el mismo círculo circunstante (las áreas son las mismas según la fórmula del área de Brahmagupta). Dos de estos cuadriláteros cíclicos cualesquiera tienen una longitud diagonal en común. [17] : pág. 84 

Fórmulas de ángulos

Para un cuadrilátero cíclico con lados sucesivos a , b , c , d , semiperímetro s y ángulo A entre los lados a y d , las funciones trigonométricas de A vienen dadas por [20]

El ángulo θ entre las diagonales de los lados opuestos a y c satisface [9] : p.26 

Si las extensiones de los lados opuestos a y c se cortan en un ángulo φ , entonces

donde s es el semiperímetro . [9] : pág.31 

Denotemos el ángulo entre los lados y , el ángulo entre y y el ángulo entre y , entonces: [21]

Fórmula del circunradio de Parameshvara

Un cuadrilátero cíclico con lados sucesivos a , b , c , d y semiperímetro s tiene el circunradio (el radio del circuncírculo ) dado por [16] [22]

Esto fue obtenido por el matemático indio Vatasseri Parameshvara en el siglo XV. (Tenga en cuenta que el radio es invariante bajo el intercambio de cualquier longitud de lado).

Usando la fórmula de Brahmagupta , la fórmula de Parameshvara se puede reformular como

donde K es el área del cuadrilátero cíclico.

Anticentro y colinealidades.

Cuatro segmentos de recta, cada uno de ellos perpendicular a un lado de un cuadrilátero cíclico y que pasan por el punto medio del lado opuesto , son concurrentes . [23] : p.131,   [24] Estos segmentos de línea se llaman maltitudes , [25] que es una abreviatura de altitud del punto medio. Su punto común se llama anticentro . Tiene la propiedad de ser el reflejo del circuncentro en el "centroide del vértice" . Así, en un cuadrilátero cíclico, el circuncentro, el "centroide del vértice" y el anticentro son colineales . [24]

Si las diagonales de un cuadrilátero cíclico se cruzan en P y los puntos medios de las diagonales son M y N , entonces el anticentro del cuadrilátero es el ortocentro del triángulo MNP .

El anticentro de un cuadrilátero cíclico es el punto de Poncelet de sus vértices.

Otras propiedades

teorema japonés

Cuadriláteros de Brahmagupta

Un cuadrilátero de Brahmagupta [27] es un cuadrilátero cíclico con lados enteros, diagonales enteras y área entera. Todos los cuadriláteros de Brahmagupta con lados a , b , c , d , diagonales e , f , área K y circunradio R se pueden obtener limpiando los denominadores de las siguientes expresiones que involucran parámetros racionales t , u y v :

Caso ortodiagonal

Circunradio y área

Para un cuadrilátero cíclico que también es ortodiagonal (tiene diagonales perpendiculares), supongamos que la intersección de las diagonales divide una diagonal en segmentos de longitudes p 1 y p 2 y divide la otra diagonal en segmentos de longitudes q 1 y q 2 . Entonces [28] (la primera igualdad es la Proposición 11 del Libro de los Lemas de Arquímedes )

donde D es el diámetro del círculo circunstante . Esto se cumple porque las diagonales son cuerdas perpendiculares de un círculo . Estas ecuaciones implican que el circunradio R se puede expresar como

o, en términos de los lados del cuadrilátero, como [23]

También se deduce que [23]

Así, según el teorema del cuadrilátero de Euler , el circunradio se puede expresar en términos de las diagonales p y q , y la distancia x entre los puntos medios de las diagonales como

Una fórmula para el área K de un cuadrilátero ortodiagonal cíclico en términos de los cuatro lados se obtiene directamente al combinar el teorema de Ptolomeo y la fórmula para el área de un cuadrilátero ortodiagonal . El resultado es [29] : p.222 

Otras propiedades

Cuadriláteros esféricos cíclicos

En geometría esférica , un cuadrilátero esférico formado a partir de cuatro círculos mayores que se cruzan es cíclico si y sólo si las sumas de los ángulos opuestos son iguales, es decir, α + γ = β + δ para ángulos consecutivos α, β, γ, δ del cuadrilátero. . [30] Anders Johan Lexell demostró una dirección de este teorema en 1782. [31] Lexell demostró que en un cuadrilátero esférico inscrito en un pequeño círculo de una esfera las sumas de los ángulos opuestos son iguales, y que en el cuadrilátero circunscrito las sumas de los ángulos opuestos son iguales. las sumas de los lados opuestos son iguales. El primero de estos teoremas es el análogo esférico de un teorema plano, y el segundo teorema es su dual, es decir, el resultado del intercambio de grandes círculos y sus polos. [32] Kiper y cols. [33] demostró lo contrario del teorema: si las sumas de los lados opuestos son iguales en un cuadrilátero esférico, entonces existe un círculo inscrito para este cuadrilátero.

Ver también

Referencias

  1. ^ ab Usiskin, Zalman; Grifo, Jennifer; Witonsky, David; Willmore, Edwin (2008), "10. Cuadriláteros cíclicos", La clasificación de los cuadriláteros: un estudio de definición , Investigación en educación matemática, IAP, págs. 63–65, ISBN 978-1-59311-695-8
  2. ^ abcdFraivert , David; Sigler, Avi; Stupel, Moshe (2020), "Propiedades necesarias y suficientes para un cuadrilátero cíclico", Revista Internacional de Educación Matemática en Ciencia y Tecnología , 51 (6): 913–938, doi :10.1080/0020739X.2019.1683772, S2CID  209930435
  3. ^ Joyce, DE (junio de 1997), "Libro 3, Proposición 22", Elementos de Euclides , Universidad de Clark
  4. ^ Gregory, Duncan (1836), "Teorema geométrico", Cambridge Mathematical Journal , 1 : 92.
  5. ^ De Villiers, Michael (1993), "Una generalización unificadora del teorema de Turnbull", Revista Internacional de Educación Matemática en Ciencia y Tecnología , 24 : 191–196, doi :10.1080/0020739930240204.
  6. ^ Hajja, Mowaffaq (2008), "Una condición para que un cuadrilátero circunscriptible sea cíclico" (PDF) , Forum Geométricorum , 8 : 103–6
  7. ^ ab Andreescu, Titu; Enescu, Bogdan (2004), "2.3 cuadriciclos cíclicos", Tesoros de la Olimpíada de Matemáticas, Springer, págs. 44–46, 50, ISBN 978-0-8176-4305-8, SEÑOR  2025063
  8. ^ Bradley, Christopher J. (2007), El álgebra de la geometría: coordenadas cartesianas, regionales y proyectivas , Highperception, p. 179, ISBN 978-1906338008, OCLC  213434422
  9. ^ abcdefghi Durell, CV; Robson, A. (2003) [1930], Trigonometría avanzada, Courier Dover, ISBN 978-0-486-43229-8
  10. ^ Fraivert, David (julio de 2019). "Nuevos puntos que pertenecen al círculo de nueve puntos". La Gaceta Matemática . 103 (557): 222–232. doi :10.1017/mag.2019.53.
  11. ^ Fraivert, David (2018). «Nuevas aplicaciones del método de los números complejos en la geometría de cuadriláteros cíclicos» (PDF) . Revista Internacional de Geometría . 7 (1): 5–16.
  12. ^ Peter, Thomas (septiembre de 2003), "Maximizar el área de un cuadrilátero", The College Mathematics Journal , 34 (4): 315–6, doi :10.2307/3595770, JSTOR  3595770
  13. ^ ab Coxeter, Harold Scott MacDonald; Greitzer, Samuel L. (1967), "3.2 Cuadrángulos cíclicos; fórmula de Brahmagupta", Geometry Revisited , Asociación Matemática de América, págs. 57, 60, ISBN 978-0-88385-619-2
  14. ^ Prasolov, Viktor, Problemas en geometría plana y sólida: v.1 Geometría plana (PDF) , archivado desde el original (PDF) el 21 de septiembre de 2018 , recuperado 6 de noviembre 2011
  15. ^ Alsina, Claudi; Nelsen, Roger (2009), "4.3 Cuadriláteros cíclicos, tangenciales y bicéntricos", Cuando menos es más: visualización de desigualdades básicas, Asociación Matemática de América, pág. 64, ISBN 978-0-88385-342-9
  16. ^ abc Alsina, Claudi; Nelsen, Roger B. (2007), "Sobre las diagonales de un cuadrilátero cíclico" (PDF) , Forum Geometriorum , 7 : 147–9
  17. ^ ab Johnson, Roger A., ​​Geometría euclidiana avanzada , Dover Publ., 2007 (orig. 1929).
  18. ↑ ab Desigualdades propuestas en " Crux Mathematicorum " , 2007, [1].
  19. ^ A. Bogomolny , Una identidad en cuadriláteros (cíclicos), rompecabezas y miscelánea de matemáticas interactivas , [2], consultado el 18 de marzo de 2014.
  20. ^ Siddons, AW; Hughes, RT (1929), Trigonometría , Cambridge University Press, pág. 202, OCLC  429528983
  21. ^ José García, Emmanuel Antonio (2022), "Una generalización de la fórmula de Mollweide (más bien de Newton)" (PDF) , Matinf , 5 (9–10): 19–22 , consultado el 29 de diciembre de 2023
  22. ^ Hoehn, Larry (marzo de 2000), "Circumradio de un cuadrilátero cíclico", Mathematical Gazette , 84 (499): 69–70, doi :10.2307/3621477, JSTOR  3621477
  23. ^ abcdefg Altshiller-Court, Nathan (2007) [1952], Geometría universitaria: una introducción a la geometría moderna del triángulo y el círculo (2ª ed.), Courier Dover, págs. 131, 137–8, ISBN 978-0-486-45805-2, OCLC  78063045
  24. ^ ab Honsberger, Ross (1995), "4.2 cuadriláteros cíclicos", Episodios de la geometría euclidiana de los siglos XIX y XX , New Mathematical Library, vol. 37, Cambridge University Press, págs. 35-39, ISBN 978-0-88385-639-0
  25. ^ Weisstein, Eric W. "Maltitud". MundoMatemático .
  26. ^ Buchholz, RH; MacDougall, JA (1999), "Cuatriláteros de Heron con lados en progresión aritmética o geométrica", Boletín de la Sociedad Matemática Australiana , 59 (2): 263–9, doi : 10.1017/S0004972700032883 , hdl : 1959.13/803798 , MR  1680787
  27. ^ Sastry, KRS (2002). "Cuatriláteros de Brahmagupta" (PDF) . Foro Geométricorum . 2 : 167-173.
  28. ^ Posamentier, Alfred S.; Salkind, Charles T. (1970), "Soluciones: 4-23 Demuestre que la suma de los cuadrados de las medidas de los segmentos formados por dos cuerdas perpendiculares es igual al cuadrado de la medida del diámetro del círculo dado". , Problemas desafiantes en geometría (2ª ed.), Courier Dover, págs. 104–5, ISBN 978-0-486-69154-1
  29. ^ Josefsson, Martin (2016), "Propiedades de los cuadriláteros pitagóricos", The Mathematical Gazette , 100 (julio): 213–224, doi :10.1017/mag.2016.57.
  30. ^ Wimmer, Lienhard (2011). "Polígonos cíclicos en geometría no euclidiana". Elementos de Matemáticas . 66 (2): 74–82. doi : 10.4171/EM/173 .
  31. ^ Lexell, Anders Johan (1786). "De proprietatibus circulorum in superficie sphaerica descriptorum". Acta Academiae Scientiarum Imperialis Petropolitanae . 6 : 1782 (1): 58–103, pestaña de figuras. 3.
  32. ^ Rosenfeld, Licenciatura (1988). Una historia de la geometría no euclidiana - Springer . Estudios de Historia de las Matemáticas y Ciencias Físicas. vol. 12. doi :10.1007/978-1-4419-8680-1. ISBN 978-1-4612-6449-1.
  33. ^ Kiper, Gökhan; Söylemez, Eres (1 de mayo de 2012). "Vínculos homotéticos similares a Jitterbug". Mecanismo y teoría de las máquinas . 51 : 145-158. doi : 10.1016/j.mechmachtheory.2011.11.014.

Otras lecturas

enlaces externos