En geometría euclidiana , un cuadrilátero ex-tangencial es un cuadrilátero convexo donde las extensiones de los cuatro lados son tangentes a un círculo fuera del cuadrilátero. [1] También se le ha llamado un cuadrilátero inexcriptible . [2] El círculo se llama su excirculo , su radio el exradio y su centro el excentro ( E en la figura). El excéntrico se encuentra en la intersección de seis bisectrices de ángulos. Estas son las bisectrices de los ángulos internos en dos ángulos de vértice opuestos, elbisectrices de ángulo externo (bisectrices de ángulo suplementarias ) en los otros dos ángulos de vértice, y las bisectrices de ángulo externo en los ángulos formados donde las extensiones de lados opuestos se cruzan (ver la figura a la derecha, donde cuatro de estos seis son segmentos de línea de puntos). El cuadrilátero ex-tangencial está estrechamente relacionado con el cuadrilátero tangencial (donde los cuatro lados son tangentes a un círculo).
Otro nombre para un excirculo es un círculo escrito, [3] pero ese nombre también se ha utilizado para un círculo tangente a un lado de un cuadrilátero convexo y las extensiones de los dos lados adyacentes. En ese contexto, todos los cuadriláteros convexos tienen cuatro círculos escritos, pero a lo sumo pueden tener un círculo. [4]
Casos especiales
Las cometas son ejemplos de cuadriláteros ex-tangenciales. Los paralelogramos (que incluyen cuadrados , rombos y rectángulos ) pueden considerarse cuadriláteros ex-tangenciales con exradio infinito ya que satisfacen las caracterizaciones en la siguiente sección, pero el excirculo no puede ser tangente a ambos pares de extensiones de lados opuestos (ya que son paralelos ). [4] Los cuadriláteros convexos cuyas longitudes de los lados forman una progresión aritmética son siempre ex-tangenciales, ya que satisfacen la caracterización siguiente para las longitudes de los lados adyacentes.
Caracterizaciones
Un cuadrilátero convexo es ex-tangencial si y solo si hay seis ángulos bisectores concurrentes . Estas son las bisectrices de los ángulos internos en dos ángulos de vértice opuestos, las bisectrices de los ángulos externos en los otros dos ángulos de vértice y las bisectrices de los ángulos externos en los ángulos formados donde se cruzan las extensiones de los lados opuestos. [4]
Para fines de cálculo, una caracterización más útil es que un cuadrilátero convexo con lados sucesivos a, b, c, d es ex-tangencial si y solo si la suma de dos lados adyacentes es igual a la suma de los otros dos lados. Esto es posible de dos formas diferentes, ya sea como
o
Esto fue probado por Jakob Steiner en 1846. [5] En el primer caso, el excirculo está fuera del mayor de los vértices A o C , mientras que en el segundo caso está fuera del mayor de los vértices B o D , siempre que el los lados del cuadrilátero ABCD son a = AB , b = BC , c = CD y d = DA . Una forma de combinar estas caracterizaciones con respecto a los lados es que los valores absolutos de las diferencias entre lados opuestos son iguales para los dos pares de lados opuestos, [4]
Estas ecuaciones están estrechamente relacionadas con el teorema de Pitot para cuadriláteros tangenciales , donde las sumas de los lados opuestos son iguales para los dos pares de lados opuestos.
Teorema de Urquhart
Si los lados opuestos en un cuadrilátero convexo ABCD se intersecan en E y F , entonces
La implicación de la derecha lleva el nombre de LM Urquhart (1902-1966) aunque fue probada mucho antes por Augustus De Morgan en 1841. Daniel Pedoe lo nombró el teorema más elemental de la geometría euclidiana ya que solo se refiere a líneas rectas y distancias. [6] Mowaffac Hajja demostró que de hecho existe una equivalencia, [6] que hace de la igualdad a la derecha otra condición necesaria y suficiente para que un cuadrilátero sea ex-tangencial.
Comparación con un cuadrilátero tangencial
Algunas de las caracterizaciones métricas de cuadriláteros tangenciales (la columna de la izquierda en la tabla) tienen contrapartes muy similares para los cuadriláteros ex-tangenciales (las columnas central y derecha de la tabla), como se puede ver en la siguiente tabla. [4] Por lo tanto, un cuadrilátero convexo tiene un círculo o un círculo fuera del vértice apropiado (dependiendo de la columna) si y solo si se satisface cualquiera de las cinco condiciones necesarias y suficientes a continuación.
Rodear | Excírculo fuera de A o C | Excírculo fuera de B o D |
---|---|---|
Las notaciones de esta tabla son como sigue: En una convexa cuadrilátero ABCD , las diagonales se cortan en P . R 1 , R 2 , R 3 , R 4 son los circunradios en triángulos ABP , BCP , CDP , DAP ; h 1 , h 2 , h 3 , h 4 son las altitudes de P a los lados a = AB , b = BC , c = CD , d = DA respectivamente en los mismos cuatro triángulos; e , f , g , h son las distancias desde los vértices A , B , C , D respectivamente a P ; x , y , z , w son los ángulos ABD , ADB , BDC , DBC respectivamente; y R un , R b , R c , R d son los radios en los círculos externamente tangentes a los lados un , b , c , d , respectivamente, y las extensiones de los dos lados adyacentes de cada lado.
Área
Un cuadrilátero ex-tangencial ABCD con lados a, b, c, d tiene un área
Tenga en cuenta que esta es la misma fórmula que la del área de un cuadrilátero tangencial y también se deriva de la fórmula de Bretschneider de la misma manera.
Exradius
El exradio de un cuadrilátero ex-tangencial con lados consecutivos a , b , c , d está dado por [4]
donde K es el área del cuadrilátero. Para un cuadrilátero ex-tangencial con lados dados, el exradio es máximo cuando el cuadrilátero también es cíclico (y por lo tanto un cuadrilátero ex-bicéntrico). Estas fórmulas explican por qué todos los paralelogramos tienen un exradio infinito.
Cuadrilátero ex-bicéntrico
Si un cuadrilátero ex-tangencial también tiene circunferencia , se llama cuadrilátero ex-bicéntrico . [1] Entonces, dado que tiene dos ángulos suplementarios opuestos , su área está dada por
que es lo mismo que para un cuadrilátero bicéntrico .
Si x es la distancia entre el circuncentro y el excéntrico, entonces [1]
donde R y r son el circunradio y el exradio, respectivamente. Esta es la misma ecuación que el teorema de Fuss para un cuadrilátero bicéntrico. Pero al resolver para x , debemos elegir la otra raíz de la ecuación cuadrática para el cuadrilátero ex-bicéntrico en comparación con el bicéntrico. Por lo tanto, para el ex bicéntrico tenemos [1]
De esta fórmula se sigue que
lo que significa que la circunferencia y la circunferencia nunca pueden cruzarse entre sí.
Ver también
- Cuadrilátero completo
- Cuadrilátero cíclico
Referencias
- ^ a b c d Radic, Mirko; Kaliman, Zoran y Kadum, Vladimir, "Una condición de que un cuadrilátero tangencial sea también cordal", Mathematical Communications , 12 (2007) pp. 33-52.
- ^ Bogomolny, Alexander , "Cuadriláteros inscriptibles y excriptibles", Miscelánea de matemáticas interactivas y rompecabezas , [1] . Consultado el 18 de agosto de 2011.
- ^ KS Kedlaya, Geometry Unbound , 2006
- ^ a b c d e f Josefsson, Martin, Caracterizaciones métricas similares de cuadriláteros tangenciales y extangenciales , Forum Geometricorum Volumen 12 (2012) pp. 63-77 [2]
- ^ FG-M., Exercices de Géométrie , Éditions Jacques Gabay, sixiéme édition, 1991, p. 318.
- ^ a b Hajja, Mowaffaq, Una prueba muy breve y simple del "teorema más elemental" de la geometría euclidiana , Forum Geometricorum Volumen 6 (2006) págs. 167-169 [3]