第9章 测量地球如何改变天文尺度
9.1 观测角度如何变成长度
角度可以告诉我们两个方向相差多少,却不能独自告诉我们距离有多大。一条小圆弧和一条大圆弧可以张开同样的角度。要从天空进入长度世界,必须找到已知或可测的地面尺度,使角度与长度在同一几何关系中相遇。
埃拉托色尼测量地球周长的故事,最适合揭示这种转变。我们今天熟悉的叙述主要经由后世作者传下,而不是一份完整保留的原始观测报告。克莱奥米德斯所述的构造,把两地太阳方向与地面距离联系起来;美国天文学会对该古代转述的介绍,也明确列出同子午线、基线和近似平行太阳光等条件。[9-1]
方法可以用现代形式简洁表达。若两地点处于同一子午线,相隔地面弧长s,对应地心角θ,那么球形地球半径R满足s=Rθ,其中θ用弧度表示。地球周长C于是为2πs/θ。若用度数,则C=360s/θ。这个写法只是把几何结构呈现给今天读者,不是声称古代原著采用了现代符号。
为什么太阳影长可以提供地心角?在太阳光线近似平行的前提下,两地竖直方向不同,造成太阳相对天顶的角度不同;如果两地位于适当的同子午线关系,比较当地正午天顶距便能约束纬度差。几何中起决定作用的是地方竖直方向的差异,而不是两根杆子本身长短的差异。
一根杆子的影长必须与杆高一起使用。若杆高g、平地影长l,理想情况下天顶距可由tan z=l/g表示。只有影长而没有杆高,便没有完整角度;杆未竖直或地面不水平,又会引入额外偏差。一个被讲述为“看一眼影子”的故事,实际隐藏着明确的测量条件。
两地数据的合并也不能只靠同一个日期。如果太阳赤纬在比较间隔中变化,或观测没有对应当地正午,就需要处理附加差异。对于古代转述,我们不能在材料缺失处自动补出完美同步的实验;应区分几何方案要求什么,与现存文献证明怎样实施。
正是在这组联立中,地球周长成为新的S。D不只是在天空测角,也包括地面距离比较;E是球形近似、光线方向、当地竖直与基线之间的约束。长度与角度缺一不可。这里的世界发生不是地球获得了此前没有的体积,而是地球尺度进入一个能够计算、比较和传承的研究聚合体。
9.2 基准与误差
一个精妙公式不会自动使输入可靠。地面距离究竟指道路行程、河流路线,还是对应所需纬差的弧长?两地是否确实在同一子午线附近?使用哪一种长度单位?这些问题决定了结果能被解释到什么程度。
道路长度通常大于两点间的最短地表路径,沿曲折路线累计的步数也不能直接代替子午线弧长。若把它们混用,计算仍可得到一个整齐周长,但这个数值已经与所宣称的几何对象不同。误差不只来自仪器不够精细,也可能来自测量对象定义错误。
史料中的stadion单位尤其需要谨慎。关于埃拉托色尼所用stadion究竟对应多少现代米,存在不确定性;美国数学协会的相关讨论将这一点置于问题中心。[9-2] 因而,不能先选择一个最接近现代结果的单位长度,再把所得接近程度当作古代测量精确的证据。那样会让结论参与决定前提。
用比例分析可以把几种误差分开。由C=360s/θ可见,基线估计增加百分之一,在角度不变时会使周长增加百分之一;角度估计增加百分之一,在基线不变时则使周长略减约百分之一。这个现代敏感性说明不需要知道古人具体误差,就能显示两类误差如何进入结果。
如果两项误差方向相反,它们可能部分抵销。最终数值接近现代值,并不保证每一步都准确;最终数值偏离,也不等于几何方法没有价值。思想史若只用一个百分比评判整项成就,就会丢失方法结构与实际测量之间的区别。
更细的审查还会区分随机波动与系统偏差。重复测量有助于减少某些偶然读数误差,却不能自动消除杆始终倾斜、基线定义不当或单位换算有误。若所有测量共享同一偏差,多次一致反而会使人更加确信错误结果。共同条件的可靠性,不能由重复本身完全证明。
太阳并非数学点,阴影边缘也不是绝对锐利。选择太阳中心还是边缘,如何处理半影,都会影响测角。本文不据此断言某个古代实验采用何种具体技术,而指出:当我们声称重现古代精度时,就必须说明这些细节。教室演示能显示几何原理,却不能替代对历史操作的考证。
还有一种容易被忽略的尺度问题。球形近似适合解释古代测地的基本结构,但现代地球形状与局部重力方向更复杂。不能把现代椭球参数和精密测地坐标悄悄代入古代数据,再宣称古人已获得同样意义的结果。不同精度层级的“地球半径”需要说明定义。
9.3 测地与天文的相互支持
地面测量给天文学长度基准,天空观察又为地面方向和纬度提供约束。这种相互支持,比单向“用天文学测地球”更准确。当地理位置可以由天象比较加以组织,地理资料本身也会改变天文学能够使用的基线。
斯特拉波《地理学》保存了关于埃拉托色尼与喜帕恰斯的批评争论,其中涉及行程距离、直线近似、子午线关系以及应当使用怎样的几何严格性。[9-3] 这些讨论说明,古代研究者并非不关心数据质量;他们会争论一种地理材料能够承受多严格的数学检验。
这项争论有一个至今仍有启发的核心:资料的生成方式决定它能支持的推断强度。商旅传闻中的距离可能对区域描述有用,却未必足够精确,不能未经处理就作为严格三角计算的一边。反过来,几何不一致也可以提示资料需要修订,但必须考虑原叙述本来是否只是近似。
斯特拉波对过度严格检验近似地理资料的批评,并不意味着拒绝数学。他同时指出某些错误过大,不能借近似为其辩护。这就形成一个精度层级问题:不是所有差异都重要,也不是任何差异都可忽略。判断必须与任务和材料可靠性相称。
对于本书而言,这是一项具体的E分析。地理叙述中的“同一子午线”若只是宽松近似,在天文尺度计算中便不能不加说明地当作严格相等。一个词在不同操作中承担的精度责任不同,转换时必须重新规定。知识跨学科连接,不是把两个词表拼在一起,而是让这些责任取得相容性。
地球尺度一旦被估计,又会成为更远距离研究的单位。即使暂时不知道现代公里值,研究者仍可能用地球半径表达月球距离的倍数。相对尺度与绝对尺度因此可以在不同阶段取得进展。用哪个单位计算,不影响某些比例关系,却影响把结果转成实际长度的可靠性。
这也使“古人不知道距离”显得过于粗糙。我们应区分只知道方向、知道距离比例、知道以地球尺度表示的距离,以及知道可靠现代长度。这些不是同一成就,也不应混为全有或全无。尺度知识可以逐层建立,前一层既支持后一层,也可能把自身误差传进去。
三方程中的回写在这里可以获得明确内容:一个被采用的地球尺度S改变了后续距离推断D,而这些推断对基线、单位和地理位置E提出新要求。但某个尺度被写进书中,不足以证明所有后续使用者已经采用;具体传播和运算痕迹仍然重要。测地的思想影响,应通过实际调用来辨认。
斯特拉波的批评材料还允许我们看到,一个几何词怎样在跨领域使用时改变负担。他讨论“直线”“平行”和“同一子午线”时,并不总要求地理叙述达到仪器测定的严格程度。[9-3] 但天文测地若要由弧长反推周长,又必须知道这种近似可以容忍多大范围。相同词语进入不同任务,需要重新评估精度。
设两地纬差已知,而实际基线偏离南北方向。若直接使用全部路线长度,便可能把东西方向的行程也算入所需弧长。即使每一步长度都测得很好,结果仍会系统偏大。这个现代例子说明,测量精细不能补偿几何对象取错;首先要确认究竟在测哪一段。
同理,纬度差与地表距离具有不同的证据来源。前者可以来自天象角度,后者可能来自测量或既有地理资料。把两个来源连起来时,应该保留各自不确定性。若最后只剩一个周长数字,后来研究者就难以判断修正应该发生在哪个环节。可追溯性因此是尺度可积累的条件。
由周长换成半径,虽然数学上只需除以二π,历史上却仍要说明采用怎样的圆周率近似与长度单位。对于粗尺度判断,这些细节也许不是最大误差源;对于宣称极高精度的比较,它们却不能省略。精度要求越高,越需要完整交代计算链,而不是只选择最有名的两项输入。
还有一个思想层面的变化:地球不再只是观察者所站立的地面,而成为一个可以从局部关系推算整体的对象。人无法沿每一条经线直接测遍全地球,却可以利用模型把有限资料扩展为整体参数。这种能力与任何外推一样,需要条件;但它展示了数学科学怎样超出直接接触的范围。
这种超出并不是凭空跳跃。圆周关系提供形式,天象比较提供角度,地面基线提供尺度。三者缺少一项,就不能得到同样意义的结果。说“数学算出了地球”,若被理解为数学独自制造答案,便遮蔽了测量与单位;说“只是观察出来”,又遮蔽了从局部到整体的推断结构。
这一案例因此比单纯列出一个伟大数值更适合展示主客互动。观察者不是对地球毫无影响的透明窗口,测量活动也不是任意主观意见。特定操作让地球以整体尺度的方式显露,结果又要求他人能够沿相应关系复核。对象的科学属性在这种复合过程中成立,同时受到地面与天象的共同限制。
如果以后取得更好的基线,周长数值可以改变而方法结构保持;如果发现球形近似不足,则需要改变模型层级。两种修正具有不同强度。把它们区分开,就能看见知识发展既可以是已有能力精化,也可以是对象结构重组。古代测地的价值,不只在某次答案接近今天,而在于为这些不同修正建立了入口。
9.4 不确定的古代数据
埃拉托色尼故事的吸引力,常在于一个简单比例就能得到地球周长。这个简洁性值得保留,却不能把历史也简化成同样干净的四个步骤。现存转述、不同数值和单位争议,都是历史材料的一部分,不能为了叙事流畅而删去。
我们可以很有把握地评价几何思想:把地上距离与天空角差联系起来,使地球整体尺度成为可推算对象。我们对某个具体测量数值与现代值究竟差多少,则可能没有同样把握。两种评价可以同时成立。方法成就不必依赖一个被过度精确化的百分比来维持。
从著名结论往回看,容易把后世教科书中顺畅的版本当作原始实验;从基线、角差、单位和文本源流逐项进入,则会发现哪些部分有材料,哪些部分是教学简化。这不是拆毁经典故事,而是让故事的真正力量显露:它提出了一种把局部观察联结到整体尺度的可检验结构。
一种思想实验还能显示其边界。若只在同一地点测得一个影长,且不知道太阳方向与日期,通常无法由此唯一决定地球大小。增加第二地点并不魔法般解决一切;还必须知道两地关系与基线。新信息之所以有效,是因为它被嵌入合适几何,而不是数量增加本身。
同样,若两地影长相同,也不能立即断言地球平坦。可能观察时刻不同、地点关系不适当,或太阳相对位置恰好使两个局部结果相同。一个反例要对准模型的真实预测,而不是对准简化故事中的口号。几何方法越清楚,支持与否定的条件也越清楚。
本章因此把尺度知识理解为一种联合成就。地面行走、长度制度、竖直测量、太阳观察和数学关系共同构成结果;任何一项单独存在,都无法提供完整周长。它们不是任意堆积的背景,而是互相规定的测量系统。
这样的系统可以被传承,但不会靠一个答案数字自动传承。后来的使用者需要知道数字从什么单位、什么模型和什么操作而来,才能重新校验或移用。地球尺度的故事于是把我们带向另一个问题:一套模型怎样穿越语言与时代,使其方法仍可继续运行,而不只留下被反复抄录的结论?
历史数值的保留还影响后来的比较。若一个传统只记住某个周长,忘记它的单位与测量前提,数字可能逐渐成为权威常数。重新询问单位并不是琐碎考据,而是恢复这个常数与实际测量之间的联系,使其再次成为能够讨论的结果。
在这一点上,误差分析与文献分析相互需要。前者说明输入变化会如何影响输出,后者说明哪些输入实际上有依据。只有数学,没有文献,会把假定参数计算得极其精确;只有文献,没有数学,则可能不知道某个看似小的歧义会造成多大后果。两者结合,才构成可靠的历史尺度研究。
尺度的可靠性必须沿整条证据链理解。
本章参考文献
[9-1] American Astronomical Society. This Month in Astronomical History: June, 2019;转述Cleomedes《天文学讲义》I.7及其前提。https://aas.org/posts/news/2019/05/month-astronomical-history-june
[9-2] Walkup, N. Eratosthenes and the Mystery of the Stades. Mathematical Association of America. https://old.maa.org/press/periodicals/convergence/eratosthenes-and-the-mystery-of-the-stades
[9-3] Strabo. Geography, Book II, Chapter 1, §§38–41,H. L. Jones英译,LacusCurtius公开文本。https://penelope.uchicago.edu/Thayer/E/Roman/Texts/Strabo/2A3*.html