前回の記事 box-white.hatenablog.com定義7,二点の中点とはであり,が存在してとなること.定理8,とする.がの中点であることと,がの中点であることは同値. (証明)定理6よりである.またが存在し,である.このときとなり,確かにはの中点となる.定義9,,をを固定す…

作用幾何学について解説します.ガウスは三次元空間内の二点を通る直線を「を固定するような変換の下で不変な点の集合」と定義したそうです.を固定するような合同変換はを通る軸の周りの回転だけになり,それで不変な点は確かにを通る直線になります.このこと…