PRINCIPIA · DEFINITION

射线

从直线上一点出发、只朝一个方向无限延伸的那半条直线;出发的那个点叫端点,它一端封口、另一端没有尽头。

依赖点线公理尺子公理。属「派生定义」——在一条直线上取一点作端点,只留下它一侧的那一半。

定义

OO 是直线 \ell 上一点。尺子公理(直尺公理)把 \ell 上的点排成实数,于是 OO\ell 分成「坐标比它大」和「比它小」两侧。

从端点 O 出发、经过 A 向一个方向无限延伸的射线。

取定其中一侧,OO 连同这一侧的所有点,组成的图形叫做以 OO 为端点的射线。 若这一侧上有一点 AA,就记作射线 OAOA

射线是「半条直线」:一头钉在端点 OO 上、封口,另一头顺着一个方向一去不返。它比线段多了「无限」,比直线少了「一头」。

备注

  • 线段、射线、直线,延伸的多少之别。 都住在同一条直线上:线段两端都封口、有限长;射线一端封口、另一端无限;直线两端都无限。射线正好夹在中间。
  • 端点在前,方向在后。 记号 OAOAOO 一定是端点,AA 只是用来指方向的过路点——射线 OAOA 与射线 AOAO不同的两条(端点换了)。
  • 角是两条射线拼出来的。 一个=共端点的两条射线;角平分线也是一条射线。射线是这些概念的原料。