■正単体の合同2分割(その14)
計算でも同じ結果になるのか確認しておきたい
こうなると重要なのは差ベクトルということになる。
===================================
正5胞体の場合
P1:(1,0,0,0,0)
P2:(0,1,0,0,0)
P3:(0,0,1,0,0)
P4:(0,0,0,1,0)
P5:(0,0,0,0,1)
Y1(τ^-1/√5,1/√5,τ^-1/√5,0,0)
Y2(0,τ^-1/√5,1/√5,τ^-1/√5,0)
Y2(0,0,τ^-1/√5,1/√5,τ^-1/√5)
Y4(τ^-1/√5,0,0,τ^-1/√5,1/√5)
Y5(1/√5,τ^-1/√5,0,0,τ^-1/√5)
この5点は超平面:x1+x2+x3+x4+x5=1上にあるが、2次元平面上に載る形には表さないだろうか?
===================================
差ベクトルは
Y1-Y2=(τ^-1/√5,τ,-τ,-τ^-1/√5,0)
Y2-Y3=(0,τ^-1/√5,τ,-τ,-τ^-1/√5)
Y3-Y4=(-τ^-1/√5,0,τ^-1/√5,τ,-τ)
Y4-Y3=(-τ,-τ^-1/√5,0,τ^-1/√5,τ)
Y5-Y4=(τ,-τ,-τ^-1/√5,0,τ^-1/√5)
===================================
Y1-Y2=(τ^-1/√5,τ,-τ,-τ^-1/√5,0)
に垂直に交わる超平面は
(τ^-1/√5,τ,-τ,-τ^-1/√5,0)・(x1,x2,x3,x4,x5)=0
これに辺の中点が載る
x2=x3=1/2,x1=x4=x5=0
x1=x4=1/2,x2=x3=x5=0
頂点
x5=1,x1=x2=x3=x4=0
もこの超平面に載る
中心(1/5,1/5,1/5,1/5,1/5)も通る
中点と頂点以外の点とも交わる。計5点
===================================
x1+x3=1,x=2=x4=x5=0との交点は
(τ^-1/√5,τ,-τ,-τ^-1/√5,0)・(x1,x2,x3,x4,x5)=0
τ^-1/√5・x1-τ・x3=0
(τ^-1/√5+τ)x1=τ
(τ^-1+τ√5)x1=τ√5
x1=(τ+2)/(2τ+1)=√5τ^-2
x3=1-√5φ^-2=5-3τ=τ^-4
x2+x4=1,x=1=x3=x5=0との交点は
τ・x2-τ^-1/√5・x4=0
x4=(τ+2)/(2τ+1)=√5τ^-2
x2=1-√5φ^-2=5-3τ=τ^-4
===================================
Y4(τ^-1/√5,0,0,τ^-1/√5,1/√5)
(τ^-1/√5,τ,-τ,-τ^-1/√5,0)・(τ^-1/√5,0,0,τ^-1/√5,1/√5)=τ^-2/5-τ^-2/5=0
この(直線に見える)超平面上にある点はすべて=0を満たす。
この直線上にない点は=0を満たさない
(1,0,0,0,0)→τ^-1/√5
(0,1,0,0,0)→τ
(0,0,1,0,0)→-τ
(0,0,0,1,0)→-τ^-1/√5
しかし、見た目の距離とは異なっている・・・
===================================
φ^-4=−3φ+5、 √5φ^-4=7φ−11
φ^-3=2φ−3、 √5φ^-3=-4φ+7
φ^-2=−φ+2、 √5φ^-2=3φ−4
φ^-1=φ−1、 √5φ^-1=−φ+3
φ^0=1、 √5φ^0=2φ−1
φ^1=φ、 √5φ^1=φ+2
φ^2=φ+1、 √5φ^2=3φ+1
φ^3=2φ+1、 √5φ^3=4φ+3
φ^4=3φ+2、 √5φ^4=7φ+4
φ^5=5φ+3、 √5φ^5=11φ+7
φ^6=8φ+5、 √5φ^6=18φ+11
右辺mφ+nの係数m,nはフィボナッチ数列をなす.
===================================