例 9.42

依赖于

  • 无显式依赖

被以下题目直接调用

例 9.42

是欧氏空间中两个长度相等的不同向量,求证:必存在镜像变换 ,使得

解答

证明

定义 如下:

是镜像变换,注意 ,我们有

于是