【１】和算に挑戦

　始まりは，中川宏さんが

　　佐久間鑽「算法起源集」，１８７７年

の問題を解いたことであった．

　その問題は正方形の上に正三角形が載っている図形の外接球に関する問題で，正三角形（２次元角錐）の頂点と正方形（２次元立方体）の頂点が，同じ長さの半径からなる球上に存在するというものであった．

　中川さんはその問題を３次元に拡張し，Ｊ8（立方体の上に四角錐が載っているもの）の外接球についても成り立つことを証明している．

　この問題の４次元以上の場合を検討してみたところ，４次元では４次元立方体の上に３次元立方体を底面とする角錐が載っている図形が２，３次元同様，外接球のもつ性質が成り立つことが判明した．５次元以上ではｎ次元立方体の上に載るｎ−１次元立方体を底面とする角錐は存在しないこともわかったが，ともあれこれは面白い性質であるということになった．

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

【２】もうひとつの拡張する方向

　この定理は，４次元にも拡張することできることがわかったが，もうひとつの拡張する方向がある．その後，五輪先生により，Ｊ7（３次元の三角柱と三角錐），Ｊ9（五角柱と五角錐）にも成り立つことが判明した．

　この問題についても４次元以上の場合を検討してみたところ，

［１］三角柱と三角錐版は次元に限らず存在可能で，同一球面上にあることが成り立つ．

［２］四角柱と四角錐版は４次元まで存在可能で，同一球面上にあることが成り立つ．

［３］五角柱と五角錐版は３次元まで存在可能で，同一球面上にあることが成り立つ．

［４］六角柱と六角錐版は３次元でも存在不可能である．

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