Интересно, что если бы не было вариантов ответа,
я бы упростила совсем иначе...
а так, можно знаменатель заменить на синус
cosa = sin(90°-a)
и применить формулу синус двойного аргумента:
sin(90°-a) = 2*sin(45°-(a/2))*cos(45°-(a/2))
после сокращения останется дробь:
cos(45°-(a/2)) / sin(45°-(a/2)) = ctg(45°-(a/2))