週末におこなわれた数学のセミナーでは高次元図形の計量について講演．その質疑応答を（その１６６）−（その１６７）に書いたが，書き忘れたことがあったので紹介したい．

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

［４］２（２^n−１）面体（置換多面体）は空間充填多面体であるが，その体積はミンコフスキー和，すなわち，平行２ｎ面体分解によって計算することができる．また，一般の多面体も含め，その体積は角錐分解することによっても計算することができる．

　２通りに計算するということを喩えていうならば，家計簿つけのシーンにおいて，まず行ごとの合計を求めそれを総計する，次に列ごとの合計を求めそれを総計する，そして計算が正しければその２つの計算結果は一致するはずというわけである．

　両者が等しくなったので，この多面体の体積はｘｘｘである・・・という話をしたところ，ある質問者は１００通りの方法でやって合致してもそれは数学的結論ではないという．要するにこの質問者のいいたいことは，お前の計算は信じられないということなのであろうが，この質問者はまったく計算しない人であり，まったく計算しないで高次元幾何学が理解できるはずがないのである．

　繰り返すが，高次元幾何学では直観が半分，計算が半分である．直観ばかりでは３次元人はピットホールに陥ること必定であるから，計算しながら裏付けをとっていくことが必要である．二つのバランスがうまくとれないと進歩はままならない．

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