« Série numérique/Exercices/Série harmonique » : différence entre les versions
Contenu supprimé Contenu ajouté
Fusion d'historiques |
preuve plus simple |
||
Ligne 25 :
== Question 2 ==
Montrer que
{{Solution|contenu=
Pour <math>n\ge2</math>, <math>u_n=\frac1n+\ln\left(1-\frac1n\right)=o\left(\frac1{n^2}\right)</math> donc la série <math>\sum_{n\ge1}u_n</math> converge.
:<math>\sum_{k=1}^nu_k=1+\sum_{k=2}^n\left(\frac1k-\ln k+\ln(k-1)\right)=H_n-\ln n</math>
donc <math>H_n-\ln n\to\sum_{n\ge1}u_n</math>.
}}
{{Wikipédia|Constante d'Euler-Mascheroni}}▼
:<math>H_n=\ln n+\gamma+\varepsilon_n</math> avec <math>\lim_{n\to+\infty}\varepsilon_n=0</math>.▼
== Question 3==
Retrouver le résultat de la question 2 en montrant que les suites <math>u_n=H_{n-1}-\ln n</math> et <math>v_n=H_n-\ln n</math> (définies pour <math>n\ge1</math>) sont [[Approfondissement sur les suites numériques/Suites adjacentes|adjacentes]].
{{Solution|contenu=
Ligne 38 ⟶ 49 :
*:En particulier pour tout entier <math>n\ge1</math>, <math>v_{n+1}-v_n=g\left(\frac1{n+1}\right)<0</math>.
}}
▲{{Wikipédia|Constante d'Euler-Mascheroni}}
▲Leur limite commune est la constante d'Euler, notée <math>\gamma</math>. Elle vérifie donc :
▲:<math>H_n=\ln n+\gamma+\varepsilon_n</math> avec <math>\lim_{n\to+\infty}\varepsilon_n=0</math>.
== Question
{{Solution|contenu=
Ligne 57 ⟶ 63 :
:<math>\sum_{k=1}^{\infty}\frac1{2k(2k+1)}=1-\ln2</math>.
}}
{{Bas de page
|