sina*cosa 利用公式怎么化成关于tana的式子