Classique mais utile

Monter que :

1) Sin(A/2)sin(B/2)Sin(C/2)=<1/8

2) cos(A/2)cos(B/2)cos(C/2) =< (3rac(3))/8

3) tan²(A/2)+tan²(B/2)+tan²(C/2)>=1

je crois que vous etes capable de résourdre sans utilisation de l'ing jensen or ..   

La première : (les deux autres peuvent etre gérées de la même manière

Fiou, C'était long ^^

execlente démarche bravo ^^

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² )

P.Coelho a écrit:

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² )

attention
1- il n y a pas d'équivalence
2- t'a démontrer juste 4sin²(A/2)*4sin²(B/2)*4sin²(C/2)<1 cela ne va pas dire que
SinA/2 * SinB/2 * Sin C/2 <= 1/8