Это фундаментальное свойство центра вписанной окружности: он совпадает с точкой пересечения биссектрис всех углов треугольника.