Снова в порядке словоблудия.
Иногда увидишь путь к решению, далеко не эффективный, и уже не хочется искать что-то другое. А надо. Но бывает нахлынет какое-то отупение и совершенно ничего не видишь. (я про себя, есличо
). Хотя ответ, полученный неэффективно, может натолкнуть на новые идеи и на красивое решение.
Надеюсь, ТС уже решил задачу, и я приведу свои идеи.
Начертив чертёж, мы легко видим, что
.
С другой стороны, рассмотрев тангенсы упомянутых половинок углов, можно написать формулу для тангенса их суммы, которая равна ясно чему.
Откуда появляется острейшее желание найти чисто геометрическое решение
.