■サマーヴィルの等面四面体(その500)

 もし,2rが1辺の長さで押さえられるならば,

{1−{6/n(n+1)(n+2)}}^1/2/{(1−cosξ)/2}^1/2<1

1−{6/n(n+1)(n+2)}<(1−cosξ)/2

2−{12/n(n+1)(n+2)}<(1−cosξ)

cosξ>12/n(n+1)(n+2)−1

 もし,2rが1辺の長さ1の単体の高さで押さえられるならば,

  Vn=Vn-1h/n

  h=nVn/Vn-1=(n+1)^1/2/2^n/2(n−1)!・2^(n-1/2)(n−1)!/n^1/2=(n+1)^1/2/(2n)^1/2

{1−{6/n(n+1)(n+2)}}^1/2/{(1−cosξ)/2}^1/2<(n+1)^1/2/(2n)^1/2

1−{6/n(n+1)(n+2)}<(1−cosξ)/2・(n+1)/2n

4n/(n+1)−24/(n+1)^2(n+2)<1−cosξ

cosξ<1−4n/(n+1)+24/(n+1)^2(n+2)

 もし,これが成り立つならば,nξ→∞を証明するのにほしかった形であるが,n=2のとき,右辺は

  1−8/3+2/3=−1   (NG)

n=3のとき

  1−3+3/10=−17/10  (NG)

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