曲线与方程：从轨迹到标准形式
前面几章里，我们已经把点、直线和圆放进坐标系里研究。到这里，问题要换一种问法：如果题目不直接给出一条曲线，而是说“点满足某个条件”，我们怎样知道这些点合起来是什么图形？
这就是轨迹问题。轨迹不是先画好的一条线，而是满足同一个几何条件的全体点。曲线方程也不是单独的代数式，它是在说：哪些点的坐标代入后能让条件成立。
轨迹可以理解为满足同一几何条件的所有点组成的点集，并可进一步用方程表示。
轨迹不是一条画出来的线
日常语言里说“运动轨迹”，容易让人想到一个点经过后留下的痕迹。数学中的轨迹更严格：它是满足某个条件的所有点组成的集合。
例如“到点 C 的距离等于 3 的点”不是某几个试出来的点，而是所有这样的点。把这些点放进坐标系，会得到以 C 为圆心、半径为 3 的圆。
判断一个图形是不是某个条件的轨迹，要看两个方向：图形上的每个点都满足条件；满足条件的每个点也都在图形上。只检查几个点，不能证明一个完整轨迹。
设平面上一点为 P(x,y)。如果它满足某个几何条件，我们可以把条件翻译成关于 x,y 的等式或不等式。这个等式的解集，就是曲线方程对应的图形。
常见写法是：
F(x,y)=0
它表示所有使 F(x,y) 等于 0 的点。若几何条件中有距离、斜率、面积、角度，就先把这些量用坐标表示，再整理成方程。
求轨迹方程的基本路线
先设动点。题目问哪个点的轨迹，就把那个点设为 P(x,y)，不要急着猜图形。
再翻译条件。把“距离相等”“距离固定”“到直线的距离”等文字，写成含 x,y 的代数关系。
接着化简方程。用平方、配方、因式分解等方法，把关系式整理到能看出图形的形式。
最后回到原条件检查。尤其在平方、约分、消去参数之后，要确认没有增加或丢失点。
下面的互动件把三种常见距离条件放在一起。切换条件时，注意看“点集”和“方程”怎样同步变化。
用距离关系写出轨迹
距离是轨迹问题中最常见的条件。两点 P(x,y) 和 A(a,b) 的距离为：
PA=(x−a)2+(y−b)2
如果题目中出现“到定点”“到两点”“到直线”，通常都可以先把距离写出来，再列等式。
到两个定点距离相等
求到 A(−2,0) 与 B(4,0) 距离相等的点 P 的轨迹。
到两个定点距离相等的点的轨迹是线段 AB 的垂直平分线。
设动点为 P(x,y)。题目条件是 PA=PB。
用距离公式写出等式：
(x+2)2+y2=(x−4)2+y2两边平方，得到：
(x+2)2+y2=(x−4)2+y2消去相同的 y2，展开并整理：
x2+4x+4=x2−8x+1612x=12x=1因此轨迹是直线 x=1。这条直线经过线段 AB 的中点，并且垂直于 AB，正是垂直平分线。
这里的结果提醒我们：距离关系不一定产生圆。等距于两个定点的点集是一条直线。
到定点距离固定
求到点 C(2,−1) 距离为 4 的点 P 的轨迹。
设 P(x,y)，条件是 PC=4：
(x−2)2+(y+1)2=4
两边平方：
(x−2)2+(y+1)2=16
这就是以 (2,−1) 为圆心、半径为 4 的圆。它的标准形式直接显示了圆心和半径。
到两定点距离比固定
再看一个容易误判的例子。求满足 PA:PB=2:1 的点 P 的轨迹，其中 A(−3,0)，B(3,0)。
固定到两点 A、B 的距离比，点 P 的轨迹可以是圆。
条件 PA:PB=2:1 可以写成：
PA=2PB
代入距离公式：
(x+3)2+y2=2(x−3)2+y2
两边平方并整理：
(x+3)2+y2=4((x−3)2+y2)
x2+y2−10x+9=0
配方：
(x−5)2+y2=16
所以轨迹是圆心为 (5,0)、半径为 4 的圆。虽然条件里出现两个定点，但结果不是“中间某条线”，而是一个偏向 B 一侧的圆。
距离条件里出现平方根时，平方常常很方便，但平方不是可以忘记的步骤。它可能改变方程的解集，所以最后要用原来的距离关系检查候选轨迹。
到定点和定直线距离相等
设定点 F(2,0)，定直线为 x=−2。若点 P(x,y) 到 F 的距离等于到直线 x=−2 的距离，则：
(x−2)2+y2=∣x+2∣
两边平方：
(x−2)2+y2=(x+2)2
整理得：
y2=8x
点到定点与到定直线距离相等的轨迹，为抛物线定义作铺垫。
这条曲线将在后面以“抛物线”的身份正式出现。现在先记住一点：同样是距离相等，只要对象从“两个定点”换成“一个定点和一条定直线”，轨迹形状就会变。
标准形式不是背诵模板
标准形式的作用，是让方程里的几何信息显出来。平移告诉我们图形的位置，伸缩告诉我们图形的宽窄和方向。
例如圆的一般式：
x2+y2−4x+6y−12=0
把 x 项和 y 项分别配方：
(x2−4x)+(y2+6y)=12
(x−2)2−4+(y+3)2−9=12
(x−2)2+(y+3)2=25
这时图形一眼可读：圆心是 (2,−3)，半径是 5。
如果方程是：
4(x−1)2+(y+2)2=16
两边同除以 16：
4(x−1)2+16(y+2)2=1
它不再是圆，而是一个中心在 (1,−2) 的椭圆形曲线。分母 4 和 16 表示两个方向上的伸缩尺度。标准形式不是为了换一种写法，而是为了读图。
下面的互动件专门看圆的一般式怎样通过配方变成标准式。拖动 D,E,F，观察圆心、半径平方和图形状态怎样变化。
代数变形背后有几何动作
求轨迹方程时，代数变形不是纯计算。每一种变形都在帮助我们看清图形。
配方、因式分解与化简分别揭示代数式背后的几何形状。
配方常常把中心、顶点或半径显出来。因式分解常常说明图形是几条简单曲线的合并。化简则能暴露出空集、单点或重复条件。
从方程判断图形
判断下面三个方程表示什么图形。
x2+y2−6x+4y+14=0
配方：
(x−3)2+(y+2)2=−1
左边是两个平方和，不可能等于负数，所以它没有实点。这个方程并不表示一条真实曲线。
x2−y2−2x−4y−3=0
配方：
(x−1)2−(y+2)2=0
因式分解：
[(x−1)−(y+2)][(x−1)+(y+2)]=0
也就是两条直线：
x−y−3=0
x+y+1=0
所以它不是一条双曲线，而是两条相交直线。
x2−4x−y+5=0
移项并配方：
y=x2−4x+5
y=(x−2)2+1
它是顶点在 (2,1)、开口向上的抛物线形曲线。
化简之后还要回到轨迹
轨迹方程要描述的是原条件下的点集。代数变形得到的方程只是候选结果，最后要确认它没有多带点，也没有漏掉点。
化简得到候选图形后，要回到原条件检查，剔除平方、约分或消参带来的多余部分。
平方可能增加点
看这个条件：
(x−1)2+y2=1−x
右边是距离，所以必须有：
1−x≥0
也就是：
x≤1
如果只平方：
(x−1)2+y2=(1−x)2
会得到：
y2=0
即 y=0。但整条 x 轴并不都满足原条件。原条件还要求 x≤1，所以真正的轨迹是 x 轴上 x≤1 的那一部分。
约分可能丢掉分支
方程：
x(y−1)=0
表示 x=0 或 y=1。如果看到两边都有 x 就直接约掉，会只剩 y=1，把整条 x=0 的分支丢掉。
在轨迹问题里，不能随手除以一个可能为 0 的式子。若要约分，先单独讨论被约掉的因子是否可能为 0，否则可能把一部分轨迹删掉。
范围条件也属于轨迹
有些题目化简后得到一条完整曲线，但原条件只允许其中一段。例如“点 P 在线段 AB 上运动”“参数 t 只取非负数”“面积为正”都会带来范围限制。最终答案应包括方程和必要范围。
把方法用于新题
下面几题不急着看答案。先按“设点、列式、化简、检查”的路线写一遍。
练习
- 求到 A(0,2) 与 B(0,−4) 距离相等的点的轨迹方程。
设点为 P(x,y)。由 PA=PB 得：
x2+(y−2)2=x2+(y+4)2整理：
y=−1轨迹是线段 AB 的垂直平分线。
- 求到点 C(1,−2) 距离为 4 的点的轨迹方程。
由距离公式直接得到：
(x−1)2+(y+2)2=16轨迹是圆心为 (1,−2)、半径为 4 的圆。
- 判断方程 x2+y2+2x−8y+20=0 表示什么图形。
配方：
(x+1)2+(y−4)2=−3平方和不可能等于负数，所以这个方程没有实点。
- 把 x2−4x−y+5=0 化成能读出图形的形式。
移项并配方：
y=x2−4x+5y=(x−2)2+1它是顶点为 (2,1)、开口向上的抛物线形曲线。
进入圆锥曲线前要带走的三句话
轨迹是点集：它包含所有满足条件的点，也只包含这些点。
曲线方程是翻译：它把几何条件翻译成坐标之间的关系。
标准形式是读图工具：配方、因式分解和化简的目的，是让位置、大小、方向、分支和范围显出来。
下一步学习椭圆、双曲线和抛物线时，不要先背公式。先问它们各自满足什么距离条件，再把条件翻译成方程。这样标准方程就不再是突然出现的模板，而是轨迹语言自然推出来的结果。