Teorema de los incírculos 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.[1]

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

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.

El teorema es un corolario directo del siguiente lema:

Lema

Supóngase que el rayo n forma un ángulo   con la normal a la línea de base. Si   se parametriza de acuerdo con la ecuación,  , entonces los valores de   con   y   siendo constantes reales, definen una secuencia de rayos que satisfacen la condición de los incírculos iguales y, además, cualquier secuencia de rayos que satisfaga la condición puede producirse mediante la elección adecuada de las constantes   y  .

Prueba del lema

editar
 
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   y   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   PST, que es tangente a los rayos en W y Z. Además, la línea PQ tiene longitud   y la línea QR tiene longitud  , el radio del incírculo.

En consecuencia,   OWX es semejante a   PQX y   OZY es semejante a   PQY, y de XY = XO + OY se obtiene que

 

Esta relación en un conjunto de ángulos,  , expresa la condición de los incírculos iguales.

Para probar el lema, se establece que  , de donde se deduce que   .

Utilizando  , se aplican las reglas de adición para   y  , y se verifica que la relación de los incírculos iguales se cumple estableciendo que

 

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

 

Véase también

editar

Referencias

editar

Enlaces externos

editar