［１］三元数は存在しないことの証明（１）

　　（ａ1^2＋ａ2^2＋ａ3^2）（ｂ1^2＋ｂ2^2＋ｂ3^2）＝ｃ1^2＋ｃ2^2＋ｃ3^2

において，偶数の２乗は４ｎの形であり，奇数の２乗は

　　（２ｋ＋１）^2＝４ｋ（ｋ＋１）＋１＝８ｎ＋１

の形であるから，３つの２乗和はそれがすべて奇数であれば，４ｎ＋１か８ｎ＋３のいずれかの形をとる．

　したがって，８ｎ＋７という形の奇数は決して３つの２乗和にかけない．すなわち，３元数に対する平方和問題は破綻している．　

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［２］三元数は存在しないことの証明（２）

　三元数を

　　（ｘ，ｙ，ｚ）＝ｘ＋ｙｉ＋ｚｊ

で表す．

　　ｘ＝（ｘ，０，０），ｉ＝（０，１，０），ｊ＝（０，０，１）

　　ｉ^2＝−１＝（−１，０，０），ｊ^2＝−１＝（−１，０，０）

　ここで，

　　ｉｊ＝ｘ＋ｙｉ＋ｚｊ

とかけたと仮定する．この式に左からｉをかければ

　　ｚｘ−ｙ＋（ｘ＋ｙｚ）ｉ＋（ｚ^2＋１）ｊ＝０

が得られるが，ｚは実数であるので不可能．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［３］十六元数は存在しないことの証明（フルヴィッツの定理）

　もちろん，三元数は存在しないので，六元数も存在しないが，ケイリー・ディクソンの２重化法

　　Ｃ＝Ｒ＋ｉＲ

　　Ｈ＝Ｃ＋ｉＣ　　　（複素数の複素化）

を適用して構成される超複素数体系が，八元数

　　Ｏ＝Ｈ＋ｉＨ　　　（四元数の複素化）

である．すなわち，Ｘ＝Ｒ，Ｃ，Ｈ，Ｏとして，

　　Ｘ＋ｉＸ　　　（ディクソンの倍加代数）

を構成して，フルヴィッツは十六元数は存在しないことを示した．つまり，このように倍増を重ねて新しい数体系ができるのは，八元数でストップするというのがフルヴィッツの定理である．この証明では単位元をもつ数体系を仮定するとＲ，Ｃ，Ｈ，Ｏに限るということを主張する．

　これはまた，平方和問題

　　（ａ1^2＋ａ2^2＋・・・＋ａn^2）（ｂ1^2＋ｂ2^2＋・・・＋ｂn^2）＝（ｃ1^2＋ｃ2^2＋・・・＋ｃn^2）

はｎ＝１，２，４，８の場合のみ解をもつことを意味している．

　このことを逆に見ると

　　Ｒ→Ｃ：順序関係を捨てる

　　Ｃ→Ｈ：乗法の交換法則を捨てる

　　Ｈ→Ｏ：乗法の結合法則を捨てる

という犠牲が避けられないことが理解される．

　非可換な四元数と非可換・非結合的な八元数の数体系が存在することを述べた．もう捨て去るものは何もなく，四則演算が可能な数体系は八元数で終点なのである．したがって，ある条件のもとで，数の体系は八元数までですべてであることが知られていて，数の系列は実数（一元数）→複素数（二元数：ガウス）→四元数（ハミルトン）→八元数（ケイリー）というようになっているのです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝