Докажите тождество.                             

Спасибо!

1 + 2cos x + cos 2x = 1 + 2cos x + 2cos^2 x - 1 = 2cos^2 x + 2cos x1 - 2cos x + cos 2x = 1 - 2cos x + 2cos^2 x - 1 = 2cos^2 x - 2cos x(1 + 2cos x + cos 2x) / (1 - 2cos x + cos 2x) == (1 + 2cos x + 2cos^2 x - 1) / (1 - 2cos x + 2cos^2 x - 1) == (2cos^2 x + 2cos x) / (2cos^2 x - 2cos x) = (cos x + 1)/(cos x - 1) == - (1 + cos x)/(1 - cos x) = - [1 + 2cos^2(x/2) - 1] / [1 - 1 + 2sin^2(x/2)] == - (2cos^2(x/2)) / (2sin^2(x/2)) = - (cos(x/2) / sin(x/2))^2 = -ctg^2 (x/2)