A ver cos(a-b)=cosacosb+senasenb
sen(a-b)= senacosb-cosasenb
Te queda:
cos a (cosacosb + senasenb) +sen a (senacosb - cosasenb)
Multiplicas:
cos^2 a cosb + cos a sen a sen b + sen^2 a cosb - sen a cos a sen b
El término sen a cos a sen b se te anula y te queda:
cos^2 a cosb + sen^2 a cosb
Sacas factor común de cos b:
cos b (cos^2 a + sen^2 a)
Y como lo de dentro del paréntesis es = 1, te queda cos b
saludos!