ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 5 — Fonctions usuelles et dérivation pratique · Fonctions circulaires réciproques

Exercice 41

Démonstration

1. Montrer que, pour tout réel xx, Arctan⁡(x+1)−Arctan⁡x=Arctan⁡1x2+x+1\operatorname{Arctan}(x + 1) - \operatorname{Arctan} x = \operatorname{Arctan}\dfrac{1}{x^{2} + x + 1}.

2. En déduire une expression simple de Sn=∑k=0nArctan⁡1k2+k+1S_{n} = \displaystyle\sum_{k=0}^{n} \operatorname{Arctan}\frac{1}{k^{2} + k + 1} pour tout n∈ℕn \in \mathbb{N}, puis la limite de SnS_{n} lorsque nn tend vers +∞+\infty.

Corrigé

1. On applique l'exercice 38 avec a=x+1a = x + 1 et b=−xb = -x : 1−ab=1+x+x2>01 - ab = 1 + x + x^{2} > 0, donc ab<1ab < 1 et k=0k = 0. Arctan⁡(x+1)+Arctan⁡(−x)=Arctan⁡(x+1)−x1+x(x+1),\operatorname{Arctan}(x + 1) + \operatorname{Arctan}(-x) = \operatorname{Arctan}\frac{(x + 1) - x}{1 + x(x + 1)},

Arctan⁡(x+1)−Arctan⁡x=Arctan⁡1x2+x+1\boxed{\operatorname{Arctan}(x + 1) - \operatorname{Arctan} x = \operatorname{Arctan}\frac{1}{x^{2} + x + 1}} 2. La somme est télescopique, comme au chapitre 3 : Sn=∑k=0n(Arctan⁡(k+1)−Arctan⁡k)=Arctan⁡(n+1)−Arctan⁡0,Sn=Arctan⁡(n+1)→n→+∞π2S_{n} = \sum_{k=0}^{n}\big(\operatorname{Arctan}(k + 1) - \operatorname{Arctan} k\big) = \operatorname{Arctan}(n + 1) - \operatorname{Arctan} 0, \qquad \boxed{S_{n} = \operatorname{Arctan}(n + 1) \xrightarrow[n \to +\infty]{} \frac{\pi}{2}}

Ouvrir dans l'atlas interactif →