方程回答的是一个古老的问题：知道了结果和部分条件，缺的那一块是什么？这个问题从小学就开始出现，但它每次升级都不只是"变得更复杂"，而是你找未知数的方式发生了根本变化。这张页面追踪"找未知"这个想法本身的四次飞跃。
试数。4个苹果 + 4个橘子 = 12 + 20 = 32，差两块。加一个橘子减一个苹果试试：3个苹果 + 5个橘子 = 9 + 25 = 34，对了！
| 苹果（3元/个） | 橘子（5元/个） | 总价 |
|---|---|---|
| 4 | 4 | 3×4 + 5×4 = 32 |
| 3 | 5 | 3×3 + 5×5 = 34 ✓ |
| 2 | 6 | 3×2 + 5×6 = 36 |
这不是方程，是穷举。但"知道总数和部分信息，把缺的那块找出来"这个想法，就是方程的种子。
| 算术思维（试数） | 代数思维（方程） | |
|---|---|---|
| 做法 | 4+4→32 ✗, 3+5→34 ✓ | 设苹果 x 个，则橘子 (8-x) 个：3x + 5(8-x) = 34 |
| 优势 | 简单问题更快 | 复杂问题更可靠 |
| 劣势 | 3个未知数就试不动了 | 简单问题时觉得"杀鸡用牛刀" |
关键区别：算术思维在脑子里硬算，代数思维写出关系、让规则帮你解。设 x 之后，你不需要想"苹果橘子各几个"这个具体问题，只需要操作符号。
完整操作：3x + 40 - 5x = 34 → -2x = -6 → x = 3。每一步都是机械操作，不需要灵感。
方程 x + 5 = 3 在小学无解（"加上一个正数怎么变小了？"），引入负数后 x = -2 就是自然答案。负数让方程的解不再受限于"生活经验能想象的数"。这个模式会反复出现：每次扩大数的范围（负数→无理数→复数），都有方程在推动。
ax² + bx + c = 0（a ≠ 0）。它可能有两个解、一个解、或者没有解——这在以前没遇到过。一次方程永远有且只有一个解，二次方程打破了这种确定性。
判别式 Δ = b² - 4ac 让你在不求出解的情况下就知道解的情况：
| Δ 的值 | 解的情况 | 图像上的含义 |
|---|---|---|
| Δ > 0 | 两个不同的实数根 | 抛物线穿过 x 轴两次 |
| Δ = 0 | 一个重根（两个相同的根） | 抛物线刚好碰到 x 轴 |
| Δ < 0 | 没有实数根 | 抛物线碰不到 x 轴 |
关键在于：你不需要算出 x₁ 和 x₂，就能判断有没有解。这是"分析方程"而不是"解方程"。
韦达定理不告诉你根是几，而是告诉你两个根之间的关系：
x₁ + x₂ = -b/a，x₁ × x₂ = c/a
为什么这比知道具体的根重要？比如两个数的和是 10、积是 21——你不用求出这两个数就能判断它们都是正数（和 > 0 且积 > 0）。在很多问题中，你不需要根的值，只需要根的和或积。韦达定理是方程从"算答案"走向"分析结构"的第一步。
现实问题几乎都有多个变量：买苹果和橘子各几个？两种材料怎么配？两种车怎么调度？
两个未知数需要两个方程。两种基本方法：
| 方法 | 思路 | 本质 |
|---|---|---|
| 代入法 | 从一个方程解出一个变量，代入另一个 | 减少未知数的个数 |
| 加减消元法 | 让某个系数相同，两式相减消掉一个变量 | 减少方程的个数 |
两种方法的共同目标：消元——把 n 个未知数降成 n-1 个，一层一层剥下去。这个思想会一直延伸到大学的高斯消元法和矩阵运算。
以 x² - 4 = 0 为例：
第二种看法不只是"换了个说法"。它意味着：任何方程 g(x) = h(x) 都可以改写成 f(x) = g(x) - h(x) = 0，然后转化为"找函数零点"。方程家族里所有类型——对数方程、指数方程、三角方程——都用同一个框架处理。
| 方程类型 | 代数解法 | 函数视角 |
|---|---|---|
| 对数方程 log_a(x) = b | 转化成 a^b = x | 找 y = log_a(x) 与 y = b 的交点 |
| 指数方程 aˣ = b | 两边取对数 | 找 y = aˣ 与 y = b 的交点 |
| 三角方程 sin(x) = 1/2 | 利用单位圆找所有角度 | 找 y = sin(x) 与 y = 1/2 的交点 |
| 含绝对值 |x-3| = 5 | 分情况讨论正负 | 找 y = |x-3| 与 y = 5 的交点 |
每种方程都有特殊的代数技巧，但函数视角用同一件事统一它们：找交点。
方程 x³ + x - 1 = 0 没有公式解。但 f(0) = -1 < 0，f(1) = 1 > 0，所以根在 0 和 1 之间。试中点 0.5：f(0.5) < 0，根在 0.5 和 1 之间。再试中点 0.75……不断缩小范围就能逼近根。
这是数值计算的思想——不需要写出精确解，只需要"夹逼"到足够精确。计算机解方程基本都用这个原理。函数视角的威力：即使你不会解方程，只要能画出函数图，就能定位根。
初中解过二元一次方程组。大学把 n 个未知数、m 个方程的组写成矩阵形式：
Ax = b，其中 A 是系数矩阵，x 是未知数向量，b 是常数向量。
写法变了，问题也变了。你不再一个一个方程消元，而是研究矩阵 A 本身的性质：
| 问题 | 答案取决于 | 几何含义 |
|---|---|---|
| 有没有解？ | A 的秩和增广矩阵的秩 | 直线/平面是否相交 |
| 有几个解？ | det(A) 是否为零 | 直线/平面是相交于一点还是重合 |
| 怎么求？ | 逆矩阵 A⁻¹ 或高斯消元 | 反向追踪交点 |
回到买东西：如果苹果有3种、橘子有2种、香蕉有4种，分别在不同商店买、用不同优惠券——这不是试数能解决的了。但写成 Ax = b 之后，矩阵的性质会告诉你有没有最优方案。
Ax = λx。这个方程问的是：有没有某个向量 x，矩阵 A 作用在它上面之后方向不变，只是伸缩了 λ 倍？
特征值 λ 揭示系统的"固有频率"。桥梁会不会共振坍塌？生态系统会不会崩溃？搜索引擎怎么给网页排序（PageRank）？背后都是特征值问题。
普通方程的未知数是数：x² + 3x - 4 = 0，x 是一个数。
微分方程的未知数是函数：dy/dx = ky，y(x) 是一条曲线。
这个跳跃把方程从代数推向连续变化的世界。人口增长怎么预测？放射性物质多久衰变一半？电路怎么振荡？热量怎么传导？——自然界的变化几乎都是微分方程在描述。
解微分方程 dy/dx = ky 得到 y = Ce^(kx)。你找到的不是"一个数"，而是"一条曲线"——描述变化全过程的完整函数。
| 飞跃 | 之前怎么找未知 | 之后怎么找未知 | 这一跳让你能做什么新事 |
|---|---|---|---|
| 1. 从算到写 | "在脑子里反过来想" | "写出来，按规则变形" | 复杂问题也能可靠地解；字母替你干活 |
| 2. 从解到析 | "x 等于几？" | "有几个解？解之间什么关系？" | 不求出解也能判断性质；分析思维取代计算思维 |
| 3. 从数到图 | "用代数技巧操作符号" | "找函数的零点、找曲线的交点" | 所有方程类型统一；手解不了的方程用图和计算机处理 |
| 4. 从数到空间 | "未知数是一个数" | "未知数是向量或函数" | 同时处理成百上千个变量；描述自然界的连续变化 |