■三角形の初等幾何学(その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
===================================