Appearance
复数与向量方法
复数的几何意义与旋转
复数的几何表示是竞赛中最强大的工具之一。将复数 $z = x + yi$对应为平面上的点$(x, y)$，复数的运算就有了清晰的几何含义。
复数的几何意义
- 加法 $z_1+z_2$：向量的平行四边形法则
- 减法 $z_1-z_2$：从 $z_2$指向$z_1$ 的向量
- 乘法 $r_1 e^{i\theta_1} \cdot r_2 e^{i\theta_2} = r_1 r_2 e^{i(\theta_1+\theta_2)}$：模长相乘，辐角相加
- 乘 $i$表示逆时针旋转$90^\circ$：$i \cdot z = e^{i\pi/2} \cdot z$
旋转的关键应用
点 $B$绕点$A$逆时针旋转$\theta$角得到点$C$，则对应的复数满足： $$z_C - z_A = (z_B - z_A) e^{i\theta}$$
这一公式在几何问题的复数解法中至关重要。例如：
- 等腰直角三角形：$z_C - z_A = i(z_B - z_A)$（$\theta = 90^\circ$）
- 等边三角形：$z_C - z_A = e^{i\pi/3}(z_B - z_A) = \left(\frac{1}{2}+\frac{\sqrt{3}}{2}i\right)(z_B - z_A)$
复数几何法的优势
传统平面几何中，旋转需要用全等三角形来证明；而用复数，只需乘以 $e^{i\theta}$，计算量大大降低。
棣莫弗定理
$$(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta$$
这一定理将复数的幂与三角函数联系起来，是证明三角恒等式、推导多倍角公式的核心工具。
棣莫弗定理的推论
展开 $(\cos\theta+i\sin\theta)^n$的二项式，取实部即得$\cos n\theta$的展开，取虚部即得$\sin n\theta$的展开。例如$n=3$： $$\cos 3\theta = 4\cos^3\theta - 3\cos\theta$$ $$\sin 3\theta = 3\sin\theta - 4\sin^3\theta$$
欧拉公式
$$e^{i\theta} = \cos\theta + i\sin\theta$$
欧拉公式将指数函数与三角函数统一在复平面上，是最优美的数学公式之一。其重要推论：
$$e^{i\pi} + 1 = 0$$
欧拉公式的竞赛应用
- 三角级数求和：将 $\sum \cos k\theta$转化为$\operatorname{Re}\left(\sum e^{ik\theta}\right)$，利用等比数列求和公式直接计算
- 多倍角公式的推导：$(\cos\theta+i\sin\theta)^n = e^{in\theta} = \cos n\theta+i\sin n\theta$
- 积分计算：$\int e^{ax}\cos bx\thinspace{}dx = \operatorname{Re}\left(\int e^{(a+bi)x}\thinspace{}dx\right)$
三角级数求和示例
求 $S = \cos\theta + \cos 2\theta + \cdots + \cos n\theta$。
$$S = \operatorname{Re}\left(e^{i\theta} + e^{i2\theta} + \cdots + e^{in\theta}\right) = \operatorname{Re}\left(e^{i\theta} \cdot \frac{1-e^{in\theta}}{1-e^{i\theta}}\right)$$
化简后： $$S = \frac{\sin\frac{n\theta}{2}\cos\frac{(n+1)\theta}{2}}{\sin\frac{\theta}{2}}$$
单位根及其应用
基本概念
$n$次单位根是方程$z^n=1$的$n$ 个复数解： $$\omega_k = e^{2\pi i k/n} = \cos\frac{2\pi k}{n} + i\sin\frac{2\pi k}{n}, \quad k=0,1,\ldots,n-1$$
通常记 $\omega = e^{2\pi i / n}$，则 $\omega_k = \omega^k$。
单位根的核心性质
$$1 + \omega + \omega^2 + \cdots + \omega^{n-1} = 0 \quad (n > 1)$$ 这是因为 $1-\omega^n=0$且$\omega \neq 1$。
单位根在组合恒等式中的应用
关键技巧：利用 $1+\omega+\omega^2=0$（三次单位根 $\omega = e^{2\pi i/3}$）可以"滤出"二项式展开中每隔三项的系数。
例如，求 $\sum_{k} \binom{n}{3k}$（每隔三项取一项的组合数和）。
考虑 $(1+1)^n = \sum \binom{n}{k}$，$(1+\omega)^n = \sum \binom{n}{k}\omega^k$，$(1+\omega^2)^n = \sum \binom{n}{k}\omega^{2k}$。
三式相加，注意到 $1+\omega^k+\omega^{2k}$当$3 \mid k$时为$3$，否则为 $0$： $$2^n + (1+\omega)^n + (1+\omega^2)^n = 3\sum_k \binom{n}{3k}$$
一般公式
$$\sum_{k} \binom{n}{rk} = \frac{1}{r}\sum_{j=0}^{r-1} (1+\omega^j)^n$$ 其中 $\omega = e^{2\pi i/r}$。
复数法证明三角恒等式
例题框架
要证明 $\tan n\theta = \frac{\binom{n}{1}\tan\theta - \binom{n}{3}\tan^3\theta + \cdots}{1 - \binom{n}{2}\tan^2\theta + \cdots}$，可用棣莫弗定理：
$$\cos n\theta + i\sin n\theta = (\cos\theta+i\sin\theta)^n = \cos^n\theta(1+i\tan\theta)^n$$
展开二项式后取虚部与实部之比值。
向量在代数不等式证明中的应用
向量方法处理不等式的基本工具是： $$|\vec{a} \cdot \vec{b}| \le |\vec{a}||\vec{b}|$$
即柯西-施瓦茨不等式的向量形式。等价地考虑构造适当的向量。
构造技巧：对于 $\sum \sqrt{x_i}$型，构造函数$f(t)=\sqrt{t}$，用琴生不等式。对于 $\sum \frac{a_i^2}{b_i}$型，构造向量$(\frac{a_1}{\sqrt{b_1}}, \ldots, \frac{a_n}{\sqrt{b_n}})$和$(\sqrt{b_1}, \ldots, \sqrt{b_n})$。
向量在解方程中的应用
对形如 $\sqrt{x-a}+\sqrt{y-b}=c$的方程，可将左边视为向量$(\sqrt{x-a}, \sqrt{y-b})$ 的模长之和，利用三角不等式放缩。
精选例题
例题 1
题目：利用单位根证明 $\binom{2026}{0}+\binom{2026}{3}+\binom{2026}{6}+\cdots = \frac{1}{3}(2^{2026}+2\cos\frac{2026\pi}{3})$。
解析： 令 $\omega = e^{2\pi i/3}$，则 $1+\omega+\omega^2=0$，$\omega^3=1$。
考虑 $(1+1)^{2026} = \sum\binom{2026}{k}$， $(1+\omega)^{2026} = \sum\binom{2026}{k}\omega^k$， $(1+\omega^2)^{2026} = \sum\binom{2026}{k}\omega^{2k}$。
三式相加，除以 $3$： $$\sum_{3\mid k} \binom{2026}{k} = \frac{2^{2026}+(1+\omega)^{2026}+(1+\omega^2)^{2026}}{3}$$
注意到 $1+\omega = -\omega^2 = e^{i\pi/3}$（因为 $\omega = e^{2\pi i/3}$，$-\omega^2 = -e^{4\pi i/3} = e^{i\pi/3}$）。需要仔细验证：$1+\omega = 1+\cos\frac{2\pi}{3}+i\sin\frac{2\pi}{3} = 1-\frac{1}{2}+i\frac{\sqrt{3}}{2}=e^{i\pi/3}$。同理 $1+\omega^2 = e^{-i\pi/3}$。
$(1+\omega)^{2026}+(1+\omega^2)^{2026}=e^{2026\pi i/3}+e^{-2026\pi i/3}=2\cos\frac{2026\pi}{3}$。
代入即得结论。右侧应为 $\frac{1}{3}\left(2^{2026}+2\cos\frac{2026\pi}{3}\right)$。
例题 2
题目：用复数证明 $\cos 5\theta = 16\cos^5\theta - 20\cos^3\theta + 5\cos\theta$。
解析： 由棣莫弗定理：$\cos 5\theta+i\sin 5\theta = (\cos\theta+i\sin\theta)^5$
二项式展开： $$(\cos\theta+i\sin\theta)^5 = \cos^5\theta + 5i\cos^4\theta\sin\theta - 10\cos^3\theta\sin^2\theta - 10i\cos^2\theta\sin^3\theta + 5\cos\theta\sin^4\theta + i\sin^5\theta$$
取实部（含 $i$ 的偶次幂）： $$\cos 5\theta = \cos^5\theta - 10\cos^3\theta\sin^2\theta + 5\cos\theta\sin^4\theta$$
代入 $\sin^2\theta = 1-\cos^2\theta$， $\sin^4\theta = (1-\cos^2\theta)^2 = 1-2\cos^2\theta+\cos^4\theta$：
$$\begin{aligned} \cos 5\theta &= \cos^5\theta - 10\cos^3\theta(1-\cos^2\theta) + 5\cos\theta(1-2\cos^2\theta+\cos^4\theta) \newline &= \cos^5\theta - 10\cos^3\theta + 10\cos^5\theta + 5\cos\theta - 10\cos^3\theta + 5\cos^5\theta \newline &= 16\cos^5\theta - 20\cos^3\theta + 5\cos\theta \end{aligned}$$
例题 3
题目：利用复数求 $\cos\frac{\pi}{7}+\cos\frac{3\pi}{7}+\cos\frac{5\pi}{7}$ 的值。
解析： 考虑七次单位根 $\omega = e^{2\pi i/7}$。令 $S = \cos\frac{\pi}{7}+\cos\frac{3\pi}{7}+\cos\frac{5\pi}{7}$。
由于 $\cos\frac{6\pi}{7} = -\cos\frac{\pi}{7}$，$\cos\frac{4\pi}{7} = -\cos\frac{3\pi}{7}$，$\cos\frac{2\pi}{7} = -\cos\frac{5\pi}{7}$。
考虑 $1+\omega+\omega^2+\cdots+\omega^6=0$，取实部： $$1+\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}+\cos\frac{8\pi}{7}+\cos\frac{10\pi}{7}+\cos\frac{12\pi}{7}=0$$
利用 $\cos$的周期性，这等价于$1+2(\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7})=0$。
故 $\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7} = -\frac{1}{2}$。
由对称性：$\cos\frac{\pi}{7}+\cos\frac{3\pi}{7}+\cos\frac{5\pi}{7} = \frac{1}{2}$。
（等价利用 $\cos(\pi-x)=-\cos x$，可得 $S-(-S)=1$，$S=\frac{1}{2}$。）
例题 4
题目：证明 $\sin\frac{\pi}{n} \cdot \sin\frac{2\pi}{n} \cdots \sin\frac{(n-1)\pi}{n} = \frac{n}{2^{n-1}}$。
解析： 考虑 $x^{2n}-1=0$的根为$\pm 1, e^{\pm i\pi/n}, e^{\pm i2\pi/n}, \ldots, e^{\pm i(n-1)\pi/n}$。
$$x^{2n}-1 = (x^2-1)\prod_{k=1}^{n-1}(x^2-2x\cos\frac{k\pi}{n}+1)$$
两边除以 $x^2-1$并令$x=1$，用洛必达法则或直接分析：
由恒等式 $\prod_{k=1}^{n-1}(2-2\cos\frac{k\pi}{n}) = 2n$。
又 $2-2\cos\theta = 4\sin^2\frac{\theta}{2}$，代入：
$$\prod_{k=1}^{n-1}4\sin^2\frac{k\pi}{2n} = 2n$$
由于 $\sin\frac{k\pi}{2n} \cdot \sin\frac{(2n-k)\pi}{2n} = \sin^2\frac{k\pi}{2n}$（对称性），进一步推导可得结论。
例题 5
题目：用复数计算 $\binom{n}{1}-\binom{n}{3}+\binom{n}{5}-\binom{n}{7}+\cdots$。
解析： 考虑 $(1+i)^n$ 的二项式展开： $$(1+i)^n = \sum_{k=0}^n \binom{n}{k} i^k$$
$i^k$的周期为$4$：$1, i, -1, -i$。
取虚部： $$\operatorname{Im}((1+i)^n) = \binom{n}{1} - \binom{n}{3} + \binom{n}{5} - \binom{n}{7} + \cdots$$
而 $1+i = \sqrt{2}\thinspace e^{i\pi/4}$，故 $(1+i)^n = 2^{n/2} e^{in\pi/4}$。
虚部为 $2^{n/2}\sin\frac{n\pi}{4}$。
因此： $$\binom{n}{1}-\binom{n}{3}+\binom{n}{5}-\binom{n}{7}+\cdots = 2^{n/2}\sin\frac{n\pi}{4}$$
例题 6
题目：用向量法证明三角形中 $\cos A + \cos B + \cos C \le \frac{3}{2}$。
解析： 构造单位向量 $\vec{u}, \vec{v}, \vec{w}$两两夹角分别为$A, B, C$（三角形内角）。
$$|\vec{u}+\vec{v}+\vec{w}|^2 = 3 + 2(\cos A + \cos B + \cos C) \ge 0$$
故 $\cos A + \cos B + \cos C \ge -\frac{3}{2}$（这是下界）。
对于上界，考虑在三角形中 $A+B+C=\pi$。由琴生不等式（$\cos x$在$[0,\pi]$ 上是凹函数）： $$\frac{\cos A + \cos B + \cos C}{3} \le \cos\frac{A+B+C}{3} = \cos\frac{\pi}{3} = \frac{1}{2}$$
故 $\cos A+\cos B+\cos C \le \frac{3}{2}$，等号当 $A=B=C=\frac{\pi}{3}$ 时成立。
向量法的优势
向量法可以统一处理几何与代数问题。对于含 $\sqrt{a^2+b^2}$型的代数表达式，构造向量$(a,b)$ 往往能得到简洁的几何解释。
方法对比表
| 方法 | 适用问题类型 | 核心工具 |
|---|---|---|
| 复数几何法 | 旋转、正多边形 | $e^{i\theta}$ 乘法 |
| 棣莫弗定理 | 多倍角公式 | $(\cos\theta+i\sin\theta)^n$ |
| 欧拉公式 | 三角级数求和 | $e^{i\theta}$ 等比数列 |
| 单位根法 | 组合恒等式 | $1+\omega+\cdots+\omega^{n-1}=0$ |
| 向量法 | 不等式证明 | 柯西向量形式 |
复数法在几何中的高级应用
复平面上的几何变换
几何变换的复数表示
- 平移：$z \mapsto z + a$（$a$ 为复数）
- 旋转：$z \mapsto e^{i\theta} z$（绕原点）
- 旋转 + 平移：$z \mapsto e^{i\theta} z + a$
- 位似：$z \mapsto r z$（$r > 0$ 为实数）
- 反演：$z \mapsto \dfrac{1}{\bar{z}}$（关于单位圆反演）
- 共轭：$z \mapsto \bar{z}$（关于实轴对称）
三角形的心在复数表示
设 $\triangle ABC$的顶点$A, B, C$对应复数$a, b, c$：
| 心 | 复数表示 |
|---|---|
| 重心 $G$ | $\dfrac{a+b+c}{3}$ |
| 内心 $I$ | $\dfrac{a\cdot |
| 外心 $O$ | 满足$\Vert{}z-a\Vert = \Vert{}z-b\Vert = \Vert{}z-c\Vert$的$z$ |
| 垂心 $H$ | $h = a+b+c - 2o$（$o$ 为外心） |
| 九点圆圆心 $N$ | $\dfrac{o+h}{2}$ |
共线、共圆判定
复数判定定理
- 共线：三点 $z_1, z_2, z_3$共线当且仅当$\dfrac{z_1-z_3}{z_2-z_3}$ 为实数。
- 共圆：四点 $z_1, z_2, z_3, z_4$共圆当且仅当$\dfrac{(z_1-z_3)(z_2-z_4)}{(z_1-z_4)(z_2-z_3)}$ 为实数。
等边三角形的复数判定
$\triangle ABC$ 为等边三角形（正向）当且仅当 $$a + \omega b + \omega^2 c = 0$$ 其中 $\omega = e^{2\pi i/3}$。即 $a + b\omega + c\omega^2 = 0$，或等价地 $a^2 + b^2 + c^2 = ab + bc + ca$。
旋转的复合
设点 $P$绕$A_1$旋转$\theta_1$得$P_1$，再绕 $A_2$旋转$\theta_2$得$P_2$。则 $$p_2 - a_2 = e^{i\theta_2}(p_1 - a_2) = e^{i\theta_2}\big(e^{i\theta_1}(p - a_1) - (a_2 - a_1)\big)$$
特别地，若 $\theta_1 + \theta_2 = 2\pi$（两次旋转合成平移）： $$p_2 = p + (a_2 - a_1)(1 - e^{i\theta_1}) \cdot e^{i\theta_2}$$
Miquel 定理的复数证明
Miquel 定理
在四边形 $ABCD$中，四边外接圆$\odot(ABP), \odot(BCP), \odot(CDP), \odot(DAP)$ 的某些公共点共圆。
复数证明：用 $\dfrac{z - z_i}{z - z_j}$的辐角表示圆周角，通过辐角和为$\pi$ 来证明共圆。
复数法证明 Menelaus / Ceva 定理
Menelaus 定理
设 $D, E, F$分别为$\triangle ABC$三边$BC, CA, AB$上的点（或其延长线），则$D, E, F$ 共线当且仅当 $$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = -1$$
复数证法：设 $D, E, F$复数坐标为$d, e, f$。由共线条件 $$\frac{d - f}{e - f} \in \mathbb{R} \iff \frac{d - f}{e - f} = \overline{\left(\frac{d - f}{e - f}\right)}$$ 利用 $d, e, f$在$BC, CA, AB$ 上的参数化表示，可推出 Menelaus 比例关系。
Ceva 定理
$AD, BE, CF$共点当且仅当$\dfrac{BD}{DC} \cdot \dfrac{CE}{EA} \cdot \dfrac{AF}{FB} = 1$。
多项式根的复数表示
实系数多项式根的对称性
实系数多项式共轭根定理
若 $f(x) \in \mathbb{R}[x]$有复根$z$，则 $\bar{z}$也是$f$ 的根。
这意味着实系数多项式的复根成对出现，可以将 $f(x)$ 分解为实系数一次和二次因式的乘积： $$f(x) = a \prod (x - r_i) \prod (x^2 - 2\text{Re}(z_j) x + |z_j|^2)$$
根与系数关系的复数解释
对三次方程 $x^3 + px + q = 0$，三根 $\alpha, \beta, \gamma$满足$\alpha + \beta + \gamma = 0$。若三根在复平面上构成等边三角形，则 $p = 0$（即 $x^3 + q = 0$）。
单位根与多项式
$x^n - 1 = \prod_{k=0}^{n-1}(x - \omega^k)$，其中 $\omega = e^{2\pi i/n}$。分圆多项式 $\Phi_n(x) = \prod_{\gcd(k,n)=1}(x - \omega^k)$满足$x^n - 1 = \prod_{d|n} \Phi_d(x)$。
详见 多项式与方程 与 素数分布与解析数论初步。
向量法的高级应用
向量叉积在二维几何中的应用
二维向量 $\vec{u} = (u_1, u_2)$, $\vec{v} = (v_1, v_2)$的叉积$u_1 v_2 - u_2 v_1$表示以$\vec{u}, \vec{v}$ 为邻边的平行四边形的有向面积。
共线判定
三点 $A, B, C$共线当且仅当$\vec{AB} \times \vec{AC} = 0$。
三角形面积公式
$$S_{\triangle ABC} = \frac{1}{2}|\vec{AB} \times \vec{AC}|$$
多边形面积公式（鞋带公式）
对多边形 $A_1 A_2 \cdots A_n$： $$S = \frac{1}{2}\left|\sum_{i=1}^n (x_i y_{i+1} - x_{i+1} y_i)\right|$$ （其中 $A_{n+1} = A_1$）
向量法在三维几何中的应用
三维向量核心公式
- 混合积：$[\vec{a}, \vec{b}, \vec{c}] = \vec{a} \cdot (\vec{b} \times \vec{c})$，表示以三个向量为邻边的平行六面体的有向体积。
- 三向量共面：$[\vec{a}, \vec{b}, \vec{c}] = 0$。
- 二重叉积：$\vec{a} \times (\vec{b} \times \vec{c}) = (\vec{a} \cdot \vec{c})\vec{b} - (\vec{a} \cdot \vec{b})\vec{c}$
向量法证明不等式
例：证明对 $a, b, c, d \ge 0$，$\sqrt{(a^2+b^2)(c^2+d^2)} \ge ac + bd$（Cauchy-Schwarz）。
构造向量 $\vec{u} = (a, b)$, $\vec{v} = (c, d)$，则 $|\vec{u} \cdot \vec{v}| \le |\vec{u}||\vec{v}|$ 即为所求。
详见 不等式与最值问题。
复数法处理几何变换题
例题：旋转 + 相似变换
题：在 $\triangle ABC$中，将$BC$绕$B$顺时针旋转$90^\circ$得$BD$，将 $BC$绕$C$逆时针旋转$90^\circ$得$CE$。证明 $AD = AE$且$AD \perp AE$。
复数证法：设 $A, B, C$对应$a, b, c$。
- $D$满足$d - b = -i(c - b)$，故 $d = b - i(c-b) = b - ic + ib$
- $E$满足$e - c = i(c - b)$，故 $e = c + ic - ib$
计算 $d - a$和$e - a$：
- $d - a = b - ic + ib - a$
- $e - a = c + ic - ib - a$
验证 $e - a = i(d - a)$： $$i(d - a) = ib + c - b + b - ia = c + ib - b - ia + b$$ 经过整理可证 $e - a = i(d - a)$，意味着 $\vec{AE}$是$\vec{AD}$逆时针旋转$90^\circ$，故 $|AD| = |AE|$且$AD \perp AE$。$\square$
例题：Napoleon 定理
题：在任意 $\triangle ABC$三边外侧作等边三角形$\triangle BCA', \triangle CAB', \triangle ABC'$。证明 $\triangle A'B'C'$ 的重心是等边三角形（Napoleon 三角形）。
复数证法：设 $A, B, C$对应$a, b, c$，$\omega = e^{2\pi i/3}$。
外侧等边三角形顶点（正向）：
- $a' = b + \omega(c - b) = (1-\omega)b + \omega c$
- $b' = c + \omega(a - c) = \omega a + (1-\omega)c$
- $c' = a + \omega(b - a) = (1-\omega)a + \omega b$
Napoleon 三角形重心 $G = \dfrac{a'+b'+c'}{3}$。直接计算三边长 $|a'-b'|, |b'-c'|, |c'-a'|$ 可证其为等边三角形。
复数与 Fourier 级数
离散 Fourier 变换
函数 $f: \lbrace 0, 1, \ldots, n-1\rbrace \to \mathbb{C}$的 DFT 为$\hat{f}(k) = \sum_{j=0}^{n-1} f(j) \omega^{jk}$，其中 $\omega = e^{2\pi i/n}$。 反变换：$f(j) = \dfrac{1}{n}\sum_{k=0}^{n-1} \hat{f}(k) \omega^{-jk}$。
DFT 是单位根在现代信号处理和组合恒等式中的核心应用。许多组合恒等式（如 $\sum_k \binom{n}{rk}$）本质上是 DFT 的特殊情形。
复数法在数论中的应用
高斯整数 $\mathbb{Z}[i]$
高斯整数
$\mathbb{Z}[i] = \lbrace a + bi : a, b \in \mathbb{Z}\rbrace $ 是唯一分解整环（UFD）。
- 范数 $N(a+bi) = a^2 + b^2$
- $p$可表为两整数平方和当且仅当$p = 2$或$p \equiv 1 \pmod 4$，等价于 $p$在$\mathbb{Z}[i]$ 中可约
这是费马平方和定理的复数证明。详见 二次型理论。
单位根与分圆域
$n$次单位根$\omega = e^{2\pi i/n}$生成分圆域$\mathbb{Q}(\omega)$。该域的 Galois 群同构于 $(\mathbb{Z}/n\mathbb{Z})^*$，与 素数分布与解析数论初步 中的 Dirichlet 特征紧密相关。
竞赛级题目精选
题 1（旋转 + 相似）
设 $P$为$\triangle ABC$ 内一点，$\angle PAB = \angle PBC = \angle PCA = \theta$（Brocard 角）。证明 $\cot\theta = \cot A + \cot B + \cot C$。
复数证法：用 $P$的复数表示和旋转条件$\dfrac{p-a}{b-a} \cdot e^{-i\theta} \in \mathbb{R}^+$ 等，结合三角恒等式可证。
题 2（ISL 几何）
设 $ABCD$ 为凸四边形，$P, Q$分别为$AC, BD$ 上的点，$\dfrac{AP}{PC} = \dfrac{AQ}{QC} \cdot k$。用复数法证明 $PQ$ 与某对角线的关系。
题 3（单位根 + 多项式）
证明 $\prod_{k=1}^{n-1}(1 - \omega^k) = n$，其中 $\omega = e^{2\pi i/n}$。
证明：$x^n - 1 = (x-1)\prod_{k=1}^{n-1}(x - \omega^k)$。两边在 $x = 1$ 处求导： $$n \cdot 1^{n-1} = \prod_{k=1}^{n-1}(1 - \omega^k)$$ 故 $\prod_{k=1}^{n-1}(1 - \omega^k) = n$。$\square$
方法对比表（扩充版）
| 方法 | 适用问题类型 | 核心工具 |
|---|---|---|
| 复数几何法 | 旋转、正多边形、几何变换 | $e^{i\theta}$ 乘法 |
| 棣莫弗定理 | 多倍角公式 | $(\cos\theta+i\sin\theta)^n$ |
| 欧拉公式 | 三角级数求和 | $e^{i\theta}$ 等比数列 |
| 单位根法 | 组合恒等式 | $1+\omega+\cdots+\omega^{n-1}=0$ |
| 向量法 | 不等式证明 | 柯西向量形式 |
| 复数共线共圆判定 | 共线、共圆 | 辐角为实数 |
| 复数 + 旋转复合 | 多次旋转 | 矩阵乘法 / 复数乘法 |
| 高斯整数 | 数论（平方和） | 范数 $N(a+bi)$ |
| 分圆域 | 高级数论 | Galois 群 |
| DFT | 组合恒等式 | 单位根正交性 |
竞赛备战清单
一试/二试/CMO/IMO 级别复数与向量
- 一试：复数代数运算、棣莫弗定理、单位根基础、向量 Cauchy
- 二试：复数几何法、共线共圆判定、旋转复合、向量叉积
- CMO/IMO：Napoleon 定理、Miquel 定理、Brocard 角、复数证明几何定理
- TST/Putnam：高斯整数、分圆域、DFT、复数与 Galois 理论