两角和与差的正弦 ,正切公式的推导过程