Доказать тождество! очень нужно cosa*cosb-cos(a+b) / cos(a-b)-sina*sinb=tga*tgb
Просто расписываем по формулам косинуса суммы и разности.