Поскольку в равнобедренном треугольнике высота, проведенная к основанию, будет медианой и биссектрисой, то . Тогда обозначив , получим . Поскольку - прямоугольный, то (по известному соотношению) С другой стороны, по теореме синусов в
откуда получаем Приравнивая правые части выражений для AB, получаем
.
Поскольку - прямоугольный, то (по известному соотношению)
С другой стороны, по теореме синусов в
откуда получаем
Приравнивая правые части выражений для AB, получаем
и
Поэтому,