Cuadrilátero cuyos vértices pueden caer todos en un solo círculo
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 . Este círculo se llama círculo circunscrito o 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 porque los lados del cuadrilátero son cuerdas del círculo circunscrito. Por lo general, se supone que el cuadrilátero es convexo , pero también hay 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 una circunferencia circunscrita , pero no todos los cuadriláteros la tienen. Un ejemplo de cuadrilátero que no puede ser cíclico es un rombo no cuadrado . La sección de caracterizaciones que se encuentra a continuación establece qué condiciones necesarias y suficientes debe satisfacer un cuadrilátero para tener una circunferencia circunscrita.
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 -gono cíclico convexo , entonces las dos sumas de los ángulos alternos internos son cada una igual 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 -gono 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 cada una igual a m (donde m = n — k y k = 1, 2, 3, ... es el giro total). [5]
Tomando la proyección estereográfica (tangente de medio ángulo) de cada ángulo, esto se puede reexpresar,
Lo que implica que [6]
Ángulos entre lados y diagonales
Un cuadrilátero convexo ABCD es cíclico si y solo 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 de Pascal
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 prolongaciones de los lados AD y BC , sea un círculo cuyo diámetro es el segmento, EF , y sean P y Q puntos de Pascal sobre los lados AB y CD formados por el círculo . (1) ABCD es un cuadrilátero cíclico si y solo 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 solo si los puntos P y Q son los puntos medios de los lados AB y CD . [2]
Intersección de diagonales
Si dos líneas, una que contiene el segmento AC y la otra que contiene el segmento BD , se intersecan en E , entonces los cuatro puntos A , B , C , D son concíclicos si y solo 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 los que E divide una diagonal es igual al de la otra diagonal. Esto se conoce como el teorema de las cuerdas que se intersecan, ya que las diagonales del cuadrilátero cíclico son cuerdas del círculo circunscrito.
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. La inversa también es cierta. Es decir, si se cumple esta ecuación en un cuadrilátero convexo, se forma un cuadrilátero cíclico.
Triángulo diagonal
En un cuadrilátero convexo ABCD , sea EFG el triángulo diagonal de ABCD y sea EFG el círculo de nueve puntos de EFG . ABCD es cíclico si y solo si el punto de intersección de las bimedianas de ABCD pertenece al círculo de nueve puntos . [10] [11] [2]
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 se convierte en un triángulo y la fórmula se reduce a la fórmula de Heron .
El cuadrilátero cíclico tiene el área máxima entre todos los cuadriláteros que tienen las mismas longitudes de lado (independientemente de la secuencia). Este 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. En concreto, 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 , ángulo A entre los lados a y d , y ángulo B entre los lados a y b se puede expresar como [9] : p.25
o
o [9] : p.26
donde θ es el ángulo entre las diagonales. Si A no es un ángulo recto, el área también se puede expresar como [9] : p.26
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
Según el segundo teorema de Ptolomeo , [9] : p.25, [16]
utilizando 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 puede demostrarse 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 pueden formar un cuadrilátero cíclico puede disponerse 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 circunscrito (las áreas son las mismas según la fórmula del área de Brahmagupta). Dos de estos cuadriláteros cíclicos tienen una longitud diagonal en común. [17] : p. 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 están dadas por [20]
El ángulo θ entre las diagonales opuestas a los lados a y c satisface [9] : p.26
Si las extensiones de los lados opuestos a y c se intersecan en un ángulo φ , entonces
Sea el ángulo entre los lados y , el ángulo entre y , y el ángulo entre y , entonces: [21]
Fórmula del radio circunscrito de Parameshvara
Un cuadrilátero cíclico con lados sucesivos a , b , c , d y semiperímetro s tiene el radio circunscrito (el radio del círculo circunscrito ) dado por [16] [22]
El matemático indio Vatasseri Parameshvara dedujo este resultado en el siglo XV. (Tenga en cuenta que el radio es invariable ante el intercambio de las longitudes de los lados).
Cuatro segmentos de línea, cada uno perpendicular a un lado de un cuadrilátero cíclico y que pasa por el punto medio del lado opuesto , son concurrentes . [23] : p.131, [24] Estos segmentos de línea se denominan máltitudes , [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" . Por lo tanto, 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 intersecan 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 Poncelet de sus vértices.
Otras propiedades
En un cuadrilátero cíclico ABCD , los incentros M 1 , M 2 , M 3 , M 4 (ver la figura de la derecha) en los triángulos DAB , ABC , BCD y CDA son los vértices de un rectángulo . Este es uno de los teoremas conocidos como el teorema japonés . Los ortocentros de los mismos cuatro triángulos son los vértices de un cuadrilátero congruente con ABCD , y los centroides en esos cuatro triángulos son vértices de otro cuadrilátero cíclico. [7]
En un cuadrilátero cíclico ABCD con circuncentro O , sea P el punto en el que se cortan las diagonales AC y BD . Entonces el ángulo APB es la media aritmética de los ángulos AOB y COD . Esto es una consecuencia directa del teorema del ángulo inscrito y del teorema del ángulo exterior .
No existen cuadriláteros cíclicos con área racional y con lados racionales desiguales ni en progresión aritmética ni en progresión geométrica . [26]
Si los lados opuestos de un cuadrilátero cíclico se extienden para encontrarse en E y F , entonces las bisectrices internas de los ángulos en E y F son perpendiculares. [13]
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 radio circunscrito R se pueden obtener despejando los denominadores de las siguientes expresiones que involucran los 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 )
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 puede expresarse en términos de las diagonales p y q , y la distancia x entre los puntos medios de las diagonales como
La fórmula para el área K de un cuadrilátero ortodiagonal cíclico en función de los cuatro lados se obtiene directamente combinando el teorema de Ptolomeo y la fórmula para el área de un cuadrilátero ortodiagonal . El resultado es [29] : p.222
Otras propiedades
En un cuadrilátero ortodiagonal cíclico, el anticentro coincide con el punto donde se intersecan las diagonales. [23]
El teorema de Brahmagupta establece que para un cuadrilátero cíclico que también es ortodiagonal , la perpendicular desde cualquier lado a través del punto de intersección de las diagonales biseca el lado opuesto. [23]
Si un cuadrilátero cíclico también es ortodiagonal, la distancia desde el circuncentro a cualquier lado es igual a la mitad de la longitud del lado opuesto. [23]
En un cuadrilátero ortodiagonal cíclico, la distancia entre los puntos medios de las diagonales es igual a la distancia entre el circuncentro y el punto donde se intersecan las diagonales. [23]
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 cortan es cíclico si y solo si las sumas de los ángulos opuestos son iguales, es decir, α + γ = β + δ para ángulos consecutivos α, β, γ, δ del cuadrilátero. [30] Una dirección de este teorema fue demostrada por Anders Johan Lexell 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 lados opuestos son iguales. El primero de estos teoremas es el análogo esférico de un teorema del plano, y el segundo teorema es su dual, es decir, el resultado de intercambiar los círculos mayores y sus polos. [32] Kiper et al. [33] demostró un recíproco del teorema: si las sumas de los lados opuestos son iguales en un cuadrilátero esférico, entonces existe un círculo inscripto para este cuadrilátero.
^ ab Usiskin, Zalman; Griffin, 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
^ abcd Fraivert, 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
^ Joyce, DE (junio de 1997), "Libro 3, Proposición 22", Elementos de Euclides , Universidad Clark
^ 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.
^ Hajja, Mowaffaq (2008), "Una condición para que un cuadrilátero circunscriptible sea cíclico" (PDF) , Forum Geometricorum , 8 : 103–6
^ 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, ISBN978-0-8176-4305-8, Sr. 2025063
^ Bradley, Christopher J. (2007), El álgebra de la geometría: coordenadas cartesianas, areales y proyectivas , Highperception, pág. 179, ISBN978-1906338008, OCLC 213434422
^ Fraivert, David (julio de 2019). «Nuevos puntos que pertenecen al círculo de nueve puntos». The Mathematical Gazette . 103 (557): 222–232. doi :10.1017/mag.2019.53.
^ Fraivert, David (2018). "Nuevas aplicaciones del método de números complejos en la geometría de cuadriláteros cíclicos" (PDF) . Revista Internacional de Geometría . 7 (1): 5–16.
^ 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
^ 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, ISBN978-0-88385-619-2
^ 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 , consultado el 6 de noviembre de 2011
^ 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, ISBN978-0-88385-342-9
^ abc Alsina, Claudi; Nelsen, Roger B. (2007), "Sobre las diagonales de un cuadrilátero cíclico" (PDF) , Forum Geometricorum , 7 : 147–9
^ ab Johnson, Roger A., Geometría euclidiana avanzada , Dover Publ., 2007 (orig. 1929).
↑ José García, Emmanuel Antonio (2022), «Una generalización de la fórmula de Mollweide (más bien de la de Newton)» (PDF) , Matinf , 5 (9–10): 19–22 , consultado el 29 de diciembre de 2023
^ Hoehn, Larry (marzo de 2000), "Circurradio de un cuadrilátero cíclico", Mathematical Gazette , 84 (499): 69–70, doi :10.2307/3621477, JSTOR 3621477
^ abcdefg Altshiller-Court, Nathan (2007) [1952], Geometría universitaria: Introducción a la geometría moderna del triángulo y el círculo (2.ª ed.), Courier Dover, págs. 131, 137–8, ISBN978-0-486-45805-2, OCLC 78063045
^ ab Honsberger, Ross (1995), "4.2 Cuadriláteros cíclicos", Episodios en la geometría euclidiana de los siglos XIX y XX , New Mathematical Library, vol. 37, Cambridge University Press, págs. 35–39, ISBN978-0-88385-639-0
^ Buchholz, RH; MacDougall, JA (1999), "Cuadriláteros de garza 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
^ Sastry, KRS (2002). "Cuadriláteros de Brahmagupta" (PDF) . Forum Geometricorum . 2 : 167–173.
^ 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.", Challenging Problems in Geometry (2.ª ed.), Courier Dover, págs. 104-5, ISBN978-0-486-69154-1
^ Josefsson, Martin (2016), "Propiedades de los cuadriláteros pitagóricos", The Mathematical Gazette , 100 (julio): 213–224, doi :10.1017/mag.2016.57.
^ 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 .
^ 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.
^ Rosenfeld, BA (1988). Una historia de la geometría no euclidiana - Springer . Estudios de historia de las matemáticas y las ciencias físicas. Vol. 12. doi :10.1007/978-1-4419-8680-1. ISBN978-1-4612-6449-1.
^ Kiper, Gökhan; Söylemez, Eres (1 de mayo de 2012). "Enlaces homotéticos tipo Jitterbug". Mecanismo y teoría de máquinas . 51 : 145–158. doi :10.1016/j.mechmachtheory.2011.11.014.
Lectura adicional
D. Fraivert: Cuadriláteros de puntos de Pascal inscritos en un cuadrilátero cíclico
Enlaces externos
Derivación de la fórmula para el área de un cuadrilátero cíclico