证明有长度不同的射线

黄小宁

自从有射线概念2300多年来数学一直认定所有的射线都有全等关系，各射线通过刚体运动都可重合。其实这是2300年肉眼直观错觉。设“点集A=｛点p｝”中的“点p”表示A的元素是点p，相应动点p的变域是A。

h定理（参考文献中的定理）：当各射线都没“绕其中点旋转180度的变换”时若有起点的射线A≌B则A各元点p到A的起点的距离ρ=B各元点p′到B的起点的距离ρ′即ρ′与ρ是同一距离函数。

证：A各元点p保距变为点p′（p）生成B=｛点p′（p）｝≌A，A各元点p的像点p′（p）∈B=｛点p′｝是B各元点p′；A的起点p0（0是下标）的像点p0′(p0)∈B是B的起点，因保距变换将A的起点变为B≌A的起点。据A≌B的定义，A各元点p到A的起点的距离ρ=B各元点p′（p）到B的起点的距离ρ′。证毕。

数学有伪全等射线。假设射线C全等于D成立则据h定理相应的距离函数ρ=ρ′，若此等式不成立则说明假设不成立。

图片中的射线x≥0各元点x≥0到射线的起点x=0的距离是x-0=x≥0，射线x≥1各元点x≥1（x-1≥0）到射线的起点x=1的距离是|x-1|=x-1≥0即x≥1，显然x≥0与x≥1不是同一距离函数。据h定理图片中射线x≥0不全等于射线x≥1，这两形状相同的射线不全等说明其有不同的大小即有不同的长度。

关键：两图是否全等不能凭肉眼直观而须用坐标法严格证明。

参考文献见图片中的论文。