拿一张方格纸,在上面随手点一个点。只说“它在右上方”,别人很难把这个点一模一样地画出来;但如果你说“从原点向右走 格,再向上走 格”,位置就被钉死了。
坐标法就是从这个动作开始的:先给点一个地址,再把长度、平行、垂直、对称这些几何关系翻译成数和方程。图形还是那张图,只是我们终于能对它做计算了。

这一页会把坐标法最常用的几件工具一次讲透:怎样读点和描点,怎样算两点距离,怎样找中点与分点,怎样把“点在运动”写成轨迹方程,以及怎样选一个让计算省力的坐标系。
纯几何里,我们会说“两点一样远”“这条线段被平分”“这个点沿着一条线运动”。这些话很有画面感,却不方便直接计算。坐标法做的,是给每句话配上一句代数翻译:
你可以把这个过程理解成一次来回翻译:先从图形走到方程,借代数完成计算,再从方程走回图形,说明结果究竟表示哪个点、哪条线或哪一种位置关系。
坐标法不是让我们不再看图。恰恰相反,建系、设点和解释结果都要靠几何直觉;代数负责的是中间那段精确而稳定的计算。
在纸上画两条互相垂直的数轴。横着的一条叫 轴,向右是正方向;竖着的一条叫 轴,向上是正方向。两轴的交点叫原点,记作 。这样得到的就是平面直角坐标系。
现在看点 。从原点出发,先沿 轴向右走 个单位,再沿与 轴平行的方向向下走 个单位,就会到达 。括号里的第一个数管左右,叫横坐标;第二个数管上下,叫纵坐标。
所以点的坐标一定写成:
顺序不能换。 和 用到同样两个数字,却是两个完全不同的位置。
两条坐标轴把平面分成四块。象限从右上角开始,沿逆时针方向编号:第一、第二、第三、第四象限。
符号规律不必死背。沿横轴向右是正、向左是负;沿纵向向上是正、向下是负。先判断左右,再判断上下,符号自然就出来了:
还要留意坐标轴上的点:
下面可以直接拖动点。特意把点移到四个象限、两条坐标轴和原点上,看坐标符号怎样跟着位置改变。
给出坐标找位置,叫描点。比如描出 ,动作是“向左 格、向上 格”。
看着图读出坐标,则要从点分别向两轴作平行投影:先在 轴上读横坐标,再在 轴上读纵坐标。一个是“地址找地点”,一个是“地点查地址”,顺序始终都是先横后纵。
“先横后纵”说的是坐标书写和定位顺序,不是说必须真的画一条先横再竖的折线。无论怎样作辅助线,点的坐标都写成 。
两点落在同一条水平线上时,距离是横坐标差的绝对值;落在同一条竖直线上时,距离是纵坐标差的绝对值。真正需要想一下的,是一条斜着的线段。
设 、。从 水平走到与 同一条竖线上,再竖直走到 ,就补出了一个直角三角形。

两条直角边的实际长度分别是:
斜边就是 。由勾股定理:
绝对值平方与原数平方相同,因此可以写成:
距离取非负值,所以:
假如 或 是负数,它表示的是带方向的坐标变化,而不是负长度。平方以后方向被消去,留下的正是直角边长度的平方。因此这个公式不要求两个点在第一象限,也不要求 一定在 的右上方。
交换 、 的次序也没有影响,因为:
如果其中一个点是原点 ,公式会变成:
这就是点 到原点的距离。
已知 、、,判断三角形 的边长关系和角的类型。
先算三条边长的平方。判断边长是否相等、最大角是锐角还是钝角时,平方已经够用,可以暂时不把根号开出来。
设最大边长为 ,另外两边为 、。若 ,三角形是直角三角形;若 ,是钝角三角形;若 ,是锐角三角形。比较前必须先找出最大边。
在一条数轴上, 和 的中点是 ,因为 是两数的平均数。平面里的中点没有更神秘:横坐标单独取平均,纵坐标也单独取平均。
设 、,中点为 。那么:

为什么可以分别平均?从 到 的横向变化是 ,走一半就是 。因此中点横坐标为:
纵坐标完全一样:
已知线段 的中点是 ,端点 ,求另一个端点 。
设 。把已知量放进中点公式:
现在不从中间切。设点 在线段 内部,并且:
其中 、。整条线段一共被看成 份, 从 出发走了其中的 份,所以它走过全程的比例是:
从 到 的坐标变化是 ,走其中的 ,便得到:
分别整理两个坐标:
这个公式的权重看起来像“交叉放置”:靠近 的那一端, 的坐标权重是 。其实原因很简单—— 越长, 就越靠近 。
当 时,分点公式就退化成中点公式。
点 在线段 上,、,并且 。求 的坐标。
比例 表示从 到 已经走了全程的 。因此可以先用“起点加上全程变化的 ”:
分点公式先要看清比例的书写顺序。 与 得到的是两个不同的点。最稳的做法不是背“谁乘谁”,而是先算从 出发走了全程的几分之几。
如果分点在线段延长线上,可以仍用参数式 。此时 或 。若外分点满足 ,其中 、 且 ,整理参数式可得:
这里的减号正是在提醒我们:点不在线段内部。若 ,直线上不存在到 、 距离相等的有限外分点。初学时先用参数 判断点在 的外侧还是 的外侧,通常比只背公式更可靠。
在纸上固定两个点 、,让笔尖 一边移动,一边始终保持 。你不是在找某一个点,而是在找所有符合条件的位置。笔尖能走过的整套位置,叫这个动点的轨迹。
坐标法会把“所有符合条件的位置”压缩成一个方程。设动点为 ,方程限制了 、 怎样一起变化;每一组满足方程的实数坐标,对应轨迹上的一个点。
要说某个方程就是一条轨迹的方程,需要同时守住两件事:
只证明第一条,方程可能偷偷多装进一些不该有的点;只证明第二条,又可能漏掉原本应该在轨迹上的点。尤其遇到平方、开方、约分时,要回头检查是否产生增根或丢掉特殊位置。
已知 、。动点 始终满足 ,求它的轨迹方程,并说明轨迹是什么。
先把“距离相等”写出来。因为距离都非负,距离相等与距离平方相等完全等价:
这个例子也说明了坐标法为什么省力:几何里“垂直平分线上的点到两端等距”与它的逆命题,在坐标里都藏在同一次展开和化简中。
如果已经知道轨迹方程,判断某点是否在上面,只要代入坐标。
例如点 是否在轨迹 上?代入得到:
等式成立,所以点在轨迹上。点 代入得到 ,因此不在轨迹上。
这里的判断不是“看着像在圆上”,而是检查这个点的地址是否满足轨迹规定的代数条件。
同一张图可以放进无数个坐标系,几何关系不会变,但方程的长短会差很多。建系之前先停一下,看看图里有没有中点、对称轴、垂足、圆心或一条特别重要的直线。
以底边长为 、高为 的等腰三角形为例。把底边中点设为原点,底边放在 轴上,对称轴放在 轴上,三个顶点可以直接写成:
“底边被平分”被写成了两个相反数,“高与底边垂直”被写成了两条坐标轴,“顶点在对称轴上”被写成了横坐标为 。图形的关键条件已经提前装进坐标里。
于是两条腰的长度立刻得到:
下面的交互展示同一个等腰三角形在三种建系方式下的坐标和距离式。切换原点位置,观察几何图形没变时,代数表达怎样变长或变短。
选择坐标系时,可以按下面的顺序找位置:
一个等腰三角形的底边长为 ,高为 ,求两条腰的长度。
底边中点、高和对称轴是图中的天然结构。把底边中点设为原点,底边放在 轴上,高放在 轴上。
底边的一半是 ,因此可设三个顶点为:
碰到“用坐标法证明或计算”的问题,可以照着下面五步走。真正决定计算是否清爽的,往往是前两步。
观察图形,再建系。先找对称、中点、垂直和固定点,不要看到空白就随手画轴。
设点坐标。已知长度可以用简单常数或参数表示,对称点尽量写成相反数,坐标轴上的点要主动用上那个 。
翻译条件。距离用距离公式,中点用平均数,分点用全程比例,动点条件写成含 、 的方程。
与 不是同一个点。写坐标、读坐标、代入公式,都坚持先横后纵。
距离公式中的两个差必须来自同一方向:
写成 没有对应的直角三角形,也就没有清楚的几何意义。
从 到 的横向变化是:
不是 。先把坐标完整代入括号,再做减法,能避开大多数符号错误。
可以是负数,它带着方向;距离是长度,只能是 或正数。公式最后取算术平方根,正是为了得到非负距离。
表示从 到 走了全程的 。先画出 、、 的顺序,再算比例,不要只凭口诀塞权重。
从几何条件推出方程只是走完一半。平方可能带来增根,约分可能漏掉使分母为零的情形。最后至少要问一句:方程的每一个实数解,是否都对应原来的几何位置?
点 在哪个象限?从原点出发,可以怎样定位这个点?
已知 、,求 的长度和中点坐标。
点 在线段 上,、,且 。求 的坐标。
已知 、、,判断三角形 的类型。
动点 到原点的距离恒为 。写出轨迹方程,并判断点 是否在轨迹上。
一个矩形的长为 、宽为 。若要让四个顶点的坐标最对称,可以怎样建系并设点?
坐标法最值得记住的不是一串公式,而是几个可以重复使用的动作:给点写地址,把斜线补成直角三角形,把分点看成从起点走了全程的某个比例,把动点条件写成方程,再把计算结果翻译回图形。
后面遇到直线、圆、椭圆、双曲线和抛物线,我们做的仍然是这套动作。曲线会越来越复杂,但坐标法的起点一直很朴素:先把图形放稳,再让数替我们计算。
三个平方数互不相等,所以三条边也互不相等。这个三角形不是等腰三角形,也不是等边三角形。
最大边是 。比较最大边的平方与另外两边平方和:
最大边平方小于另外两边平方和,因此最大角小于 ,其余两个角更小。
所以三角形 是不等边锐角三角形。这个结论来自精确的长度关系,不受图画得准不准影响。
两个有序数对相等,意味着对应坐标分别相等:
解得 、,所以 。回代检查:
与已知中点一致。
横向和纵向的全程变化都是 ,取 后都是 :
检查位置: 的确在线段内部,而且从 到 的坐标变化是 ,从 到 的变化是 ,两段长度之比为 。
两边的 抵消,展开横坐标部分:
整理得到:
所以:
先解释图形。方程 表示横坐标固定为 、纵坐标可以任取实数,因此是一条与 轴平行的直线。、 的中点是 ,所以它正是线段 的垂直平分线。
再做反向检查。任取直线 上的点 :
所以 。方程没有多收点,也没有漏掉点。
用距离公式计算一条腰:
因为坐标关于 轴对称, 的计算完全相同,所以两条腰都长 。
完成代数计算。展开、平方、约分时记录等价条件;如果某一步不是等价变形,最后要回代检查。
回到图形。答案是一个数,就说明它是哪段长度;答案是一个坐标,就说明它是哪一个点;答案是一个方程,就说明它表示什么轨迹,并核对有没有多点或漏点。
中点的两个坐标分别取平均:
长度答案是非负数 ,中点答案是有序数对 ,两者的几何意义不同。
用内分点公式核对:
因为 ,所以 ;又因为:
所以三角形 是以 为直角顶点的等腰直角三角形。
这表示以原点为圆心、半径为 的圆。把 代入:
等式成立,所以点 在这条轨迹上。
这种设法直接写出了中心对称:每个顶点关于原点的对称点,只需把两个坐标同时变号。