Trapecio tangencial
# Trapecio tangencial

En la geometría euclídea, un trapecio tangencial, también llamado trapecio circunscrito, es un trapecio cuyos cuatro lados son tangentes a una circunferencia situada dentro del propio trapecio (su circunferencia inscrita o incírculo). Es un caso especial de un cuadrilátero tangencial, en el que al menos un par de lados opuestos son paralelos. Como en otros trapecios, los lados paralelos se llaman bases. Las aristas laterales pueden ser iguales (véase el trapecio tangencial isósceles a continuación), pero no tienen por qué serlo.

# Trapecio tangencial
## Casos especiales

Casos especiales de trapecios tangenciales son los rombos y los cuadrados.

# Trapecio tangencial
## Caracterización

Si el incírculo es tangente a los lados AB y CD en W e Y respectivamente, entonces un cuadrilátero tangencial ABCD también es un trapecio con lados paralelos AB y CD si y solo si: $^{:Thm.2}$
    $AW\cdot DY=BW\cdot CY$
y AD y BC son los lados paralelos de un trapecio si y solo si
    $AW\cdot BW=CY\cdot DY.$

# Trapecio tangencial
## Área

La fórmula para el área de un trapecio se puede simplificar usando el teorema de Pitot para obtener una fórmula para el área de un trapecio tangencial. Si las bases tienen longitudes a y b, y cualquiera de los otros dos lados tiene una longitud c, entonces el área K viene dada por la fórmula
    $K={\frac {a+b}{|b-a|}}{\sqrt {ab(a-c)(c-b)}}.$
El área se puede expresar en términos de las longitudes tangentes e, f, g, y h como $^{:p.129}$
    $K={\sqrt[{4}]{efgh}}(e+f+g+h).$

# Trapecio tangencial
## Inradio

Usando la misma notación que para el área, el radio del incírculo es
    $r={\frac {K}{a+b}}={\frac {\sqrt {ab(a-c)(c-b)}}{|b-a|}}.$
Su diámetro es igual a la altura del trapecio tangencial.
El inradio también se puede expresar en términos de longitudes tangentes como $^{:p.129}$
    $r={\sqrt[{4}]{efgh}}.$
Además, si las longitudes tangentes e, f, g y h dependen respectivamente de los vértices A, B, C, y D; y AB es paralelo a DC, entonces
    $r={\sqrt {eh}}={\sqrt {fg}}.$

# Trapecio tangencial
## Propiedades del incentro

Si el círculo es tangente a las bases en P y Q, entonces P, I y Q son colineales, siendo I el incentro.
Los ángulos AID y BIC en un trapecio tangencial ABCD, con bases AB y DC, son ángulos rectos.
El incentro se encuentra en la mediana (también llamada segmento medio; es decir, el segmento que conecta los puntos medios de las aristas laterales).

# Trapecio tangencial
## Otras propiedades

La mediana (segmento medio) de un trapecio tangencial es igual a un cuarto del perímetro del trapecio. También es igual a la mitad de la suma de las bases, como en todos los trapecios.
Si se dibujan dos círculos, cada uno con un diámetro que coincide con las aristas laterales de un trapecio tangencial, entonces estos dos círculos son tangentes entre sí.

# Trapecio tangencial
## Trapecio tangencial recto

Un trapecio tangencial recto posee dos ángulos adyacentes rectos. Si las bases tienen longitudes a y b, entonces el radio es
    $r={\frac {ab}{a+b}}.$
Así, el diámetro del incírculo es la media armónica de las bases.
El trapecio tangencial recto tiene el área
    $\displaystyle K=ab$
y su perímetro P es
    $\displaystyle P=2(a+b).$

# Trapecio tangencial
## Trapecio tangencial isósceles

Un trapecio tangencial isósceles tiene sus aristas laterales iguales. Dado que un trapecio isósceles es cíclico, un trapecio tangencial isósceles es un cuadrilátero bicéntrico. Es decir, que tiene tanto una circunferencia inscrita como una circunferencia circunscrita.
Si las bases son a y b, entonces el inradio viene dado por
    $r={\tfrac {1}{2}}{\sqrt {ab}}.$
Deducir esta fórmula es un problema que ya aparecía en las tablas Sangaku de Japón, entre los siglos XVII y XIX. Del teorema de Pitot se deduce que las longitudes de las aristas laterales son la mitad de la suma de las bases. Dado que el diámetro del incírculo es la raíz cuadrada del producto de las bases, un trapecio tangencial isósceles ofrece una buena interpretación geométrica de la media aritmética y la media geométrica de las bases como la longitud de una arista lateral y del diámetro del incirculo, respectivamente.
El área K de un trapecio isósceles tangencial con bases a y b viene dada por
    $K={\tfrac {1}{2}}{\sqrt {ab}}(a+b).$