АФ
Алмаз Фархутдинов
cos(a-b)=cosa*cosb+sina*sinb.
cos(a+b)=cosa*cosb-sina*sinb.
Для краткости решения сделаем замещения:
cosa*cosb=m; sina*sinb=n; tga*tgb=t.
(m+n)(t-1)+(m-n)(t+1)=mt-m+nt-n+mt+m-nt-n=2mt-2n.
А теперь сделаем обратные замещения и выразим тангенс через отношение синуса к косинусу.
2*cosa*cosb*sina*sinb/cosa*cosb-2sina*sinb=2sinasinb-2sinasinb=0.