Appearance
解析几何方法
解析几何（坐标法）是连接几何与代数的桥梁。在竞赛中，当纯几何方法思路受阻时，解析几何提供了一条"暴力计算"的出路。但好的解析几何解法不是暴力计算，而是巧设坐标系、妙选参数，使计算量最小化。
一、坐标法的方法论
建系原则
建系的核心原则：让尽可能多的关键点坐标简单
- 将原点放在对称中心、交点或特殊点上
- 将坐标轴与关键线段平行或重合
- 利用对称性减少未知数
- 尽可能使用参数方程而非一般式
常见建系策略
| 图形类型 | 建议建系方式 | 示例 |
|---|---|---|
| 三角形 | 将一边放在 $x$轴上，顶点为原点 | $A(0,0)$，$B(c,0)$，$C(b\cos A, b\sin A)$ |
| 圆 | 圆心在原点或 $(0,0)$ | $x^2 + y^2 = R^2$ |
| 正方形 | 两相邻边在坐标轴上 | $A(0,0)$，$B(a,0)$，$C(a,a)$，$D(0,a)$ |
| 等边三角形 | 底边中点在原点 | $A(-a/2,0)$，$B(a/2,0)$，$C(0,\sqrt{3}a/2)$ |
设参数技巧
- 线段上的点：用定比分点公式 $P = \lambda A + (1-\lambda)B$（或 $\vec{AP} = t\vec{AB}$）
- 圆上的点：用参数方程 $(R\cos\theta, R\sin\theta)$
- 直线上的点：用参数方程 $P = P_0 + t\vec{v}$
减少变量的技巧
在解析几何中，变量越多计算越复杂。应尽量：
- 利用已知长度或角度关系消去变量
- 利用对称性让某些坐标相等或互为相反数
- 使用齐次坐标处理比例关系
二、直线与圆的典型问题
直线方程的五种形式
| 形式 | 方程 | 适用场景 |
|---|---|---|
| 点斜式 | $y - y_0 = k(x - x_0)$ | 已知一点和斜率 |
| 斜截式 | $y = kx + b$ | 已知斜率和截距 |
| 两点式 | $\frac{y-y_1}{y_2-y_1} = \frac{x-x_1}{x_2-x_1}$ | 已知两点 |
| 截距式 | $\frac{x}{a} + \frac{y}{b} = 1$ | 已知截距 |
| 一般式 | $Ax + By + C = 0$ | 通用 |
圆与直线的位置关系
圆 $(x-a)^2 + (y-b)^2 = r^2$与直线$Ax + By + C = 0$的位置关系由圆心到直线的距离$d$ 决定： $$d = \frac{|Aa + Bb + C|}{\sqrt{A^2 + B^2}}$$
- $d < r$：相交（两个交点）
- $d = r$：相切
- $d > r$：相离
例题 1：弦长问题
直线 $y = kx + m$与圆$x^2 + y^2 = R^2$相交于$A$、$B$，求弦长 $AB$。
圆心到直线的距离 $d = \frac{|m|}{\sqrt{1+k^2}}$，弦长 $= 2\sqrt{R^2 - d^2} = 2\sqrt{R^2 - \frac{m^2}{1+k^2}}$。
三、圆锥曲线的进阶应用
圆锥曲线的第二定义
[!定义] 圆锥曲线的统一定义（第二定义） 平面上到定点 $F$（焦点）与到定直线 $l$（准线）的距离之比为常数 $e$（离心率）的点的轨迹。
- $e < 1$：椭圆
- $e = 1$：抛物线
- $e > 1$：双曲线
极坐标统一方程
以焦点为极点，焦点到准线的垂线为极轴，圆锥曲线的极坐标方程为： $$r = \frac{ep}{1 - e\cos\theta}$$
其中 $p$ 是焦点到准线的距离（焦准距）。这个统一方程在处理焦点弦问题时极为方便。
焦点弦性质
过焦点的弦 $AB$，若 $A$、$B$对应的极角分别为$\theta$、$\theta + \pi$，则： $$|AB| = \frac{2ep}{1 - e^2\cos^2\theta}$$
圆锥曲线的光学性质
[!性质] 光学性质
- 椭圆：从一个焦点发出的光线经椭圆反射后必经过另一个焦点
- 双曲线：从一个焦点发出的光线经双曲线反射后，反射光线的反向延长线经过另一个焦点
- 抛物线：从焦点发出的光线经抛物线反射后平行于对称轴；平行于对称轴的光线经抛物线反射后经过焦点
光学性质在竞赛中常以几何形式出现，本质是切线性质的体现。
例题 2：椭圆光学性质的应用
已知椭圆 $C: \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$的两个焦点为$F_1$、$F_2$，$P$ 是椭圆上一点，$l$是$P$ 处的切线。求证：$l$平分$\angle F_1PF_2$的外角（即$l$是$\angle F_1PF_2$ 补角的平分线）。
该性质等价于光学性质：$F_1P$的入射角等于反射角。可以利用椭圆在$P$处的切线方程$\frac{x_0x}{a^2} + \frac{y_0y}{b^2} = 1$ 和角平分线性质来证明。
四、参数方程在几何证明中的应用
圆的参数方程
$$(x, y) = (a + R\cos\theta, b + R\sin\theta)$$
椭圆的参数方程
$$(x, y) = (a\cos\theta, b\sin\theta)$$
直线的参数方程
$$(x, y) = (x_0 + t\cos\alpha, y_0 + t\sin\alpha)$$
其中 $t$表示从$(x_0, y_0)$出发沿方向角$\alpha$ 的有向距离。这种参数在涉及线段长度和定比分点的问题中非常方便。
例题 3：参数方程证共线
用直线的参数方程证明：$\triangle ABC$ 的三条中线交于一点（重心）。
设 $A(0,0)$，$B(b,0)$，$C(c_x, c_y)$。$BC$中点$D((b+c_x)/2, c_y/2)$。 中线 $AD$的方程为$(x,y) = t \cdot ((b+c_x)/2, c_y/2)$，$t \in [0,2]$。 同理写出 $BE$和$CF$的参数方程，求出交点坐标，验证三条中线交于同一点$( (b+c_x)/3, c_y/3 )$。
五、向量法解几何题
向量法介于纯几何法和解析几何法之间，兼具几何直观和代数精确性。
向量法的基本工具
| 几何关系 | 向量表示 |
|---|---|
| 三点共线 $A,B,C$ | $\vec{AB} = \lambda \vec{AC}$（$\lambda \in \mathbb{R}$） |
| 三线共点 | 设出交点，证明其满足条件 |
| 垂直 $AB \perp CD$ | $\vec{AB} \cdot \vec{CD} = 0$ |
| 平行 $AB \parallel CD$ | $\vec{AB} = \lambda \vec{CD}$ |
| 长度 $AB = CD$ | $\vec{AB}=\vec{CD}$ |
| 角平分线 | $\frac{\vec{AB}}{\vec{AB}}$与$\frac{\vec{AC}}{\vec{AC}}$ 的和沿角平分线方向 |
向量法证欧拉线
例题 4：向量法证欧拉线
设 $\triangle ABC$的外心为$O$，重心为 $G$，垂心为 $H$。以 $O$ 为原点， 则 $|\vec{a}| = |\vec{b}| = |\vec{c}| = R$（其中 $\vec{a} = \vec{OA}$ 等）。
重心：$\vec{g} = \frac{\vec{a} + \vec{b} + \vec{c}}{3}$。
定义 $\vec{h} = \vec{a} + \vec{b} + \vec{c}$。 验证 $\vec{AH} \cdot \vec{BC} = (\vec{h} - \vec{a}) \cdot (\vec{c} - \vec{b}) = (\vec{b} + \vec{c}) \cdot (\vec{c} - \vec{b}) = |\vec{c}|^2 - |\vec{b}|^2 = 0$，故 $AH \perp BC$。 同理 $BH \perp AC$，所以 $H$ 是垂心。
因此 $\vec{OH} = 3\vec{OG}$，即 $O$、$G$、$H$共线且$HG = 2GO$。
六、复数法解几何题
将平面视为复平面，用复数表示点，几何关系转化为复数运算，是竞赛中一种高效的代数化方法。
复数法基本对应
| 几何操作 | 复数表示 |
|---|---|
| 点 $A$ | 复数$z_A$ |
| $AB$长度 | $z_A - z_B$ |
| $\vec{AB}$方向 | $\arg(z_B - z_A)$ |
| $A$绕$O$旋转$\theta$ | $z_A \cdot e^{i\theta}$ |
| $A$关于$O$的位似（比例$k$） | $k \cdot z_A$ |
| $A,B,C$共线 | $\frac{z_A - z_B}{z_A - z_C} \in \mathbb{R}$ |
| $A,B,C,D$共圆 | $\frac{z_A - z_C}{z_A - z_D} : \frac{z_B - z_C}{z_B - z_D} \in \mathbb{R}$ |
复数法证拿破仑定理
例题 5：复数法证拿破仑定理
以 $\triangle ABC$ 的三边向外作等边三角形，它们的中心构成一个等边三角形。
设 $A$、$B$、$C$对应的复数分别为$a$、$b$、$c$。以 $BC$为边向外作等边$\triangle BCA'$，其中心 $A_1$ 满足： 设 $\omega = e^{i\pi/3} = \frac{1}{2} + i\frac{\sqrt{3}}{2}$（$60^\circ$ 旋转），则等边三角形的中心为三个顶点复数的平均值。 计算 $A_1 = \frac{b + c + a'}{3}$，其中 $a'$是$A$关于$BC$向外作等边三角形的第三个顶点，满足$a' - b = \omega(c - b)$。 类似定义 $B_1$、$C_1$。计算 $B_1 - A_1$和$C_1 - A_1$，验证 $C_1 - A_1 = \omega(B_1 - A_1)$，即 $\triangle A_1B_1C_1$ 是等边三角形。
例题 6：复数法证西姆松定理
设 $\triangle ABC$的外接圆为单位圆$|z|=1$，则 $A$、$B$、$C$满足$|a|=|b|=|c|=1$。 $P$ 在外接圆上，$|p|=1$。 $P$到$BC$的垂足$D$ 满足：$d = \frac{b+c+p - bc\bar{p}}{2}$（利用单位圆上的垂足公式）。 类似写出 $E$、$F$。计算 $\frac{d-e}{d-f}$，证明其为实数，即 $D$、$E$、$F$ 共线。
例题 7：解析法综合题
已知 $\triangle ABC$中$AB=AC$，$D$是$BC$ 中点，$E$是$AD$上一点。过$E$作$BC$的平行线交$AB$、$AC$于$F$、$G$。求证：$BF = CG$。
建系：$A(0,a)$，$B(-b,0)$，$C(b,0)$（利用等腰三角形对称性）。 $D(0,0)$，设 $E(0,e)$，$0 < e < a$。 直线 $AD$（$y$轴）上$E(0,e)$，$FE \parallel BC$（$BC$是$x$轴），故$F$、$G$的$y$坐标为$e$。 直线 $AB$：$\frac{y-0}{x+b} = \frac{a-0}{0+b}$，即 $y = \frac{a}{b}(x+b)$。代入 $y=e$得$x_F = \frac{be}{a} - b$。 同理 $G$在$AC$ 上：$y = -\frac{a}{b}(x-b)$，代入 $y=e$得$x_G = b - \frac{be}{a}$。 故 $BF = |x_F - (-b)| = \frac{be}{a}$，$CG = |b - x_G| = \frac{be}{a}$，$BF = CG$。
七、方法选择指南
| 题目特征 | 推荐方法 |
|---|---|
| 涉及对称性或特殊角（$60^\circ$、$90^\circ$） | 纯几何（旋转、反射） |
| 涉及长度比例、面积比 | 向量法或面积法 |
| 涉及多个圆 | 反演或解析法 |
| 计算量大但关系明确 | 解析几何（坐标法） |
| 涉及等边三角形中心 | 复数法 |
| 涉及共线、共圆的条件判断 | 复数法或向量法 |
核心原则
解析几何方法是竞赛中的"底牌"——当其他方法都行不通时，解析法几乎总能给出答案。但好的解析法不等于暴力计算，巧设坐标系、善用参数才是关键。平时要多练习各种方法的混合使用，培养"什么题用什么法"的直觉。