L’affirmation est vraieSoit
f une fonction dérivable sur
R définie par
f(x)=cos(x).
Pour tout réel
x, on a alors :
f′(x)=−sin(x)Soit
f une fonction dérivable sur
R définie par
f(x)=sin(x).
Pour tout réel
x, on a alors :
f′(x)=cos(x)Soit
f(t)=cos(t)+2sin(t)Nous allons commencer par calculer
f′ puis
f′′ .
Il vient alors que :
f′(t)=−sin(t)+2cos(t) puis
f′′(t)=−cos(t)−2sin(t)Dans un premier temps, vérifions si
f est solution de
y′′+y=0.
Ainsi :
f′′(t)+f(t)=−cos(t)−2sin(t)+cos(t)+2sin(t) f′′(t)+f(t)=0 donc
f est bien solution de
(E) Il faut également vérifier si
f(0)=1 et
f′(0)=2D’une part : Comme
f(t)=cos(t)+2sin(t) alors
f(0)=cos(0)+2sin(0) ce qui donne bien
f(0)=1D’une part : Comme
f′(t)=−sin(t)+2cos(t) alors
f′(0)=−sin(0)+2cos(0) ce qui donne bien
f′(0)=2Il en résulte donc que la fonction
f(t)=cos(t)+2sin(t) vérifie l’équation différentielle
(E) :y′′+y=0 avec les conditions initiales
y(0)=1 et
y′(0)=2.