再论小学生也能一眼看出有长度不同的射（直）线

黄小宁

设集A=｛x｝表A各元均由x代表，相应变量x的变域是A。其余类推

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

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

据H定理图片中射线的x≥0不全等于射线x≥1，这两形状相同的射线不全等说明其有不同的大小即有不同的长度。