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