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

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