La série harmonique alternée, certifiée
Application directe du cours · niveau 2 · mathématiques (PCSI), chapitre 13 — Intégration · E. Inégalité de Taylor-Lagrange
Énoncé
Montrer que pour tout : , et en déduire la somme de la série harmonique alternée.
Corrigé
Stratégie : appliquer l'inégalité de Taylor-Lagrange, en majorant la dérivée sur tout le segment. Toute la difficulté est de calculer les dérivées successives du logarithme, puis de majorer la dérivée d'ordre — au bon endroit.
1) Les dérivées successives. Pour sur :
pour , ce qu'une récurrence immédiate établit. En : et , donc
Le polynôme de Taylor d'ordre en est donc exactement , celui de l'énoncé.
2) La majoration de la dérivée d'ordre . On a . Sur le segment , cette quantité est maximale en , où elle vaut . Donc on peut prendre .
⚠️ Le point délicat est le lieu où l'on majore. La tentation est d'évaluer la dérivée au point qu'on étudie, ce qui donnerait — un nombre plus petit, donc une majoration plus belle… et fausse. L'inégalité de Taylor-Lagrange exige un majorant valable sur tout le segment joignant à , et le maximum y est atteint à l'extrémité . Une borne prise ailleurs ne majore rien.
3) L'inégalité. L'inégalité de Taylor-Lagrange en donne, pour :
la dernière majoration venant de .
4) La somme de la série harmonique alternée. Prenons :
C'est la troisième fois que apparaît dans ce chapitre et le précédent : comme limite de suites adjacentes, comme limite de la somme de Riemann , et maintenant comme somme de la série harmonique alternée.
Contrôle numérique en . La somme partielle vaut , à comparer à . L'écart est , bien inférieur à la borne annoncée ✓.
⚠️ Et voici le contraste à retenir. Pour approcher à près, neuf termes suffisaient, parce que le majorant était en : une factorielle. Ici le majorant est en : il faut de l'ordre de mille termes pour trois décimales, et un million pour six. Deux séries qui se ressemblent, deux vitesses de convergence sans commune mesure — et c'est le majorant de Taylor-Lagrange qui le dit, avant tout calcul.
Ce que l'exercice installe. L'inégalité de Taylor-Lagrange ne fait pas que certifier une valeur approchée : en faisant tendre vers l'infini, elle calcule des sommes de séries. Elle est l'outil qui relie une fonction à son développement en puissances.
Les autres exercices de ce chapitre Le cours du chapitre
Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.