和差公式 sin(α-β) de证明