技术咨询：如何利用幂级数求f(x)=cos(x²)的不定积分

别担心，我一步步带你理清这个问题的解法，其实核心就是利用已知的三角函数幂级数展开，结合幂级数的逐项积分性质来做，完全不需要纠结cos(x²)的导数哦～

步骤1：回忆cos t的标准幂级数展开 #

首先，我们先记住cos t的幂级数展开式（微积分里的基础展开式，一定要记牢）：
cos t = \sum_{n=0}^{\infty} \frac{(-1)^n t^{2n}}{(2n)!}
这个展开式在t ∈ (-∞, +∞)上都是收敛的，也就是全体实数域内都成立。

步骤2：替换变量得到cos(x²)的幂级数 #

我们需要的是cos(x²)，所以把上面展开式里的t替换成x²，代入后化简：

cos(x²) = \sum_{n=0}^{\infty} \frac{(-1)^n (x²)^{2n}}{(2n)!} = \sum_{n=0}^{\infty} \frac{(-1)^n x^{4n}}{(2n)!}

这里用到了指数运算规则(a^m)^n = a^{m*n}，所以(x²)^{2n} = x^{4n}。因为原cos t的展开式收敛域是全体实数，所以这个cos(x²)的展开式在x ∈ (-∞, +∞)上也收敛。

步骤3：对幂级数逐项积分求不定积分 #

幂级数在它的收敛域内是可以逐项积分的，这是幂级数的关键性质之一。我们对等式两边同时求不定积分：

∫cos(x²)dx = ∫\left( \sum_{n=0}^{\infty} \frac{(-1)^n x^{4n}}{(2n)!} \right)dx

根据逐项积分的性质，我们可以把积分符号拿到求和符号里面：

∫cos(x²)dx = C + \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} ∫x^{4n}dx

这里的C是积分常数（所有单项积分的常数项可以合并成一个总的常数）。接下来计算每一项的积分：∫x^{4n}dx = \frac{x^{4n+1}}{4n+1}，代入后就得到：

∫cos(x²)dx = C + \sum_{n=0}^{\infty} \frac{(-1)^n x^{4n+1}}{(2n)! (4n+1)}

补充说明 #

你之前提到了cos(x²)的导数，其实这个方向是求导的思路，但cos(x²)的原函数无法用初等函数（比如三角函数、多项式、指数/对数函数等）表示，所以我们才需要用幂级数来表示它的不定积分——这也是幂级数的重要应用之一：用来表示那些非初等的原函数。

内容的提问来源于stack exchange，提问作者Elissa