Conjecturer puis démontrer par récurrence l'expression de la dérivée nième d'une fonction

bonjours
j aimerai de l'aide pour mon exercice
on a une fonction f définie sur R par : f(x)=cosx
on doit demontrer par recurrence que pour tout entier naturel n $f^{(n)}$ (x)=cos(x+n( $p i$ /2)

je sais que $f^{(n)}$ désigne la fonction dérivée nième de la fonction f et que la dérivée 0ième de la fonction f : $f^{(0)}$ =f

au départ j ai démontré que p(0) est vrai
$f^{(0)}$ (x) = f(x)
et cos (x+ 0* $p i$ /2) = cos x

ensuite pour l'hérédité j'ai des problème
il faut arriver à démontrer que $f^{(n+1)}$ (x) = cos(x+(n+1)( $p i$ /2))

je ne sais pas par quoi commencer
pourriez vous m aider sans me donner la réponce

Bonjour,
Partant de $f^{(n) }$ (x)=cos(x+n(π/2)) , dérive.
Ensuite, souviens-toi des formules de trigo : cos ( α + π/2) = ...

merci de vouloir m aider

donc pour moi la dérivé de $f^{(n)}$ (x) est -sin(x+n( $p i$ /2))

puis je ne comprend pas pourquoi les formules trigo vont m aider mais
cos ( α + $p i$ /2) = -sin α

Pose α = x + π/2

si α = x + $p i$ /2
alors cos ( (x + $p i$ /2) + $p i$ /2) = - sin ( x + $p i$ /2)
cos ( x + $p i$ ) = - sin ( x + $p i$ /2) (= - sin x )

apres je pourais remplacer - sin ( x + $p i$ /2) par le résultat trouvé mais je ne suis pas sur de moi

Tu as trouvé $f^{(n+1)}$ (x) = -sin(x+n(π/2)) = - sin α
= cos ( α + π/2) = cos ( x + n(π/2) + π/2 )= ...

J'ai dû oublier le "n" dans mon précédent message.

cos ( x + n ( $p i$ /2) + $p i$ /2) = cos ( x + (n+1) ( $p i$ /2) )
donc on a bien démontrer que f $^{(n+1)}$ (x) = cos ( x + (n+1) ( $p i$ /2) )

merci beaucoup tu m'as beaucoup aidé sa fait 3 jours que je bloquais dessus
merci encore

De rien
A+