Используя теоремы синусов-косинусов, легко получить

Далее, пусть

. Продифференцируем первое выражение по

:

Подставив известный косинус, имеем:

Эта штука уже просто дважды дифференцируется и подставляется угол, выходит единичка.
Раз тема в олимпиадном разделе, возможно, предполагалось нечто более изящное.
