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