解析几何的诞生
把两个数钉成一个点、让曲线变成方程，是数学史上最划算的一笔交易：一套人人可执行的代数程序，换走几何问题两千年的手工打磨，也为微积分和一切坐标化的数学——包括机器学习居住的向量空间——搭好了舞台。
联姻前的僵局
1630 年代的数学手里攥着两件成熟却互不相认的工具。一边是 古希腊数学 证明的发明 传下的几何传统：严密、尊贵，自《几何原本》起就是「数学」的同义词；但它是个手工坊——每道轨迹题都需要一次专门的作图构思，曲线按作图手段分类，阿波罗尼奥斯的圆锥截线研究是巅峰，也正因如此成了天花板。另一边是 三次方程之争与虚数的诞生 之后成熟起来的符号代数：韦达 (Viète) 给了它通用记号，它握着机械化的方程操作，却没有身份——被视为商人算术；更尴尬的是，含两个未知数的方程根本没有地方「画出来」。
僵局的症结不在谁不够强，而在缺一个接口：能不能给代数一块画布，让它去干几何的活？
两条独立的路线
接口几乎同时由两人独立建成，方向恰好相反。费马 (Fermat) 从阿波罗尼奥斯的轨迹命题出发，发现含两个未知数的方程里每个解对应一个点、全体解构成一条曲线；一次方程给出直线，二次方程恰好覆盖全部圆锥曲线——这是从方程到曲线。笛卡尔 (Descartes) 则从曲线走向方程：面对古希腊遗留的帕普斯 (Pappus) 轨迹难题，他把曲线上每个点满足的位置关系翻译成方程，并顺手立下沿用至今的记号—— 记未知数， 记已知数。两条路线的走向与命运，可以钉成一张表：
| 费马 | 笛卡尔 | |
|---|---|---|
| 成果 | 《平面与立体轨迹引论》约 1636 | 《几何学》1637，《方法论》附录 |
| 方向 | 方程 → 曲线 | 曲线 → 方程 |
| 传播 | 生前仅书信流传，1679 年才出版 | 随出版物传遍欧洲 |
两人都没有现代意义上的直角坐标系——固定的成对垂直坐标轴、负半轴一概不见——但都在点与数之间架起了桥。后世所说的坐标法，核心就是一部双语词典：点 ↔ 数对，曲线 ↔ 方程；它以笛卡尔的方言流行，只因随出版物先到。
词典建成的红利
词典一旦建成，两个方向都在盈利。几何问题代数化：求交点变成解联立方程，相切条件变成方程有重根，五花八门的圆锥曲线统一为「二次曲线」一个家族——需要天才构思的几何难题，降格为一条人人可执行的程序。这正是交易的划算之处：通用机械换走手工技艺。反过来，代数获得了可视化：方程有了形状，实根个数变成曲线与轴的交点个数，「解是否存在」第一次看得见。
更深的红利是数的身份。笛卡尔本人仍把负根称作「假根」(false roots)，但他亲手建立的对应很快反转了局面：负数是原点左边的居民，无理数在数轴上确有其位——合法性不再靠哲学辩护，而靠有地方可画。运动也随之进入几何：曲线是一个点随参数变动扫出的轨迹，希腊人对「机械曲线」的贬斥就此失效，而「变动中的点」正是微积分等待已久的主角。
给微积分递上代数抓手
红利里最值钱的一项兑现得最快。希腊人留下的两大难题——切线与面积——从此有了下手处：切线可以从割线方程出发计算，曲线下的面积可以对 逐类猜出规律。费马本人用准等式 (adequality) 求极值与切线，已是微积分的直接前驱；至于牛顿与莱布尼茨的算法——对什么求导、对什么积分——离开坐标化根本无从表述。微积分发明权之争 那场大战开打的战场，正是解析几何平整出来的地基。
复利：从平面到向量空间
这笔交易的复利在两个世纪后兑现。两个数钉成平面上的点，推广为 个数钉成 中的点，「方程 ↔ 点集」的词典长成 线性代数史 从行列式到向量空间 的空间语言。机器学习正住在这条延长线上：特征向量 (feature vector) 不过是高维空间里一个点的坐标，embedding 是给语义分配坐标的操作，向量空间的结构 里的内积、度规家族全都在消费这场联姻的遗产。回头看，1637 年钉下的不是一个点，而是一切坐标化数学的地基。