ch02复数几何表示

复数的几何表示 知识点详解与推导证明

各位同学，今天我们用60余年教研的视角，把复数几何表示这个复分析的基石内容，从定义、推导、几何意义到核心结论，完整、严谨地讲透。这部分内容是高斯系统奠定、黎曼拓展的核心理论，把复数的代数运算和平面几何、向量几何完全打通，是后续复变函数论的核心基础。

---

一、引言：复数几何表示的核心价值

复数的几何表示，核心是建立复数集合与平面点集的一一对应关系：

• 实数对应数轴（直线）上的点，而复数拓展到二维平面，我们称之为复平面；
• 高斯是第一个系统地用平面点表示复数、并以此发展数学理论的数学家；黎曼后续将复数的表示拓展到球面（黎曼球面），进一步完善了复几何的体系；
• 这种对应关系，让我们可以把复数的代数运算转化为直观的几何操作，为复变函数的理论发展提供了几何直观，是整个复分析的基础。

---

二、复数的平面点表示（复平面的定义）

2.1 复数与平面点的一一对应

取平面上两条互相垂直、交于原点\(O\)的数轴：

• 水平轴（\(X\)轴）：实轴，对应复数的实部，轴上的点对应实数（虚部为0）；
• 竖直轴（\(Y\)轴）：虚轴，对应复数的虚部，轴上的点对应纯虚数（实部为0）。

对于任意复数\(\alpha = a + ib\)：

• 它唯一对应复平面上的点\(P\)，直角坐标为\((a, b)\)，其中\(a = \Re(\alpha)\)（实部），\(b = \Im(\alpha)\)（虚部）；
• 反过来，复平面上任意一个点\((a,b)\)，也唯一对应一个复数\(a+ib\)，因此复数集合与复平面的点集是一一对应的。

2.2 用共轭复数表示点的坐标

推导过程：
已知复数\(\alpha = a + ib\)，其共轭复数\(\bar{\alpha} = a - ib\)，将两式分别加减：

1. 相加：\(\alpha + \bar{\alpha} = (a+ib)+(a-ib) = 2a\)，因此实部\(a = \frac{1}{2}(\alpha + \bar{\alpha})\)；
2. 相减：\(\alpha - \bar{\alpha} = (a+ib)-(a-ib) = 2ib\)，因此虚部\(b = \frac{1}{2i}(\alpha - \bar{\alpha})\)。

因此，复数\(\alpha\)对应点的直角坐标也可表示为：

\[\boldsymbol{\left[ \frac{1}{2}(\alpha + \bar{\alpha}),\ \frac{1}{2i}(\alpha - \bar{\alpha}) \right]} \]

2.3 模与辐角的几何意义

对于复数\(\alpha\)对应点\(P\)：

1. 模\(|\alpha|\)：原点\(O\)到点\(P\)的线段长度\(OP\)，即两点间距离。由勾股定理得\(|\alpha| = \sqrt{a^2 + b^2}\)，模永远非负；
2. 辐角\(\arg\alpha\)：以正实轴为始边、射线\(OP\)为终边的角\(\angle XOP\)，逆时针为正方向，主值范围为\((-\pi, \pi]\)（辐角是多值的，不同值之间相差\(2k\pi\)，\(k\)为整数）。

---

三、复数的向量表示

3.1 复数与平面向量的对应

复数\(\alpha = a + ib\)，可以唯一对应从原点\(O\)出发、指向点\(P(a,b)\)的向量\(\overrightarrow{OP}\)：

• 向量的大小（模长） = 复数的模\(|\alpha|\)；
• 向量的方向 = 复数的辐角\(\arg\alpha\)；
• 反过来，任意一个从原点出发的平面向量，只要确定了模长和方向，就唯一对应一个复数。

这一对应让复数的运算和向量运算完全打通，是几何表示的核心桥梁。

3.2 共轭与负复数的几何表示

设复数\(\alpha\)对应点\(P\)：

1. 共轭复数\(\bar{\alpha}\)：对应点\(Q\)，是\(P\)关于实轴（X轴）的反射点（对称点）。
   推导：\(\alpha=a+ib\)，\(\bar{\alpha}=a-ib\)，点\(P(a,b)\)与\(Q(a,-b)\)横坐标不变、纵坐标取反，必然关于实轴对称。
2. 负复数\(-\alpha\)：对应点\(R\)，是\(P\)关于原点的中心对称点（原点反射）。
   推导：\(\alpha=a+ib\)，\(-\alpha=-a-ib\)，原点是线段\(PR\)的中点，因此\(P\)与\(R\)关于原点中心对称。

---

四、复数代数运算的几何表示与推导

设\(\alpha = a + ib\)对应点\(P\)，\(\beta = c + id\)对应点\(Q\)，我们逐个推导加减乘除的几何意义。

4.1 加法：\(\alpha + \beta\)

1. 代数结果：\(\alpha + \beta = (a+c) + i(b+d)\)，对应点\(R(a+c, b+d)\)；
2. 几何构造：平行四边形法则：以\(\overrightarrow{OP}\)和\(\overrightarrow{OQ}\)为邻边作平行四边形，第四个顶点\(R\)就是\(\alpha+\beta\)对应的点；
3. 严谨证明：
   平行四边形的核心性质是对角线互相平分，因此线段\(OR\)和\(PQ\)的中点必须重合。
   • \(PQ\)的中点坐标：\(P(a,b)\)、\(Q(c,d)\)，中点为\(\left( \frac{a+c}{2},\ \frac{b+d}{2} \right)\)；
   • \(OR\)的中点坐标：\(R(a+c, b+d)\)，中点为\(\left( \frac{a+c}{2},\ \frac{b+d}{2} \right)\)。
     两者完全一致，同时\(\overrightarrow{OP} \parallel \overrightarrow{QR}\)、\(\overrightarrow{OQ} \parallel \overrightarrow{PR}\)，符合平行四边形定义，构造成立。
4. 向量视角：\(\overrightarrow{OR} = \overrightarrow{OP} + \overrightarrow{OQ}\)，复数加法与平面向量加法的平行四边形法则完全等价。

4.2 减法：\(\alpha - \beta\)

1. 代数转化：\(\alpha - \beta = \alpha + (-\beta)\)，先找到\(-\beta\)对应的点\(Q'\)（\(Q\)关于原点的对称点）；
2. 几何构造：以\(\overrightarrow{OP}\)和\(\overrightarrow{OQ'}\)为邻边作平行四边形，第四个顶点\(R\)就是\(\alpha-\beta\)对应的点；
3. 核心几何意义：
   • 向量视角：\(\alpha - \beta\)对应向量\(\overrightarrow{QP}\)，即从\(\beta\)对应的点\(Q\)指向\(\alpha\)对应的点\(P\)的向量（\(\overrightarrow{OP} - \overrightarrow{OQ} = \overrightarrow{QP}\)）；
   • 模的意义：\(|\alpha - \beta| = \sqrt{(a-c)^2 + (b-d)^2}\)，就是复平面上点\(P\)和点\(Q\)之间的距离，这是复平面距离公式的核心；
   • 辐角意义：\(\arg(\alpha - \beta)\)是向量\(\overrightarrow{QP}\)与正实轴的夹角，即正实轴逆时针旋转到与\(\overrightarrow{QP}\)平行时转过的角度。

4.3 乘法：\(\alpha\beta\)

乘法的几何意义用三角形式（极坐标形式）推导最清晰，这是棣莫弗公式的核心应用。

1. 复数的三角形式：
   设\(\alpha = r_1(\cos\theta_1 + i\sin\theta_1)\)，其中\(r_1=|\alpha|\)，\(\theta_1=\arg\alpha\)；
   设\(\beta = r_2(\cos\theta_2 + i\sin\theta_2)\)，其中\(r_2=|\beta|\)，\(\theta_2=\arg\beta\)。
2. 代数推导：
   \[\begin{align*} \alpha\beta &= r_1(\cos\theta_1 + i\sin\theta_1) \cdot r_2(\cos\theta_2 + i\sin\theta_2) \\ &= r_1r_2 \cdot \left[ (\cos\theta_1\cos\theta_2 - \sin\theta_1\sin\theta_2) + i(\sin\theta_1\cos\theta_2 + \cos\theta_1\sin\theta_2) \right] \end{align*} \]
   由三角和角公式：\(\cos(\theta_1+\theta_2)=\cos\theta_1\cos\theta_2 - \sin\theta_1\sin\theta_2\)，\(\sin(\theta_1+\theta_2)=\sin\theta_1\cos\theta_2 + \cos\theta_1\sin\theta_2\)，因此：
   \[\boldsymbol{\alpha\beta = r_1r_2 \cdot \left[ \cos(\theta_1+\theta_2) + i\sin(\theta_1+\theta_2) \right]} \]

3. 核心结论：
   • 乘积的模：\(|\alpha\beta| = |\alpha| \cdot |\beta|\)，模相乘；
   • 乘积的辐角：\(\arg(\alpha\beta) = \arg\alpha + \arg\beta + 2k\pi\)（\(k\)为整数，主值下取\(k\)使结果落在\((-\pi, \pi]\)），辐角相加。
4. 几何构造：
   要得到\(\alpha\beta\)对应的点\(R\)，只需：将向量\(\overrightarrow{OP}\)绕原点逆时针旋转\(\arg\beta\)的角度，再将模长乘以\(|\beta|\)，得到的向量\(\overrightarrow{OR}\)就是\(\alpha\beta\)对应的向量。
   也可通过相似三角形构造：在实轴取点\(A\)使\(OA=1\)，作\(\triangle OQR\)与\(\triangle OAP\)同向相似，\(R\)即为所求，相似性可通过边比例与角相等严格证明。
5. 经典例子：乘以\(i\)的几何意义
   \(i = \cos\frac{\pi}{2} + i\sin\frac{\pi}{2}\)，模为1，辐角为\(\frac{\pi}{2}\)。因此乘以\(i\)，就是将对应向量绕原点逆时针旋转90°，模长不变，完全符合几何直观。

4.4 除法：\(\alpha/\beta\)（\(\beta \neq 0\)）

1. 代数推导：
   设\(\alpha/\beta = \gamma\)，则\(\alpha = \beta\gamma\)，结合三角形式：
   \[\gamma = \frac{\alpha}{\beta} = \frac{r_1}{r_2} \cdot \left[ \cos(\theta_1 - \theta_2) + i\sin(\theta_1 - \theta_2) \right] \]

2. 核心结论：
   • 商的模：\(|\alpha/\beta| = |\alpha| / |\beta|\)，模相除；
   • 商的辐角：\(\arg(\alpha/\beta) = \arg\alpha - \arg\beta + 2k\pi\)，辐角相减。
3. 几何构造：
   要得到\(\alpha/\beta\)对应的点\(R\)，只需：将向量\(\overrightarrow{OP}\)绕原点顺时针旋转\(\arg\beta\)的角度（即逆时针旋转\(-\arg\beta\)），再将模长除以\(|\beta|\)，得到的向量\(\overrightarrow{OR}\)就是\(\alpha/\beta\)对应的向量。
4. 经典例子：\(n\)次单位根的几何意义
   \(n\)次单位根是满足\(z^n=1\)的复数，解为\(z_k = \cos\frac{2k\pi}{n} + i\sin\frac{2k\pi}{n}\)，\(k=0,1,...,n-1\)。
   几何上：所有单位根的模都是1，都在单位圆（圆心在原点、半径1的圆）上；相邻两个根的辐角差为\(\frac{2\pi}{n}\)，即圆心角相等，因此\(n\)次单位根是单位圆内接正\(n\)边形的\(n\)个顶点，原点为正\(n\)边形的中心。

---

五、辐角\(\boldsymbol{\arg\frac{z-\alpha}{z-\beta}}\)的几何意义

这部分是复平面上角的核心表示，是后续圆、直线方程的基础。

1. 向量对应：
   设\(z\)对应点\(P\)，\(\alpha\)对应点\(A\)，\(\beta\)对应点\(B\)，则：
   • \(z-\alpha\)对应向量\(\overrightarrow{AP}\)（从\(A\)指向\(P\)）；
   • \(z-\beta\)对应向量\(\overrightarrow{BP}\)（从\(B\)指向\(P\)）。
2. 核心几何意义：
   由除法的辐角性质，\(\arg\frac{z-\alpha}{z-\beta} = \arg(z-\alpha) - \arg(z-\beta)\)，它表示：向量\(\overrightarrow{BP}\)旋转到与\(\overrightarrow{AP}\)同向时转过的角度\(\theta\)，也就是点\(P\)对两个定点\(A\)、\(B\)的张角\(\angle APB\)，逆时针旋转为正，顺时针旋转为负，主值范围\((-\pi, \pi]\)。
3. 重要推论：垂直的复数条件
   若\(AP \perp BP\)，则\(\angle APB = \pm\frac{\pi}{2}\)，即\(\arg\frac{z-\alpha}{z-\beta} = \pm\frac{\pi}{2}\)。
   而一个复数的辐角为\(\pm\frac{\pi}{2}\)，当且仅当它是纯虚数，因此：\(AP \perp BP \iff \frac{z-\alpha}{z-\beta}\)是纯虚数。
   这个推论的几何意义是：以\(AB\)为直径的圆上的点（除\(A\)、\(B\)），都满足这个条件，这是圆的复数方程的核心基础。

---

六、复平面上直线的复数方程

6.1 过两点\(z_1\)、\(z_2\)的直线方程

推导过程：

设\(z\)是直线上任意一点，则\(z\)、\(z_1\)、\(z_2\)三点共线，向量\(\overrightarrow{z_1 z}\)与\(\overrightarrow{z_1 z_2}\)共线，因此它们的夹角为\(0\)或\(\pi\)，即：

\[\arg\frac{z - z_1}{z_1 - z_2} = 0 \text{ 或 } \pi \]

一个复数的辐角为\(0\)或\(\pi\)，当且仅当它是实数，因此\(\frac{z - z_1}{z_1 - z_2}\)是实数。
而一个复数是实数，当且仅当它等于自身的共轭，因此：

\[\frac{z - z_1}{z_1 - z_2} = \frac{\bar{z} - \bar{z_1}}{\bar{z_1} - \bar{z_2}} \]

交叉相乘、展开化简后，得到过\(z_1\)、\(z_2\)的直线的复数方程：

\[\boldsymbol{z(\bar{z_1} - \bar{z_2}) - \bar{z}(z_1 - z_2) + (z_1\bar{z_2} - \bar{z_1}z_2) = 0} \]

6.2 直线的一般复数方程

1. 一般形式

\[\boldsymbol{\bar{\alpha} z + \alpha \bar{z} + r = 0} \]

其中\(\alpha\)是不为0的复常数，\(r\)是实常数。

2. 严谨证明（对应平面直线）

设\(\alpha = a + ib\)，\(z = x + iy\)，代入方程展开：

\[\begin{align*} \overline{(a+ib)}(x+iy) + (a+ib)\overline{(x+iy)} + r &= 0 \\ (a-ib)(x+iy) + (a+ib)(x-iy) + r &= 0 \\ 2ax + 2by + r &= 0 \end{align*} \]

这正是平面直角坐标系中直线的一般式\(Ax + By + C = 0\)（\(A=a,B=b,C=r/2\)，\(\alpha\neq0\)保证\(A,B\)不同时为0），因此该方程严格对应复平面上的直线。

6.3 直线的反射点（对称点）

1. 定义

两点\(z_1\)、\(z_2\)关于直线\(L\)对称（互为反射点），当且仅当直线\(L\)是线段\(z_1z_2\)的垂直平分线，即\(L\)上任意一点\(z\)，都满足\(|z - z_1| = |z - z_2|\)。

2. 充要条件与证明

定理：对于直线\(L: \bar{\alpha} z + \alpha \bar{z} + r = 0\)（\(\alpha\neq0\)，\(r\in\mathbb{R}\)），两点\(z_1\)、\(z_2\)关于\(L\)对称的充要条件是：

\[\boldsymbol{\bar{\alpha} z_1 + \alpha \bar{z_2} + r = 0} \]

必要性证明（对称⇒等式成立）：
若\(z_1\)、\(z_2\)关于\(L\)对称，则\(L\)是\(z_1z_2\)的垂直平分线，其方程可整理为：

\[z(\bar{z_2} - \bar{z_1}) + \bar{z}(z_2 - z_1) + (|z_1|^2 - |z_2|^2) = 0 \]

该方程与\(L\)的方程是同一直线，因此系数成比例，存在非零常数\(k\)，使得\(\bar{\alpha}=k(\bar{z_2}-\bar{z_1})\)，\(\alpha=k(z_2-z_1)\)，\(r=k(|z_1|^2-|z_2|^2)\)。
代入\(\bar{\alpha} z_1 + \alpha \bar{z_2} + r\)，展开化简后结果为0，必要性得证。

充分性证明（等式成立⇒对称）：
若\(\bar{\alpha} z_1 + \alpha \bar{z_2} + r = 0\)，将其与直线\(L\)的方程相减，得：

\[\bar{\alpha}(z - z_1) + \alpha(\bar{z} - \bar{z_2}) = 0 \]

两边取模，结合\(|\bar{\alpha}|=|\alpha|\neq0\)，可推得\(|z - z_1| = |z - z_2|\)，即\(L\)上任意点到\(z_1\)、\(z_2\)的距离相等，因此\(L\)是\(z_1z_2\)的垂直平分线，\(z_1\)、\(z_2\)关于\(L\)对称，充分性得证。

---

七、核心知识点归纳总结表

核心模块	核心内容	公式/条件	几何意义/关键结论
复数的基本几何对应	复数与平面点的一一对应	\(\alpha=a+ib \iff\) 点\(P(a,b)\)，坐标\(\left( \Re(\alpha), \Im(\alpha) \right)\)，或\(\left( \frac{\alpha+\bar{\alpha}}{2}, \frac{\alpha-\bar{\alpha}}{2i} \right)\)	建立复平面，实现复数代数与平面几何的打通
	模与辐角	$	\alpha
	复数与向量的对应	\(\alpha=a+ib \iff\) 向量\(\overrightarrow{OP}\)	复数的模=向量模长，复数辐角=向量方向，复数运算与向量运算等价
共轭与负复数的几何表示	共轭复数\(\bar{\alpha}\)	\(\bar{\alpha}=a-ib\)	对应点是\(P\)关于实轴的反射点（对称点）
	负复数\(-\alpha\)	\(-\alpha=-a-ib\)	对应点是\(P\)关于原点的中心对称点
复数代数运算的几何意义	加法\(\alpha+\beta\)	\(\alpha+\beta=(a+c)+i(b+d)\)	平行四边形法则，对应向量加法\(\overrightarrow{OP}+\overrightarrow{OQ}\)
	减法\(\alpha-\beta\)	\(\alpha-\beta=(a-c)+i(b-d)\)，$	\alpha-\beta
	乘法\(\alpha\beta\)	$	\alpha\beta
	除法\(\alpha/\beta\)（\(\beta\neq0\)）	$	\alpha/\beta
辐角差的几何意义	\(\arg\frac{z-\alpha}{z-\beta}\)	\(\arg\frac{z-\alpha}{z-\beta}=\arg(z-\alpha)-\arg(z-\beta)\)	点\(z\)对定点\(\alpha,\beta\)的张角\(\angle APB\)，逆时针为正、顺时针为负
	垂直的充要条件	\(AP\perp BP \iff \arg\frac{z-\alpha}{z-\beta}=\pm\frac{\pi}{2} \iff \frac{z-\alpha}{z-\beta}\)是纯虚数	以\(AB\)为直径的圆的复数判定条件
复平面的直线方程	过两点\(z_1,z_2\)的直线	\(z(\bar{z_1}-\bar{z_2}) - \bar{z}(z_1-z_2) + (z_1\bar{z_2}-\bar{z_1}z_2)=0\)	三点共线的复数充要条件
	直线的一般式	\(\bar{\alpha}z + \alpha\bar{z} + r = 0\)，\(\alpha\neq0\)，\(r\in\mathbb{R}\)	等价于直角坐标系的直线一般式\(2ax+2by+r=0\)
	线段\(\alpha\beta\)的垂直平分线	$	z-\alpha
直线的反射点	对称点充要条件	关于直线\(\bar{\alpha}z + \alpha\bar{z} + r = 0\)对称\(\iff \bar{\alpha}z_1 + \alpha\bar{z_2} + r = 0\)	直线是两点连线的垂直平分线的复数判定

---

复平面上的圆、反演点与黎曼球面 知识点详解与推导证明

承接上一讲复数的几何表示基础，我们继续深入复平面中圆的复数表示、四点共圆判定、反演变换、圆族统一理论，以及黎曼球面的球极投影，这部分是复变函数、共形映射的核心理论基础，实现了平面几何与复数代数的完全统一。

---

一、复平面上圆的复数方程

1.1 已知圆心与半径的圆的标准方程

核心定义

圆是复平面上到定点（圆心）的距离等于定长（半径）的点的轨迹，而复平面上两点的距离由复数的模表示。

严谨推导

设：

• 圆心对应复数\(z_1\)，半径为\(\rho\)；
• \(z\)为圆上任意一点，对应圆上的动点。

根据圆的定义，\(z\)到\(z_1\)的距离恒等于半径，即：

\[|z - z_1| = \rho \]

对任意复数\(\alpha\)，有\(|\alpha|^2 = \alpha \bar{\alpha}\)，因此两边平方得：

\[(z - z_1)\overline{(z - z_1)} = \rho^2 \]

展开共轭\(\overline{z - z_1} = \bar{z} - \bar{z_1}\)，进一步展开：

\[(z - z_1)(\bar{z} - \bar{z_1}) = \rho^2 \]

\[z\bar{z} - \bar{z_1}z - z_1\bar{z} + z_1\bar{z_1} = \rho^2 \]

整理为标准形式：

\[\boldsymbol{z\bar{z} - \bar{z_1}z - z_1\bar{z} + (|z_1|^2 - \rho^2) = 0} \]

（注：\(z_1\bar{z_1}=|z_1|^2\)，为非负实数）

1.2 圆的一般方程与充要条件

一般形式推导

令\(\alpha = -z_1\)，\(r = |z_1|^2 - \rho^2\)（\(r\)为实数），则圆的方程可改写为通用形式：

\[\boldsymbol{z\bar{z} + \bar{\alpha}z + \alpha\bar{z} + r = 0} \]

其中\(r\)为实数，\(\alpha\)为非零复常数。

配方法与几何意义判定

对一般方程进行配方：

\[z\bar{z} + \bar{\alpha}z + \alpha\bar{z} = (z+\alpha)(\bar{z}+\bar{\alpha}) - |\alpha|^2 \]

代入原方程得：

\[(z+\alpha)(\overline{z+\alpha}) - |\alpha|^2 + r = 0 \]

即：

\[\boldsymbol{|z + \alpha|^2 = |\alpha|^2 - r} \]

根据模的非负性，得到方程的几何意义：

条件	对应图形
\(|\alpha|^2 - r > 0\)	圆：圆心为\(-\alpha\)，半径\(\rho = \sqrt{|\alpha|^2 - r}\)
\(|\alpha|^2 - r = 0\)	点圆：仅\(z=-\alpha\)一个点，半径为0
\(|\alpha|^2 - r < 0\)	虚圆：复平面上无对应图形

因此，复平面上圆的一般方程的充要条件为：
\(z\bar{z} + \bar{\alpha}z + \alpha\bar{z} + r = 0\)，其中\(r\)为实数，且\(\boldsymbol{|\alpha|^2 - r \geq 0}\)。

---

二、四点共圆的充要条件与交比

2.1 四点共圆的复数判定

几何基础

平面几何中，四点\(A,B,C,D\)共圆的充要条件是：同弧所对的圆周角相等或互补，即\(\angle ACB\)与\(\angle ADB\)要么相等，要么相差\(\pi\)（180°）。

复数转化与推导

设四点对应的复数为：\(A:z_1,\ B:z_2,\ C:z_3,\ D:z_4\)。
根据辐角的几何意义：

• \(\arg\frac{z_3 - z_1}{z_3 - z_2}\)：点\(C\)对\(A,B\)的张角\(\angle ACB\)；
• \(\arg\frac{z_4 - z_1}{z_4 - z_2}\)：点\(D\)对\(A,B\)的张角\(\angle ADB\)。

四点共圆等价于两个张角相等或互补，即：

\[\arg\frac{z_3 - z_1}{z_3 - z_2} - \arg\frac{z_4 - z_1}{z_4 - z_2} = k\pi,\quad k=0,1 \]

根据辐角运算性质，\(\arg A - \arg B = \arg\frac{A}{B}\)，因此：

\[\arg\left( \frac{z_3 - z_1}{z_3 - z_2} \div \frac{z_4 - z_1}{z_4 - z_2} \right) = k\pi \]

一个复数的辐角为\(k\pi\)（\(k\)为整数），当且仅当该复数为实数。将除法转化为乘法，最终得到：

四个点\(z_1,z_2,z_3,z_4\)共圆的充要条件是：

\[\boldsymbol{\frac{(z_3 - z_1)(z_4 - z_2)}{(z_3 - z_2)(z_4 - z_1)} \text{ 为实数}} \]

推论：过三点的圆的方程

设\(z_1,z_2,z_3\)为不共线的三个定点，\(z\)为圆上任意动点，则\(z,z_1,z_2,z_3\)四点共圆，代入上述条件得：

\[\frac{(z_2 - z_1)(z - z_3)}{(z - z_1)(z_2 - z_3)} \text{ 为实数} \]

利用“实数等于自身共轭”的性质，得到过三点的圆的复数方程：

\[\boldsymbol{\frac{(z_2 - z_1)(z - z_3)}{(z - z_1)(z_2 - z_3)} = \frac{(\bar{z_2} - \bar{z_1})(\bar{z} - \bar{z_3})}{(\bar{z} - \bar{z_1})(\bar{z_2} - \bar{z_3})}} \]

2.2 交比（Cross-Ratio）

定义

四个复数\(z_1,z_2,z_3,z_4\)按顺序的交比定义为：

\[(z_1,z_2,z_3,z_4) = \frac{(z_2 - z_1)(z_4 - z_3)}{(z_4 - z_1)(z_2 - z_3)} \]

交比是射影几何的核心不变量，四个点的24种排列仅能得到6个不同的交比值：\(\lambda,\ 1-\lambda,\ \frac{1}{\lambda},\ \frac{\lambda-1}{\lambda},\ \frac{\lambda}{\lambda-1},\ \frac{1}{1-\lambda}\)。

核心结论

• 四个点共圆或共线的充要条件是：它们的交比为实数；
• 反之，若四个点的交比为实数，则这四个点要么共圆，要么共线。

---

三、关于圆的反演点（Inverse Points）

3.1 反演点的几何定义

对于圆心为\(O\)、半径为\(\rho\)的圆，两点\(P,Q\)称为关于该圆的反演点，当且仅当：

1. \(O,P,Q\)三点共线，且\(P,Q\)在\(O\)的同侧；
2. 满足\(OP \cdot OQ = \rho^2\)（两点到圆心的距离乘积等于半径的平方）。

反演变换是复几何的核心变换，它将圆/直线映射为圆/直线，且保持角度不变（共形性）。

3.2 反演点的复数充要条件与推导

给定圆的一般方程：\(z\bar{z} + \bar{\alpha}z + \alpha\bar{z} + r = 0\)（\(r\)为实数，\(|\alpha|^2 - r > 0\)），其圆心为\(z_0 = -\alpha\)，半径\(\rho = \sqrt{|\alpha|^2 - r}\)。

设\(z_1,z_2\)为关于该圆的反演点，将几何定义转化为复数条件：

1. 共线同侧：\(\arg(z_1 - z_0) = \arg(z_2 - z_0)\)；
2. 距离乘积：\(|z_1 - z_0| \cdot |z_2 - z_0| = \rho^2\)。

步骤1：处理共线条件

利用共轭的辐角性质\(\arg\beta = -\arg\bar{\beta}\)，将共线条件改写为：

\[\arg(z_1 - z_0) = -\arg(\overline{z_2 - z_0}) \]

即：

\[\arg\left[ (z_1 - z_0) \cdot \overline{(z_2 - z_0)} \right] = 0 \]

说明该复数为正实数。

步骤2：处理距离条件

利用模的运算性质\(|AB|=|A|\cdot|B|\)，得：

\[|(z_1 - z_0) \cdot \overline{(z_2 - z_0)}| = |z_1 - z_0| \cdot |z_2 - z_0| = \rho^2 \]

步骤3：合并得到核心等式

一个正实数的模等于自身，因此：

\[(z_1 - z_0) \cdot \overline{(z_2 - z_0)} = \rho^2 \]

将\(z_0=-\alpha\)、\(\rho^2=|\alpha|^2 - r\)代入，展开化简：

\[(z_1 + \alpha)(\bar{z_2} + \bar{\alpha}) = |\alpha|^2 - r \]

\[z_1\bar{z_2} + \bar{\alpha}z_1 + \alpha\bar{z_2} + |\alpha|^2 = |\alpha|^2 - r \]

最终得到反演点的充要条件：

\[\boldsymbol{z_1\bar{z_2} + \bar{\alpha}z_1 + \alpha\bar{z_2} + r = 0} \]

3.3 特例：单位圆的反演点

单位圆的方程为\(|z|=1\)，即\(z\bar{z}=1\)，对应一般式中\(\alpha=0\)，\(r=-1\)。
代入反演点条件，得：\(z_1\bar{z_2} = 1\)，即\(\boldsymbol{z_2 = \frac{1}{\bar{z_1}}}\)。
结论：单位圆上的点的反演点是其自身，符合几何定义。

---

四、圆与直线的统一族方程

4.1 统一形式

我们可以将直线和圆的方程统一为一个通用表达式：

\[\boldsymbol{p z\bar{z} + \bar{\alpha}z + \alpha\bar{z} + r = 0} \]

其中\(p,r\)为实数，且\(|\alpha|^2 - pr \geq 0\)。

4.2 分类意义

参数条件	对应图形	方程简化
\(p=0\)	直线	\(\bar{\alpha}z + \alpha\bar{z} + r = 0\)（直线的一般式）
\(p\neq0\)	圆	两边除以\(p\)得\(z\bar{z} + \frac{\bar{\alpha}}{p}z + \frac{\alpha}{p}\bar{z} + \frac{r}{p} = 0\)，圆心为\(-\frac{\alpha}{p}\)，半径\(\frac{\sqrt{|\alpha|^2 - pr}}{|p|}\)

这一形式实现了直线与圆的统一：直线可看作半径无穷大的圆，直线的反射点等价于圆的反演点，是复几何的核心统一视角。

---

五、两类经典圆族

5.1 第一类：阿波罗尼斯圆族

方程

\[\boldsymbol{\left| \frac{z - z_1}{z - z_2} \right| = \lambda},\quad \lambda \geq 0 \text{ 为参数} \]

几何意义

平面上到两个定点\(z_1,z_2\)的距离之比为常数\(\lambda\)的点的轨迹，即阿波罗尼斯圆。

核心性质

1. 对任意\(\lambda\)，\(z_1,z_2\)都是对应圆的反演点；
2. 圆心在\(z_1,z_2\)的连线上，坐标为\(z_c = \frac{z_1 - \lambda^2 z_2}{1 - \lambda^2}\)，将\(z_1,z_2\)的连线外分，比例为\(\lambda^2:1\)；
3. 特殊情况\(\lambda=1\)：方程退化为\(|z-z_1|=|z-z_2|\)，即\(z_1,z_2\)连线的垂直平分线（直线，半径无穷大的圆）。

5.2 第二类：共点圆族（定弦定角圆族）

方程

\[\boldsymbol{\arg\left( \frac{z - z_1}{z - z_2} \right) = \mu},\quad \mu \text{ 为实参数} \]

几何意义

点\(z\)对两个定点\(z_1,z_2\)的张角为定值\(\mu\)的点的轨迹，是过\(z_1,z_2\)两点的一段圆弧。

核心性质

1. 所有圆弧都经过\(z_1,z_2\)两个定点，称为共点圆族；
2. 同一段完整的圆对应\(\mu\)和\(\mu+\pi\)，分别对应圆的两段弧；
3. 特殊情况\(\mu=0\)或\(\mu=\pi\)：轨迹为\(z_1,z_2\)的连线（直线）。

补充：这两类圆族是正交圆族，即第一类的任意圆与第二类的任意圆在交点处互相垂直，是共形映射的核心性质。

---

六、复数的球面表示：黎曼球面与球极投影

6.1 几何构造

复平面无法表示无穷远点，黎曼通过球极投影，将扩充复平面（复平面+无穷远点）与单位球面的点一一对应：

1. 取单位球面\(K\)，球心在原点\(O\)，半径为1，复平面\(\pi\)为\(XY\)平面（\(Z=0\)）；
2. 球面北极点\(V(0,0,1)\)，南极点\((0,0,-1)\)，球面与复平面交于赤道（\(X^2+Y^2=1,Z=0\)）；
3. 对球面上任意一点\(P(X,Y,Z)\)（\(P\neq V\)），连接\(V\)与\(P\)并延长，交复平面于\(P'(x,y,0)\)，对应复数\(z=x+iy\)，这个映射称为球极投影；
4. 北极点\(V\)对应复平面的无穷远点，球面的所有点与扩充复平面一一对应，这个球面称为黎曼球面。

6.2 球极投影的坐标公式推导

已知：

1. 球面点\(P(X,Y,Z)\)满足单位球面方程：\(X^2+Y^2+Z^2=1\)；
2. \(V(0,0,1)\)、\(P(X,Y,Z)\)、\(P'(x,y,0)\)三点共线，坐标成比例。

步骤1：共线比例关系

直线\(VP'\)的参数方程为：\(x=tX,\ y=tY,\ 0=1+t(Z-1)\)，解得参数\(t=\frac{1}{1-Z}\)，因此：

\[x = \frac{X}{1-Z},\quad y = \frac{Y}{1-Z} \]

步骤2：用\(z\)表示球面坐标

由\(|z|^2 = x^2+y^2 = \frac{X^2+Y^2}{(1-Z)^2}\)，结合\(X^2+Y^2=1-Z^2=(1-Z)(1+Z)\)，得：

\[|z|^2 = \frac{1+Z}{1-Z} \]

解得\(Z\)：

\[Z = \frac{|z|^2 - 1}{|z|^2 + 1} = \frac{z\bar{z} - 1}{z\bar{z} + 1} \]

再代入\(1-Z = \frac{2}{|z|^2 + 1}\)，得到\(X,Y\)：

\[X = \frac{2x}{|z|^2 + 1} = \frac{z + \bar{z}}{z\bar{z} + 1} \]

\[Y = \frac{2y}{|z|^2 + 1} = \frac{z - \bar{z}}{i(z\bar{z} + 1)} \]

最终坐标公式

\[\boldsymbol{ \begin{cases} X = \dfrac{z + \bar{z}}{z\bar{z} + 1} \\ Y = \dfrac{z - \bar{z}}{i(z\bar{z} + 1)} \\ Z = \dfrac{z\bar{z} - 1}{z\bar{z} + 1} \end{cases} } \]

6.3 核心性质

复平面上关于单位圆的反演点，对应黎曼球面上关于复平面（\(XY\)平面）的对称点，实现了反演变换与球面对称变换的统一。

---

七、核心知识点归纳总结表

核心模块	核心内容	公式/充要条件	关键几何意义
圆的复数方程	已知圆心半径的标准方程	$	z - z_1
	圆的一般方程	\(z\bar{z} + \bar{\alpha}z + \alpha\bar{z} + r = 0\)，\(r\in\mathbb{R}\)，$	\alpha
四点共圆判定	四点共圆充要条件	\(\frac{(z_3 - z_1)(z_4 - z_2)}{(z_3 - z_2)(z_4 - z_1)}\) 为实数	四点在同一圆上（或共线）
	过三点的圆的方程	\(\frac{(z_2 - z_1)(z - z_3)}{(z - z_1)(z_2 - z_3)} = \frac{(\bar{z_2} - \bar{z_1})(\bar{z} - \bar{z_3})}{(\bar{z} - \bar{z_1})(\bar{z_2} - \bar{z_3})}\)	过\(z_1,z_2,z_3\)三点的圆
	交比定义	\((z_1,z_2,z_3,z_4) = \frac{(z_2 - z_1)(z_4 - z_3)}{(z_4 - z_1)(z_2 - z_3)}\)	射影几何不变量，交比为实数\(\iff\)四点共圆/共线
反演点	反演点几何定义	圆心\(O\)，半径\(\rho\)，\(O,P,Q\)共线，\(OP\cdot OQ=\rho^2\)	反演变换的核心元素，保持圆/直线与角度不变
	反演点复数充要条件	关于圆\(z\bar{z} + \bar{\alpha}z + \alpha\bar{z} + r = 0\)，充要条件为\(z_1\bar{z_2} + \bar{\alpha}z_1 + \alpha\bar{z_2} + r = 0\)	代数化反演变换，与直线反射点统一
	单位圆反演点	\(z_1\bar{z_2}=1\)，即\(z_2=1/\bar{z_1}\)	单位圆上的点反演点为自身
圆与直线统一	统一族方程	\(p z\bar{z} + \bar{\alpha}z + \alpha\bar{z} + r = 0\)，\(p,r\in\mathbb{R}\)，$	\alpha
两类圆族	阿波罗尼斯圆族	$\left	\frac{z-z_1}{z-z_2} \right
	共点圆族	\(\arg\left( \frac{z-z_1}{z-z_2} \right)=\mu\)，\(\mu\in\mathbb{R}\)	对两定点张角为定值的轨迹，过\(z_1,z_2\)两点
黎曼球面	球极投影坐标公式	\(X=\frac{z+\bar{z}}{z\bar{z}+1},\ Y=\frac{z-\bar{z}}{i(z\bar{z}+1)},\ Z=\frac{z\bar{z}-1}{z\bar{z}+1}\)	扩充复平面与单位球面一一对应，北极点对应无穷远点
	核心性质	单位圆反演点对应球面关于\(XY\)平面的对称点	反演变换与球面对称变换统一

---

复数几何表示经典例题 完整解析与证明

以下14道例题覆盖了复数几何的核心应用场景，包括三角形的面积与特殊判定、四点共圆、圆的正交性、轨迹问题、托勒密不等式等核心考点，每道题均给出核心考点、完整推导过程与关键结论。

---

例题1：三角形面积的复数表示与等边三角形充要条件

题干

1. 证明：Argand图中，顶点为\(z_1,z_2,z_3\)的三角形面积为\(\sum \left[ \frac{(z_2 - z_3)|z_1|^2}{4i z_1} \right]\)（循环和）。
2. 证明：该三角形为等边三角形的充要条件是\(z_1^2 + z_2^2 + z_3^2 = z_1z_2 + z_2z_3 + z_3z_1\)。

核心考点

平面三角形面积的行列式公式、复数实部与共轭的转化、循环和恒等式、等边三角形的模长性质。

完整证明

（1）面积公式证明

设\(z_k=x_k+iy_k\)（\(k=1,2,3\)），平面三角形面积的行列式形式为：

\[S = \frac{1}{2} \left| \begin{vmatrix} x_1 & y_1 & 1 \\ x_2 & y_2 & 1 \\ x_3 & y_3 & 1 \end{vmatrix} \right| \]

利用\(y_k = \frac{z_k - \bar{z_k}}{2i}\)，对行列式做初等列变换（第二列=第二列+i·第一列），得：

\[\begin{vmatrix} x_1 & y_1 & 1 \\ x_2 & y_2 & 1 \\ x_3 & y_3 & 1 \end{vmatrix} = \frac{1}{i} \begin{vmatrix} x_1 & z_1 & 1 \\ x_2 & z_2 & 1 \\ x_3 & z_3 & 1 \end{vmatrix} \]

因此面积可写为：

\[S = \frac{1}{2i} \sum x_1(z_2 - z_3) \]

代入实部公式\(x_1 = \frac{z_1 + \bar{z_1}}{2}\)，得：

\[S = \frac{1}{4i} \left[ \sum z_1(z_2 - z_3) + \sum \bar{z_1}(z_2 - z_3) \right] \]

利用循环和恒等式\(\sum z_1(z_2 - z_3) = 0\)（展开后全部抵消），再代入\(\bar{z_1} = \frac{|z_1|^2}{z_1}\)，最终化简得：

\[S = \sum \left[ \frac{(z_2 - z_3)|z_1|^2}{4i z_1} \right] \]

面积公式得证。

（2）等边三角形充要条件证明

必要性（等边⇒等式成立）
等边三角形三边相等，即\(|z_1-z_2|=|z_2-z_3|=|z_3-z_1|\)。
将向量\(z_2-z_1\)绕\(z_1\)旋转\(\pm\frac{\pi}{3}\)得到\(z_3-z_1\)，即：

\[z_3 - z_1 = (z_2 - z_1)\left( \frac{1}{2} \pm i\frac{\sqrt{3}}{2} \right) \]

移项后两边平方，消去虚数单位，展开合并同类项后得：

\[z_1^2 + z_2^2 + z_3^2 = z_1z_2 + z_2z_3 + z_3z_1 \]

充分性（等式成立⇒等边）
等式移项得：\((z_1-z_2)^2 + (z_2-z_3)^2 + (z_3-z_1)^2 = 0\)。
令\(u=z_1-z_2\)，\(v=z_2-z_3\)，则\(z_3-z_1=-(u+v)\)，代入得\(u^2+uv+v^2=0\)，解得\(\frac{u}{v}=\frac{-1\pm i\sqrt{3}}{2}\)，即\(|u|=|v|\)且夹角为60°，故三角形为等边三角形。

---

例题2：三次方程根对应的三角形重心与等边条件

题干

方程\(x^3 + 3ax^2 + 3bx + c = 0\)（\(a,b,c\)为复数）的根\(z_1,z_2,z_3\)对应高斯平面上的点\(A,B,C\)。求\(\triangle ABC\)的重心，并证明当\(a^2 = b\)时，三角形为等边三角形。

核心考点

三次方程韦达定理、三角形重心的复数表示、等边三角形充要条件。

完整求解

（1）求重心

由韦达定理，三次方程的根满足：

\[z_1+z_2+z_3=-3a,\quad z_1z_2+z_2z_3+z_3z_1=3b \]

复平面中三角形重心为顶点复数的平均值，因此重心对应的复数为：

\[z_G = \frac{z_1+z_2+z_3}{3} = -a \]

（2）等边条件证明

由例题1，等边三角形的充要条件为\(z_1^2+z_2^2+z_3^2 = z_1z_2+z_2z_3+z_3z_1\)。
利用恒等式\((z_1+z_2+z_3)^2 = z_1^2+z_2^2+z_3^2 + 2\sum z_1z_2\)，代入等边条件得：

\[(z_1+z_2+z_3)^2 = 3\sum z_1z_2 \]

将韦达定理结果代入：

\[(-3a)^2 = 3\cdot 3b \implies 9a^2=9b \implies a^2=b \]

命题得证。

---

例题3：等腰直角三角形的复数条件

题干

若\(z_1,z_2,z_3\)是等腰直角三角形的顶点，直角在\(z_2\)处，证明：\(z_1^2 + 2z_2^2 + z_3^2 = 2z_2(z_1 + z_3)\)。

核心考点

垂直的复数充要条件、纯虚数的性质、模长相等条件。

完整证明

等腰直角三角形（直角在\(z_2\)）满足两个核心条件：

1. 垂直：\(\frac{z_1-z_2}{z_3-z_2}\)为纯虚数，即\(\frac{z_1-z_2}{z_3-z_2} = -\frac{\bar{z_1}-\bar{z_2}}{\bar{z_3}-\bar{z_2}}\)；
2. 等腰：\(|z_1-z_2|=|z_3-z_2|\)，即\(\frac{z_1-z_2}{z_3-z_2} = \frac{\bar{z_3}-\bar{z_2}}{\bar{z_1}-\bar{z_2}}\)。

将两式相乘，得：

\[\left( \frac{z_1-z_2}{z_3-z_2} \right)^2 = -1 \]

展开化简：

\[(z_1-z_2)^2 = -(z_3-z_2)^2 \]

\[z_1^2 - 2z_1z_2 + z_2^2 = -z_3^2 + 2z_2z_3 - z_2^2 \]

\[z_1^2 + 2z_2^2 + z_3^2 = 2z_2(z_1 + z_3) \]

命题得证。

---

例题4：相似三角形的重心重合问题

题干

在\(\triangle ABC\)的三边上分别作相似三角形\(BCX, CAY, ABZ\)，证明\(\triangle ABC\)和\(\triangle XYZ\)的重心重合。

核心考点

相似三角形的复数表示、合比定理、重心的复数性质。

完整证明

设\(\triangle ABC\)顶点对应复数\(a,b,c\)，\(\triangle XYZ\)顶点对应复数\(z_1,z_2,z_3\)。
由相似性，对应边的复数比值为常数\(\lambda\)：

\[\frac{z_1 - c}{c - b} = \frac{z_2 - a}{a - c} = \frac{z_3 - b}{b - a} = \lambda \]

由合比定理，分母和为\((c-b)+(a-c)+(b-a)=0\)，因此分子和也为0：

\[(z_1 - c)+(z_2 - a)+(z_3 - b)=0 \implies z_1+z_2+z_3 = a+b+c \]

两边除以3，得两个三角形的重心相等：

\[\frac{z_1+z_2+z_3}{3} = \frac{a+b+c}{3} \]

命题得证。

---

例题5：平面四点的托勒密不等式

题干

若\(A,B,C,D\)是平面上的四个点，证明：\(AD\cdot BC \leq BD\cdot CA + CD\cdot AB\)。

核心考点

复数恒等变形、三角不等式、托勒密定理。

完整证明

设四点对应复数\(z_1,z_2,z_3,z_4\)，先证明核心恒等式：

\[-(z_1 - z_4)(z_2 - z_3) = (z_2 - z_4)(z_3 - z_1) + (z_3 - z_4)(z_1 - z_2) \]

对等式两边取模，左边利用\(|\alpha\beta|=|\alpha||\beta|\)化简为\(|z_1-z_4|\cdot|z_2-z_3|\)；
右边利用三角不等式\(|\alpha+\beta|\leq|\alpha|+|\beta|\)，得：

\[|(z_2 - z_4)(z_3 - z_1) + (z_3 - z_4)(z_1 - z_2)| \leq |z_2-z_4|\cdot|z_3-z_1| + |z_3-z_4|\cdot|z_1-z_2| \]

将模转化为两点间距离：\(|z_1-z_4|=AD\)，\(|z_2-z_3|=BC\)，\(|z_2-z_4|=BD\)，\(|z_3-z_1|=CA\)，\(|z_3-z_4|=CD\)，\(|z_1-z_2|=AB\)，代入得：

\[AD\cdot BC \leq BD\cdot CA + CD\cdot AB \]

命题得证。

补充：等号成立当且仅当四点共圆（托勒密定理）。

---

例题6：四点共圆的证明

题干

若\(A,B,C,D\)对应复数\(z_1,z_2,z_3,z_4\)，满足\(z_1z_2 + z_3z_4 = 0\)且\(z_1 + z_2 = 0\)，证明四点共圆。

核心考点

四点共圆的充要条件（交比为实数）、复数代数化简。

完整证明

四点共圆的充要条件是交比为实数：

\[\frac{(z_4 - z_1)(z_3 - z_2)}{(z_4 - z_2)(z_3 - z_1)} \text{ 为实数} \]

由已知条件\(z_1+z_2=0\)得\(z_2=-z_1\)，代入\(z_1z_2+z_3z_4=0\)得\(z_3z_4=z_1^2\)。

将\(z_2=-z_1\)、\(z_3z_4=z_1^2\)代入交比表达式，化简得：

\[\frac{(z_4 - z_1)(z_3 + z_1)}{(z_4 + z_1)(z_3 - z_1)} = \frac{z_1(z_4 - z_3)}{-z_1(z_4 - z_3)} = -1 \]

交比为\(-1\)（实数），因此四点共圆，命题得证。

---

例题7：正交圆族的求解

题干

求所有与圆\(|z|=1\)和\(|z-1|=4\)都正交的圆。

核心考点

两圆正交的充要条件、圆的复数方程、圆族的参数表示。

完整求解

两圆正交的充要条件：圆心距的平方等于两圆半径的平方和。
设所求圆为\(|z-\alpha|=k\)（\(\alpha=a+bi\)为圆心，\(k\)为半径）。

步骤1：列正交条件

• 与\(|z|=1\)正交：\(k^2 + 1 = |\alpha|^2 = \alpha\bar{\alpha}\)
• 与\(|z-1|=4\)正交：\(k^2 + 16 = |\alpha-1|^2 = \alpha\bar{\alpha} - \alpha - \bar{\alpha} + 1\)

步骤2：消元求解圆心

将\(\alpha\bar{\alpha}=k^2+1\)代入第二个方程，化简得\(\alpha+\bar{\alpha}=-14\)，即\(2a=-14 \implies a=-7\)，因此圆心为\(\alpha=-7+bi\)（\(b\in\mathbb{R}\)）。

步骤3：求解半径

代入得\(k^2 = |\alpha|^2 -1 = 48 + b^2\)，因此所求圆族为：

\[|z +7 - bi| = \sqrt{48 + b^2},\quad b\in\mathbb{R} \]

---

例题8：点到直线的复数距离公式

题干

证明：Argand平面上，点\(d\)（复数）到直线\(\bar{a}z + a\bar{z} + b = 0\)（\(a\)为复数，\(b\)为实数）的垂直距离为\(\frac{|\bar{a}d + a\bar{d} + b|}{2|a|}\)。

核心考点

复数直线与直角坐标直线的转化、点到直线的距离公式。

完整证明

设\(a=a_1+ia_2\)，\(d=d_1+id_2\)，\(z=x+iy\)，将直线方程展开为直角坐标形式：

\[\bar{a}z + a\bar{z} + b = 2a_1x + 2a_2y + b = 0 \]

由直角坐标点到直线的距离公式，点\((d_1,d_2)\)到直线的距离为：

\[D = \frac{|2a_1d_1 + 2a_2d_2 + b|}{\sqrt{(2a_1)^2 + (2a_2)^2}} \]

注意到\(\bar{a}d + a\bar{d} = 2a_1d_1 + 2a_2d_2\)，\(|a|=\sqrt{a_1^2+a_2^2}\)，代入化简得：

\[D = \frac{|\bar{a}d + a\bar{d} + b|}{2|a|} \]

命题得证。

---

例题9：已知法线和切线的圆的方程求解

题干

求圆的复数方程，满足：

1. 直线\((2-i)z = (2+i)\bar{z}\)和\((2+i)z + (i-2)\bar{z} - 4i = 0\)是圆的法线；
2. 圆与直线\(iz + \bar{z} + 1 + i = 0\)相切。

核心考点

圆的法线性质（过圆心）、点到直线的距离公式、圆的标准方程。

完整求解

步骤1：求圆心（法线交点）

圆的所有法线过圆心，联立两条法线方程：

1. \((2-i)z = (2+i)\bar{z} \implies \bar{z} = \frac{2-i}{2+i}z\)
2. \((2+i)z + (i-2)\bar{z} - 4i = 0\)

将\(\bar{z}\)代入第二个方程，化简解得圆心\(z_0 = 1 + \frac{i}{2}\)。

步骤2：求半径（圆心到切线的距离）

利用例题8的距离公式，圆心到切线\(iz + \bar{z} +1+i=0\)的距离即为半径，计算得：

\[r = \frac{3}{2\sqrt{2}} \]

步骤3：写出圆的方程

\[\left| z - \left( 1 + \frac{i}{2} \right) \right| = \frac{3}{2\sqrt{2}} \]

---

例题10：外接圆上的垂足点的复数表示

题干

\(A,B,C\)对应复数\(z_1,z_2,z_3\)，\(\triangle ABC\)的外心在原点，过\(A\)的高交外接圆于\(P\)，证明\(P\)对应的复数为\(-\frac{z_2 z_3}{z_1}\)。

核心考点

外心在原点的共轭性质、垂直的复数条件。

完整证明

设\(P\)对应复数\(z\)，外心在原点则\(|z_1|=|z_2|=|z_3|=|z|=R\)，因此\(\bar{z_k}=\frac{R^2}{z_k}\)，\(\bar{z}=\frac{R^2}{z}\)。

由\(AP\perp BC\)，得\(\text{Re}\left( \frac{z-z_1}{z_3-z_2} \right)=0\)，即：

\[\frac{z-z_1}{z_3-z_2} + \frac{\bar{z}-\bar{z_1}}{\bar{z_3}-\bar{z_2}} = 0 \]

代入共轭表达式化简，约去非零项后得：

\[1 + \frac{z_2z_3}{zz_1}=0 \implies z = -\frac{z_2z_3}{z_1} \]

命题得证。

---

例题11：圆的割线交点的复数表示

题干

两条不平行的直线分别交圆\(|z|=r\)于点\(a,b\)和\(c,d\)，证明两条直线的交点\(z\)满足：

\[z = \frac{a^{-1} + b^{-1} - c^{-1} - d^{-1}}{a^{-1}b^{-1} - c^{-1}d^{-1}} \]

核心考点

圆上点的共轭性质、三点共线的复数方程、直线联立求解。

完整证明

圆\(|z|=r\)上的点满足\(\bar{z}=\frac{r^2}{z}\)，过\(a,b\)的直线方程由三点共线的行列式条件推导得：

\[\frac{z}{ab} + \frac{\bar{z}}{r^2} - \frac{a+b}{ab} = 0 \]

同理，过\(c,d\)的直线方程为：

\[\frac{z}{cd} + \frac{\bar{z}}{r^2} - \frac{c+d}{cd} = 0 \]

两式相减消去\(\bar{z}\)，化简得：

\[z\left( \frac{1}{ab} - \frac{1}{cd} \right) = \frac{1}{a}+\frac{1}{b}-\frac{1}{c}-\frac{1}{d} \]

整理为倒数形式，即：

\[z = \frac{a^{-1} + b^{-1} - c^{-1} - d^{-1}}{a^{-1}b^{-1} - c^{-1}d^{-1}} \]

命题得证。

---

例题12：行列式条件下的共圆与辐角关系

题干

设\(z_1,z_2,z_3\)为非零复数，\(z_1\neq z_2\)，满足：

\[\begin{vmatrix} |z_1| & |z_2| & |z_3| \\ |z_2| & |z_3| & |z_1| \\ |z_3| & |z_1| & |z_2| \end{vmatrix} = 0 \]

证明：
(i) \(z_1,z_2,z_3\)在以原点为圆心的圆上；
(ii) \(\arg\left( \frac{z_3}{z_2} \right) = \arg\left( \left( \frac{z_3 - z_1}{z_2 - z_1} \right)^2 \right)\)。

核心考点

行列式展开、模的非负性、圆周角定理与辐角的几何意义。

完整证明

（i）共圆证明

设\(r_k=|z_k|>0\)，展开行列式得：

\[D=3r_1r_2r_3 - (r_1^3+r_2^3+r_3^3)=0 \]

利用恒等式\(r_1^3+r_2^3+r_3^3-3r_1r_2r_3=(r_1+r_2+r_3)\cdot\frac{1}{2}\left[(r_1-r_2)^2+(r_2-r_3)^2+(r_3-r_1)^2\right]\)，因\(r_1+r_2+r_3>0\)，故平方和为0，即\(r_1=r_2=r_3\)。

因此\(|z_1|=|z_2|=|z_3|\)，三点在以原点为圆心的圆上，(i)得证。

（ii）辐角关系证明

由圆周角定理，同弧所对的圆周角是圆心角的一半，即：

\[\arg\left( \frac{z_3-z_1}{z_2-z_1} \right) = \frac{1}{2}\arg\left( \frac{z_3}{z_2} \right) \]

两边乘以2，利用\(\arg(\alpha^2)=2\arg\alpha\)，得：

\[\arg\left( \frac{z_3}{z_2} \right) = \arg\left( \left( \frac{z_3 - z_1}{z_2 - z_1} \right)^2 \right) \]

(ii)得证。

---

例题13：复表达式的实虚部与轨迹问题

题干

设\(\alpha\in\mathbb{R}\)，\(z\)为复数，求\((z-1)(\cos\alpha - i\sin\alpha) + (z-1)^{-1}(\cos\alpha + i\sin\alpha)\)的实部\(u\)和虚部\(v\)，并证明：\(v=0\)时，点\(z\)的轨迹是圆心在\((1,0)\)的单位圆，或过点\((1,0)\)的直线。

核心考点

复数的实虚部分离、轨迹方程求解。

完整求解

设\(z=x+iy\)，令\(w=z-1=(x-1)+iy\)，则\(w^{-1}=\frac{(x-1)-iy}{(x-1)^2+y^2}\)，展开原表达式并分离实虚部：

• 实部\(u\)：

\[u = \left[ (x-1)\cos\alpha + y\sin\alpha \right] \left( 1 + \frac{1}{(x-1)^2 + y^2} \right) \]

• 虚部\(v\)：

\[v = \left[ y\cos\alpha - (x-1)\sin\alpha \right] \left( 1 - \frac{1}{(x-1)^2 + y^2} \right) \]

\(v=0\)当且仅当两个因子至少一个为0：

1. 第一个因子为0：\(y\cos\alpha - (x-1)\sin\alpha=0\)，是过点\((1,0)\)的直线；
2. 第二个因子为0：\(1 - \frac{1}{(x-1)^2+y^2}=0\)，即\((x-1)^2+y^2=1\)，是圆心在\((1,0)\)的单位圆。

命题得证。

---

例题14：阿波罗尼斯圆的轨迹问题

题干

点\(A\)对应复数\(6i\)，点\(B\)对应复数\(3\)，点\(P\)对应复数\(z\)，若\(PA=2PB\)，证明\(P\)的轨迹方程为\(z\bar{z} = (4+2i)z + (4-2i)\bar{z}\)，并求圆心对应的复数和半径。

核心考点

阿波罗尼斯圆的复数表示、圆的一般方程的圆心与半径公式。

完整求解

步骤1：推导轨迹方程

由\(PA=2PB\)得\(|z-6i|=2|z-3|\)，两边平方得：

\[(z-6i)(\bar{z}+6i) = 4(z-3)(\bar{z}-3) \]

展开化简：

\[z\bar{z} +6iz -6i\bar{z} +36 = 4z\bar{z} -12z -12\bar{z} +36 \]

\[-3z\bar{z} + (12+6i)z + (12-6i)\bar{z}=0 \]

\[z\bar{z} = (4+2i)z + (4-2i)\bar{z} \]

轨迹方程得证。

步骤2：求圆心与半径

圆的一般复数方程\(z\bar{z}+\bar{a}z+a\bar{z}+b=0\)的圆心为\(-a\)，半径为\(\sqrt{|a|^2 -b}\)。
对比得\(\bar{a}=-(4+2i)\)，\(b=0\)，因此：

• 圆心对应的复数：\(-a=4-2i\)
• 半径：\(\sqrt{|-(4-2i)|^2 -0}=\sqrt{20}=2\sqrt{5}\)

---

核心考点归纳总结表

例题序号	核心考点	关键结论
1	三角形面积、等边三角形判定	面积$S=\sum \frac{(z_2-z_3)
2	韦达定理、三角形重心	重心\(z_G=\frac{z_1+z_2+z_3}{3}\)；三次方程根构成等边三角形\(\iff a^2=b\)
3	垂直的复数条件	直角在\(z_2\)的等腰直角三角形\(\iff z_1^2+2z_2^2+z_3^2=2z_2(z_1+z_3)\)
4	相似三角形、重心性质	三边上作同向相似三角形，原三角形与新三角形重心重合
5	托勒密不等式	平面四点满足\(AD\cdot BC \leq BD\cdot CA + CD\cdot AB\)，等号成立\(\iff\)四点共圆
6	四点共圆判定	四点共圆\(\iff\)交比\(\frac{(z_4-z_1)(z_3-z_2)}{(z_4-z_2)(z_3-z_1)}\)为实数
7	两圆正交、圆族	正交\(\iff\)圆心距平方=半径平方和；与两定圆正交的圆族为$
8	点到直线的复数距离	距离$D=\frac{
9	圆的法线与切线	法线交点为圆心，半径=圆心到切线的距离
10	外心在原点的复数性质	外心在原点时，过\(A\)的高与外接圆交点\(z=-\frac{z_2z_3}{z_1}\)
11	圆的割线交点	割线交点\(z=\frac{a^{-1}+b^{-1}-c^{-1}-d^{-1}}{a^{-1}b^{-1}-c^{-1}d^{-1}}\)
12	圆周角与辐角	模相等\(\iff\)共原点圆；圆心角=2倍圆周角\(\implies \arg(\frac{z_3}{z_2})=2\arg(\frac{z_3-z_1}{z_2-z_1})\)
13	轨迹方程	\(v=0\)对应过\((1,0)\)的直线或圆心在\((1,0)\)的单位圆
14	阿波罗尼斯圆	轨迹方程\(z\bar{z}=(4+2i)z+(4-2i)\bar{z}\)；圆心\(4-2i\)，半径\(2\sqrt{5}\)