■基本単体の計量(その9)
[c]立方体の基本単体−正八面体の基本単体
ではなく,
[c]立方体の基本単体−正八面体の基本単体−正四面体の基本単体
は,結果オーライというよりも結果的にはかえって面白いものができたのではないかと思う(瓢箪から駒?).

 ところで,[c]は正確な菱形12面体の16等分体になっているのであろうか?


===================================
【1】計量
 立方体の基本単体の座標を
  P0(0,0,0)
  P1(1,0,0)
  P2(1,1,0)
  P3(1,1,1)
にとる.
 [c]立方体の基本単体−正八面体の基本単体−正四面体の基本単体
の座標は
  P0(0,0,0)
  P1(1,0,0)
  P2(1,1,0)
  Q1(1/2,1/2,1/2)
  Q2(1,1/2,1/2)
となる.
 P2Q1Q2面にできる二面角は(120°,90°,90°)でそれ自身がきわめて美しい五面体になっていて,正確な直方体,菱形12面体ができる理由となっている.
 なお,Q1はP0P3の二等分点,Q2はP1P3の二等分点である.さらに,P3Q1の3等分点とP2を結べば,正八面体と正四面体の基本単体になる.
===================================
【2】雑感
 瓢箪から駒の駒は将棋の駒ではなく,馬の意味だそうである.私もいつの日にか瓢箪から駒のようにグレートなアイデアが飛び出してほしいと願っているのであるが,数学史上,瓢箪から駒は実際にあり得るが,多くはない.
  フェルマーの落書き→フェルマー予想(360年後,解決)
  ジョン・ナッシュの証明の誤り→二十年後,解決
  山辺の予想(本人は証明したつもりだったが,彼の死後,証明に誤りが発見された)→現在も未解決の様だ.これらは数学史の本のネタとして面白いから有名になるが,あんまりないと思う.
===================================
 
