
En geometría , un cuadrilátero cíclico o inscrito es un cuadrilátero ( polígono de cuatro lados ) cuyos vértices se encuentran todos sobre una misma circunferencia , formando sus lados cuerdas . Esta circunferencia se denomina circunferencia circunscrita o circunscrita , y sus vértices se denominan concíclicos . El centro de la circunferencia y su radio se llaman circuncentro y circunradio , respectivamente. Generalmente, se supone que el cuadrilátero es convexo , pero también existen cuadriláteros cíclicos cruzados . Las fórmulas y propiedades que se presentan a continuación son válidas para el caso convexo.
La palabra cíclico proviene del griego antiguo κύκλος ( kuklos ), que significa "círculo" o "rueda".
Todos los triángulos tienen circunferencia circunscrita , 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 que se presentan a continuación establecen las condiciones necesarias y suficientes que debe cumplir un cuadrilátero para tener circunferencia circunscrita.
Casos especiales
Cualquier cuadrado , rectángulo , trapecio isósceles o antiparalelogramo es cíclico. Un cometa es cíclico si y solo si tiene dos ángulos rectos: un cometa recto . Un cuadrilátero bicéntrico es un cuadrilátero cíclico que también es tangente , y un cuadrilátero exbicéntrico es un cuadrilátero cíclico que también es extangente . 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

Circuncentro
Un cuadrilátero convexo es cíclico si y solo si las cuatro mediatrices de los lados son concurrentes . Este punto común es el circuncentro . [ 1 ]
Ángulos suplementarios

Un cuadrilátero convexo ABCD es cíclico si y solo si sus ángulos opuestos son suplementarios , es decir [ 1 ] [ 2 ]
El teorema directo fue la Proposición 22 en el 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 2n - gono cíclico convexo , entonces las dos sumas de á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 2n - 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 á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 reescribir,
Lo cual implica que [ 6 ]
Ángulos entre lados y diagonales
Un cuadrilátero convexo ABCD es cíclico si y solo si el á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 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 extensiones 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 en los lados AB y CD formados por el círculo ω .
- 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 ω .
- 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, 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 producto de las longitudes de la otra diagonal. Esto se conoce como el teorema de las cuerdas secantes, ya que las diagonales del cuadrilátero cíclico son cuerdas de la circunferencia circunscrita.
El teorema de Ptolomeo
Ptolemy's theorem expresses the product of the lengths of the two diagonals e and f of a cyclic quadrilateral as equal to the sum of the products of opposite sides:[9]:p.25[2] where a, b, c, d are the side lengths in order. The converse is also true. That is, if this equation is satisfied in a convex quadrilateral, then a cyclic quadrilateral is formed.
Diagonal triangle

In a convex quadrilateral ABCD, let △EFG be the diagonal triangle of ABCD and let ω be the nine-point circle of △EFG. ABCD is cyclic if and only if the point of intersection of the bimedians of ABCD belongs to the nine-point circle ω.[10][11][2]
Area
The areaK of a cyclic quadrilateral with sides a, b, c, d is given by Brahmagupta's formula[9]:p.24
where is the semiperimeter. This is a corollary of Bretschneider's formula for the general quadrilateral, since opposite angles are supplementary in the cyclic case. If also d = 0, the cyclic quadrilateral becomes a triangle and the formula is reduced to Heron's formula.
The cyclic quadrilateral has maximal area among all quadrilaterals having the same side lengths (regardless of sequence). This is another corollary to Bretschneider's formula. It can also be proved using calculus.[12]
Cuatro longitudes desiguales, cada una menor que la suma de las otras tres, son los lados de cada uno de los tres cuadriláteros cíclicos no congruentes, [ 13 ] que por 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 , á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ág. 26
donde θ es cualquiera de los ángulos 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 de la circunferencia circunscrita . Como consecuencia directa, [ 15 ]
donde hay igualdad si y solo 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
así demostrando el teorema de Ptolomeo
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 solo si las diagonales tienen la misma longitud, lo cual se puede demostrar utilizando la desigualdad AM-GM .
Además, [ 18 ] : pág. 64, n.° 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 semejantes 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 la misma circunferencia circunscrita (las áreas son iguales según la fórmula de área de Brahmagupta). Cualquier par 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 vienen dadas por [ 20 ].
El ángulo θ entre las diagonales opuestas a y c satisface [ 9 ] : p.26
Si las prolongaciones de lados opuestos a y c se intersecan en un ángulo φ , entonces
donde s es el semiperímetro . [ 9 ] : p.31
Una generalización de la fórmula de Mollweide a cuadriláteros cíclicos viene dada por las siguientes dos identidades. Sea B el ángulo entre los lados a y b , C el ángulo entre b y c , y D el ángulo entre c y d . Si E es el punto de intersección de las diagonales, denotemos ∠ CED = θ , entonces: [ 21 ]
Además, una generalización de la ley de las tangentes para cuadriláteros cíclicos es: [ 22 ]
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 de la circunferencia circunscrita dado por [ 16 ] [ 23 ].
Esta fórmula fue deducida por el matemático indio Vatasseri Parameshvara en el siglo XV. (Cabe destacar que el radio permanece invariable independientemente de la longitud de los lados).
Utilizando 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 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 . [ 24 ] : p.131, [ 25 ] Estos segmentos de línea se llaman maltitudes , [ 26 ] 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 . [ 25 ]
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₁ , M₂ , M₃ , M₄ (véase 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 esos mismos cuatro triángulos son los vértices de un cuadrilátero congruente con ABCD , y los centroides de esos cuatro triángulos son los vértices de otro cuadrilátero cíclico. [ 7 ]
- En un cuadrilátero cíclico ABCD con circuncentro O , sea P el punto de intersección de las diagonales AC y BD . Entonces, el ángulo ∠APB es la media aritmética de los ángulos ∠AOB y ∠COD . Esto es 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 en progresión aritmética o geométrica . [ 27 ]
- Si un cuadrilátero cíclico tiene longitudes de lados que forman una progresión aritmética, el cuadrilátero también es ex-bicéntrico .
- Si los lados opuestos de un cuadrilátero cíclico se extienden hasta 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 [ 28 ] es un cuadrilátero cíclico con lados, diagonales y área de longitud entera. Es un cuadrilátero de Brahmagupta primitivo si ningún cuadrilátero geométricamente similar más pequeño tiene todos estos valores como enteros. En este artículo, los cuadriláteros cuyas longitudes de lados, diagonales y áreas son números racionales se denominan cuadriláteros de Brahmagupta racionales . Todo cuadrilátero de Brahmagupta primitivo es un cuadrilátero de Brahmagupta racional. A la inversa, todo cuadrilátero de Brahmagupta racional es geométricamente similar a un único cuadrilátero de Brahmagupta primitivo.
Todos los cuadriláteros primitivos de Brahmagupta se pueden obtener a partir de las siguientes expresiones que involucran parámetros racionales t , u y v . Las longitudes de los lados calculadas a , b , c , d , las diagonales e , f , el área K y el radio de la circunferencia circunscrita R serán números racionales. Estos se pueden escalar para producir un único cuadrilátero primitivo de Brahmagupta; tenga en cuenta que K es un área y se escalará por el cuadrado del valor que multiplica las otras cantidades. El cuadrilátero de Brahmagupta no se autointersectará y no será degenerado si min( u , v ) > t > 0 .
Consulte Puntos concíclicos § Área entera y longitudes de lado para una parametrización diferente de todos los cuadriláteros primitivos de Brahmagupta no degenerados, que depende de números racionales, 0 < c 1 < c 2 < c 3 .
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 [ 29 ] (la primera igualdad es la Proposición 11 en el Libro de Lemas de Arquímedes )
donde D es el diámetro de la circunferencia circunscrita . Esto se cumple porque las diagonales son cuerdas perpendiculares de un círculo . Estas ecuaciones implican que el radio de la circunferencia circunscrita R puede expresarse como
o, en términos de los lados del cuadrilátero, como [ 24 ]
También se deduce que [ 24 ]
Así, según el teorema del cuadrilátero de Euler , el radio de la circunferencia circunscrita 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 sus 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 [ 30 ] : pág. 222
Otras propiedades
- En un cuadrilátero ortodiagonal cíclico, el anticentro coincide con el punto donde se intersecan las diagonales. [ 24 ]
- El teorema de Brahmagupta establece que para un cuadrilátero cíclico que también es ortodiagonal , la perpendicular desde cualquier lado que pasa por el punto de intersección de las diagonales biseca el lado opuesto. [ 24 ]
- Si un cuadrilátero cíclico es también ortodiagonal, la distancia desde el circuncentro a cualquier lado es igual a la mitad de la longitud del lado opuesto. [ 24 ]
- 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. [ 24 ]
Cuadriláteros esféricos cíclicos
En geometría esférica , un cuadrilátero esférico formado por cuatro círculos mayores que se intersecan es cíclico si y solo si las sumas de los ángulos opuestos son iguales, es decir, α + γ = β + δ para ángulos consecutivos α, β, γ, δ del cuadrilátero. [ 31 ] Una dirección de este teorema fue demostrada por Anders Johan Lexell en 1782. [ 32 ] Lexell demostró que en un cuadrilátero esférico inscrito en un círculo menor 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 círculos mayores y sus polos. [ 33 ] Kiper et al. [ 34 ] demostraron 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 inscrito para este cuadrilátero.
Véase también
Referencias
- 1 2 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, pp. 63–65 , ISBN 978-1-59311-695-8
- 1 2 3 4 Fraivert, David; Sigler, Avi; Stupel, Moshe (2020), "Propiedades necesarias y suficientes para un cuadrilátero cíclico", International Journal of Mathematical Education in Science and Technology , 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
- ↑ Gregory, Duncan (1836), "Teorema geométrico", Cambridge Mathematical Journal , 1 : 92.
- ↑ De Villiers, Michael (1993), "Una generalización unificadora del teorema de Turnbull", International Journal of Mathematical Education in Science and Technology , 24 (2): 191– 196, doi : 10.1080/0020739930240204.
- ↑ Hajja, Mowaffaq (2008), "Una condición para que un cuadrilátero circunscrito sea cíclico" (PDF) , Forum Geometricorum , 8 : 103–6 , archivado del original (PDF) el 26 de noviembre de 2019 , recuperado el 16 de agosto de 2011.
- ^ 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, MR 2025063
- ↑ Bradley, Christopher J. (2007), El álgebra de la geometría: coordenadas cartesianas, areales y proyectivas , Highperception, pág. 179, ISBN 978-1906338008, OCLC 213434422
- 1 2 3 4 5 6 7 8 9 Durell, CV; Robson, A. (2003) [1930], Trigonometría avanzada , Courier Dover, ISBN 978-0-486-43229-8
- ↑ 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), "Maximización del área de un cuadrilátero", The College Mathematics Journal , 34 (4): 315–6 , doi : 10.2307/3595770 , JSTOR 3595770
- 1 2 Coxeter, Harold Scott MacDonald ; Greitzer, Samuel L. (1967), "3.2 Cuadrángulos cíclicos; fórmula de Brahmagupta" , Geometry Revisited , Mathematical Association of America, pp. 57, 60, ISBN 978-0-88385-619-2
- ↑ Prasolov, Viktor, Problemas de geometría plana y sólida: vol. 1 Geometría plana (PDF) , archivado del 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" , When Less is More: Visualizing Basic Inequalities , Mathematical Association of America, pág. 64, ISBN 978-0-88385-342-9
- 1 2 3 Alsina, Claudi; Nelsen, Roger B. (2007), " Sobre las diagonales de un cuadrilátero cíclico" (PDF) , Forum Geometricorum , 7 : 147–9
- 1 2 Johnson, Roger A., Geometría euclidiana avanzada , Dover Publ., 2007 (original de 1929).
- 1 2 Desigualdades propuestas en " Crux Mathematicorum " , 2007, .
- ↑ A. Bogomolny , Una identidad en cuadriláteros (cíclicos), Miscelánea y rompecabezas interactivos de matemáticas , Consultado el 18 de marzo de 2014.
- ↑ Siddons, AW; Hughes, RT (1929), Trigonometría , Cambridge University Press, pág. 202, OCLC 429528983
- ↑ 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 .
- ↑ José García, Emmanuel Antonio (2024). "Una generalización de la ley de las tangentes". Mathematics Magazine . 97 (3): 274– 275. doi : 10.1080/0025570X.2024.2336633 .
- ↑ Hoehn, Larry (marzo de 2000), "Circumradius of a cyclic quadrilateral", Mathematical Gazette , 84 (499): 69–70 , doi : 10.2307/3621477 , JSTOR 3621477
- 1 2 3 4 5 6 7 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
- 1 2 Honsberger, Ross (1995), "4.2 Cuadriláteros cíclicos" , Episodes in Nineteenth and Twentieth Century Euclidean Geometry , New Mathematical Library, vol. 37, Cambridge University Press, pp. 35–39 , ISBN 978-0-88385-639-0
- ^ Weisstein, Eric W. "Maltitud" . MundoMatemático .
- ↑ Buchholz, RH; MacDougall, JA (1999), "Cuadrileros de Herón 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). "Cuadriles de Brahmagupta" (PDF) . Forum Geometricorum . 2 : 167–173 . Archivado del original (PDF) el 22 de abril de 2018. Recuperado el 25 de abril de 2012 .
- ↑ 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-105 , ISBN 978-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). A History of Non-Euclidean Geometry - Springer . Studies in the History of Mathematics and Physical Sciences. Vol. 12. doi : 10.1007/978-1-4419-8680-1 . ISBN 978-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 . hdl : 11511/40967 .
Lecturas adicionales
- 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
- Incentros en cuadrilátero cíclico en el nudo de corte
- Cuatro líneas concurrentes en un cuadrilátero cíclico en el punto de corte.
- Weisstein, Eric W. "Cuadrilátero cíclico" . MathWorld .
- Tipos de cuadriláteros