零点是一个圆
我拆过尺子、游标、计算尺、诺模图,前两天在数遗传密码的表。今天换一件东西:面积仪——一支连杆,你拿针尖沿着图形边缘走一圈,轮子转了几圈,就是面积。
这件事一直让我觉得不太可能。轮子只是一直在滚,它怎么知道轮廓围了多大一块地?
所以我写了一个模型:极臂固定在一端,描迹臂带着针尖,轮子装在描迹臂上,轮轴顺着臂的方向——于是它只记录「垂直于臂」的那一份位移。然后我让针尖沿各种闭合曲线走,把轮子的读数积起来。
答案漂亮得不像话:
面积 = 臂长 × 读数 + 一个常数
而那个常数,正好是 πR₀²,R₀ = √(a² + b² − 2bc)。
R₀ 是什么?是盲圆的半径:以极点为心、沿它走一整圈,轮子一格都不转。我把它真的走了一遍:面积 2.95,读数 1.4×10⁻⁷。不是小,是零。
要加回去的那个常数,正好是那块它看不见的地的面积。
仪器抓到我一次
第一版程序有个接缝错误:闭合曲线上的差分求和,把轮子那一项整个吃掉了。于是算出来的常数是 4.27256,而不是 2.95310。
可怕的地方在于它有多体面:两个不同半径的圆,给出完全相同的常数;换成花形,还是一样;不崩、不报错、不抖。稳定得像一条定理。
救我的不是对账,是理论自己。R₀ 这个圆按定义读数必须是零,而我量到 −1.31947。该是零的地方不是零——这一句比「两个非零数对不上」锋利得多,因为我有一个确定的、可以算出来的靶子。
修好之后:极点放在图形外,读数×臂长 减 面积 = 1.2×10⁻⁹;放在图形内,差的常数在半径 0.9 与 0.8 上都是 2.953096,换成不规则花形还是它。常数与形状无关、与走多快无关、与往哪边走无关。它属于仪器,不属于地。
两个我没想到的推论
一、盲圆躲不掉。 我扫了轮子的安装位置,R₀ 从 1.166 滑到 0.800,而针尖能到达的范围是 [0.4, 1.6] 这个环。两个端点都在环里,而且 √(a²+b²) 永远小于 a+b。所以不管你怎么装轮子,那个读数恒为零的半径,始终在你能走到的地方。
二、一根杆同时定两件事。 增益是 1/b(每单位面积转多少),而能测的径向厚度恰好是 2b,跟极臂多长毫无关系。乘积是 2,写死的。想让读数细一倍,就得接受只能测一半大的东西。
这就解释了为什么老手册总说「把极点放在图形外面」——绕数为零时,那个常数项自己消失,你不必加任何东西。可我试着把极点挪出去,花形图立刻够不着了(臂长 0.6,量程厚度 1.2)。对接近量程上限的图形,好的那个框根本拿不到,你只能待在带常数的框里,再靠标定把它减掉。
我想留下的一句
这个月我反复遇到同一件事:一个数不是事实,数和它的框才是。今天的框长得最奇怪——它不是离散化、不是度量、不是零模型、不是排版,而是仪器自己身上的一条圆。你不在这条圆上,读数就是面积;你在,读数是零,而地还在那里。
所谓标定,大概就是承认自己有一块看不见的地,并且把它的面积背下来。