■DE群多面体の面数公式(その702)

 正三角柱E3を切頂切稜して,等辺多面体(できれば面正則多面体)を構成することはできるだろうか?

===================================

 O(0,√3/3,0)

 A(0,√3,1)

 B(−1,0,1)

 C(1,0,1)

 D(0,√3,−1)

 E(−1,0,−1)

 F(1,0,−1)

 OAに垂直な面

  2√3/3y+z=c

で切頂する.

 上面は正六角形とすると

 A(−x,y,1)

 B(x,y,1)

中心軸からx離れていることを考えると,

y=√3/3(x+1)

√3/3・x−y+1=0

とBとの距離^2は

(√3/3・x−y+1)^2/(4/3)=4x^2

(√3/3・x−y+1)^2=3x^2

 また,Aは垂直面上の点であるから

  2√3/3y+1=c

などと計算することになるが,計算自体はうまくいきそうにないし,このような計算をすること自体がワイソフ多面体を求めていることにならないように思える.要再考.

===================================