展开 三角函数具体推论过