直译自 Johan Ludvig Heiberg “Euclidis Opera omnia”(希腊语欧几里得全集),舍弃原文中方括号括起的部分(将它们视为非原始文段)。
文本来源:https://scaife.perseus.org/library/urn:cts:greekLit:tlg1799.tlg001/
翻译时参考了 Thomas Heath “The Thirteen Books of Euclid’s Elements”(欧几里得十三卷《原本》)的注释。
定义
- 点不可分割。(1)
- 线是没有宽度的长度。(2)
- 线的末端是点。(3)
- 直线是均匀分布于其自身各点的线。(4)
- 面只有长度和宽度。(5)
- 面的末端是线。(6)
- 平面是均匀分布于其自身各直线的面。(7)
- 平面角是平面上的两条相交且不在同一直线上的线的夹角。(8)
- 当包含该角的线是直线时,称之为直线角。(9)
- 当直线与(另一条)直线相交,使得相邻的角彼此相等时,它们都可以被称为直角,且(这条)直线称为垂线。(10)
- 钝角比直角大。(11)
- 锐角比直角小。(12)
- 边界是任何事物的极限。(13)
- 图形由某条或任何边界包围而成。(14)
- 圆是被一条线围成的平面图形,从其内部的一点到图形上各处的直线彼此相等;(15)
- 这个点被称为圆心。(16)
- 圆的直径是任意一条贯穿圆心且两侧均终止于圆周的直线,且它也能将圆平分。(17)
- 半圆是被直径和它所截取的圆周包围而成的图形。半圆圆心和圆相同。(18)
- 直线形是直线围成的图形,三边形由三条、四边形由四条、多边形由多于四条直线包围而成。(19)
- 在三边形中,等边三角形有三条相等的边,等腰(三角)形只有两条相等的边,不等边(三角)形的三条边(互)不相等。(20)
- 此外在三边形中,直角(三角)形是有一个直角的三角形,而钝角(三角)形有一个钝角,锐角(三角)形有三个锐角。(21)
- 在四边形中,正方形等边且直角,长方形直角但不等边,菱形等边但不直角;类菱形¹的对边和对角彼此相等,但不等边也不直角。其他四边形都叫梯形²。(22)
- 平行线是两条在同一平面上,向两个方向无限延长,且彼此互不相交的直线。(23)
公设
假定
- 从每一点到每一点都能作出直线。³⁴ (1)
且
- 具有有限长度的直线⁵能连续附加在直线上。(2)
且
- 能以所有中心和半径描述一个圆。(3)
且
- 所有直角彼此相等。(4)
且
- 若一条直线与两条直线相交,并在某一侧的角小于两个直角⁶,则这两条直线无限延长后,在小于两个直角之和的这一侧相交。(5)
公理
- 与某物相等的事物,彼此之间全部相等。(1)
且
- 若(一组)相等加上(另一组)相等,其和也相等。(2)
且
- 若从(一组)相等减去(另一组)相等,其差也相等。(3)
且
- 完全吻合的事物彼此相等。⁷ (4)
且
- 整体大于部分。(5)
(脚注)
- 今称「平行四边形」。
- 今「梯形」只指代「只有一组边平行的四边形」。
- 在一般性陈述中,希腊人并不像现今使用「任意」形式的表述,而使用「所有」形式的表述。例如,「任意三角形」在《原本》各处均表述为「所有三角形」。
- 公设 (1) 中隐含假定了「两条直线不能围成一个空间」(Heath, 1908) ,使得公设 (5) 成立。部分《原本》抄本不必要地将这一假设添列在「公设」或「公理」中。
- 即「线段」。
- 即「在某侧的内角和小于两个直角之和」。
- 即「两个(在平移、翻转和/或旋转后)能够完全重合的图形全等。」(Heath, 1908)