sin4平方-cos4平方+2cos平方)乘以tana乘以cota等于一求证