De investigación. Propuesto por Juan Carlos Salazar, profesor de Geometría del Equipo Olímpico de Venezuela.(Puerto Ordaz)


Problema 301


En el triángulo ABC (<A=90º), construir el círculo (O1, r1) tangente externamente a los excírculos (Ib) e (Ic) de tal forma que sea también tangente al lado BC, con el punto de tangencia entre B y C. Probar que:


ole.gif


Donde: ra= radio del excirculo (Ia) y r = inradio de ABC.

Salazar, J.C. (2006): Comunicación personal.


Solución de José María Pedret, Ingeniero Naval. Esplugues de Llobregat (Barcelona). (05 de marzo de 2006)

 

DESARROLLO

 

CONDICIONES DEL ENUNCIADO


01.giffigura 1



Sea Un sistema de referencia rectangular cuyo eje de abscisas es el lado BC y cuyo eje de ordenadas es la perpendicular a BC por el centro de Γb. En estas condiciones tenemos:


ole1.gif


Donde hemos recordado que la distancia entre los puntos de contacto del los círculos ex-inscritos es la suma de los lados correspondientes. En este caso (b+c).


La condición de tangencia entre Γ1 y Γb es


ole2.gif

(3)

La condición de tangencia entre Γ1 y Γc es


ole3.gif

(4)

Eliminando x entre (3) y (4) nos queda


ole4.gif

De donde hallamos r1 como


ole5.gif

 

Pero el enunciado nos dice que el punto de tangencia de Γ1 está entre B y C lo que determina


ole6.gif

y eliminando radicales del numerador


ole7.gif

 

y simplificando el numerador y el denominador buscando un cuadrado en el denominador


ole8.gif

 

RELACIONES ENTRE LOS DIVERSOS RADIOS


Entre los radios de los cuatro círculos inscritos se cumple


ole9.gif

(10)


y si A es el área del triángulo, también se cumple

ole10.gif

(11)

Resolviendo (10) y (11) en función de r y ra


ole11.gif

 

En la otra solución se intercambiarían los valores entre rb y rc.


EXPRESIÓN DE ra y r EN FUNCIÓN DE LOS LADOS


Recordemos primero que


ole12.gif

Con lo que nos queda


ole13.gif

 

Introduciendo el valor del semiperímetro

ole14.gif


INTRODUCCIÓN DE LA CONDICIÓN DE TRIÁNGULO RECTÁNGULO


ole15.gif  

que transforman nuestras fórmulas en

ole16.gif

que introducidas en las expresiones de rb y rc


ole17.gif

DETERMINACIÓN DE r1


ole18.gif

que es lo queríamos demostrar.