4.6 三角恒等变换