中川宏さんが発見した幾何の定理を紹介したい．

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

【１】和算に挑戦

　始まりは，中川宏さんが

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

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

　その問題は正方形の上に正三角形が載っている図形の外接球に関する問題で，

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

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

　そもそも中川さんが和算の問題を取り上げたのは，五輪先生（福島県の高校の数学の先生）が和算研究に携わっている関係だという．

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

　５次元以上ではｎ次元立方体の上に載るｎ−１次元立方体を底面とする角錐は存在しないこともわかったが，ともあれこれは面白い性質であるということになった．

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

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

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

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

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

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

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

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

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

【３】雑感

　証明は割愛したが，証明を見る限り，角錐の頂点と角柱の底面の頂点が同じ球面上に存在することはいずれの場合もまったく同じであって，高次元人にとっては自明といってもよい性質のようだ．数学的に問題になるのは，その性質よりもむしろ存在可能性である．

　高田の定理「円に内接する五角形の対角線から星形五角形を作る．星形五角形に含まれない三角形の外接円の交点が同一円周上にあるが，もう一つの外接円の交点も同一円周上にある．」のように，「大学への数学」のような雑誌に収録されればよいのであるが，・・・

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