诱导公式的推导Asinα-Bcosα=√(A²+B²)cos[α-arctan(A/B)]