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