Cos(п+альфа) соs(-альфа)\\sin(-альфа)sin(п\2 + альфа)

... = (- cos a * cos a) / (- sina * cos a) = cos a / sin a = ctg a

Применены формулы приведения : cos (pi + a) = - cos a ,  sin ( pi/2 + a) = cos a,

и четность косинуса и нечетность синуса, т.е. косинус не меняет знак приперемене знака аргумента, а синус меняет