八元整数は成分がすべて整数の数だけでは不十分で，適当に半整数（整数＋１／２）も含める必要があります．

　　［参］一松信「数の世界」丸善

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

　ここで，八元整数の体系内で，除法

　　α＝β・γ＋δ，｜δ｜＜｜β｜

は可能かという問題があるのですが，ケイリー（その後何人か）が代数的に証明しようとして失敗したという逸話が伝わっています．

　それは可能なことをはじめて証明したのがコクセターです．その証明は幾何学的で，（その２）で説明したように８次元空間内で正単体と正軸体をうまく組み合わせると空間充填可能になります．コクセターは八元整数全体をうまく結ぶと自然にその充填形ができることを証明し，β^-1αに最も近い八元整数γが１未満にあることを幾何学的に証明したことになります．

　なぜなら，辺の長さが１の正単体，正軸体で頂点から最も近いのはその中心で，そこまでの距離名それぞれ

　　２／３＜１，１／√２＜１

となるからです．

　代数的に証明しようとして失敗した難問が，図形的に考えれば，ほとんど自明な事実となってしまったというわけです．

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