(1+cosa)^2-(1-cosa)^2/4 cos a
Разность квадратов: (1+cosa+1-cosa)(1+cosa-1+cosa)/4cosa=2*2cosa/4cosa=1. При условии, что разность квадратов - числитель дроби.