ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 10 — Analyse asymptotique et développements limités · Applications à l'étude locale

Exercice 34

Calcul

La somme des cubes. Soit n⩾1n \geqslant 1 et f:x↦e(n+1)x−1ex−1f : x \mapsto \dfrac{\mathrm{e}^{(n+1)x} - 1}{\mathrm{e}^{x} - 1}, prolongée par f(0)=n+1f(0) = n + 1.

1. Écrire f(x)f(x) comme une somme de n+1n + 1 exponentielles, et en déduire le développement limité de ff à l'ordre 33 en 00, sous la forme d'une expression contenant les sommes ∑kp\sum k^{p}.

2. Calculer ce même développement à partir de l'expression de ff comme quotient, et en déduire la valeur de ∑k=1nk3\displaystyle\sum_{k=1}^{n} k^{3}.

Corrigé

1. Par la somme géométrique, f(x)=∑k=0nekxf(x) = \sum_{k=0}^{n} \mathrm{e}^{kx} pour x≠0x \neq 0, et aussi pour x=0x = 0. En développant chaque exponentielle, f(x)=∑k=0n(1+kx+k2x22+k3x36)+o(x3)=(n+1)+(∑k)x+12(∑k2)x2+16(∑k3)x3+o(x3).f(x) = \sum_{k=0}^{n} \Big(1 + kx + \frac{k^{2}x^{2}}{2} + \frac{k^{3}x^{3}}{6}\Big) + o(x^{3}) = (n + 1) + \Big(\sum k\Big)x + \frac{1}{2}\Big(\sum k^{2}\Big)x^{2} + \frac{1}{6}\Big(\sum k^{3}\Big)x^{3} + o(x^{3}).

2. À partir du quotient, en écrivant e(n+1)x−1=(n+1)x(1+(n+1)x2+(n+1)2x26+(n+1)3x324)+o(x4)\mathrm{e}^{(n+1)x} - 1 = (n + 1)x\Big(1 + \frac{(n + 1)x}{2} + \frac{(n + 1)^{2}x^{2}}{6} + \frac{(n + 1)^{3}x^{3}}{24}\Big) + o(x^{4}) et de même pour ex−1\mathrm{e}^{x} - 1, puis en divisant, le calcul donne le coefficient de x3x^{3} : n424+n312+n224=n2(n+1)224.\frac{n^{4}}{24} + \frac{n^{3}}{12} + \frac{n^{2}}{24} = \frac{n^{2}(n + 1)^{2}}{24}. Par unicité du développement, 16∑k=1nk3=n2(n+1)224\frac{1}{6}\sum_{k=1}^{n} k^{3} = \frac{n^{2}(n + 1)^{2}}{24}. ∑k=1nk3=n2(n+1)24=(n(n+1)2)2\boxed{\sum_{k=1}^{n} k^{3} = \frac{n^{2}(n + 1)^{2}}{4} = \Big(\frac{n(n + 1)}{2}\Big)^{2}} Les coefficients d'ordre 11 et 22 redonnent de même les sommes n(n+1)2\frac{n(n + 1)}{2} et n(n+1)(2n+1)6\frac{n(n + 1)(2n + 1)}{6} du chapitre 3.

Ouvrir dans l'atlas interactif →