Cuadrilátero bicéntrico

tipo de cuadrilátero simultáneamente inscrito y circunscrito

En geometría euclídea, un cuadrilátero bicéntrico es un cuadrilátero convexo que posee una circunferencia inscrita (incírculo) y una circunferencia circunscrita (cincuncírculo). Los radios y el centro de estos círculos se denominan inradio y circunradio, e incentro y circuncentro respectivamente.

Porismo de Poncelet mostrado en los cuadriláteros bicéntricos ABCD y EFGH

De la definición se deduce que los cuadriláteros bicéntricos tienen todas las propiedades de los cuadriláteros circunscritos y de los cuadriláteros cíclicos. Otros nombres para estos cuadriláteros son cuadrilátero de cuerdas tangentes[1]​ y cuadrilátero inscrito y circunscrito. Rara vez se denomina cuadrilátero de doble círculo[2]​ o cuadrilátero de doble trazo.[3]

Si dos círculos, uno dentro del otro, son el incírculo y el circuncírculo de un cuadrilátero bicéntrico, entonces cada punto del círculo es el vértice de un nuevo cuadrilátero bicéntrico que tiene el mismo incírculo y el mismo circuncírculo.[4]​ Esto es un corolario del porismo de Poncelet, demostrado por el matemático francés Jean-Victor Poncelet (1788-1867).

Casos especiales

editar
 
Un deltoide ortogonal

Ejemplos de cuadriláteros bicéntricos son el cuadrado, el deltoide recto y trapecio tangencial isósceles.

Caracterizaciones

editar
 
Un cuadrilátero bicéntrico ABCD y su cuadrilátero de contacto WXYZ

Un cuadrilátero convexo ABCD con lados a, b, c, y d es bicéntrico si y solo si sus lados opuestos satisfacen el teorema de Pitot para cuadriláteros tangenciales, y además posee la propiedad de los cuadriláteros cíclicos de que los ángulos opuestos son suplementarios; es decir,

 

Otras tres caracterizaciones se refieren a los puntos donde el incírculo de un cuadrilátero circunscrito es tangente a los lados. Si el círculo es tangente a los lados AB, BC, CD, DA en W, X, Y, Z respectivamente, entonces un cuadrilátero tangencial ABCD también es cíclico si y solo si se cumple alguna de las siguientes tres condiciones:[5]

  • WY es perpendicular a XZ
  •  
  •  

La primera de estas tres condiciones implica que el cuadrilátero de contacto WXYZ es un cuadrilátero ortodiagonal.

Si E, F, G, y H son los puntos medios de WX, XY, YZ, y ZW respectivamente, entonces el cuadrilátero tangencial ABCD también es cíclico si y solo si el cuadrilátero EFGH es un rectángulo.[5]

Según otra caracterización, si I es el incentro de un cuadrilátero circunscrito donde las extensiones de los lados opuestos se cruzan en J y K, entonces el cuadrilátero también es cíclico si y solo si JIK es un ángulo recto.[5]

Otra condición necesaria y suficiente es que un cuadrilátero tangencial ABCD es cíclico si y solo si su línea de Newton es perpendicular a la línea de Newton de su cuadrilátero de contacto WXYZ (la línea de Newton de un cuadrilátero es la recta definida por los puntos medios de sus diagonales).[5]

Construcción

editar
 
Un cuadrilátero bicéntrico ABCD con el cuadrilátero de los contactos WXYZ. Animación en [10]

Existe un método simple para construir un cuadrilátero bicéntrico:

Se comienza con el incírculo Cr alrededor del centro I con el radio r y luego se trazan dos cuerdas perpendiculares entre sí WY y XZ en el incírculo Cr. En los puntos finales de las cuerdas, dibújense las tangentes a, b, c y d al círculo. Estas tangentes se cruzan en cuatro puntos A, B, C y D, que son los vértices de un cuadrilátero bicéntrico.[6]​ Para dibujar el circuncírculo, trazar dos mediatrices p1 y p2 en los lados del cuadrilátero bicéntrico a y b respectivamente, que se cruzan en el centro O del cincuncírculo CR con la distancia x al centro I del incírculo Cr. La circunferencia circunscrita se puede dibujar alrededor del centro O.

La validez de esta construcción se debe a la caracterización de que, en un cuadrilátero circunscrito ABCD, el cuadrilátero de contacto WXYZ tiene diagonales perpendiculares si y solo si el cuadrilátero tangencial también es cíclico.

Fórmulas en función de cuatro medidas

editar

El área K de un cuadrilátero bicéntrico se puede expresar en términos de cuatro medidas del cuadrilátero de varias maneras diferentes. Si las longitudes de los lados son a, b, c, y d, entonces el área viene dada por[7][8][9][10][11]

 

Este es un caso especial de la fórmula de Brahmagupta.

También se puede deducir directamente de la fórmula trigonométrica para el área de un cuadrilátero tangencial. Téngase en cuenta que lo contrario no se cumple: algunos cuadriláteros que no son bicéntricos también tienen área  [12]​ Un ejemplo de dicho cuadrilátero es un rectángulo que no sea un cuadrado.

El área también se puede expresar en términos de longitudes de las tangentes e, f, g, y h como[8]: p.128 

 

Una fórmula para el área del cuadrilátero bicéntrico ABCD con el incentro I es[9]

 

Si un cuadrilátero bicéntrico tiene cuerdas tangentes k, l y diagonales p, q, entonces tiene área[8]: p.129 

 

Si k, l son las cuerdas tangentes y m, n son las bimedianas del cuadrilátero, entonces el área puede calcularse usando la fórmula[9]

 

Esta fórmula no se puede usar si el cuadrilátero es un deltoide recto, ya que el denominador es cero en ese caso.

Si M y N son los puntos medios de las diagonales, y E y F son los puntos de intersección de las extensiones de lados opuestos, entonces el área de un cuadrilátero bicéntrico es dada por

 

donde I es el centro del círculo.[9]

Fórmulas en términos de tres cantidades

editar

El área de un cuadrilátero bicéntrico se puede expresar en términos de dos lados opuestos y el ángulo θ entre las diagonales según[9]

 

En términos de dos ángulos adyacentes y el radio r del círculo, el área está dada por[9]

 

El área se da en términos del circunradio R y del inradio r como

 

donde θ es un ángulo cualquiera entre las diagonales.[13]

Si M y N son los puntos medios de las diagonales, y E y F son los puntos de intersección de las extensiones de lados opuestos, entonces el área también se puede expresar como

 

donde Q es el pie de la perpendicular a la línea EF a través del centro del círculo.[9]

Desigualdades

editar

Si r y R son el inradio y el circunradio respectivamente, entonces el área K satisface las inecuaciones[14]

 

Hay igualdad en ambos lados solo si el cuadrilátero es un cuadrado.

Otra desigualdad para el área es[15]: p.39, #1203 

 

donde r y R son el inrado y el circumradio respectivamente.

Una desigualdad similar que da un límite superior más nítido para el área que la anterior es[13]

 

siendo uns igualdad si y solo si el cuadrilátero es un deltoide recto.

Además, con los lados a, b, c, d y el semiperímetro s:

 [15]: p.39, #1203 
 [15]: p.39, #1203 
 [15]: p.39, #1203 

Fórmulas angulares

editar

Si a, b, c, y d son las longitudes de los lados AB, BC, CD, y DA respectivamente en un cuadrilátero bicéntrico ABCD, entonces sus ángulos de vértice se pueden calcular con la función tangente:[9]

 
 

Usando la misma notación, para las funciones seno y coseno se cumplen las siguientes fórmulas:[16]

 
 
 
 

El ángulo θ entre las diagonales se puede calcular a partir de[10]

 

Inradio y circunradio

editar

La circunferencia inscrita de radio r de un cuadrilátero bicéntrico está determinada por los lados a, b, c, y d, de acuerdo con[7]

 

La circunferencia circunscrita de radio R se da como un caso especial de la fórmula de Paramésuara. Es[7]

 

El inradio también se puede expresar en términos de las longitudes de las tangentes e, f, g, y h consecutivas de acuerdo con[17]: p. 41 

 

Estas dos fórmulas son, de hecho, condición necesaria y suficiente para que un cuadrilátero circunscrito con inradio r sea cíclico.

Los cuatro lados a, b, c, y d de un cuadrilátero bicéntrico son las cuatro soluciones de la ecuación cuártica

 

donde s es el semiperímetro, y r y R son el inradio y el circunradio respectivamente.[18]: p. 754 

Si existe un cuadrilátero bicéntrico con inradio r cuyos lados tangentes son e, f, g, h, entonces existe un cuadrilátero bicéntrico con inradio rv cuyas longitudes tangentes son ev, fv, gv, hv, donde v puede ser cualquier número real.[19]: pp.9–10 

Un cuadrilátero bicéntrico tiene un radio mayor que cualquier otro cuadrilátero tangencial que tenga la misma secuencia de longitudes laterales.[20]: pp.392–393 

Desigualdades

editar

El circunradio R y el inradio r satisfacen la desigualdad

 

lo que fue demostrado por L. Fejes Tóth en 1948.[19]​ Se mantiene la igualdad solo cuando los dos círculos son concéntricos (comparten el mismo centro); entonces el cuadrilátero es un cuadrado. La desigualdad se puede probar de varias maneras diferentes, una de ellas es usando la doble desigualdad para el área anteriormente expuesta.

Una extensión de la desigualdad anterior es[2][21]: p. 141 

 

donde hay igualdad en ambos lados si y solo si el cuadrilátero es un cuadrado.[16]: p. 81 

El semiperímetro s de un cuadrilátero bicéntrico satisface que[19]: p.13 

 

donde r y R son el inradio y el circunradio respectivamente.

Por otra parte,[15]: p.39, #1203 

 

y

 [15]: p.62, #1599 

Distancia entre el incentro y el circuncentro

editar
 
A bicentric quadrilateral ABCD with incenter I and circumcenter O

Teorema de Fuss

editar

El teorema de Fuss da una relación entre la circunferencia inscrita de radio r, la circunferencia circunscrita de radio R y la distancia x entre el incentro I y el circuncentro O, para cualquier cuadrilátero bicéntrico. La relación es[1][11][22]

 

o de forma equivalente

 

Esta forma fue deducida por Nicolas Fuss (1755–1826) en 1792. Resolviendo las ecuaciones, se obtiene x

 

El teorema de Fuss, que es el análogo de teorema de Euler para los triángulos aplicado a los cuadriláteros bicéntricos, dice que si un cuadrilátero es bicéntrico, sus dos círculos asociados están relacionados de acuerdo con las ecuaciones anteriores. De hecho, lo contrario también es válido: dado dos círculos (uno dentro del otro) con radios R y r y distancia x entre sus centros que satisfacen la condición expresada en el teorema de Fuss, existe un cuadrilátero convexo inscrito en uno de ellos y tangente al otro[23]​ (y por lo tanto, según el gran teorema de Poncelet, existen infinitos de ellos).

Aplicando   a la expresión del teorema de Fuss para x en términos de r y R es otra forma de obtener la desigualdad mencionada anteriormente   Una generalización es[19]: p.5 

 

La identidad de Carlitz

editar

Otra fórmula para la distancia x entre los centros de la circunferencia inscrita y la circunferencia circunscrita se debe al matemático estadounidense Leonard Carlitz (1907-1999). Establece que[24]

 

donde r y R son el inradio y el circunradio respectivamente, y

 

donde a, b, c, y d son los lados del cuadrilátero bicéntrico.

Desigualdades para las longitudes y lados tangentes

editar

Para las longitudes de los lados tangentes e, f, g, y h se mantienen las siguientes desigualdades:[19]: p.3 

 

y

 

donde r es el inradio, R es el circunradio y x es la distancia entre el incentro y el circuncentro. Los lados a, b, c, y d satisfacen las desigualdades[19]: p.5 

 

y

 

Otras propiedades del incentro

editar

El circuncentro, el incentro y la intersección de las diagonales en un cuadrilátero bicéntrico son colineales.[25]

Existe la siguiente igualdad que relaciona las cuatro distancias entre el incentro I y los vértices de un cuadrilátero bicéntrico ABCD:[26]

 

donde r es el inradio.

Si P es la intersección de las diagonales en un cuadrilátero bicéntrico ABCD con el incentro I, entonces[27]

 

Una desigualdad con respecto al inradio r y al circunradio R en un cuadrilátero bicéntrico ABCD es[28]

 

donde I es el incentro.

Propiedades de las diagonales

editar

Las longitudes de las diagonales en un cuadrilátero bicéntrico se pueden expresar en términos de las longitudes de los lados o de los lados tangentes, que son fórmulas que se mantienen en un cuadrilátero cíclico y en un cuadrilátero circunscrito respectivamente.

En un cuadrilátero bicéntrico con diagonales p y q, se mantiene la siguiente identidad:[11]

 

donde r y R son el inradio y el circunradio respectivamente. Esta igualdad puede reescribirse como[13]

 

o, resolviéndolo como un ecuación de segundo grado para el producto de las diagonales, en la forma

 

Una desigualdad para el producto de las diagonales p y q en un cuadrilátero bicéntrico es[14]

 

donde a, b, c, y d son los lados. Esta relación fue probada por Murray S. Klamkin en 1967.

Véase también

editar

Referencias

editar
  1. a b Dörrie, Heinrich (1965). 100 Great Problems of Elementary Mathematics: Their History and Solutions. New York: Dover. pp. 188–193. ISBN 978-0-486-61348-2. 
  2. a b Yun, Zhang, "Euler's Inequality Revisited", Mathematical Spectrum, Volume 40, Number 3 (May 2008), pp. 119-121. First page available at [1] Archivado el 4 de marzo de 2016 en Wayback Machine..
  3. Leng, Gangsong (2016). Geometric Inequalities: In Mathematical Olympiad and Competitions. Shanghai: East China Normal University Press. p. 22. ISBN 978-981-4704-13-7. 
  4. Weisstein, Eric W. "Poncelet Transverse." From MathWorld – A Wolfram Web Resource, [2]
  5. a b c d Josefsson, Martin (2010), «Characterizations of Bicentric Quadrilaterals», Forum Geometricorum 10: 165-173 ..
  6. Alsina, Claudi; Nelsen, Roger (2011). Icons of Mathematics. An exploration of twenty key images. Mathematical Association of America. pp. 125–126. ISBN 978-0-88385-352-8. 
  7. a b c Weisstein, Eric, Bicentric Quadrilateral at MathWorld, [3], Accessed on 2011-08-13.
  8. a b c Josefsson, Martin (2010), «Calculations concerning the tangent lengths and tangency chords of a tangential quadrilateral», Forum Geometricorum 10: 119-130 ..
  9. a b c d e f g h Josefsson, Martin (2011), «The Area of a Bicentric Quadrilateral», Forum Geometricorum 11: 155-164 ..
  10. a b Durell, C. V. and Robson, A., Advanced Trigonometry, Dover, 2003, pp. 28, 30.
  11. a b c Yiu, Paul, Euclidean Geometry, [4], 1998, pp. 158-164.
  12. Lord, Nick, "Quadrilaterals with área formula  ", Mathematical Gazette 96, July 2012, 345-347.
  13. a b c Josefsson, Martin (2012), «Maximal Area of a Bicentric Quadrilateral», Forum Geometricorum 12: 237-241 ..
  14. a b Alsina, Claudi; Nelsen, Roger (2009). When less is more: visualizing basic inequalities. Mathematical Association of America. pp. 64–66. ISBN 978-0-88385-342-9. 
  15. a b c d e f Inecuaciones propuestas en Crux Mathematicorum, 2007.[5]
  16. a b Josefsson, Martin (2012), «A New Proof of Yun’s Inequality for Bicentric Quadrilaterals», Forum Geometricorum 12: 79-82 ..
  17. M. Radic, Z. Kaliman, and V. Kadum, "A condition that a tangential quadrilateral is also a chordal one", Mathematical Communications, 12 (2007) 33–52.
  18. Pop, Ovidiu T., "Identities and inequalities in a quadrilateral", Octogon Mathematical Magazine, Vol. 17, No. 2, October 2009, pp 754-763.
  19. a b c d e f Radic, Mirko, "Certain inequalities concerning bicentric quadrilaterals, hexagons and octagons", Journal of Inequalities in Pure and Applied Mathematics, Volume 6, Issue 1, 2005, [6]
  20. Hess, Albrecht (2014), «On a circle containing the incenters of tangential quadrilaterals», Forum Geometricorum 14: 389-396 ..
  21. Shattuck, Mark, “A Geometric Inequality for Cyclic Quadrilaterals”, Forum Geometricorum 18, 2018, 141-154. http://forumgeom.fau.edu/FG2018volume18/FG201822.pdf This paper also gives various inequalities in terms of the arc lengths subtended by a cyclic quadrilateral’s sides.
  22. Salazar, Juan Carlos (2006), «Fuss's Theorem», Mathematical Gazette, 90 (July): 306-307 ..
  23. Byerly, W. E. (1909), «The In- and-Circumscribed Quadrilateral», The Annals of Mathematics 10: 123-128, doi:10.2307/1967103 ..
  24. Calin, Ovidiu, Euclidean and Non-Euclidean Geometry a metric approach, [7], pp. 153–158.
  25. Bogomolny, Alex, Collinearity in Bicentric Quadrilaterals [8], 2004.
  26. Juan Carlos Salazar, Fuss Theorem for Bicentric Quadrilateral, 2003, [9].
  27. Crux Mathematicorum 34 (2008) no 4, p. 242.
  28. Post at Art of Problem Solving, 2009

Enlaces externos

editar