原文:三角恒等变换,公式可得用熟了