Bonjours à tous !
J'ai un exercice que je n'arrive pas à résoudre,
Soit f une fonction définie pour tout réel diférent de 0 par :
f(x) = exp ( -1/x² )
On demande de montrer que la dérivée n-ième de cette fonction peut être exprimer comme le produit de f et d'un polynome P(1/x).
En partant de la dérivée de f on montre aisément que les conditions d'application de la formule de Leibniz sont vérifiées pour tout interalle privé de 0... De plus cette formule me parait toute indiquée afin de trouver un polynôme. Les dérivées successives de f donneront toujours un terme exp(1/x²), donc pas de probleme pour mettre ce terme en facteur. En revanche je n'arrive pas à me dépatouiller avec mes dérivées d'ordre k et n-k afin de faire apparaitre mon polynome.
Meric à tous ceux qui pourront me donner des indications !
-----