展开 反三角函数合并公式