-ctg()*-tg() это 1.
остаётся только cos^2-sin^2
а это формула двойного угла косинуса
итого: cos^2()-sin^2()*(-ctg()*-tg())=cos^2-sin^2=cos2
cos^2+sin^2=1
tg^2+1=tg^2+1
cos^2+1=-sin^2
sin^2+sin^2=sin^2
sin^2-1=-cos^2
-cos^2=cos^2
-ctg()*-tg() это 1.
остаётся только cos^2-sin^2
а это формула двойного угла косинуса
итого: cos^2()-sin^2()*(-ctg()*-tg())=cos^2-sin^2=cos2
cos^2+sin^2=1
tg^2+1=tg^2+1
cos^2+1=-sin^2
sin^2+sin^2=sin^2
sin^2-1=-cos^2
-cos^2=cos^2