■サマーヴィルの等面四面体(その260)
三角形は2種類ある.[a,b,c]と[b,b,c]
===================================
角柱の辺にbが来る場合の断面の形は,
底辺{c^2−b^2/4}^1/2
他の2辺hは
S=c・h/2
h=2S/c=2{s(s−a)(s−b)(s−c)^1/2/c
であるから,
[h:h:底辺]
ここで,底辺>hとなるだろうか?
h^2=4・(a+b+c)/2・(−a+b+c)/2・(a−b+c)/2・(a+b−c)/2b^2
4b^2h^2=(a+b+c)・(−a+b+c)・(a−b+c)・(a+b−c)
底辺^2=(c+b/2)(c−b/2)
4底辺^2=(2c+b)(2c−b)
辺の長さをa>c>bとする.
(a+b+c)>(2c+b)>3b
(a−b+c)>(2c−b)>b
(−a+b+c)>b,(a+b−c)>b
4b^2h^2>(2c+b)(2c−b)b^2>3b^4
4h^2>(2c+b)(2c−b)>3b^2
h^2>底辺の2乗>3b^2/4
===================================