２平方和問題（フェルマー・オイラーの定理）は

（ａ^2＋ｂ^2）（ｃ^2＋ｄ^2）＝ｐ^2＋ｑ^2

ｐ＝ａｃ−ｂｄ，ｑ＝ａｄ＋ｂｃ

また，４平方和問題

　　（ａ^2＋ｂ^2＋ｃ^2＋ｄ^2）（ｐ^2＋ｑ^2＋ｒ^2＋ｓ^2）＝ｘ^2＋ｙ^2＋ｚ^2＋ｗ^2

は

ｘ＝ａｐ＋ｂｑ＋ｃｒ＋ｄｓ，

ｙ＝ａｑ−ｂｐ＋ｃｓ−ｄｒ，

ｚ＝ａｒ−ｂｓ−ｃｐ＋ｄｑ，

ｗ＝ａｓ＋ｂｒ−ｃｑ−ｄｐ

とおくと成り立ち，４つの平方数の和となっている数は積の演算で閉じていることを示しています．

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

　しかし，３平方和問題

　　（ａ^2＋ｂ^2＋ｃ^2）（ｘ^2＋ｙ^2＋ｚ^2）＝ｕ^2＋ｖ^2＋ｗ^2

は２平方和，４平方和の場合のようなわけにはいきません．３平方和の積が必ずしも３平方和とならないからです．

　｜ａ｜・｜ｂ｜＝｜ｃ｜，すなわち

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

の恒等式はｎ＝１，２，４，８に対してだけ満たされるという驚くべき結果が１９世紀末，フルヴィッツにより証明されています（１８９８年）．したがって，ある条件のもとで，数の体系は八元数までですべてであることが知られていて，数の系列は実数（一元数）→複素数（二元数：ガウス）→四元数（ハミルトン）→八元数（ケイリー）というようになっているのです．

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