BMC-Vis · 实战 #1 锤子诊所：逆向工程二次函数

🎓 差分小课堂：这个词到底是什么意思？

差分，顾名思义，就是"函数值的差"。

题目里的 f(x+1) - f(x) 读作："x 增加 1 之后，函数值增加了多少？"

用具体数字理解：

假设 f(x) = x²。

当 x = 2 时，f(2) = 2² = 4
当 x = 3 时，f(3) = 3² = 9
所以 x 从 2 增加到 3 时，函数值从 4 增加到 9
差分 = f(3) - f(2) = 9 - 4 = 5

用公式验证：

对于 f(x) = x²，我们有公式：f(x+1) - f(x) = 2x + 1。

把 x = 2 代入：2 × 2 + 1 = 5。和上面算出来的结果一样。

生活类比：

差分就像"你一天长高了多少厘米"。

如果昨天身高 160cm，今天身高 161cm，那今天的"身高差分"就是 1cm。

f(x+1) - f(x) 就是函数在"间隔为 1"的两个时刻之间的变化量。

和导数的关系：

导数也是描述变化的，但导数看的是"瞬间变化率"（间隔无限小）。

差分看的是"离散变化"（间隔为 1）。

对于多项式函数来说，这两者长得很像，但不完全相同。后面我们会看到它们的区别。

🌱 第一性原理：从零开始想

Step 0：先别管锤子理论，我们只知道自己知道什么。

题目已经明确说 f(x) 是二次函数。这不是我们猜的，是题目送给我们的已知条件。

题目还说 f(x+1) - f(x) = 2x。这个式子的意思是：x 增加 1 时，函数值增加了多少。

所以题目在问：在所有二次函数中，找出那个"每走一步就增加 2x"的函数。

Step 1：二次函数长什么样？

所有二次函数都穿同一套"衣服"：f(x) = ax² + bx + c。

为什么？因为这是二次函数的定义。就像所有狗都有四条腿，所有二次函数都能写成 ax² + bx + c。

我们不知道 a、b、c 是多少，但知道 f(x) 一定是这个形状。我们要做的，就是把这套衣服代入条件，把 a、b、c 求出来。

Step 2：把这套衣服代入条件。

既然 f(x) = ax² + bx + c，那 f(x+1) 就是把所有 x 换成 (x+1)。

然后算 f(x+1) - f(x)，看看它长什么样。结果会是 2ax + (a + b)。

Step 3：为什么结果里不再有 x²？

因为 f(x+1) 和 f(x) 都有 ax² 这一项，相减时抵消了。同样，bx 也抵消了。

所以二次函数的"一步变化"只会剩下一次项和常数项，也就是一次函数。这就是为什么题目里的 2x 是一次函数——它正好对应二次函数的变化。

Step 4：为什么 c 会消失？

因为 c 是常数，不随 x 变化。x 增加 1 时，c 还是 c，所以 c - c = 0。

这意味着：条件 f(x+1)-f(x)=2x 无法告诉我们 c 是多少。c 是"自由"的。

Step 5：为什么能逐项对比？

两个多项式相等，意味着 x² 的系数相等、x 的系数相等、常数项相等。

就像 3 个苹果 + 2 个梨 = 3 个苹果 + 2 个梨，不可能 3 个苹果 + 2 个梨 = 5 个香蕉。

所以 2ax + (a+b) = 2x + 0 意味着：2a = 2，且 a+b = 0。

Step 6：f(0)=1 是干什么的？

前面我们发现 c 是自由的，条件管不了它。但 f(0)=1 正好是关于 x=0 的信息，可以直接确定 c。

🔨 用锤子理论验证（学渣展开版）

如果你已经学过锤子理论，可以换个角度看。下面把每个"锤子"都拆开，用例子讲清楚。

1. 拆解法则：为什么能一项一项算？

拆解法则说：和的差 = 差的和。用人话说：减法会公平地分配到每一项。

比如你有两个篮子：

篮子 A 有 3 个苹果 + 2 个梨 + 1 个香蕉

篮子 B 有 1 个苹果 + 5 个梨 + 1 个香蕉

A - B 就是：

(3-1) 个苹果 + (2-5) 个梨 + (1-1) 个香蕉

你不会把苹果和梨混在一起减，对吗？函数也一样：

f(x+1) - f(x) = [ax²项相减] + [bx项相减] + [c项相减]

这就是为什么我们可以一项一项算，不用害怕。

2. 幂律锤子：为什么二次函数的变化率是一次函数？

先看最简单的二次函数 f(x) = x²。

用锤子理论（幂律）：x² 的导数是 2x。导数就是变化率。

再看一次函数 f(x) = x。x 的导数是 1（常数）。

常数 f(x) = c 的导数是 0（不变化）。

所以一个完整的二次函数 f(x) = ax² + bx + c：

它的变化率 = 2ax + b + 0 = 2ax + b，是一次函数。

题目说变化率是 2x，也就是一次函数。这和我们"原函数是二次函数"的已知条件完美匹配。

注意：严格来说，题目用的是差分 f(x+1)-f(x)，不是导数。但对多项式来说，差分和导数长得很像。你可以把差分看成"每隔 1 步量一次的变化率"，导数看成"无限密地量变化率"。在这个问题里，它们告诉我们几乎一样的事情。

3. 关键观察：为什么 c 会抵消？

c 是常数，意思是它不随 x 变化。

无论 x 是 0、1、100，c 都是同一个数。

所以 f(x+1) 里的 c，和 f(x) 里的 c，完全相同。

完全相同的东西相减：c - c = 0。

这就好比你今年体重 70kg，明年也是 70kg，两年的体重差是 0。c 就是这个"不变的体重"。

因为 c 不影响变化率，所以条件 f(x+1)-f(x)=2x 管不了 c。我们只能用 f(0)=1 来逮住它。

4. 对照：为什么能逐项相等？

我们算出来：

f(x+1) - f(x) = 2ax + (a + b)

题目要求它等于：

2x + 0

现在问题变成：2ax + (a+b) 和 2x + 0 是同一个函数吗？

如果两个一次函数在所有 x 处都相等，那么它们的"斜率"必须相等，"截距"也必须相等。

这就像两辆汽车速度一样、起点一样，那它们的位置永远一样。

所以：

x 的系数相等：2a = 2 → a = 1

常数项相等：a + b = 0 → b = -1

这就是逐项对比的本质。

✍ 零跳步求解过程

Step 1：写出二次函数的一般形式

因为 f(x) 是二次函数，我们设：
f(x) = ax² + bx + c
这里 a、b、c 是待定系数，就是我们的"未知数"。

Step 2：计算 f(x+1)

把 x 替换成 (x+1)：
f(x+1) = a(x+1)² + b(x+1) + c
展开：
f(x+1) = ax² + 2ax + a + bx + b + c

Step 3：计算差分 f(x+1) - f(x)

f(x+1) - f(x)
= [ax² + 2ax + a + bx + b + c] - [ax² + bx + c]
= 2ax + (a + b)

解释：x² 项和 x 项、常数项 c 都抵消了，只剩下一次函数 2ax + (a+b)。

Step 4：与题目条件对比

题目说 f(x+1) - f(x) = 2x，也就是 2x + 0。
我们算出来是 2ax + (a+b)。

让对应系数相等：
2a = 2 → a = 1
a + b = 0 → b = -1

Step 5：用 f(0) = 1 确定 c

把 x = 0 代入 f(x) = ax² + bx + c：
f(0) = a·0 + b·0 + c = c
题目说 f(0) = 1，所以 c = 1。

f(x) = x² - x + 1

验证：f(x+1)-f(x) = [(x+1)²-(x+1)+1] - [x²-x+1] = 2x ✓
f(0) = 0 - 0 + 1 = 1 ✓

🧩 另辟蹊径：把 2x 当作导数

思路：从导数反推原函数

如果我们先忽略"差分"和"导数"的区别，把 f(x+1) - f(x) = 2x 粗略看成 f'(x) = 2x。

根据幂律锤子：

谁的导数是 2x？x² 的导数是 2x。
所以原函数的主要项应该是 x²。

这个猜测方向是对的，但还不够精确。因为差分不是导数。

Step 1：检查 f(x) = x² 的差分

计算 f(x) = x² 的差分：

f(x+1) - f(x) = (x+1)² - x² = 2x + 1

问题出现了：它的差分不是 2x，而是 2x + 1。比目标多了 1。

所以我们需要在原函数里减去某个东西，让差分减少 1。

Step 2：找能让差分减少 1 的项

试试 f(x) = x：

f(x+1) - f(x) = (x+1) - x = 1

正好！x 的差分是 1。

所以如果原函数里减去一个 x，差分就会减少 1：

f(x) = x² - x 的差分 = (2x + 1) - 1 = 2x。

这就正好符合题目条件了！

Step 3：加上常数 c，用 f(0)=1 确定

现在我们有 f(x) = x² - x + c。

因为常数 c 不影响差分，我们只能靠 f(0) = 1 来确定它：

f(0) = 0 - 0 + c = 1 → c = 1

f(x) = x² - x + 1

这个方法更直接：先由导数猜出 x²，再用"差分修正"补上 -x，最后用 f(0)=1 确定常数项。
它展示了锤子理论反向使用的威力——但也要注意：差分和导数不完全相同，需要一个修正项。