关于几何中Superposition严谨性及《Elements》Book 1, Proposition 4相关逻辑的求证

你提的这个问题正好触碰到了欧几里得几何体系里一个经典的“逻辑缺口”——叠加（superposition）方法的严谨性，不少几何爱好者和学者都纠结过这点，我来帮你梳理清楚：

首先，核心问题出在公理的缺失上：

• 《几何原本》里把“彼此重合的事物是相等的”列为了公共概念4（Common Notion 4），但反过来的命题——“相等的事物可以通过叠加彼此重合”，并没有被明确作为公理或公设给出。这就导致欧几里得在使用叠加法时，其实是默认了一些未被声明的前提。

针对你提到的《几何原本》第一卷命题4（SAS全等）：

• 欧几里得在证明中直接使用了叠加操作：把△ABC叠放到△DEF上，将点A放在点D上，直线AB放在DE上，然后因为AB=DE，就得出点B必然和E重合。这里的问题是，他默认了平移、旋转这类刚体变换是合法的，且变换会保持线段长度不变，但《几何原本》的5条公设里完全没有提到这类变换的存在性和性质。

你提到的第一卷命题2（在给定线段上作等于已知线段的线段）确实能实现线段的“转移”，但这和叠加法里的操作不是一回事：

• 命题2是构造出一条和已知线段相等的新线段，而叠加法是直接假设可以把原线段“放”到目标位置，并且保证端点完全重合——这种“放置”操作的逻辑合法性，并没有被欧几里得的公设体系证明。

你引用的这段内容正好点出了这个问题：

If the triangle ABC is superposed on the triangle DEF, and if the point A is placed on the point D and the straight line AB on DE, then the point B also coincides with E, because AB equals DE.

这段表述看起来像是命题2的延伸，但实际上不是——它直接预设了刚体变换的可行性，而这在原始的公理体系里是没有依据的。后来的数学家（比如希尔伯特）在重构欧几里得几何的公理化体系时，专门补充了合同公理，其中明确规定了线段、角的合同（即全等）所满足的性质，包括“若线段AB合同于DE，则存在刚体变换将AB映射到DE，使A对应D、B对应E”，这才补全了欧几里得原始证明里缺失的逻辑环节。

最后回到你的疑问：你的理解完全正确！欧几里得用叠加法证明全等时，确实依赖了未被明确公理化的刚体变换假设。要严谨地证明“相等的线段/图形可以重合”，必须有额外的公理支撑，而欧几里得的原始体系里并没有这些内容，所以从现代公理化的角度来看，这个证明是不严谨的。

备注：内容来源于stack exchange，提问作者soc3id