展开 三角函数推导过