話題投下
http://mathsoc.jp/publication/tushin/0504/matsumoto5-4.pdf
３元数が存在しないことの証明だそうな。
この証明の誤りはP１８の最初で
原点oとwを結ぶ直線ow上にiwはない
っていってるけど、wが０虚数のとき、iwは原点になっちゃうから、
直線ow上にあるんだな。ここが誤りだな。０虚数はij平面でj=-iの直線に
なってるから、球面上との交点があります。
こういうのも面白いね。３元数できちゃったから、誤りがよく分かる。