Так как то Внешний угол треугольника равен сумме углов треугольника, не смежных с ним, тогда внешний угол при вершине равен а его синус равен При помощи основного тригонометрического тождества находим но в равнобедренном треугольнике угол при основании всегда острый, тогда следовательно,