Из прям. тр-в АВС и АВD выражаем необходимые стороны через сторону АВ:
AD = AB*tga; AC = AB*tgb; BD = AB/cosa; BC = AB/cosb
Из прям. тр-ка ADC выражаем DC по теореме Пифагора:

Теперь применим теорему косинусов к тр-ку BDC:

Отсюда выражаем искомый косинус ф (в редакторе под латинской буквой f):


ответ: cosф = cosa*cosb.