几何原本 卷一

欧几里得 · 23 条定义 · 5 条公设 · 5 条公理 · 48 个命题

命题 I.36 · 定理

在等底上且在相同两平行线之间的平行四边形彼此相等。

红圈的点可以拖动,图形会随之改变,而证明的每一步仍然成立。
  1. 设 ABCD、EFGH 是在相等的底 BC、FG 上、并且在同一对平行线 AH、BG 之间的平行四边形。断言:平行四边形 ABCD 等于平行四边形 EFGH。(拖动各点试试。)
  2. 连接 BE、CH。
    公设 1
    公设 1:由任意一点到另一任意一点可以作直线。
  3. 因为 BC 等于 FG,而 FG 等于 EH,所以 BC 等于 EH,而且它们平行。
    命题 I.34公理 1
    命题 I.34:平行四边形的对边相等,对角相等,且对角线二等分其面积。
    公理 1:等于同量的量彼此相等。
  4. 连接它们端点的 EB、HC 也相等且平行,所以 EBCH 是平行四边形。
    命题 I.33
    命题 I.33:在同一侧连接相等且平行的线段端点的线段,也相等且平行。
  5. 平行四边形 EBCH 与 ABCD 在同一底 BC 上、在同一对平行线之间,所以 EBCH 等于 ABCD。
    命题 I.35
    命题 I.35:在同底上且在相同两平行线之间的平行四边形彼此相等。
  6. 同理,EBCH 与 EFGH 在同一底 EH 上,所以 EBCH 等于 EFGH。
    命题 I.35
    命题 I.35:在同底上且在相同两平行线之间的平行四边形彼此相等。
  7. 所以平行四边形 ABCD 等于平行四边形 EFGH。
    公理 1
    公理 1:等于同量的量彼此相等。