supposons que A>=B>=C
on distingue deux cas
1)
A>pi/2cos concave sur [0,pi/2]
alors 1/2(cosB+cosC)=<cos[(B+C) /2 ]
=>(cosB+cosC)=<2sinA/2
(car A=pi -(B+C) )==> cosA+cosB+cosC =< cosA+sinA/2 =-2(sin(A/2) -1/2)+3/2 =< 3/2
2)-
A=<pi/2cos concave sur [0,pi/2]
alors
1/3(cosA+cosB+cosC) =< cos[(A+B+C)/3]
==>(cosA+cosB+cosC) =< 3cos[pi/3] = 3/2
_________________
وتوكل على الحي الذي لا يموت وسبح بحمده