- 问题 3
- 证明一个保持距离且将零向量映射到自身的映射,偶然地表明,这样的映射是一对一的且满射的(由
、
和
确定的域中的点,对应于由这三个点确定的陪域中的点)。因此,任何保持距离的映射都有一个逆映射。证明该逆映射也保持距离。 - 证明平面图形之间的全等是一个等价关系。
- 解答
- 令
为距离保持函数,并考虑
。陪域中的任意两点可以写成
和
。因为
是距离保持函数,
到
的距离等于
到
的距离。但这正是
为距离保持函数所需要的。 - 任何平面图形
通过恒等映射
与自身全等,这显然是距离保持的。如果
与
全等(通过一些
),那么
与
通过
全等,根据前一项,它是距离保持的。最后,如果
与
全等(通过一些
)并且
与
全等(通过一些
),那么
与
通过
全等,很容易检查到它是距离保持的。
- 问题 4
在实践中,距离保持线性变换的矩阵和平移通常合并为一个。检查这两个计算是否得出相同的前两个分量。

(这些是齐次坐标;参见射影几何主题)。
- 解答
每个的第一个和第二个分量是
和
.
- 问题 5
- 验证本主题第二段中描述的那些在距离保持映射下保持不变的性质确实如此。
- 再给出两个在欧几里得几何中具有重要意义的性质,这些性质也是在距离保持映射下保持不变的,这些性质来自于你学习欧几里得几何的经验。
- 给出在欧几里得几何中不重要且在距离保持映射下不保持不变的性质。
- 解答
- The Pythagorean Theorem gives that three points are colinear if and only if (for some ordering of them into
,
, and
),
. Of course, where
is distance-preserving, this holds if and only if
, which, again by Pythagoras, is true if and only if
,
, and
are colinear. The argument for betweeness is similar (above,
is between
and
). If the figure
is a triangle then it is the union of three line segments
,
, and
. The prior two paragraphs together show that the property of being a line segment is invariant. So
is the union of three line segments, and so is a triangle. A circle
centered at
and of radius
is the set of all points
such that
. Applying the distance-preserving map
gives that the image
is the set of all
subject to the condition that
. Since
, the set
is also a circle, with center
and radius
. - 这里有两个很容易验证的性质:(i)是直角三角形的性质,以及(ii)两条直线平行的性质。
- 在本节中提到的另一个性质是图形的“方向”。顶点按
、
、
顺时针排列的三角形,在距离保持映射下,可能被映射到一个顶点按
、
、
逆时针排列的三角形。