$$
\newcommand{\SetN}{\mathbb{N}}
\newcommand{\SetR}{\mathbb{R}}
\newcommand{\SetC}{\mathbb{C}}
\newcommand{\SetK}{\mathbb{K}}
\newcommand{\SetZ}{\mathbb{Z}}
\newcommand{\SetQ}{\mathbb{Q}}
\newcommand{\SetU}{\mathbb{U}}
\newcommand\ds[0]{\displaystyle}
\newcommand\PCar[1]{\large{\chi}_{#1}}
\newcommand{\=}{\:=\:}
\newcommand\tendvers[2]{\displaystyle\mathop{\longrightarrow}_{#1\rightarrow#2}}
\newcommand\tr[0]{\:^t\!}
\newcommand\limite[2]{\displaystyle\mathop{\text{lim}}_{#1\rightarrow#2}\:}
\newcommand\Sup[1]{\displaystyle\mathop{sup}_{#1}}
\newcommand\Inf[1]{\displaystyle\mathop{inf}_{#1}}
\newcommand\Haut[1]{}
\newcommand\vect[1]{\overrightarrow{#1}}
\newcommand\tendversCU[0]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{_{CU}}\:}
\newcommand\tendversCS[0]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{_{CS}}\:}
\newcommand\tendversCN[0]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{_{CN}}\:}
\newcommand\tendversCUS[0]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{_{CUS}}\:}
\newcommand\tendversNorme[1]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{#1}\:}
\newcommand\simL[0]{\displaystyle\mathop{\sim}_{^{^L}}}
\newcommand\simC[0]{\displaystyle\mathop{\sim}_{^{^C}}}
\newcommand\simLC[0]{\displaystyle\mathop{\sim}_{^{^{LC}}}}
\newcommand\fonction[5]{
\begin{array}{cccc}
#1\::\:& #2 & \rightarrow & #3 \\
& #4 & \mapsto & \ds #5 \
\end{array}}
$$
| Exercice 1. Taylor Reste intégrale + application |
Soit $f$ une application $C^{n+1}$ d'un intervalle $I$ de $\SetR$ dans $\SetR$.
- Montrer par récurrence sur $n$ que pour tous $x$ et $a$ dans $I$ :
$$f(x)\=f(a)\:+\:f'(a)(x-a)\:+\:...\:+\:f^{(n)}(a)\frac{(x-a)^n}{n!}\:+\:\int_a^xf^{(n+1)}(t)\frac{(x-t)^n}{n!}dt$$
C'est la formule de Taylor Reste intégrale.
- Montrer pour tout $n$ de $\SetN$ que :
$$f^{(n+1)}=0\:\:\:\Longleftrightarrow\:\:\:f\in\SetR_n[X]$$
On assimile ici polynôme et fonction polynôme.
|
| Indice |
Correction |
Modifier |
Autres
infos |
| 1 |
Pour $n = 0$, puisque $f$ est continue :
$$
\int_a^x f^{(n+1)}(t)\frac{(x-t)^n}{n!} \, dt \:\=\: \int_a^x f'(t) \, dt \:\=\: {\Big[f(t)\Big]}_a^x \:\=\: f(x) - f(a)
$$
La proposition est initialisée. Supposons le résultat vrai pour $n$ fixé dans $\SetN$ et montrons-le pour $n+1$.
$$
\begin{array}{llll}
f(x)&\:\=\:
&\ds\sum_{k=0}^{n}f^{(k)}(a)\frac{(x-a)^k}{k!}\:\:+\:\:
\int_a^x f^{(n+1)}(t)\frac{(x-t)^{n}}{n!} \, dt &\text{Par hypothèse de récurrence}\\
&\:\=\:
&\ds\sum_{k=0}^{n}f^{(k)}(a)\frac{(x-a)^k}{k!}\:\:+\:\:
\left[-f^{(n+1)}(t)\frac{(x-t)^{n+1}}{(n+1)!} \right]_a^x
\:+\: \int_a^x f^{(n+2)}(t)\frac{(x-t)^{n+1}}{(n+1)!} \, dt\hskip1cm~&\text{Par IPP}\\
&\:\=\:
&\ds\sum_{k=0}^{n+1}f^{(k)}(a)\frac{(x-a)^k}{k!}\:\:+\:\:
\int_a^x f^{(n+2)}(t)\frac{(x-t)^{n+1}}{(n+1)!} \, dt&\\
\end{array}
$$
D'où le résultat de l'hérédité. La proposition est donc démontrée par récurrence pour tout $n$ de $\SetN$.
|
| 2 |
Montrer que :
$$f^{(n+1)}=0\:\:\:\Longleftrightarrow\:\:\:f\in\SetR_n[X]$$
$(\Longleftarrow)$
$$f \in \SetR_n[X] \:\implies\: f' \in \SetR_{n-1}[X] \:\implies\: \dots \:\implies\: f^{(n)} \in \SetR_0[X] \:\implies\: f^{(n+1)} = 0$$
$(\Longrightarrow)$ On applique la formule de Taylor-Lagrange reste intégrale en $a = 0$ :
$$
f(x) \= f(0) + f'(0)x + \dots + \frac{f^{(n)}(0)}{n!}x^n + \int_0^x \frac{f^{(n+1)}(t)}{n!}(x-t)^n \, dt.
$$
Comme $f^{(n+1)} = 0$, on obtient
$$
f(x) \= f(0) + f'(0)x + \dots + \frac{f^{(n)}(0)}{n!}x^n \:\in\: \mathcal{R}_n[X].
$$
|
|
| Pas d'indice disponible. |
Pas de thème, pas de niveau pour cet exercice.
|
| Si vous avez vu une erreur ou si une démonstration manque, vous pouvez modifier l'exercice.Il faut cependant être connecté. |
| |
| Exercice 2. $u_{n+1}=\sqrt{2+u_n}$ |
| Montrer que la suite $(u_n)$ définie par :
$$\forall n\in\SetN,\:\:u_{n+1}=\sqrt{2+u_n}$$
et $u_0\in[-2;+\infty[$, converge vers une limite indépendante de $u_0$.
|
| Indice |
Correction |
Modifier |
Autres
infos |
| Pas de correction disponible. |
| Pas d'indice disponible. |
Thèmes abordés et niveau :
Cours
Rappels et compléments d'algèbre linéaire
|
| Si vous avez vu une erreur ou si une démonstration manque, vous pouvez modifier l'exercice.Il faut cependant être connecté. |
| |
| Exercice 3. $\ds\phi(x)\=\int_1^{+\infty}\frac{dt}{1+t^x}$ |
Pour tout $x$ de $\SetR$, on définit :
$$\phi(x)\=\int_1^{+\infty}\!\!\frac{dt}{1+t^x}$$
- Déterminer le domaine de définition de $\phi$.
- Montrer que $\phi$ est décroissante.
- Déterminer la limite de $\phi$ en $+\infty$.
|
| Indice |
Correction |
Modifier |
Autres
infos |
| Pas de correction disponible. |
| Pas d'indice disponible. |
Pas de thème, pas de niveau pour cet exercice.
|
| Si vous avez vu une erreur ou si une démonstration manque, vous pouvez modifier l'exercice.Il faut cependant être connecté. |
| |
| Exercice 4. Calcul de : $\ds\int_0^{+\infty}\frac{1}{1+t^4}dt$ |
Posons $$%
I=\int_0^{+\infty}\frac{1}{1+t^4}dt\hskip3cm%
J=\int_0^{+\infty}\frac{t^2}{1+t^4}dt%
$$
- Montrer que $\:I\:$ et $\:J\:$ convergent.
- Montrer que $\:I=J\:$.
- Calculer $\:I+J\:$ en effectuant le changement de variable $\:x=t-\frac{1}{t}\:$. En déduire la valeur de $I$.
|
| Indice |
Correction |
Modifier |
Autres
infos |
| Pas de correction disponible. |
| Pas d'indice disponible. |
Thèmes abordés et niveau :
Niveau 2
Intégrales généralisées
|
| Si vous avez vu une erreur ou si une démonstration manque, vous pouvez modifier l'exercice.Il faut cependant être connecté. |
| |
| Exercice 5. Équivalent de $\ds\int_0^x\frac{arctan(t)}{t}dt$ |
- Déterminer la nature des intégrales suivantes :
$$
\int_1^{+\infty}\frac{\arctan(t)}{t}dt
\hskip2cm
\int_1^{+\infty}\frac{\arctan(1/t)}{t}dt
$$
- En déduire un équivalent quand $x$ tend vers $+\infty$ de :
$$\int_1^{x}\frac{\arctan(t)}{t}dt$$
|
| Indice |
Correction |
Modifier |
Autres
infos |
| Pas de correction disponible. |
| Pas d'indice disponible. |
Pas de thème, pas de niveau pour cet exercice.
|
| Si vous avez vu une erreur ou si une démonstration manque, vous pouvez modifier l'exercice.Il faut cependant être connecté. |
| |
Eric Reynaud. PSI, Lycée A.Daudet, Nîmes
