salam pour neutrino:
on part de résultats supposé connus
1) la fonction sin est croissante sur [0 , pi/2]
2) sinx < x sur [0 , pi/2]
3) sin 3x = 3.sinx - 4.(sinx)^3
-------------------
sinon pour 1) et 2) on les démontrer géométriquement.
-----------------
je note < au sens large
remarque : pour 0 < x < 1/2 , on pose y = x/3
====> sinx = 3.siny - 4(siny)^3
soit a€ [0,pi/2] tel que : sina = y =====> y < a
siny < y =====> siny < sina
sin est croissante =====> y < a ======> 3y < 3a
or x , y , a sont tous < 1/2 ======> 3y , 3a € [0,pi/2]
sin3y < sin3a ===> 3.siny - 4(siny)^3 < 3.sina - 4(sina)^3
====> sinx < 3y - 4y^3
===> sinx < x - 4.x^3/27
-------------------------------------------------