三角形ＡＢＣが鋭角三角形のとき
cos''(x)＝−cos^2 (x)≦０ （０≦ Ａ，Ｂ，Ｃ≦π/2）なので上に凸 だから
cosA+cosB+cosC≦cos{(A+B+C)/3}=1/2　となりますが

鈍角三角形　（０≦ Ａ，Ｂ≦π/2≦Ｃ　とする）のときはcosA+cosB+cosC≦1/2
を示すにはどうしたらよいでしょうか？