Это свойство следует просто из логики или на это есть доказательств Точка касания вписанной в равнобедренный треугольник окружности с его основанием совпадает с точкой пересечения основания этого треугольника с высотой, проведённой из вершины данного треугольника