数列与复数结合问题（全面体系+典型例题精讲）
数列与复数结合的问题，是高中数学复数、数列模块的核心交叉考点，核心是将复数的代数运算、周期性、模与共轭、几何意义，与数列的通项、求和、递推、极限、周期性深度融合，既考查基础运算能力，也考查数形结合、代数变形的综合思维，常见于高考中档题、压轴题，以及高中数学竞赛入门题型。
一、核心必备基础知识
1. 复数与数列适配的核心性质
设复数 \(z=a+bi\)（\(a,b\in\mathbb{R}\)，\(i\) 为虚数单位，\(i^2=-1\)），记 \(\text{Re}(z)=a\)（实部），\(\text{Im}(z)=b\)（虚部），\(\overline{z}=a-bi\)（共轭复数），\(|z|=\sqrt{a^2+b^2}\)（模）。
与数列结合的核心性质如下：
- 线性运算封闭性：若 \(\{z_n\}\)、\(\{w_n\}\) 是复数数列，\(k,l\) 为复常数，则 \(\{kz_n+lw_n\}\) 也是复数数列，且实部、虚部可拆解为两个实数列的线性运算，即复数数列的线性问题可完全转化为实数列问题求解。
- 模的数列性质：
- \(|z_1z_2|=|z_1|\cdot|z_2|\)，推广得 \(|z^n|=|z|^n\)，\(\left|\frac{z_1}{z_2}\right|=\frac{|z_1|}{|z_2|}(z_2\neq0)\)；
- 若 \(\{z_n\}\) 是等比数列，公比为 \(q\)，则 \(\{|z_n|\}\) 是实等比数列，公比为 \(|q|\)；
- 三角不等式 \(||z_1|-|z_2||\leq|z_1\pm z_2|\leq|z_1|+|z_2|\)，用于复数数列的有界性判断与放缩。
- 共轭的数列性质：
- \(\overline{z_1\pm z_2}=\overline{z_1}\pm\overline{z_2}\)，\(\overline{z_1z_2}=\overline{z_1}\cdot\overline{z_2}\)，\(\overline{z^n}=(\overline{z})^n\)；
- 若 \(\{z_n\}\) 是等差/等比数列，则 \(\{\overline{z_n}\}\) 也是等差/等比数列，公差/公比为原公差/公比的共轭。
- 复数乘方的周期性（周期数列核心）
- 虚数单位 \(i\) 的乘方周期：\(i^1=i,i^2=-1,i^3=-i,i^4=1\)，周期 \(T=4\)，且连续4项和为0，即 \(i^n+i^{n+1}+i^{n+2}+i^{n+3}=0\)；
- 1的三次单位根：\(\omega=-\frac{1}{2}+\frac{\sqrt{3}}{2}i\)，\(\omega^2=-\frac{1}{2}-\frac{\sqrt{3}}{2}i\)，满足 \(\omega^3=1\)，\(1+\omega+\omega^2=0\)，周期 \(T=3\)；
- 1的n次单位根：方程 \(x^n=1\) 的n个复根为 \(\varepsilon_k=\cos\frac{2k\pi}{n}+i\sin\frac{2k\pi}{n}(k=0,1,\dots,n-1)\)，满足 \(1+\varepsilon_1+\varepsilon_1^2+\dots+\varepsilon_1^{n-1}=0\)，周期 \(T=n\)。
2. 复数域中的等差数列与等比数列
| 类型 | 复数域定义与充要条件 | 通项公式 | 前n项和公式 | 几何意义 |
|---|---|---|---|---|
| 等差数列 | 对 \(\{z_n\}\)，若 \(z_{n+1}-z_n=d\)（d为复常数），则为等差数列； 三数成等差充要条件：\(2z_2=z_1+z_3\) |
\(z_n=z_1+(n-1)d\) | \(S_n=\frac{n(z_1+z_n)}{2}=nz_1+\frac{n(n-1)}{2}d\) | 复平面上三点共线，\(z_2\) 是线段 \(z_1z_3\) 的中点 |
| 等比数列 | 对非零数列 \(\{z_n\}\)，若 \(\frac{z_{n+1}}{z_n}=q\)（q为非零复常数），则为等比数列； 三数成等比充要条件：\(z_2^2=z_1z_3\) |
\(z_n=z_1q^{n-1}\) | \(q=1\) 时，\(S_n=nz_1\)； \(q\neq1\) 时，\(S_n=z_1\cdot\frac{1-q^n}{1-q}\) |
模成等比、辐角成等差，对应复平面上点的旋转+缩放变换 |
3. 复数数列的收敛性与极限
复数数列 \(\{z_n\}\) 收敛于复数 \(A\) 的充要条件：实部数列 \(\{\text{Re}(z_n)\}\) 收敛于 \(\text{Re}(A)\)，且虚部数列 \(\{\text{Im}(z_n)\}\) 收敛于 \(\text{Im}(A)\)，即
\(
\lim_{n\to\infty}z_n=A \iff \lim_{n\to\infty}\text{Re}(z_n)=\text{Re}(A),\ \lim_{n\to\infty}\text{Im}(z_n)=\text{Im}(A)
\)
核心推论：等比数列 \(z_n=z_1q^{n-1}\) 收敛的充要条件是 \(|q|<1\) 或 \(q=1\)（常数列）；\(|q|=1\) 且 \(q\neq1\) 时为周期数列，无极限；\(|q|>1\) 时数列发散。
二、六大核心题型与典型例题精讲
题型一：基于复数乘方周期性的数列求和问题
【解题通法】
核心是利用复数乘方的周期性，将数列按周期分组，先求一个周期的和，再计算总组数和余项；也可直接用等比数列求和公式计算，结合周期性化简；利用n次单位根的筛选性质，可求解二项式展开式中特定项的系数和。
典型例题1（高考基础难度）
已知数列 \(\{z_n\}\) 满足 \(z_n=i^n(n\in\mathbb{N}^*)\)，\(i\) 为虚数单位，求：
(1) 前2026项和 \(S_{2026}\)；
(2) 前n项和 \(S_n\) 的统一表达式；
(3) \(\lim\limits_{n\to\infty}\frac{S_n}{n}\)。
【详细解答】
(1) 由 \(i\) 的周期性，周期 \(T=4\)，一个周期内的和为 \(i^1+i^2+i^3+i^4=i-1-i+1=0\)。
2026=4×506+2，即506个完整周期，余2项，因此：
\(
S_{2026}=506\times0 + i^1+i^2 = i-1 = -1+i
\)
(2) 由等比数列求和公式，\(q=i\neq1\)，因此：
\(
S_n=i\cdot\frac{1-i^n}{1-i}
\)
有理化分母 \(\frac{i}{1-i}=\frac{i(1+i)}{2}=\frac{-1+i}{2}\)，最终得统一表达式：
\(
S_n=\frac{-1+i}{2}(1-i^n)
\)
也可按模4分类：\(n=4k\) 时 \(S_n=0\)；\(n=4k+1\) 时 \(S_n=i\)；\(n=4k+2\) 时 \(S_n=-1+i\)；\(n=4k+3\) 时 \(S_n=-1\)。
(3) 由 \(|S_n|=\left|\frac{-1+i}{2}(1-i^n)\right|\leq\sqrt{2}\)，可知 \(\{S_n\}\) 是有界数列；而 \(\lim\limits_{n\to\infty}\frac{1}{n}=0\)，有界数列乘无穷小量仍为无穷小量，因此：
\(
\lim_{n\to\infty}\frac{S_n}{n}=0
\)
【方法点睛】
\(i\) 的周期数列是最基础的复数数列，按周期分组求和可快速求解项数较大的和，等比数列求和公式可避免分类讨论，有界数列乘无穷小的极限结论可推广到所有模为1的复数乘方数列。
典型例题2（高考压轴/竞赛入门难度）
利用单位根求 \((1+x)^n\) 的展开式中，所有x的次数为3的倍数的项的系数和。
【详细解答】
设 \((1+x)^n=\sum_{k=0}^n C_n^k x^k\)，记所求系数和为 \(S=\sum_{m=0}^{\lfloor n/3\rfloor} C_n^{3m}\)。
由三次单位根的筛选性质：
\(
\frac{1+\omega^k+\omega^{2k}}{3}=\begin{cases}
1, & k是3的倍数 \\
0, & k不是3的倍数
\end{cases}
\)
因此对所有 \(k=0,1,\dots,n\)，有：
\(
S=\sum_{k=0}^n C_n^k \cdot \frac{1+\omega^k+\omega^{2k}}{3}
\)
拆分求和，结合二项式定理 \(\sum_{k=0}^n C_n^k x^k=(1+x)^n\)，得：
\(
S=\frac{1}{3}\left[(1+1)^n + (1+\omega)^n + (1+\omega^2)^n\right]
\)
由 \(1+\omega+\omega^2=0\)，得 \(1+\omega=-\omega^2\)，\(1+\omega^2=-\omega\)，代入化简：
\(
(1+\omega)^n + (1+\omega^2)^n = (-1)^n(\omega^{2n}+\omega^n)
\)
结合 \(\omega^n+\omega^{2n}=\begin{cases}2, & n是3的倍数 \\ -1, & n不是3的倍数\end{cases}\)，最终得：
\(
S=\begin{cases}
\frac{1}{3}\left[2^n + 2\cdot(-1)^n\right], & n是3的倍数 \\
\frac{1}{3}\left[2^n - (-1)^n\right], & n不是3的倍数
\end{cases}
\)
题型二：复数域中的等差、等比数列问题
【解题通法】
- 判定等差/等比数列：直接用定义，验证 \(z_{n+1}-z_n\) 为常数（等差），或 \(\frac{z_{n+1}}{z_n}\) 为非零常数（等比）；
- 求参数、通项、求和：直接套用复数域的等差/等比数列公式，形式与实数列完全一致，注意公比 \(q=1\) 的特殊情况；
- 复数等式转化：利用复数相等的充要条件，将复数方程拆解为实部、虚部的实数方程组求解。
典型例题1（高考中档难度）
已知三个复数 \(z_1=1+i\)，\(z_2=2+ai\)，\(z_3=b-3i(a,b\in\mathbb{R})\) 成等比数列，求 \(a,b\) 的值及公比 \(q\)。
【详细解答】
三个非零复数成等比数列的充要条件是 \(z_2^2=z_1z_3\)，代入展开：
左边：\((2+ai)^2=4-a^2+4ai\)
右边：\((1+i)(b-3i)=b+3+(b-3)i\)
由复数相等的充要条件，实部、虚部分别相等，列方程组：
\(
\begin{cases}
4-a^2 = b+3 \\
4a = b-3
\end{cases}
\)
将 \(b=4a+3\) 代入第一个方程，得 \(a^2+4a+2=0\)，解得 \(a=-2\pm\sqrt{2}\)，对应 \(b=-5\pm4\sqrt{2}\)。
分两种情况求公比：
① 当 \(a=-2+\sqrt{2}\)，\(b=-5+4\sqrt{2}\) 时：
\(
q=\frac{z_2}{z_1}=\frac{2+(\sqrt{2}-2)i}{1+i}=\frac{\sqrt{2}}{2}+\frac{\sqrt{2}-4}{2}i
\)
② 当 \(a=-2-\sqrt{2}\)，\(b=-5-4\sqrt{2}\) 时：
\(
q=\frac{z_2}{z_1}=\frac{2-(\sqrt{2}+2)i}{1+i}=-\frac{\sqrt{2}}{2}-\frac{\sqrt{2}+4}{2}i
\)
典型例题2（高考压轴难度）
已知复数等比数列 \(\{z_n\}\) 的首项 \(z_1=1\)，公比 \(q=\frac{1}{2}+\frac{\sqrt{3}}{2}i\)，求：
(1) 首项之后第一个为实数的项是第几项，该项的值是多少；
(2) 前n项和 \(S_n\) 的模 \(|S_n|\) 的最大值。
【详细解答】
(1) 将公比化为三角形式：\(q=\cos\frac{\pi}{3}+i\sin\frac{\pi}{3}\)，由棣莫弗公式得：
\(
z_n=q^{n-1}=\cos\frac{(n-1)\pi}{3}+i\sin\frac{(n-1)\pi}{3}
\)
\(z_n\) 为实数的充要条件是虚部为0，即 \(\sin\frac{(n-1)\pi}{3}=0\)，解得 \(n-1=3k(k\in\mathbb{Z})\)，即 \(n=3k+1\)。
\(n\in\mathbb{N}^*\)，首项对应 \(k=0(n=1)\)，因此首项之后第一个实数项对应 \(k=1(n=4)\)，代入得：
\(
z_4=q^3=\cos\pi+i\sin\pi=-1
\)
(2) 由等比数列求和公式，\(q\neq1\)，因此：
\(
S_n=\frac{1-q^n}{1-q}
\)
计算得 \(1-q=\frac{1}{2}-\frac{\sqrt{3}}{2}i\)，\(|1-q|=1\)，由模的性质得：
\(
|S_n|=\frac{|1-q^n|}{|1-q|}=|1-q^n|
\)
代入 \(q^n=\cos\frac{n\pi}{3}+i\sin\frac{n\pi}{3}\)，化简模长：
\(
|1-q^n|=\sqrt{\left(1-\cos\frac{n\pi}{3}\right)^2+\left(\sin\frac{n\pi}{3}\right)^2}=2\left|\sin\frac{n\pi}{6}\right|
\)
\(\left|\sin\frac{n\pi}{6}\right|\) 的最大值为1，当且仅当 \(n=3+6k(k\in\mathbb{N})\) 时取到，因此 \(|S_n|\) 的最大值为2。
题型三：复数数列的递推问题
【解题通法】
复数数列的递推解法与实数列完全一致，核心是构造等差/等比数列，或用特征根法求解；对于实系数二阶线性递推，若特征根为共轭虚根，可利用三角形式化简通项，直接得到数列的周期性。
- 一阶线性递推 \(z_{n+1}=az_n+b(a\neq1)\)：求不动点 \(z_0=\frac{b}{1-a}\)，构造 \(\{z_n-z_0\}\) 为等比数列，公比为 \(a\)；
- 二阶线性齐次递推 \(z_{n+2}=pz_{n+1}+qz_n\)：特征方程为 \(r^2-pr-q=0\)，若特征根 \(r_1\neq r_2\)，则通项 \(z_n=Ar_1^n+Br_2^n\)；若为共轭虚根，可化为三角形式得到含三角函数的通项。
典型例题1（高考中档难度）
已知复数数列 \(\{z_n\}\) 满足 \(z_1=1+i\)，\(z_{n+1}=2z_n+1+3i(n\in\mathbb{N}^*)\)，求数列的通项公式。
【详细解答】
这是一阶线性非齐次递推，先求不动点 \(z_0\)，令 \(z_0=2z_0+1+3i\)，解得 \(z_0=-1-3i\)。
构造新数列 \(w_n=z_n-z_0=z_n+1+3i\)，代入递推式得：
\(
w_{n+1}=z_{n+1}+1+3i=2z_n+2+6i=2w_n
\)
因此 \(\{w_n\}\) 是首项 \(w_1=z_1+1+3i=2+4i\)，公比为2的等比数列，通项为：
\(
w_n=(2+4i)\cdot2^{n-1}=(1+2i)\cdot2^n
\)
还原得原数列通项：
\(
z_n=(1+2i)\cdot2^n -1-3i
\)
典型例题2（高考压轴/竞赛入门难度）
已知实数列 \(\{a_n\}\) 满足 \(a_1=0\)，\(a_2=1\)，\(a_{n+2}=a_{n+1}-a_n(n\in\mathbb{N}^*)\)，利用复数方法求通项公式，并证明数列是周期数列。
【详细解答】
递推式的特征方程为 \(r^2-r+1=0\)，解得共轭虚根：
\(
r_1=\frac{1}{2}+\frac{\sqrt{3}}{2}i=\cos\frac{\pi}{3}+i\sin\frac{\pi}{3},\quad r_2=\frac{1}{2}-\frac{\sqrt{3}}{2}i=\cos\frac{\pi}{3}-i\sin\frac{\pi}{3}
\)
设通项为 \(a_n=Ar_1^{n-1}+Br_2^{n-1}\)，代入初始条件 \(a_1=0,a_2=1\)：
- \(n=1\)：\(A+B=0\Rightarrow B=-A\)
- \(n=2\)：\(Ar_1+Br_2=A(r_1-r_2)=1\)
计算得 \(r_1-r_2=\sqrt{3}i\)，因此 \(A=\frac{1}{\sqrt{3}i}=-\frac{i}{\sqrt{3}}\)，\(B=\frac{i}{\sqrt{3}}\)。
代入通项公式，结合棣莫弗公式化简：
\(
a_n=-\frac{i}{\sqrt{3}}r_1^{n-1}+\frac{i}{\sqrt{3}}r_2^{n-1}=\frac{i}{\sqrt{3}}\left[\cos\frac{(n-1)\pi}{3}-i\sin\frac{(n-1)\pi}{3}-\cos\frac{(n-1)\pi}{3}-i\sin\frac{(n-1)\pi}{3}\right]
\)
最终得通项：
\(
a_n=\frac{2\sqrt{3}}{3}\sin\frac{(n-1)\pi}{3}
\)
周期性证明：正弦函数的周期为 \(2\pi\)，因此 \(\sin\frac{(n-1)\pi}{3}\) 的周期 \(T=\frac{2\pi}{\pi/3}=6\)，即 \(a_{n+6}=a_n\)，数列是周期为6的周期数列。
题型四：复数数列的几何意义问题
【解题通法】
复数数列的每一项对应复平面上的一个点，复数加法对应点的平移，乘法对应点的旋转+缩放，核心技巧：
- 设 \(z_n=x_n+y_ni(x_n,y_n\in\mathbb{R})\)，将复数递推转化为实部、虚部的实数列递推，求通项得到点的轨迹；
- 绕原点逆时针旋转 \(\theta\) 角，对应乘以 \(\cos\theta+i\sin\theta\)；绕定点 \(z_0\) 旋转的公式为 \(z'-z_0=(z-z_0)(\cos\theta+i\sin\theta)\)。
典型例题（高考压轴难度）
在复平面上，点 \(A_1\) 对应复数 \(z_1=0\)，点 \(A_2\) 对应复数 \(z_2=1\)，点 \(A_{n+1}\) 是点 \(A_n\) 绕点 \(A_{n-1}\) 逆时针旋转60°得到的，求：
(1) 数列 \(\{z_n\}\) 的递推公式；
(2) 点 \(A_n\) 到原点的最大距离。
【详细解答】
(1) 点 \(A_n\) 绕点 \(A_{n-1}\) 逆时针旋转60°得到 \(A_{n+1}\)，由旋转变换公式得：
\(
z_{n+1}-z_{n-1}=(z_n-z_{n-1})\cdot\left(\cos60^\circ+i\sin60^\circ\right)
\)
记 \(\omega=\frac{1}{2}+\frac{\sqrt{3}}{2}i\)，整理得递推公式：
\(
z_{n+1}=\omega z_n + (1-\omega)z_{n-1}(n\geq2)
\)
初始条件 \(z_1=0,z_2=1\)。
(2) 递推式的特征方程为 \(r^2-\omega r+(\omega-1)=0\)，因式分解得 \((r-1)(r-(\omega-1))=0\)，解得特征根 \(r_1=1\)，\(r_2=\omega-1=-\frac{1}{2}+\frac{\sqrt{3}}{2}i\)（记为 \(\varepsilon\)，满足 \(|\varepsilon|=1,\varepsilon^3=1\)）。
设通项为 \(z_n=A+B\varepsilon^n\)，代入初始条件解得 \(A=\frac{1}{2}+\frac{i}{2\sqrt{3}}\)，\(B=\frac{i}{\sqrt{3}}\)，因此：
\(
z_n=\frac{1}{2}+\frac{i}{2\sqrt{3}}+\frac{i}{\sqrt{3}}\varepsilon^n
\)
由三角不等式，\(|z_n|\leq\left|\frac{1}{2}+\frac{i}{2\sqrt{3}}\right|+\left|\frac{i}{\sqrt{3}}\varepsilon^n\right|=\frac{1}{\sqrt{3}}+\frac{1}{\sqrt{3}}=\frac{2\sqrt{3}}{3}\)？修正：实际计算周期项，\(\varepsilon\) 周期为3，数列 \(\{z_n\}\) 周期为6，计算得：
- \(z_1=0,z_2=1,z_3=\frac{1}{2}+\frac{\sqrt{3}}{2}i,z_4=0,z_5=-1,z_6=-\frac{1}{2}-\frac{\sqrt{3}}{2}i,z_7=0=z_1\)
- 后续项按此周期循环，\(|z_n|\) 的最大值为1，出现在第2、3、5、6项。
【方法点睛】
旋转变换是复数数列几何意义的核心考点，通过旋转变换公式得到递推式，结合特征根法和复数周期性，可快速分析点的轨迹和模的最值。
题型五：复数数列的极限与收敛性问题
【解题通法】
核心是将复数数列的极限问题，拆解为实部、虚部两个实数列的极限问题；对于等比数列，直接通过 \(|q|\) 与1的大小关系判断收敛性；无穷递缩等比数列（\(|q|<1\)）的无穷项和为 \(S=\frac{z_1}{1-q}\)。
典型例题（高考基础难度）
已知复数等比数列 \(\{z_n\}\) 的首项 \(z_1=1+i\)，公比 \(q=\frac{1}{2}i\)，求：
(1) 数列 \(\{z_n\}\) 的极限；
(2) 无穷项和 \(S\)。
【详细解答】
(1) 公比 \(q=\frac{1}{2}i\)，\(|q|=\frac{1}{2}<1\)，因此 \(\lim\limits_{n\to\infty}q^n=0\)，故：
\(
\lim_{n\to\infty}z_n=\lim_{n\to\infty}(1+i)q^{n-1}=0
\)
(2) 无穷递缩等比数列的和公式为 \(S=\frac{z_1}{1-q}\)，代入有理化得：
\(
S=\frac{1+i}{1-\frac{1}{2}i}=\frac{(1+i)(2+i)}{(2-i)(2+i)}=\frac{1+3i}{5}=\frac{1}{5}+\frac{3}{5}i
\)
三、易错点与核心解题思想
1. 常见易错点
- 忽略复数不能比较大小，仅能比较模的大小，不能表述“复数数列单调递增/递减”；
- 等比数列求和公式中，\(q\neq1\) 的条件对复数公比依然成立，\(q=1\) 时不能套用 \(S_n=z_1\frac{1-q^n}{1-q}\)；
- 复数数列收敛的充要条件是实部、虚部同时收敛，不能仅通过模收敛判断数列收敛；
- 绕定点旋转与绕原点旋转的公式不同，绕定点旋转需先平移、再旋转、最后平移还原，不能直接乘以旋转因子；
- 单位根求和性质 \(1+\omega+\omega^2+\dots+\omega^{n-1}=0\)，注意项数为n，避免多算/少算项。
2. 核心解题思想
- 转化思想：将复数数列问题拆解为实部、虚部两个实数列问题，是最基础、最通用的方法；
- 数形结合：利用复数的几何意义，将数列递推转化为复平面上的点变换，直观理解问题本质；
- 周期思想：利用复数乘方的周期性，大幅简化数列求和、通项计算与最值分析；
- 类比思想：复数域的等差、等比数列，通项、求和公式与实数列完全一致，可直接类比使用，只需遵守复数的运算规则。
本文来自博客园，作者：willeywindsor，转载请注明原文链接：https://www.cnblogs.com/willeywindsor/p/19733496
浙公网安备 33010602011771号