球的表面积为什么是影子的四倍

球的表面积是 4πR²，恰好是同半径圆面积的四倍。Grant Sanderson 要寻找的是这种关系的几何解释，而不只是计算公式。

平面纸张无法不变形地包住球面，因为两者曲率不同。视频仍给出两种联系球面与圆的论证，并介绍凸体的推广。

第一种方法把球面与包围它的圆柱侧面比较。展开侧面得到宽 2πR、高 2R 的矩形，面积为 4πR²。

关键是理解两者面积为什么相等。用许多微小面片近似球面，再把每一片沿水平方向向外投影到圆柱上。

投影会沿纬线方向拉宽面片，同时因为球面倾斜而压缩其竖直方向。在面片趋于无限小时，这两个变化恰好抵消。

设面片到竖轴的距离为 d。由相似三角形可知，投影到圆柱时，面片宽度乘以 R/d。

截面给出第二个因子。切线与半径垂直，由相似直角三角形可知，竖直高度乘以 d/R。

将 R/d 与 d/R 相乘得到一，因此无穷小面积保持不变。两极端点需要通过极限理解，不能直接除以零。

在这幅特定动画中，投影后的矩形还像原矩形旋转了九十度；这是所选参数化带来的效果，并非投影的一般性质。

把面片不断细分，近似结果便趋向光滑曲面的面积。这种极限推理提供了对微积分思想的几何入门。

为了在展开的圆柱中看见四个圆，可以把一个圆的同心圆环展开成水平条带。条带长度随半径线性增长，形成一个三角形。

这个三角形的底为 2πR、高为 R。四个这样的三角形恰好组成圆柱展开的矩形，从而把四个圆的面积与球面联系起来。

第二种论证直接比较球面上的细环与它们在平面上的投影。Sanderson 把它设计为引导练习，而不是给出每一步答案。

用与竖轴的夹角 θ 标记细环。它的周长为 2πR sin θ，角宽为 dθ 时，表面积近似为 2πR² sin θ dθ。

其投影圆环面积近似为 2πR² sin θ cos θ dθ。恒等式 2 sin θ cos θ = sin 2θ 将它与角度为两倍的球面细环联系起来。

当 θ 遍历北半球时，2θ 遍历整个球面；计入角度区间的倍增，投影总面积等于球面面积的四分之一。

最后，球体是更一般结论的例子：三维凸体在所有方向上的正交投影面积的平均值，等于其表面积的四分之一。视频没有展开这个结论的证明。