三角恒等变换(难)