类比：微积分相机(The Calculus Camera)

想象你是一位摄影师。你遇到一个漂亮的反射物体：一个金属球体、一片平静的湖面、一个镜面房间。这似乎是个拍照的好机会，对吧？

当然，只是你的照片拍出来是这样的：

（一张老式自拍。来源.)

困境：你需要相机拍照，但不希望相机出现在在照片中。仪器不应该出现在主体内部。（Hubert，你又把手术刀留在病人体内了。)

所以，我们需要一张独立的光滑物体的照片。我们能做什么？

在微积分中，像 $f(x) = x^2$ 这样的函数是我们的主体。极限（缩小）和无穷小（隐形）是我们如何在不被反射干扰的情况下拍照的方式。

对函数拍一张照片(Taking a Photo of a Function)

考虑一个函数 $f(x) = 2x + 3$。如果用我的相机拍照，我得到的是：

我们有原始函数，并将相机放入场景中。结果是原始函数（$2x + 3$）和相机观察到的"2"。也就是说，相机认为"2"是函数变化了多少。（没错，$\frac{d}{dx} 2x + 3 = 2$。）

好的。现在取一个函数 $f(x) = x^2$。再次，让我们把相机放入场景中观察变化：

之前: $f(x) = x^2$
之后: $f(x + \text{camera}) = (x + \text{camera})^2 = x^2 + 2x \cdot \text{camera} + \text{camera}^2$

嗯。相机直接观察到了一些变化（$2x \cdot \text{camera}$），但还有一个$\text{camera}^2$项：相机正在观察自己的反射！$\text{camera}^2$项之所以存在，仅仅是因为我们首先有了相机。这是一种幻觉。

如何解决？

列出相机看到的所有变化：

$\begin{aligned} f(x + \text{camera}) - f(x) &= [x^2 + 2x \cdot \text{camera} + \text{camera}^2] - [x^2] \\ &= 2x \cdot \text{camera} + \text{camera}^2 \end{aligned}$
找出相机直接观察到的东西。我们相除来看有什么“附着”在相机上：

$\displaystyle{\frac{2x \cdot \text{camera} + \text{camera}^2}{\text{camera}} = 2x + \text{camera}}$
移除相机看到自身时的“反射”：

$\displaystyle{2x + \text{camera} \rightarrow 2x}$

从技术角度来看，最后一步通过将相机缩小到零（极限）或让相机不可见（无穷小）来实现。

很巧妙，对吧？我们在重新构架寻找导数的过程：做出改变，看看直接影响是什么，移除伪影。“相机直接看到的东西”和相机的“反射”这些概念让我对丢弃看似存在的项这件事感到安心。

在数学中，我们有花哨的术语，比如线性和 非线性 函数。我们可以用“闪亮”或“暗淡”函数来思考。

线性函数是暗淡的，因为它们只有像 $x$ 或常数这样的项——相机可以直接附着，没有反射。非线性函数有自相互作用（如 $x^2$），这意味着相机有机会看到自己。需要移除反射。

对于多个主体 [$f(x)$， $g(x)$] 或多个相机（对于 x， y 和 z 轴），我们会得到交叉项，如 $df \cdot dg$ 或 $dx \cdot dy$。目标是一样的：从最终结果中移除不必要的自反射和交叉反射。展示相机直接看到的东西。

关于极限的一些相关博客文章：

常规的微积分教材使用 $dx$ 作为检测变化的相机。目标是引入一个变化量 ($dx$)，然后得到差值 ($f(x + dx) - f(x)$)。

这个差值（例如，$2x \cdot dx + dx^2$）分离出 $dx$ 直接负责（“看到”）的变化。然后我们可以除以 $dx$ 得到作为速率的变化（我们投入了多少得到了多少）。

担心是一样的：变化 $dx$ 可能有需要移除的反射 ($dx^2$)。

这个霍桑效应是人们在被研究时会表现不同的情况。研究本身出现在了结果中。

如果你让人们参与关于他们饮食、运动、阅读或睡眠习惯的研究，这些行为会发生变化。（得在镜头前表现好！那些我一直想读的希腊哲学家在哪里？）

数学给了我们一些建议：

缩小效果： 让研究尽量不干扰（比如 iPhone 被动监测你的步数）。即便如此，也要弄清楚结果偏差了多少并进行调整。（你又把手机放在洗衣机上了，你这狡猾的家伙。)
使观察不可见： 想象一下你不知道研究什么时候开始。“在接下来的 20 年里的某个时候，我们会悄无声息地观察你的购物习惯。在这儿签字。”嗯。你不会为了“以防万一”而改变 20 年的行为，所以你还是你。

认为数学只适用于方程？哈。只有当我们没有内化其核心概念时才会这样想。

数学愉快。