展开 两个互余角的正切值相乘