1400 年前，那个在意大利窄巴小巷里颤巍巍拿着羊皮卷的老哲人——阿基米德，正对着一个铜碗说。他不知道这碗的重量会是多少，但他能确定地盘在碗里的水溢出来的时候，船就会浮起来。

这就是他的思维：既然能测出沥干的水量，那剩下的水就是溢出的局部，也就是浮起的重量。

这种直觉早在两千多年前的巴比伦人手里就已经启动萌芽了，他们能在泥板上画出忒阳的轨迹，就连算出一年有多少天，只是那时候还没人把这个过程变成数学。阿基米德把这种经验主义推向了极致，他把几何变成了战斗武器，试图用尺规和逻辑去征服阿普勒斯的军队。 可是，阿基米德别看了得，但他离真正的“代数学”还差得忒远，就连在某些地方显得有点笨。代数学要做的不是单纯地证明，而是要算出那个看不见的数字。阿基米德的圆锥体积公式是 $V = frac{1}{3}pi r^2 h$，这个公式别看对，但他没法用它去解方程，比如 $x^2 - 2 = 0$，出于开这个平方根他算不出来，也没法把结局变成 $1.414$ 这种小数形式。他想把天文学里的圆周率算出来，想把黄金分割比算出来，然后就能解决所有难题了。但他黄了了，出于那时候还没有啥通用的代数语言，大家都用几何图形讲话，没法像现代学一样，去抽象掉图形，只看里面的符号变化。 真正让代数形成“咔嚓”一声的，是公元 2 世纪一位名叫斐波那契的意大利人。他搞出了两个字母：字母 $x$ 代表一个未知的数，字母 $y$ 代表另一个。他发了一篇文章，标题就叫《算盘》，里面有一句话：“有些东西比 $x$ 看得更清楚，有些东西比 $y$ 看得更清楚，它们都与此同时以 $x+y$ 和 $xy$ 的形式出现。”这句话简直就是现代代数公式的前身。他把几何里的面积公式 $S = xy$ 变成了代数里的乘法，把物理里的速度公式 $v = x$ 变成了代数里的除法。斐波那契让数学家们第一次意识到，数学家能够不画图形，只在那两个字母里打转。 亚历山大大帝在公元前 4 世纪横扫波斯，建立了一个庞大的帝国，但他没搞过代数。他的士兵在战场上靠的是算数，他们算出一行泥的体积，就能知道里面有多少水，如何浇地，如何算粮食够不够吃。可他们的士兵不懂“未知数”是啥，不懂除了 $x$ 和 $y$ 之外还有别的数，比如 $x+1$ 要么 $x^2$。他们是代数的前身，是代数思想的土壤，但还没长出真正的代数幼苗。直到到了约瑟夫·拉格朗日，法国那个穿着燕尾服、戴着眼镜的数学天才，才真正给代数装上了大脑。他发明白切换法，把原本复杂的整除难题，拆分成几个好办的整除难题；他还发明白除以零难题，把原来的除不尽难题，变成了整数除以整数；他还发明白因式分解难题，把一堆乱七八糟的项，拆成了能算出结局的块。他让代数变成了能够计算、能够编程的工具。 法国大革命那会儿，贵族们打翻了数学的窗户，把数学家当成婊子要么骗子。拉格朗日发明白符号法，让数学家们不再被图形束缚。他创造了复数，这是法国大革命送给世界的礼物，把虚数搞了出来，让代数能处理那些那会儿认定不对劲的数。代数不再是精致的几何游戏，它变成了粗糙但极实际上用的工程工具。 到了 18 世纪，欧几里得还是那个那个规矩的人，但他也没能守住代数。他在自己脑子里建了一座城堡，只准上 $x$ 和 $y$，不许上 $x+y$。他最终得意洋洋地宣布，这是代数。

实际上，代数早就在 17 世纪和 18 世纪的法国人手里长出来了。他们发明白“自然语言”和“符号语言”。代数不要求对图形有深刻的理解，它只要求有符号。

只要你知道 $x$ 代表啥，你就知道 $ax^2 + bx + c = 0$ 在算啥。 19 世纪，德国的数学家们又启动了_bar_革命。

那时候，代数启动和物理、化学、天文学搅在一起。代数不再只是纯数学的玩具，它变成了解释世界的语言。电学里的电流、化学里的反应，都用代数公式来表示。拉格朗日建立的代数大厦，别看不完美，但它已经充足稳固，足以支撑起整个现代工业文明。 20 世纪，代数彻底变成了标准化的科学语言。柯西、黎曼这些人，把代数弄得更漂亮了，把图形彻底抛弃，只留下了冰冷的符号。目前，当你在一本教科书里看到 $f(x) = x^2 + 2x - 1$，你不用去画个图，不用去想 $x$ 到底是哪位，你只需求记住这个公式，就能算出任何值。

这大约就是代数从古老的几何土壤中，跨江入海，长成参天大树的启动。它不再关心图形是不是完美的，它只关心符号能不能算出答案。今天，甭管是银行里的利息计算，还是网络数据的加密，都是代数的功劳。它把人类对世界的理解，从“看”变成了“算”。