Salut,
Il me semble que je n'ai pas les mêmes solutions.
cos(3x) = 4.cos³(x)-3cos(x)
cos(5x) = Re((cos(x) + isin(x)))^5 = cos^5(x) - 10.cos³(x).(1-cos²(x)) + 5.cos(x).(1-cos²(x))²
cos(5x) = cos^5(x) - 10.cos³(x) + 10cos^5(x) + 5.cos(x).(1+cos^4(x)-2cos²(x))
cos(5x) = cos^5(x) - 10.cos³(x) + 10cos^5(x) + 5.cos(x) + 5cos^5(x)- 10cos³(x)
cos(5x) = 16cos^5(x) - 20.cos³(x) + 5.cos(x)
cos(3x) + cos(5x) = 16cos^5(x) - 16.cos³(x) + 2.cos(x)
16cos^5(x) - 16.cos³(x) + 2.cos(x) <= cos(x)
cos(x) = 0 convient,
Si cos(x) diff de 0 --> 16cos^4(x) - 16.cos²(x) + 2 <= 1
16cos^4(x) - 16.cos²(x) + 1 <= 0
Inéquation bicarrée en cos(x) --> facile à résoudre (poser cos²(x) = X)
16X² - 16X + 1 <= 0 (avec X dans ]0 ; 1])
X = [8 +/- V(64 - 16)]/16
X = [8 +/- V48]/16
cos²(x) = [8 +/- 4.V3]/16
cos²(x) = [2 +/- V3]/4
cos(x) = +/-V(2 +/- V3)/2
(cosx) - (2 - V3)/).(cosx) - (4 + V12)/8).(cosx) - (-4 - V12)/8).(cosx) - (-4 + V12)/8) <= 0
(cos(x) - V(2 - V3)/2).(cos(x) - V(2 + V3)/2).(cos(x) + V(2 - V3)/2).(cos(x) + V(2 + V3)/2) <= 0
Tableau de signes ...
- V(2 + V3)/2 <= cos(x) <= - V(2 - V3)/2 OU V(2 - V3)/2 <= cos(x) <= V(2 + V3)/2
x compris dans [Pi/12 ; 5Pi/12] U [Pi/2 ; 7Pi/12] U [11Pi/12 ; Pi] (mod Pi)