Для доказательства этого факта можно использовать свойства равнобедренных треугольников и признак перпендикулярности прямой и отрезка.