第八章 原子与几何：德谟克利特、欧几里得、阿基米德
一、把不同的东西放进同一种比较
一块木头、一块金属和一块石头，拿在手里显得不同。如果把它们挂在一根能够绕支点转动的杆上，问题便发生改变：材料的名称还在，但眼下需要辨别的是重量与悬挂位置能否互相补偿。再把同样的物件放进水中，重量没有因此成为无意义的概念，排开多少水却开始进入能否浮起的判断。新的比较没有消除原来的物，而是重新组织它能够以什么身份进入共同推理。
本章把原子论、几何与平衡放在一起，不是因为德谟克利特、欧几里得和阿基米德共享一套理论，更不是要把三人的工作连成未经证实的直接影响链。它们提出了互不相同而又能够相互照亮的问题：可感性质能否通过更基本的构成来解释？图形关系怎样取得可公开检查的稳定性？物体的某些行为又怎样进入这种稳定性？
这些问题都有一个容易被忽略的前提：要进行公共比较，先要形成能够被不同人重复使用的单位与对象。一个人说“很重”，另一个人未必取得相同判断；一个人说“两段线相等”，若没有共有的判定规则，争论也不会自动停止。公共性不是从个人感觉中删除个人之后剩下的空白，而是一套差异能够被组织、纠正和接续的能力。
二、原子不是缩小版的现代粒子
亚里士多德《形而上学》第一卷第四章转述留基伯与德谟克利特，以充实与虚空为原则，并把形状、次序和位置的差别用于说明事物差异。[8-1] 这是带有解释立场的古代见证，并不是德谟克利特完整著作的原稿。本章据此讨论一种构成思路，不据此复原所有原子论细节。
这一思路的重要推进，是不再把每一种可感差异都当作不可继续追问的终点。如果组成部分相同，排列不同仍可能出现不同结果；如果整体看似连续，构成解释仍可以提出不可见的区分。这给自然研究打开一个空间：眼前的显露不必与其构成方式长得一样。一个解释可以越过直接观看，但必须说明越过以后如何返回可讨论的结果。
古代原子不能被称作量子粒子的早期名称。两种概念的成立条件不同：后一种需要特定实验、数学与预测结构，不能由“东西很小”这个共同印象推出。若把后来的成功倒赠给古代学说，实际上取消了后来物理学创造新对象的工作，也抹去了古代思想自身真正面对的问题。
原子论在本书中的核心问题，因而不是“猜中了多少现代知识”，而是怎样重新安排性质的解释地位。设想两套相同的拼片，一套形成封闭环，一套形成直线。数量相同，不代表结构相同；单片的材料性质相同，也不保证整体的可操作性相同。这个现代教学例只说明构成与组织之间的区分，不证明古代原子像拼片，更不证明所有性质都能由几何拼接解释。
SDE会继续追问：即便接受基本单元，基本单元的同一性又由什么支持？如果一种解释把整体的发生归给原子组合，却把原子的性质全部放在解释以外，那么它解决了一层问题，同时留下另一层边界。边界并不自动使解释无效，但它不应被伪装成无边界的完成。理论强度取决于它能否说明自己的构成规则与适用范围，而不只取决于基本对象有多小。
三、点与线为什么能被不同人共同使用
《几何原本》第一卷以点、线等定义展开，并在公设中规定从一点到另一点作直线；第一命题给出在已知线段上构造等边三角形的程序。[8-2] 这些文字为几何活动规定对象与可用操作。本章不把书页上的图形当作一幅被动复制的自然照片，也不把定义本身说成经验实验的结果。
在纸上画一个点，总有墨迹的大小；画一条线，总有笔画的宽度。几何对象却可以在推理中不以这一次笔画的粗细作为决定条件。这样一种剥离不是简单“看不见细节”，而是建立规则：哪些差异在本次推理中可以被忽略，哪些差异会使论证失效。若把两点连错，粗细无关的约定无法挽救它；若只是笔迹略宽，结论未必受到影响。
几何的公共性因而具有双重结构。图形帮助我们指认对象，论证使结果不只依赖某个人眼力好坏。观看和论证不是互相取消，而是在合适的范围内分工。一个三角形画得歪斜，仍可能支持某种有效证明；一个三角形画得漂亮，却不保证推理成立。读者必须学习如何从实际图形进入被规定的关系，再从推理返回图形检查有没有暗中使用未给出的条件。
这也说明“理念世界”不能简单等同于脑内影像。公共几何中的一个点通过名称、位置关系和允许的构造操作取得身份。另一个人能够接续，不需要复制前一个人的全部心理体验，但需要进入同一套约束。这里形成的是可以跨个体持续的活动结构，而不是某个孤立主体将私人印象搬到他人脑中。
在SDE解释下，定理的稳定显露依赖证明与构造的差异序列，也依赖对象定义和推理许可之间的特征纠缠。可是这个解释不把逻辑有效性降格为社会投票。一个共同体一致接受某个证明，仍然可能漏掉条件；正因为对象与操作具有公共约束，后来的读者才可能指出错误。公共性不仅使人同意，也使不同意能够准确找到位置。
四、离散计数与连续量不能任意互换
原子式构成容易把人引向计数：有多少个，怎样排列。几何量却不总能用某个共同小单位有限次铺满。《几何原本》第五卷的比例定义通过各倍量之间的比较关系处理比例相等。[8-3] 它提醒我们，比例关系不必以先找到一个共同单位的整数个数为前提。
为了具体理解这个区别，可以考虑边长为一的正方形。在通常欧氏条件下，它的对角线长度满足平方等于二。若假设对角线与边的比是最简分数p/q，就有p的平方等于二倍q的平方；由此p为偶数，写成二倍某整数后，又推出q为偶数，与最简假设矛盾。这是现代记号下的教学证明，不是对某个古代发现现场的复述。
这个例子说明，离散计数取得的清晰性，不能无条件推广为所有量的构成方式。可以不断取更细刻度，得到越来越精细的近似；但近似程序的延续，与存在一个最终共同刻度，不是同一个命题。把二者混同，会让测量的成功遮蔽数学对象的差别。反过来，知道不可公度也不意味着不能测量；测量需要的是满足用途的误差约束，而不必等同于有限步骤取得绝对精确比值。
本书在这里区分三种公共性：整数计数要求单位身份稳定，几何比较要求关系与构造稳定，经验测量要求误差与校准可说明。三者能够纠缠，却不能相互冒名。某个装置显示六位小数，不会自动证明其对象由百万分之一的离散块组成；某个数学证明具有精确结论，也不会自动保证现实器物满足全部前提。
五、杠杆：重量的意义进入距离
《论平面图形的平衡》第一卷从等重等距平衡等假定展开，命题六与七分别处理可公度和不可公度情形下重量与距离的反比例平衡。[8-4] 这里使用的是原典节录所能支持的内容；本章以下的代数式与算例均为现代重述。
设一根刚性杆绕固定支点转动，杆的自重可以忽略或其力矩已经补偿，两侧悬挂重物，重力方向平行，支点摩擦可忽略。令两侧重量为W₁与W₂，支点到两条重力作用线的垂直距离为l₁与l₂。静力矩平衡要求W₁l₁=W₂l₂。距离应取力臂，而不是不问方向地读取杆面上的刻度；若杆或力的方向改变，几何关系也要重新说明。
例如左侧重二十牛顿，力臂三十厘米，右侧重十牛顿，则右侧力臂为六十厘米时，两侧重力矩均为六牛顿米。这个结论没有要求两块物体具有相同材料，也没有要求手提它们时具有相同感觉。它建立的是一种允许重量与位置相互补偿的比较关系。所谓杠杆“省力”，并不是凭空取消负载，而是改变操作中的配合。
若右侧力臂读成五十厘米，仍能看到杆暂时不动，不能立即认为方程被推翻，也不能立即把现象排除。应当检查支点摩擦是否足以维持暂时静止，杆重是否产生附加力矩，悬挂物是否接触别处。理论的使用包含一次回到构成条件的工作。但如果每次失配都随意假设一个看不见的补偿，就使理论失去检验性。合理修正必须带出新的可区分结果，例如改变负载后同一摩擦估计能否继续解释。
由此可以实际走通S→D→E：先面对“杆保持平衡”这个显露，再改变悬挂位置与载荷的序列，最后辨认刚性、支撑和重力作用线之间哪些联系是必要条件。另一条E→D→S则先改变支点或杆的结构，再按计划调整载荷，观察原有平衡规则能否继续成立。六路径中的不同入口在这里不是装饰；它们使同一个静止外观不再垄断解释。
六、浮力：没有拿走材料，为什么称量改变
《浮体论》第一卷命题五把浮起固体的重量与相应浸入体积所排液体的重量联系起来；命题七讨论较重固体浸入液体后称量减轻的情形。[8-5] 这些关系把几何体积、重量与液体状态放进同一个问题。现代常见的符号表达，需要与原典的表述方式分开。
考虑静止、均匀密度的液体，在尺寸范围内重力加速度近似恒定，忽略表面张力及与容器接触的支撑。设固体完全浸没，顶部与底部水平，横截面积为A，高度为h。由静水压强随深度的变化，上下表面压强差为ρgh；两侧水平作用互相抵消，于是向上的合力为ρgAh，也就是ρgV。这个现代推导展示的是所列条件下的模型关系，不冒称阿基米德曾使用这套符号。
更一般的形状需要对表面压力进行合成。在满足同样静水条件时，合力仍可与所排开液体的重量联系。这里“排开”不是一定要让水溢出容器，而是指物体占据了原本可由液体占据的体积。语言若不加澄清，读者可能误以为没有溢水就没有浮力，把一种演示安排误作现象成立的必要条件。
举一个数量例子：某固体体积为一千立方厘米、重量为十五牛顿，完全浸入密度取每立方米一千千克的水中，取g为每二次方秒九点八米，则浮力为九点八牛顿。若用绳子从上方静止悬挂它，且绳重等影响可忽略，拉力为五点二牛顿。材料并未因此消失；改变的是称量互动中绳子承担的份额。
这个例子尤其适合纠正“重量只是物体里面的一项存货”的直觉。物体所受重力与测力计读数应当区分。读数可以因为液体承担了一部分支撑而改变。属性纠缠分析所揭示的不是重力随名称任意变化，而是某种“轻了”的显露必须在具体互动结构里解释。若一方面用水中读数定义物体全部重量，另一方面又拿它与空气中读数直接比较，就把不同构成条件误当成同一问题。
七、整体浮起并不保证姿态稳定
浮力与重力大小相等，只是静止条件的一部分。一个漂浮体还可能倾斜或翻转。若两种力的作用线不重合，便会产生转动趋势；姿态改变以后，浸入形状又会改变，浮力作用线也随之移动。用一条标量等式判断一切浮体行为，会遗漏几何与转动之间的相互构成。
可以设想两个总质量和总体积相同的密封盒，一个把附加重物固定在底部，一个固定在顶部。它们在给定液体中排开的体积可以相同，但遭受小扰动后的表现未必相同。这个思想实验不是宣告所有低重心设计必然稳定，而是让读者看到总量相同并不保证分布相同，分布不同可以改变回复或翻转的条件。进一步预测还要指定外形、重心和浸入几何。
这正是从离散拼合到几何量、再到整体平衡的连续问题：单元怎样分布，决定整体可以显露什么。属性纠缠不是“每个因素都重要”的泛泛提醒，而是指出具体的依赖关系。改变重量分布会改变重心；倾斜改变浸入体积的形状；二者共同改变力矩。只有把这些联系写清，才知道需要测什么，也才知道哪项变化可以忽略。
八、三方程在一个平衡台上获得实际工作
在杠杆或浮体实验中，S可取在规定误差内重现的平衡关系，D是改变位置、负载或浸入状态并重复观察的序列，E是几何边界、作用线、支撑与测量规范的特征纠缠。S=F(D,E)要求给出平衡为何能够稳定显露；D=G(S,E)使偏差反过来安排新的比较；E=H(S,D)则要求依据比较修订哪些联系真正参与结果。这三式不取代力矩方程与静水关系，而是检查这些关系怎样成为有效知识。
三原理的使用可以直接落在失配上。若同一读数与不同操作之间存在张力，应修改对支撑或摩擦的E判断，再回到原操作检查；若平衡显露与既定结构解释之间冲突，应改造D，安排能够区别接触支撑与流体支撑的测试；若操作与结构始终不能产生预期静止，则可能需要改变S，把“稳定平衡”改为“暂时停留”或“持续振动”，再检验新对象规定是否有预测价值。
最后这一种改变尤其重要。研究不一定以拯救原来期待的显露为目标。发现某个状态根本不能稳定成立，也是一项结果。若所有偏差都被解释成尚未找到正确操作，理论就永远不会面对失败。允许对象规定本身改变，才使三维之间的循环具有真正的开放性，而不是无限延迟裁判。
九、公共物理量是一项创造，也是一项责任
原子、几何和静力学展示三种不同的创造：越过直接显露去设想构成，规定可公开复查的对象关系，将物体行为接入能够计算的比较。它们之间有亲缘问题，却没有因此成为一条无缝的思想流水线。原子解释不自动包含几何证明，几何证明不自动成为经验规律，一次平衡实验也不能直接决定全部本体论。
本书称这些工作参与创造物理世界，意思是它们重组了物的身份、差异的资格与共同检验的方式。这个命题应面对一种竞争解释：也许这些工作只是逐渐发现原有关系。两者的争论不能只靠换动词结束。需要比较的是，发生分析是否揭示了那些关系取得意义、公共性与可操作性的具体条件，以及这些条件能否被其他解释充分说明。
从这个角度看，一条杠杆公式的伟大不在于把世界永远封闭在简短等式里，而在于使更多人能够用明确条件提出同一问题，又能够指出等式在哪些对象与操作中不够用。未来的动力学、连续介质理论与微积分会进一步扩展这项工作，但不应被提前塞入古代文字。真正连续的是不断追问对象怎样成立的责任，不是所有时代从一开始就拥有同一套答案。
参考文献与阅读边界
[8-1] Aristotle, Metaphysics I.4，W. D. Ross英译，https://classics.mit.edu/Aristotle/metaphysics.1.i.html 。已读原子论见证段；这是亚里士多德转述，不是德谟克利特原稿。 [8-2] Euclid, Elements I，定义1、公设1、命题1，David Joyce网页版本：https://mathcs.clarku.edu/~djoyce/elements/bookI/defI1.html ；https://mathcs.clarku.edu/~djoyce/elements/bookI/post1.html ；https://mathcs.clarku.edu/~djoyce/elements/bookI/propI1.html 。已读页面原典条目，不把编辑评注归于欧几里得。 [8-3] Euclid, Elements V，定义5—6，https://mathcs.clarku.edu/~djoyce/elements/bookV/defV5.html 。已读比例定义；平方根证明为本书现代记号教学推导。 [8-4] Archimedes, On the Equilibrium of Planes I，假定及命题节录，University of St Andrews MacTutor：https://mathshistory.st-andrews.ac.uk/Extras/Archimedes_on_statics/ 。已读原典节录，未读完整古希腊版本。 [8-5] Archimède, Des corps flottants, Livre I，Adrien Legrand法译，1891，命题V、VII，https://fr.wikisource.org/wiki/Le_Traité_des_Corps_flottants_d’Archimède/Livre_I 。已读法译相应命题及前提，未校希腊文；正文浮力算例和压强推导是现代重述。