salam
sinx , tanx et 3x étant tous positifs ;on peut alors démontrer
l'inégalité des carrés
factorisons d'abord
V(sinx).[V(2) + 1/V(cosx) ] >= V(3x)
aux carrés:
sinx[ 2 + 1/cosx + 2V(2)/V(cosx) ] >= 3x
1) pour x=0 c'est vérifié
2) pour 0 < x < pi/2
démontrons alors que : sinx/x .[ 2 + 1/cosx + 2V(2)/V(cosx) ] >= 3
---------------------------------------------------------------
le [ 2 + ..........] >= [2 +1 +2V(2) ] >= 3+2V(2)
ensuite considérons f(x) = sinx/x
f'(x) = (x.cosx - sinx)/x^2 = cosx.( x - tanx) / x^2
un résultat connu sur [0,pi/2[ : sinx < x < tanx
donc f'(x) > 0 =====> f str. croissante
comme elle est prolongeable par cont .en 0
f(x) >= lim sinx/x =1
-------------------------------
conclusion : sinx/x[2 +1/cosx + 2V(2)/V(cosx) ] >= 1.(3+2V(2)] >= 3.
CQFD
-------------------