![icone-math-OS-Exos](https://math-os.com/wp-content/uploads/2017/08/icone-Math-OS-Exos-205x205.png)
![exercice 1 facile](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv1-1-small.png)
Il suffit de voir que l’ensemble des diviseurs de (et à plus forte raison celui des diviseurs impairs) est inclus dans
ce qui entraîne évidemment que :
![exercice 2 facile](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv1-2-small.png)
Fixons tel que
Pour
assez grand :
![Rendered by QuickLaTeX.com \sum_{n\geqslant1}\left(L+\epsilon\right)^{n}](https://math-os.com/wp-content/ql-cache/quicklatex.com-39fe417494a35a623aad99b4b34f004c_l3.png)
Exemple d’utilisation
Si l’on pose, pour tout :
![Rendered by QuickLaTeX.com {\displaystyle\sum_{n\geqslant1}\left(1-\frac{1}{n}\right)^{n^{2}}}](https://math-os.com/wp-content/ql-cache/quicklatex.com-68a4fafcc85830c583d6596f67982d3b_l3.png)
Remarque
Cette méthode (qui donne une condition suffisante de convergence pour une série à termes positifs) est connue sous le nom de règle de Cauchy.
![exercice 3 facile](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv1-3-small.png)
La propriété des croissances comparées (entre une exponentielle et une puissance) nous dit que, peu importe la valeur du réel :
![Rendered by QuickLaTeX.com n\in\mathbb{N}^{\star}](https://math-os.com/wp-content/ql-cache/quicklatex.com-bec2a43342e25da8aef3e70f95e615da_l3.png)
![Rendered by QuickLaTeX.com \lambda](https://math-os.com/wp-content/ql-cache/quicklatex.com-48cc72bac4e271ae2cdb96178d5834aa_l3.png)
![Rendered by QuickLaTeX.com \mu=\lambda+2.](https://math-os.com/wp-content/ql-cache/quicklatex.com-c8a71e1c33cbfb6dad01a02331cabf74_l3.png)
![Rendered by QuickLaTeX.com N\in\mathbb{N}^{\star}](https://math-os.com/wp-content/ql-cache/quicklatex.com-5628ef48aabed4a4e3d410f5f7222fb5_l3.png)
![Rendered by QuickLaTeX.com {\displaystyle \sum_{n\geqslant1}n^{\lambda}e^{-\sqrt{n}}}](https://math-os.com/wp-content/ql-cache/quicklatex.com-ac48d791f84eab007fe7437405742879_l3.png)
![Rendered by QuickLaTeX.com \lambda\in\mathbb{R}.](https://math-os.com/wp-content/ql-cache/quicklatex.com-05fc10d57d651d23ca6c9db8fc830b2f_l3.png)
![](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv2-4-small.png)
Pour tout et pour tout
vu que
:
![Rendered by QuickLaTeX.com v_{n}](https://math-os.com/wp-content/ql-cache/quicklatex.com-2cd661cf28bb3e2e6e3f7de1d29b68c2_l3.png)
![Rendered by QuickLaTeX.com n\rightarrow+\infty](https://math-os.com/wp-content/ql-cache/quicklatex.com-db79133ae1e4d6e66bda65a2ea459230_l3.png)
![Rendered by QuickLaTeX.com {\displaystyle \sum_{n\geqslant1}u_{n}}](https://math-os.com/wp-content/ql-cache/quicklatex.com-2fdfba44852fb12dd090e8ca4fdc84a6_l3.png)
Remarque
Dans ce qui précède, l’exposant 3 ne joue aucun rôle particulier et peut être remplacé par n’importe quel réel fixé.
![](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv2-5-small.png)
On observe que :
![Rendered by QuickLaTeX.com {\displaystyle \sum_{n\geqslant1}u_{n}.}](https://math-os.com/wp-content/ql-cache/quicklatex.com-aa4408cd3eb0071d35893716b6686ae7_l3.png)
![](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv2-6-small.png)
Observons pour commencer que, si l’on pose :
![Rendered by QuickLaTeX.com \left(q_{n}\right)_{n\geqslant1}](https://math-os.com/wp-content/ql-cache/quicklatex.com-39f2d787c3c38398a3bab5fafef68c32_l3.png)
![Rendered by QuickLaTeX.com {\displaystyle \sum_{n\geqslant1}q_{n}.}](https://math-os.com/wp-content/ql-cache/quicklatex.com-6a2d340a93aa457be4f44e6d548773d4_l3.png)
L’idée est de reprendre le développement asymptotique précédent, mais avec une précision accrue. On part de :
![Rendered by QuickLaTeX.com {\displaystyle \sum_{n\geqslant1}q_{n}}](https://math-os.com/wp-content/ql-cache/quicklatex.com-ef0d7ddfe00c1bede7d53d2df7000d3d_l3.png)
![](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv2-7-small.png)
Il est connu que, pour tout :
![Rendered by QuickLaTeX.com \left(x_{n}\right)_{n\geqslant0}](https://math-os.com/wp-content/ql-cache/quicklatex.com-5ad781c6854f377bcb8fe95acd1fa231_l3.png)
par hypothèse
- si
pour un certain
alors
car
La suite converge donc vers un réel
En passant à la limite dans l’égalité
et compte tenu de la continuité de la fonction exponentielle :
Or, une étude (non détaillée) des variations de montre que cette application possède 0 comme unique point fixe. Ainsi
On peut maintenant utiliser le développement limité au second ordre :
![Rendered by QuickLaTeX.com \displaystyle{\lim_{n\to\infty}x_n=0}](https://math-os.com/wp-content/ql-cache/quicklatex.com-b08f1e59f42354709b4d15867b03f080_l3.png)
Donc, étant donné :
![Rendered by QuickLaTeX.com \lambda=-1](https://math-os.com/wp-content/ql-cache/quicklatex.com-03c0e6bfdf31f66111921ec70ea56fd8_l3.png)
![Rendered by QuickLaTeX.com {\displaystyle \sum_{n\geqslant0}x_{n}.}](https://math-os.com/wp-content/ql-cache/quicklatex.com-f7cd281debe56905013852520ccf06c0_l3.png)
![](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv3-8-small.png)
En posant et
si
on constate que, pour tout
:
![Rendered by QuickLaTeX.com n\geqslant1](https://math-os.com/wp-content/ql-cache/quicklatex.com-7f7b4182cdcb25662bd6fa9413f61256_l3.png)
![Rendered by QuickLaTeX.com \left(b_{n}\right)_{n\geqslant1}](https://math-os.com/wp-content/ql-cache/quicklatex.com-adf0ee50c26b9e43f37100d42ea291c9_l3.png)
![Rendered by QuickLaTeX.com \beta](https://math-os.com/wp-content/ql-cache/quicklatex.com-b0523fd5d92e6fd3874f5a133e5216a9_l3.png)
La suite est aussi convergente (c’est par hypothèse la suite des sommes partielles d’une série convergente). Notons
sa limite et notons
un majorant de
Alors, d’une part :
![Rendered by QuickLaTeX.com {\displaystyle \sum_{k\geqslant1}\left|A_{k}\left(b_{k}-b_{k+1}\right)\right|}](https://math-os.com/wp-content/ql-cache/quicklatex.com-6d6913e32ceddee5e19aeed7d8699784_l3.png)
![Rendered by QuickLaTeX.com {\displaystyle \sum_{k\geqslant1}A_{k}\left(b_{k+1}-b_{k}\right)}](https://math-os.com/wp-content/ql-cache/quicklatex.com-fad96866d2d00f1fc22dfeade69be796_l3.png)
![Rendered by QuickLaTeX.com S](https://math-os.com/wp-content/ql-cache/quicklatex.com-7b7c84da040bd16a50f5ba371b2c348f_l3.png)
![Rendered by QuickLaTeX.com {\displaystyle \sum_{n\geqslant1}a_{n}b_{n}.}](https://math-os.com/wp-content/ql-cache/quicklatex.com-3e845582fc0b1d3669f6cbb1570c577c_l3.png)
![exercice 9 difficile](https://math-os.com/wp-content/uploads/2017/08/TitreExo-Niv3-9-small.png)
Une possibilité consiste à poser, pour tout :
![Rendered by QuickLaTeX.com \left(t_{n}\right)_{n\geqslant1}](https://math-os.com/wp-content/ql-cache/quicklatex.com-2a22271f49520773ecbf5911d7210187_l3.png)
Quant aux sommes partielles on reconnaît qu’il s’agit de sommes géométriques (de raison
et on les calcule donc comme suit :
![Rendered by QuickLaTeX.com {\displaystyle \sum_{n\geqslant1}\frac{e^{2in\pi/3}}{n^{1/3}}}](https://math-os.com/wp-content/ql-cache/quicklatex.com-43f2936fdb3635254fd50dd1cb11cb63_l3.png)
Cependant, la série diverge, puisque son terme général n’est autre que
Si un point n’est pas clair ou vous paraît insuffisamment détaillé, n’hésitez pas à poster un commentaire ou à me joindre via le formulaire de contact.