ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Extrema, théorèmes de Rolle et des accroissements finis
Exercice 16
Soit une fonction polynomiale. Montrer que l'équation n'a qu'un nombre fini de solutions réelles. On raisonnera par récurrence sur le degré de , en appliquant le théorème de Rolle à .
Corrigé
Si , l'équation n'a pas de solution. Sinon, soit le degré de , et , dont les zéros sont exactement les solutions de l'équation. La fonction est dérivable sur , et Le polynôme a le même terme dominant que : il est de degré , non nul, et s'annule donc au plus fois (chapitre 3). Ainsi s'annule au plus fois. Si s'annulait en points distincts, le théorème de Rolle fournirait zéros distincts de , ce qui est impossible. L'énoncé suggérait une récurrence sur le degré ; l'application directe du théorème de Rolle à la rend inutile, et donne en outre une borne explicite. La borne est atteinte pour : l'équation a deux solutions, car la fonction croît de à sur puis décroît vers .