Cuadrilátero bicéntrico
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.
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 y cuadrilátero inscrito y circunscrito. Rara vez se denomina cuadrilátero de doble círculo o cuadrilátero de doble trazo.
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. Esto es un corolario del porismo de Poncelet, demostrado por el matemático francés Jean-Victor Poncelet (1788-1867).
Ejemplos de cuadriláteros bicéntricos son el cuadrado, el deltoide recto y trapecio tangencial isósceles.
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:
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.
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.
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).
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. 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.
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
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 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:p.128
Una fórmula para el área del cuadrilátero bicéntrico ABCD con el incentro I es
Si un cuadrilátero bicéntrico tiene cuerdas tangentes k, l y diagonales p, q, entonces tiene área: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
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.
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
En términos de dos ángulos adyacentes y el radio r del círculo, el área está dada por
El área se da en términos del circunradio R y del inradio r como
donde θ es un ángulo cualquiera entre las diagonales.
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.
Si r y R son el inradio y el circunradio respectivamente, entonces el área K satisface las inecuaciones
Hay igualdad en ambos lados solo si el cuadrilátero es un cuadrado.
Otra desigualdad para el área es: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
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:
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:
Usando la misma notación, para las funciones seno y coseno se cumplen las siguientes fórmulas:
El ángulo θ entre las diagonales se puede calcular a partir de
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
La circunferencia circunscrita de radio R se da como un caso especial de la fórmula de Paramésuara. Es
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: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.: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.: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.:pp.392–393
El circunradio R y el inradio r satisfacen la desigualdad
lo que fue demostrado por L. Fejes Tóth en 1948. 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:p. 141
donde hay igualdad en ambos lados si y solo si el cuadrilátero es un cuadrado.:p. 81
El semiperímetro s de un cuadrilátero bicéntrico satisface que:p.13
donde r y R son el inradio y el circunradio respectivamente.
Por otra parte,:p.39,#1203
y
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
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 (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:p.5
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
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.
Para las longitudes de los lados tangentes e, f, g, y h se mantienen las siguientes desigualdades::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:p.5
y
El circuncentro, el incentro y la intersección de las diagonales en un cuadrilátero bicéntrico son colineales.
Existe la siguiente igualdad que relaciona las cuatro distancias entre el incentro I y los vértices de un cuadrilátero bicéntrico ABCD:
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
Una desigualdad con respecto al inradio r y al circunradio R en un cuadrilátero bicéntrico ABCD es
donde I es el incentro.
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:
donde r y R son el inradio y el circunradio respectivamente. Esta igualdad puede reescribirse como
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
donde a, b, c, y d son los lados. Esta relación fue probada por Murray S. Klamkin en 1967.