bonsoir,
j'ai un dm et je sais pas trop par kl bout commencer
voici l'énoncé:
demontrer que pour tout x de /R, on a la relation:
sin^4(x)=3/8 -1/2*cos2x+1/8*cos4x
samgave a écrit:bonsoir,
j'ai un dm et je sais pas trop par kl bout commencer
voici l'énoncé:
demontrer que pour tout x de /R, on a la relation:
sin^4(x)=3/8 -1/2*cos2x+1/8*cos4x
Trident a écrit:On te demande en gros de linéariser sin^4(x).
Pour cela, il faut que tu utilises les formules d'Euler :
cos(x) = 1/2 [e^(ix) + e^(-ix)]
sin(x) = 1/(2i) [e^(ix) - e^(-ix)]
Et ce, quelque soit x (à connaître par coeur).
Donc :
sin^4(x) = [ 1/(2i) [e^(ix) - e^(-ix)] ] ^4 = 1/16 * [ e^(ix) - e^(-ix) ]^4
Or, pour tout a et b complexes, d'après la formule du binôme de Newton, on a :
(a+b)^4 = a^4 + 4a^3b + 6a²b² + 4ab^3 + b^4
Donc, on en déduit :
[ e^(ix) - e^(-ix) ]^4 = e^(4ix) - 4e^(3ix)e^(-ix) + 6e^(2ix)e^(-2ix) -4e^(ix)e^(-3ix) + e^(-4ix)
soit (en arrangeant un peu tout ça)
[ e^(ix) - e^(-ix) ]^4 = e^(4ix) + e^(-4ix) -4[ e^(2ix)+e^(-2ix)] + 6e^0
On réutilise les formules d'Euler :
cos(4x) = 1/2 [e^(4ix) + e^(-4ix)]
donc e^(4ix) +e^(-4ix) = 2cos(4x) etc... pour en déduire que :
[ e^(ix) - e^(-ix) ]^4 = e^(4ix) + e^(-4ix) -4[ e^(2ix)+e^(-2ix)] + 6e^0
[ e^(ix) - e^(-ix) ]^4 = 2cos(4x) - 8cos(2x) + 6
et finalement, de cette formule de départ :
sin^4(x) = 1/16 * [ e^(ix) - e^(-ix) ]^4
on déduit :
sin^4(x) = 1/16 * [2cos(4x) - 8cos(2x) + 6] = (1/8)*cos(4x) - (1/2)*cos(2x) + 3/8
Je t'ai tout détaillé volontairement car normalement, c'est pas trop au programme du lycée (c'est à la limite disons), mais attention à bien retenir la méthode qui se base essentiellement sur
-les formules d'Euler
-la formule du binôme de Newton
samgave a écrit:bonsoir,
j'ai un dm et je sais pas trop par kl bout commencer
voici l'énoncé:
demontrer que pour tout x de /R, on a la relation:
sin^4(x)=3/8 -1/2*cos2x+1/8*cos4x
el niala a écrit:oui, et alors ? sin²X=1-cos²X
geegee t'a donné la réponse en poursuivant le raisonnement que je trouve plus élégant et plus simple que la démarche par Euler+Newton
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 796 invités
Tu pars déja ?
Identification
Pas encore inscrit ?
Ou identifiez-vous :