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