диаметр окружности, описанной около треугольника
,значит
, заметим так же что
, из следствия того что , около четырехугольника можно описать окружности , и того что
, то есть полученная трапеция прямоугольная
центра описанной окружности около меньшего треугольника ,тогда
биссектриса угла
где
точка касания
с окружностью, значит
диаметр большей окружности



