展开 三角函数派生公式