Teorema de los incírculos iguales

Si los círculos azules son iguales, los círculos verdes también son iguales

En geometría, el teorema de los incírculos iguales deriva de un Sangaku japonés, de acuerdo con la construcción siguiente: se dibuja una serie de rayos desde un punto dado hacia una recta dada, de tal manera que los círculos inscritos de los triángulos formados por rayos adyacentes y la recta base son iguales. En la ilustración, los círculos azules iguales definen el espacio entre los rayos, tal como se describe.

El teorema establece que los incírculos de cada conjunto de triángulos formados a partir de cada par de rayos elegidos de forma alternativa (dos de cada dos, dos de cada tres, dos de cada cuatro y así sucesivamente) y la recta base; también son iguales. El caso de dos de cada tres rayos se ilustra arriba con los círculos verdes, que son todos iguales.

Por el hecho de que el teorema no depende del ángulo del rayo inicial, se puede ver que el teorema pertenece propiamente al análisis, más que a la geometría, y puede relacionarse con una función de escala continua que define el espaciado de los rayos. De hecho, esta función es el seno hiperbólico.

Lema

El teorema es un corolario directo del siguiente lema:

Prueba del lema

Archivo:Equal incircles theorem.svg

Geometría del triángulo utilizado en la demostración del lema

En el diagrama, las líneas PS y PT son rayos adyacentes que forman ángulos ${\gamma }_n$ y ${\gamma }_{n+1}$ con la línea PR, que es perpendicular a la línea de base, RST.

La línea QXOY es paralela a la línea de base y pasa a través de O, el centro del incírculo del $\mathrm{△}$ PST, que es tangente a los rayos en W y Z. Además, la línea PQ tiene longitud $h-r$ y la línea QR tiene longitud $r$, el radio del incírculo.

En consecuencia, $\mathrm{△}$ OWX es semejante a $\mathrm{△}$ PQX y $\mathrm{△}$ OZY es semejante a $\mathrm{△}$ PQY, y de XY = XO + OY se obtiene que

$(h-r)(\tan {\gamma }_{n+1}-\tan {\gamma }_n)=r(\sec {\gamma }_n+\sec {\gamma }_{n+1}).$

Esta relación en un conjunto de ángulos, $\{{\gamma }_m\}$, expresa la condición de los incírculos iguales.

Para probar el lema, se establece que $\tan {\gamma }_n=\sinh (a+nb)$, de donde se deduce que $\sec {\gamma }_n=\cosh (a+nb)$ .

Utilizando $a+(n+1)b=(a+nb)+b$, se aplican las reglas de adición para $\sinh$ y $\cosh$, y se verifica que la relación de los incírculos iguales se cumple estableciendo que

$\frac{r}{h-r}=\tanh \frac{b}{2}.$

Esto da una expresión para el parámetro $b$ en función de las medidas de $h$ y de $r$. Con esta definición de $b$, es posible obtener una expresión para los radios $r_N$ de los incírculos formados, tomando cada par de N rayos como los lados de los triángulos

$\frac{r_N}{h-r_N}=\tanh \frac{Nb}{2}.$

Véase también

• Función hiperbólica
• Teorema japonés para polígonos cíclicos
• Teorema japonés para cuadriláteros cíclicos
• Rectas tangentes a circunferencias

Enlaces externos

• Equal Incircles Theorem at cut-the-knot
• J. Tabov. A note on the five-circle theorem. Mathematics Magazine 63 (1989), 2, 92–94.