1) sin²a+2cos²a-1 = sin²a+2cos²a-sin²a-cos²a = cos²a
2) cos²a + ( 1 - sin²a) = cos²a + cos²a =2cos²a
3) tga * ctga - sin²a = 1 - sin²a = cos²a
4) cos²a - tga * ctga = cos²a - 1 = - sin²a
5) sina * tga = sina * sina / cosa = sin²a / cosa
6) tg²a * ctg²a - cos²a = 1 - cos²a = sin²a
7) ( 1 - sin²a ) / sin²a = cos²a / sin²a = ctg²a
8) [ ( 1 - sin²a ) / sina * cosa ] * tga = ( cos²a / sina * cosa ) * tga = cosa / sina * tga = ctga * tga = 1