sin20+sin40=2sin30cos10这步是怎么转换的.