Sqrt-квадратный корень
(sqrt2cosa-2cos(п/4+a))/2sin(п/4+а)-sqrt2sina=
=(sqrt2cosa-2(cosп/4cosa-sinп/4sina))/2(sinп/4cosa+cosп/4sina)-sqrt2sina=
=(sqrt2cosa-2(sqrt2/2cosa-sqrt2/2sina))/2(sqrt2/2cosa+sqrt2/2sina)-sqrt2sina=
=sqrt2cosa-sqrt2(cosa-sina)/sqrt2(cosa+sina)-sqrt2sina=
=sqrt2(cosa-cosa+sina)/sqrt2cosa =tga
2) ctg^2a*2sin^2a+cos^2a=2cos^2a+cos^2a=3cos^2a