Доказать тождество cos(a-b)*cos(a+b)=cos^2(a)-sin^2(b)

  начала вспомним формулы понижения степени :   sin^2(t) = (1 - cos(2t)) / 2  cos^2(t) = (1 + cos(2t)) / 2  теперь для нашего примера получаем :   (1 + cos(2a - 2b)) / 2 - (1 + cos(2a + 2b)) / 2 =  далее применим тригонометрические формулы сложения, в данном случае это  cos(α – β) = cos α cos β + sin α sin β  cos(α + β) = cos α cos β – sin α sin β  = [1 + cos(2a) * cos(2b) + sin(2a) * sin(2b) - 1 + cos(2a) * cos(2b) - sin(2a) * sin(2b) ] /2 =  = cos(2a) * cos(2b)

sin (45+альфа)+сos (45+альфа)=sin (45+альфа)+sin(45-альфа)=2sin45cosa

sin(45+альфа)-cos(45+альфа) аналогично равняется 2sina*cos45

2sin45cosa/2sina*cos45=ctga