voici un autre
SinA/2 * SinB/2 * Sin C/2 <= 1/8
<=> 4sin²(A/2)*4sin²(B/2)*4sin²(C/2)<1
on remarque que : a²=b²+c²-2bc.cosA (alkaxi)
alors cosA=(b²+c²-a²)/2bc
on a 4sin²(A/2)=2-2cosA=[a²-(b-c)²]/bc
alors il faux démontrer que :
[a²-(b-c)²]/bc*[b²-(a-c)²]/ac*[c²-(b-a)²]/ab < 1
<=>
[a²-(b-c)²]*[b²-(a-c)²]*[c²-(b-a)²] < a²b²c²
Ce qui est juste (on a² -(b-c)²<a² )