三角函数化简问题,这个式子是怎么化成下面的式子的?(-.-)