■サマーヴィルの等面四面体(その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)
===================================