Adloun

La série harmonique alternée, certifiée

Application directe du cours · niveau 2 · mathématiques (PTSI), chapitre 14 — Intégration · E. Inégalité de Taylor-Lagrange

Énoncé

Montrer que pour tout : , et en déduire la limite des sommes partielles 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 série harmonique alternée. Prenons :

C'est la deuxième fois que apparaît dans ce chapitre : d'abord comme limite de la somme de Riemann , maintenant comme limite des sommes partielles 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 par la somme des inverses des factorielles, une dizaine de termes suffisent, parce que le majorant de Taylor-Lagrange y est 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 sommes 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 limites de sommes. 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.