ctga * sin(-a) - cos(-а)

так как sin - нечётная функция, то sin(-a)= -sina, а cos - четная, следовательно cos(-а)=cosа

ctg=cos/sin

Значит

cosa/sina*(-sina)-cosa=-cosa-cosa=-2cosa