f^n = (x² + a_n * x + b_n)e^x
f^(n+1) = (x² + a_n * x + b_n)e^x + (2x + a_n)e^x
=(x² + (a_n + 2)x + (b_n + a_n) )e^x
Ce que tu as trouvé est donc juste, et la propriété est héréditaire puisqu'on obtient bien e^x multiplié par un polynome du second degré.
Reste à montrer qu'elle est vraie pour tout n>1, ce que tu as fais en prouvant qu'elle est héréditaire et vraie au rang 1.
Un exercice un peu plus intéressant aurait pu être de demander directement l'expression de la derivée n-ième en fonction de n. 