在z₀=1处展开复函数f(z)=1/(z²+1)的洛朗级数求解困惑

我来帮你梳理一下正确的推导步骤——你之前尝试用几何级数的思路方向是对的，但直接处理$z^2-1$的话会遇到问题，因为几何级数要求展开项是关于$(z-1)$的一次幂形式，而不是二次项，所以得换个路径：先做部分分式分解，再分别展开每个分式，最后合并化简就能得到目标级数了。

首先把$f(z)=\frac{1}{z^2+1}$拆成两个简单一次分式的和：
$$f(z) = \frac{1}{z^2 + 1} = \frac{1}{(z - i)(z + i)} = \frac{1}{2i}\left( \frac{1}{z - i} - \frac{1}{z + i} \right)$$
这里用到了部分分式的基本拆分公式：$\frac{1}{(z-a)(z-b)} = \frac{1}{a-b}\left( \frac{1}{z-a} - \frac{1}{z-b} \right)$，代入$a=i$、$b=-i$后，分母$a-b=2i$，就得到了上面的式子。

我们需要在$z_0=1$处展开，所以把每个分式的分母调整为「常数项 + $(z-1)$」的形式：

• 对于$\frac{1}{z - i}$，可以写成：
  $$\frac{1}{z - i} = \frac{1}{(1 - i) + (z - 1)} = \frac{1}{1 - i} \cdot \frac{1}{1 + \frac{z - 1}{1 - i}}$$
• 对于$\frac{1}{z + i}$，同理可得：
  $$\frac{1}{z + i} = \frac{1}{(1 + i) + (z - 1)} = \frac{1}{1 + i} \cdot \frac{1}{1 + \frac{z - 1}{1 + i}}$$

几何级数的收敛公式是：$\frac{1}{1 + w} = \sum_{k=0}^\infty (-1)^k w^k$，这个级数收敛的条件是$|w| < 1$。

• 对第一个分式，令$w = \frac{z - 1}{1 - i}$，当$|z - 1| < |1 - i| = \sqrt{2}$时，$|w| < 1$，满足收敛条件，因此：
  $$\frac{1}{1 + \frac{z - 1}{1 - i}} = \sum_{k=0}^\infty (-1)^k \left( \frac{z - 1}{1 - i} \right)^k$$
• 对第二个分式，令$w = \frac{z - 1}{1 + i}$，同样在$|z - 1| < \sqrt{2}$时收敛，展开得：
  $$\frac{1}{1 + \frac{z - 1}{1 + i}} = \sum_{k=0}^\infty (-1)^k \left( \frac{z - 1}{1 + i} \right)^k$$

把两个展开式代回部分分式的表达式，提取公共项后合并成一个级数：
$$f(z) = \sum_{k=0}^\infty (-1)^k \cdot \frac{1}{2i} \left( \frac{1}{(1 - i)^{k+1}} - \frac{1}{(1 + i)^{k+1}} \right) (z - 1)^k$$

现在处理核心的系数部分，先把$1-i$和$1+i$写成复数的三角形式：

• $1 - i = \sqrt{2} e^{-i\pi/4}$，因此$\frac{1}{(1 - i)^{k+1}} = 2^{-(k+1)/2} e^{i\pi(k+1)/4}$
• $1 + i = \sqrt{2} e^{i\pi/4}$，因此$\frac{1}{(1 + i)^{k+1}} = 2^{-(k+1)/2} e^{-i\pi(k+1)/4}$

代入系数后，利用欧拉公式$\frac{e^{i\theta} - e^{-i\theta}}{2i} = \sin\theta$（这里$\theta = \frac{\pi}{4}(k+1)$），可以化简：
$$\frac{1}{2i} \left( 2^{-(k+1)/2} e^{i\pi(k+1)/4} - 2^{-(k+1)/2} e^{-i\pi(k+1)/4} \right) = 2^{-(k+1)/2} \sin\left( \frac{\pi}{4}(k+1) \right)$$

把化简后的系数代回级数，就得到了题目给出的结果：
$$f(z) = \sum_{k = 0}^{+\infty} (-1)^k 2^{- \frac{k+1}{2}}\sin\left(\frac{\pi}{4}(k+1)\right)(z-1)^k$$
收敛域为$|z-1| < \sqrt{2}$，和题目描述一致。

最后补充一下你之前尝试的问题：直接对$\frac{1}{1 - \left(-\frac{(z^{2-1)}{2}\right)}$用几何级数的话，展开后会出现$(z-1)$的二次及更高次交叉项，无法直接合并成单一的$(z-1)}k$形式，而通过部分分式分解成一次分式，就能分别用几何级数展开，最终得到标准的泰勒级数形式。

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