■三角形の初等幾何学(その34)

 (その31)の補足をしたい.f(x)=sinxは区間[0,π]において凹であることから,

  sinAsinB≦(sin(A+B)/2)^2

  sinAsinBsinC≦(sin(A+B+C)/3)^3

  sinAsinBsinCsinC≦(sin(A+B+C+D)/4)^4

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

 A,B,Cが三角形の内角ならば

  sinAsinBsinC≦3√3/8

  sin(A/2)sin(B/2)sin(C/2)≦1/8

  sinA+sinB+sinC=4cos(A/2)cos(B/2)cos(C/2)≦3√3/2

  cosA+cosB+cosC=r/R+1

ここで,R≧2r(オイラーの不等式)を用いると

  cosA+cosB+cosC≦3/2

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