作业 4(请于 2020 年 11 月 4 日习题课上交)

本周作业:

1. 在平面直角坐标系所确定的整数格点阵 \((m,n)\in \mathbb{Z}^2\subset \mathbb{R}^2\) 中,设点 \(A=(-1,0)\) , \(B=(-1,-1)\) , \(C=(-2,0)\) 。经过一个平面等距变换 \(\sigma\in Iso(\mathbb{R}^2)\) 的作用后,格点三角形 \(\triangle ABC\) 映为另一个格点三角形(即顶点都在整数格点上),其中 \(A'=\sigma(A)=(1,0)\)。

  1. 满足以上条件的 \(\sigma\) ,保定向的有多少个,反定向的有多少个?
  2. 请描述每一个这样的 \(\sigma\) 是平移、旋转、反射、滑反射中的哪一种,具体特征(如平移向量、旋转中心和旋转角、反射轴等等)是什么。

2. 设 \(\phi:l\to l'\) 是两条平面直线之间的一个“等距映射”,即保持直线 \(l\) 上任意一对点的距离在映射后不变。试证明:存在一个平面等距变换 \(\tilde\phi:\mathbb{E}^2\to \mathbb{E}^2\) ,使得其限制在 \(l\) 上的作用效果等于 \(\phi\) ,用符号表示即为 \(\tilde\phi|_l=\phi:l\to l'\) 。

3. 试证明两个平面旋转的复合还是旋转(旋转中心可以不同),除非两个旋转角之和是 \(0\) 或 \(2\pi\) (后一情形,两者复合的结果必定为平移或恒同)。

4. 平面四边形 \(ABCD\) ,对边 \(|AD|=|BC|\) . \(E,F\) 分别是对边 \(AB,CD\) 的中点,试利用向量代数的工具(内积),证明: \(EF\) 与 \(AD\) 的夹角,等于 \(EF\) 与 \(BC\) 的夹角。(背后更广的几何意义:线段 \(AD\) 经过一个滑反射得到线段 \(BC\) ,而滑反射轴恰好是直线 \(EF\) 。

5. 在平面 \(\mathbb{E}^2\) 上,设 \(g\) 是关于直线 \(l\) 的反射, \(f\) 是一个平移,而且平移方向与 \(l\) 不垂直。试证明 \(f \circ g\) 是一个滑反射(不是反射)。

6. 王长平“几何学讲义” 43-44 页 14-15 题,如下:
设 \(\mathbb{P}\) 是一个凸多面体, \(A\) 为 \(\mathbb{P}\) 的一个顶点。记 \(\theta(A)\) 为所有以 \(A\) 为顶点的面在 \(A\) 点的角的总和(以弧度计算)。我们定义多面体在 \(A\) 点的“(离散)曲率” \(K(A)=2\pi-\theta(A).\) 显然,曲率越大, \(\theta(A)\) 越小,顶点 \(A\) 越“尖”。问:

  1. 五种正多面体在顶点处的曲率各是多少?
  2. 五种正多面体在所有顶点处的曲率之和各是多少?
  3. 选做题)设 \(\mathbb{P}\) 是一个凸多面体,证明它在所有顶点处的曲率之和为 \(4\pi\) 。

7. 以下对象的自由度是多少?尝试回答并简要说明你的理由。以下“平面”均指一个固定的平面,空间均指三维欧氏空间。

  1. 平面上的全体三角形(位置、形状、大小可任意变)。
  2. 平面上的全体正三角形(位置、大小可变)。
  3. 平面上的全体椭圆(位置、形状、大小可任意变)。
  4. 空间中的全体右手系单位正交标架(基点 \(O\) 可以任意变化,视为不同标架)。
  5. 空间中的全体不同平面。
  6. 空间中的全体不同直线。
  7. 空间中的全体圆周(任意方向、半径和圆心位置)。
  8. 空间中的全体正四面体(位置、大小可变)。

8. 在 \(\mathbb{R}^4\) 中取定一组单位正交基,记为 \(1, i, j, k\),则 \(\mathbb{R}^4=\{a+bi+cj+dk,\ \textrm{其中} \ a, b, c, d\in\mathbb{R}\}\) 上面除开通常定义的向量加法,零元素为 \(0=0+0i+0j+0k\) ,也有一个 Hamilton 发明的乘法结构,称为四元数 \(\mathbb{H}=\mathbb{R}^4\) ,定义如下:它是一个二元运算,取值仍然在 \(\mathbb{H}\) ,对向量加法和数乘满足线性(分配律),而在基上有: \(1\) 是乘法单位元,且 \(i^2=j^2=k^2=-1\), \(i\cdot j=-j\cdot i=k\), \(j\cdot k=-k\cdot j=i\), \(k\cdot i=-i\cdot k=j\) 。试回答:

  1. \(\mathbb{H}\setminus \{0\}\) 按乘法构成一个非交换群,对吗?举出它的一个有限子群。
  2. 限制在纯虚四元数 \(\mathfrak{I}\mathbb{H}=\{0+bi+cj+dk\}\) 上,四元数乘法与通常的外积类似。它构成一个群吗?
  3. 选做题)定义四元数的取模运算为 \(|a+bi+cj+dk|=\sqrt{a^2+b^2+c^2+d^2}\) 。验证“取模”与四元数乘法运算是可交换的,也就是 \[|(a+bi+cj+dk)(\alpha+\beta i+\gamma j+\delta k)|=|a+bi+cj+dk|\cdot |\alpha+\beta i+\gamma j+\delta k|.\]由此证明,全体幺模四元数(也就是模长等于 \(1\) )构成一个乘法群,与三维球面 \(S^3\) 可等同。