Здрасти! Помогите, пожалуйста, упростить два выражения. Не разумею,какую конкретно формулу

1)           cos             =       cos(2*(/2))           =
    cos(/2) + sin(/2)         cos(/2) + sin(/2)  

= cos(/2) - sin(/2)    = (cos(/2) - sin(/2)) (cos(/2) + sin(/2)) =
    cos(/2) + sin(/2)                          cos(/2) + sin(/2) 

=cos(/2) - sin(/2)


2) 2cos(135 -2.5) - 1 = -sin5
По действиям:
1) cos(135 -2.5)=cos(90 +45 -2.5) = -sin(45 - 2.5) =
    = -(sin45 cos2.5 - cos45 sin2.5) =- 2 cos2.5 +  2 sin2.5 =
                                                                   2                    2
   =2 (sin2.5 - cos2.5)
      2
2) 2*(2) (sin2.5 -cos2.5) -1 = 2*2 (sin2.5-cos2.5) -1 =
       ( 2 )                                          4
   =(sin2.5-cos2.5) -1 = sin 2.5 - 2cos2.5 sin2.5 +cos 2.5 -1 =
=(cos 2.5 + sin 2.5) - 1- 2sin2.5 cos2.5 = 
=1-1 - sin(2*2.5)=
=-sin5

1)(cosa/2-sina/2)/(cosa/2+sina/2)=
=(сosa/2-sina/2)(cosa/2+sina/2)/(cosa/2+sina/2)=
=cosa/2-sina/2
2)2cos(135-2,5a)-1=cos(270-5a)=-sin5a