左边=tan²acot²a-tan²acos²a
=(tanacota)²-(sin²a/cos²a)cos²a
=1²-sin²a
=cos²a=右边
命题得证