Mon parcours pour réussir en maths
Je révise en autonomie
Je progresse avec un prof
Je m’entraîne sur des annales corrigées
Avis Google France
★★★★★ 4,9 sur 5
Corrigé du sujet EM Lyon Maths ECS 2019
Revenir à tous les corrigés des annales maths BCE
Partie A. Étude d’un endomorphisme de polynômes
1/ Pour tout polynôme
de
,
est une somme de polynômes donc c’est un polynôme, de plus
donc
donc
en sommant on a :
donc
.
Soit
,
![]()
Donc
Donc
est linéaire.
Bilan :
est un endomorphisme de ![]()
2/ On calcule
et pour tout
,
![]()
Donc
![Rendered by QuickLaTeX.com \[\text{Mat}_{ {\cal B}}(\Psi_a)=\left( \begin{array}{ccccc}2& -a&0&\hdots & 0 \\0& 3 & -2a & 0& 0\\0& 0& 4 & \ddots & 0\\0 & \hdots & 0& \ddots& -na\\0 & \hdots & & 0& n+2\end{array} \right).\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-4c3e893f2f6a33dfe1b755e191acc18d_l3.png)
3/ a/
est triangulaire donc les valeurs de sa diagonale sont ses valeurs propres c’est-à-dire :
Il s’agit d’entiers consécutifs donc il y en a
or
donc
est diagonalisable et son spectre est ![]()
Bilan :
est diagonalisable et son spectre est ![]()
3/ b/
est un endomorphisme de
et 0 n’est pas dans le spectre de
donc ce dernier est bijectif.
Bilan :
est un automorphisme de ![]()
3/ c/ On a
Pour tout
de ![]()
Bilan : Pour tout
de ![]()
3/ d/ Pour tout
de
on voit que
n’est pas le polynôme nul donc
est vecteur propre de
associé à la valeur propre ![]()
Or le cardinal du spectre de
est égal à la dimension de
donc les sous-espaces propres de
sont tous de dimension 1 donc
à lui seul forme une base de sous-espaces propres ![]()
4/ a/ Pour tout polynôme
de
, on a
![]()
4/ b/ Pour tout polynôme
de
et pour tout réel
![]()
L’intégrale existe car on intègre une fonction continue sur un segment.
Or
![]()
Il reste le cas
pour cela on voit que ![]()
On a montré que les fonctions
et
coincident sur
donc elles sont égales, en particulier
est un polynôme de ![]()
Bilan : Pour tout polynôme
de
: ![]()
4/ c/ Soit
est bien définie sur
car les polynômes sont continues sur
donc on peut intégrer
sur le segment
pour tout réel ![]()
De plus
est bijective donc elle admet une fonction réciproque sur
Avec la question précédente, on peut écrire
![]()
Cela prouve que
et
coincident sur
donc elles sont égales, en particulier cela prouve que
est un endomorphisme bijectif de
.
Bilan :
est un automorphisme de
et
donc ![]()
4/ d/ Pour tout
on a
, on peut diviser par
et
donc ![]()
Or
est non nul et
est bijective donc
est non nul donc
est vecteur propre de
associé à ![]()
La fonction
est strictement décroissante sur
donc elle est injective donc
est de cardinal
comme
donc
possède
valeurs propres sur
donc elle est diagonalisable.
Bilan :
est diagonalisable et son spectre est ![]()
COURS DE MATHS
Les meilleurs professeurs particuliers
Pour progresser et réussir
Avis Google France ★★★★★ 4,9 sur 5
Partie B. Étude d’une fonction définie par une intégrale
5/ a/ On pose, pour tout
de
: ![]()
La fonction
est continue sur
donc par produit avec la fonction polynomiale
la fonction
est continue sur
donc elle admet une primitive, notée
sur
et
![]()
est dérivable sur
et sa dérivée est
Celle-ci est continue sur
donc
est
sur ![]()
Donc
est dérivable sur
et, pour tout
de
![]()
Bilan : La fonction
est de classe
sur
et, pour tout
de ![]()
5/ b/ Soit
Sur le segment
est continue donc elle admet un minimum atteint en un point noté
et un maximum atteint en un point noté
.
Ainsi, pour tout
on a
, on multiplie par
on a
![]()
On intègre sur
selon
avec
les fonctions en jeu sont bien continues, ainsi :
![Rendered by QuickLaTeX.com \[\underset{\text{\tiny{ind\'{e}pendant de $t$}}}{\underbrace{f\left(\alpha_x\right)}} \int_0^x t\; \text{d}t\leqslant \int_0^x tf(t)\text{d}t\leqslant \underset{\text{\tiny{ind\'{e}pendant de $t$}}}{\underbrace{f\left(\beta_x\right)}} \int_0^x t\; \text{d}t.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-f8ebd54a72acf5cbd7151c4c34debf2b_l3.png)
5/ c/ On reprend ce qui précède et on calcule ![]()
Donc
![]()
Donc en divisant par ![]()
![]()
On a
donc par encadrement
, par continuité de
en 0 on a ![]()
De façon analogue ![]()
Le théorème des gendarmes permet de conclure.
Bilan : ![]()
5/ d/ Soit
Sur le segment
est continue donc elle admet un minimum atteint en un point noté
et un maximum atteint en un point noté
.
Ainsi, pour tout
on a
, on multiplie par
on a
![]()
On intègre sur
selon
avec
les fonctions en jeu sont bien continues, ainsi :
![Rendered by QuickLaTeX.com \[\underset{\text{\tiny{ind\'ependant de $t$}}}{\underbrace{f\left(\beta_x\right)}} \int_x^0 t\; \text{d}t\leqslant \int_x^0 tf(t)\text{d}t\leqslant \underset{\text{\tiny{ind\'ependant de $t$}}}{\underbrace{f\left(\alpha_x\right)}} \int_x^0 t\; \text{d}t.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-be4f372eac116fae236a3cd3b4b7990f_l3.png)
On inverse les bornes des intégrales en multipliant par ![]()
![]()
On reprend ce qui précède et on calcule ![]()
Donc
![]()
Donc en divisant par ![]()
![]()
On a
donc par encadrement
, par continuité de
en 0 on a ![]()
De façon analogue ![]()
Le théorème des gendarmes permet de conclure.
Bilan : ![]()
6/ On a : 
Donc pour
or
donc
Donc
est continue en 0.
Sur
or
est
sur
et
est
sur
donc par produit
est
donc continue sur ![]()
De plus pour ![]()

Bilan :
est continue sur
et de classe
sur
et sur
et l’on a :
![]()
7/ a/ Soit
une fonction paire,
est définie sur
et pour tout
on a ![]()
Et, pour ![]()
![]()
On fait le changement de variable affine donc
Ainsi
![]()
Donc
De plus
Donc
est paire sur ![]()
Soit
une fonction impaire,
est définie sur
et pour tout
on a ![]()
Et, pour ![]()
![]()
On fait le changement de variable affine donc
Ainsi
![]()
Donc
De plus
car
est impaire donc ![]()
Donc
est impaire sur ![]()
Bilan : si
est une fonction paire (respectivement impaire), alors
est encore une fonction paire (respectivement impaire).
7/ b/ Soit
une fonction positive sur
Pour ![]()
![]()
Pour tout
Pour ![]()
![]()
Pour tout
Enfin ![]()
Bilan : si
est une fonction positive, alors
est encore une fonction positive.
8/ a/ On admet le résultat suivant :
![]()
Or pour
,
![]()
= ![]()
= ![]()
= ![]()
Or
donc ![]()
Bilan :![]()
8/ b/ Soit
On suppose
On pose
donc
En appliquant le résultat précédent, ![]()
Or pour
, ![]()
On refait le changement de variable
![]()
Or
donc
donc ![]()
Bilan :![]()
COURS A DOMICILE
Des cours sur mesure de qualité
POUR ACCÉLÉRER MA PROGRESSION
Avis Google France ★★★★★ 4,9 sur 5
Partie C. Une application en probabilité
9/ Soit
on sait que
est une fonction de répartition de loi à densité donc elle est continue, croissante et positive sur
donc, pour tout
on a
on multiplie par
et ![]()
On intègre sur
selon
avec
les fonctions en jeu sont bien continues ainsi
![Rendered by QuickLaTeX.com \[0\leqslant \int_0^x tF(t)\text{d}t \leqslant \underset{\text{\tiny{ind\'ependant de $t$}}}{\underbrace{F(x)}}\int_0^x t\text{d}t=F(x)\left[\frac{t^2}{2}\right]_0^x= \frac{x^2F(x)}{2}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-3720d4a67a3665bb18010057513f7ba5_l3.png)
On multiplie par
Soit
on sait déjà que
est continue, croissante sur
donc, pour tout
on a
on multiplie par
et ![]()
On intègre sur
selon
avec
ainsi
![Rendered by QuickLaTeX.com \[\int_x^0 tF(t)\text{d}t \leqslant \underset{\text{\tiny{ind\'ependant de $t$}}}{\underbrace{F(x)}}\int_x^0 t\text{d}t = -\frac{x^2F(x)}{2}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-36256fed4804713da7790f5abde955a7_l3.png)
On multiplie par
le signe – est utilisé pour inverser les bornes de l’intégrale
et on a bien
.
Bilan :
et ![]()
10/ On sait que
et
sont continues sur
donc par produit
est continue sur
donc elle admet une primitive que l’on note
qui est donc
sur
. Ainsi pour tout
on a ![]()
Les fonctions
et
sont
sur
donc
l’est aussi et
![]()
Bilan :
est de classe
sur
et sur
et, pour tout
de ![]()
11/ On considère la fonction
définie sur
par : ![]()
[
Soit
on a vu que
donc
on multiplie par
et ![]()
Soit
on a vu que
donc
on multiplie par
et ![]()
Enfin
donc
est bien positive sur ![]()
[
] Il reste à établir que
converge et vaut 1.
Prenons
, la fonction
est continue sur le segment
et
Or la fonction
(avec
continue sur
) est continue sur
donc en particulier en 0 donc
converge et vaut
.
Comme
est une fonction de répartition, on sait que
, ainsi d’après ce qui précède,
![]()
donc
converge et vaut
.
Prenons
, la fonction
est continue sur le segment
et
Or selon la question, la fonction
(avec
continue sur
) est continue sur
donc en particulier en 0 donc
converge et vaut
.
Comme
est une fonction de répartition, on sait que
, ainsi d’après ce qui précède
![]()
donc
converge et vaut
.
Par la relation de Chasles des intégrales convergentes,
converge et vaut
![]()
Donc
est bien une densité de probabiité.
Dans le raisonnement qui précède il est vu que
est
sur
que
est continue sur
. De plus
est positive sur
donc
est croissante sur
, de même
est croissante sur
donc, par continuité en 0,
est croissante sur
Il a été vu aussi que
et
.
Donc
peut être considérée comme une fonction de répartition d’une variable aléatoire
.
On remarque que
et
coincide sur
donc
est une densité de probabilité de ![]()
Bilan :
est une densité de probabilité d’une variable aléatoire
et
est la fonction de répartition de ![]()
12/ a/ On définit la fonction
sur
par : ![]()
[
Sur
[
![]()
Donc
Bilan :
est une densité de probabilité.
12/ b/ Soit
une variable aléatoire admettant
pour densité.
est à densité donc
admet une espérance si et seulement si
converge absolument. Comme
est nulle sur
cela revient à montrer que
converge absolument. Cela équivaut encore à
converge absolument. La fonction sous cette intégrale est positive donc convergence absolue équivaut à convergence.
On pense à exploiter le moment d’ordre 2 d’une loi normale centrée réduite d’une variable
qui vaut
autrement dit
![]()
La fonction
![]()
Cela suggère le changement de variable affine
Les bornes sont inchangées et
donc
![]()
Donc
![]()
Bilan :
admet une espérance et ![]()
12/ c/ On note
la fonction de répartition de
et on pose ![]()
D’après ce qui précède,
est nulle sur
comme
Soit ![]()
![]()
Ensuite
Donc pour
on a
donc
donc ![]()
Puis ![]()
Enfin pour
on a
donc
![]()
Bilan : 
D’après la question 11/,
est la fonction de répartition d’une variable aléatoire à densité que l’on note
Pour déterminer une densité
de
il suffit de dériver
là où elle est
et d’imposer des valeurs là où elle n’est a priori pas
.
Ici
est
sur
on propose
![Rendered by QuickLaTeX.com \[h_2(x)=\left\{\begin{array}{cl} 0 & \text{ si } x\leqslant 0,\\\displaystyle\displaystyle \frac{-2x^3\text{e}^{-x^2}-2x(\text{e}^{-x^2}-1)}{x^4} = \frac{-2x^2\text{e}^{-x^2}-2\text{e}^{-x^2}+2}{x^3}& \text{ si } x > 0.\end{array}\right.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-70f31c1523a00a4f84cefb0e8fe87f6b_l3.png)
Montrer que
admet une espérance revient à montrer que
converge absolument. Comme
est nulle sur
cela revient à montrer que
converge absolument. La fonction sous cette intégrale est positive donc convergence absolue équivaut à convergence.
On remarque que, pour
on a
.
Avec le changement de variable
on montre comme ci-dessus que
converge en faisant apparaître une densité de loi normale centrée réduite. Il reste à montrer que
converge.
La fonction
est continue, positive sur
, avec
on a
car ![]()
Donc
est faussement impropre en 0.
On a aussi
donc comme
on a
donc
.
Or l’intégrale de Riemann
converge donc, par comparaison d’intégrale de fonctions psoitives, l’intégrale
converge.
Par somme
converge et
a une espérance.
Partie D. Étude d’un espace vectoriel et d’un produit scalaire
13/ a/ Pour tout
on a
donc
donc ![]()
De même
donc
donc ![]()
Donc
domine
et
donc il domine ![]()
Bilan : ![]()
13/ b/ Soit
et
dans
on a, pour tout ![]()
Or
et
convergent donc par domination de fonctions positives et continues
converge donc
est absolument convergente.
Bilan : Pour toutes fonctions
et
de
l’intégrale
est absolument convergente.
14/
[[
[
Bilan :
est un sous-espace vectoriel de ![]()
15/
[[
[
![]()
par linéarité des intégrales convergentes. Donc
[
![]()
car on intègre une fonction positive avec des bornes d’intégration dans l’ordre croissant.
[
Réciproquement si
alors
.
La fonction
est continue sur
donc elle y admet une primitive qu’on note
on a alors
![]()
Or
est positive sur
donc
est croissante sur
donc, pour tout
on a
donc
est constante sur
donc sa dérivée est nulle donc
est nulle sur ![]()
Bilan :
est un produit scalaire de ![]()
16/ a/ Il a été vu que
La fonction carrée est continue sur
, donc par composition 
Il a été vu que
La fonction carrée est continue sur
, donc par composition 
16/ b/ On fait une intégration par parties, on pose
![]()
Les fonctions
et
sont
sur
on fixe
et
on a
![Rendered by QuickLaTeX.com \[\forall X>0,\int_a^{X}\frac{\big(h(x)\big)^2}{x^4}\text{d}x= \left[ \frac{-1}{3}x^{-3}\left({h(x)}\right)^2\right]_a^X - \int_a^{X}\frac{-1}{3x^{3}} 2xf(x)h(x)\text{d}x\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-fae2266318ead57a73fe2de9fbf72d0a_l3.png)
![Rendered by QuickLaTeX.com \[=\frac{-1}{3X^{3}}\left({h(X)}\right)^2-\frac{-1}{3a^{3}}\left({h(a)}\right)^2+\frac23\int_a^{X}f(x)\frac{h(x)}{x^2}\text{d}x$ =$\frac{-1}{3X^{3}}\left({h(X)}\right)^2-\frac{-1}{3a^{3}}\left({h(a)}\right)^2+\frac23\int_a^{X}f(x)\Phi(f)(x)\text{d}x.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-0e5238ec02dd34eb9b4d8a2d08fc26a7_l3.png)
Il reste à étudier la convergence lorsque
On a ![]()
La question 6. assure que
est continue en 0 donc
l’est aussi et
converge ou existe.
Bilan :
![]()
16/ c/ Soit
La fonction polynomiale
est positive sur
car une intégrale d’une fonction positive avec des bornes dans l’ordre croissant est positive. Elle peut s’écrire
![]()
Si
alors on a déjà vu que
est nulle sur
donc
![Rendered by QuickLaTeX.com \[\int_0^{X}f(x)\Phi(f)(x)\text{d}x=0= \left(\int_0^{X}\big(f(x)\big)^2\text{d}x\right)^{1/2} \left(\int_0^{X}\big(\Phi(f)(x)\big)^2\text{d}x\right)^{1/2}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-b7fdfc8e6a64adc9d1caeb8a4fcc55e5_l3.png)
Si
, alors la fonction polynomiale
est de degré 2 et elle est de signe constant sur
donc elle ne peut pas avoir deux racines réelles distinctes sinon il y a changement de signe. Donc le discriminant est négatif ou nul donc
![]()
Donc en divisant par 4>0,
![]()
On compose par racine carrée qui est croissante sur
les deux intégrales
sont positives.
![Rendered by QuickLaTeX.com \[\left\vert\int_0^{X}f(x)\Phi(f)(x)\text{d}x\right\vert \leqslant \left(\int_0^{X}f^2(x)\text{d}x\right)^{1/2}\left(\int_0^{X}\Phi(f)(x)^2(x)\text{d}x\right)^{1/2}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-45bb4855bfbc2707530a856e6eed5ac5_l3.png)
Bilan :
![Rendered by QuickLaTeX.com \[\int_0^{X}f(x)\Phi(f)(x)\text{d}x\leqslant \left(\int_0^{X}\big(f(x)\big)^2\text{d}x\right)^{1/2} \left(\int_0^{X}\big(\Phi(f)(x)\big)^2\text{d}x\right)^{1/2}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-3d6f37ab0dfc2b3963d66fa46039eb35_l3.png)
16/ d/ Soit
on multiplie ce qui précède par ![]()
![Rendered by QuickLaTeX.com \[\frac23\int_0^{X}f(x)\Phi(f)(x)\text{d}x\leqslant \frac23\left(\int_0^{X}\big(f(x)\big)^2\text{d}x\right)^{1/2} \left(\int_0^{X}\big(\Phi(f)(x)\big)^2\text{d}x\right)^{1/2}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-9a2ca5af87d8a37b2804b8eea6f46221_l3.png)
On reprend la question 16/b/, qui donne
![Rendered by QuickLaTeX.com \[\int_0^{X}\frac{\big(h(x)\big)^2}{x^4}\text{d}x= \int_0^{X}{\big(\Phi(f)(x)\big)^2}\text{d}x=\underset{ \leqslant 0}{\underbrace{-\frac{1}{3}\frac{\big(h(X)\big)^2}{X^3}}}+\frac23\int_0^{X}f(x)\Phi(f)(x)\text{d}x\leqslant \frac23\int_0^{X}f(x)\Phi(f)(x)\text{d}x.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-de9a80b72ac4bd88540a578d93c74fc8_l3.png)
Donc
![Rendered by QuickLaTeX.com \[\int_0^{X}\big(\Phi(f)(x)\big)^2\text{d}x\leqslant \frac23\int_0^{X}f(x)\Phi(f)(x)\text{d}x\leqslant\frac23\left(\int_0^{X}\big(f(x)\big)^2\text{d}x\right)^{1/2} \left(\int_0^{X}\big(\Phi(f)(x)\big)^2\text{d}x\right)^{1/2}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-c4752843b2418b559263d808804a8fdb_l3.png)
Si
alors comme
est positive, on pourra conclure.
Si
alors on pourra diviser ce qui précède par cette quantité et on pourra conclure aussi.
Bilan : 
16/ e/ On compose ce qui précède par la fonction
croissante sur
et on a ![]()
Or
donc
![]()
et
![]()
La fonction
est continue sur
donc la fonction
est de classe
sur
avec une dérivée
positive donc
est croissante sur
. On a montré qu’elle est majorée sur
par
(indépendant de
) donc
a une limite finie en
Donc
converge.
En faisant tendre
vers
dans la relation du 16/d/, on a
![Rendered by QuickLaTeX.com \[\displaystyle\left(\int_0^{+\infty}\big(\Phi(f)(x)\big)^2\text{d}x\right)^{1/2}\leqslant \frac23\left(\int_0^{+\infty}\big(f(x)\big)^2\text{d}x\right)^{1/2}\text{ donc } \sqrt{\langle \Phi(f),\Phi(f)\rangle}\leqslant\frac23 \sqrt{\langle f,f\rangle}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-9703c109aa4b001c2b35cca990069277_l3.png)
Bilan : La fonction
appartient à
et ![]()
16/ f/ Soit
en utilisant la relation de la question 16.b, on a
![]()
or les deux intégrales
Notons
cette limite, elle est positive car
positive sur
Si
est non nulle alors
![Rendered by QuickLaTeX.com \[\frac{X\Big(\Phi(f)(X)\Big)^2}{\alpha}\underset{X\to+\infty}{\longrightarrow} 1\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-1719a1399793d24077ab56e84bdbc8d4_l3.png)
donc
Or
diverge, cela contredit le fait que
Donc
est nulle.
Bilan : La limite de
en
est 0.
16/ g/ Avec la question 16.b,
![]()
Donc en faisant tendre
vers
on a
![]()
Bilan : ![]()
Partie E. Etude d’une suite
17/ function v=suite_v(n)
S=0
for k=1:n
S=S+k*suite_u(k)
end
v = 1/(n*(n+1))*S
endfunction
18/ a/ La suite
est positive, décroissante donc elle converge.
18/ b/ D’après les graphiques,
semble décroissante, convergente avec une limite moitié moindre que celle de
.
18/ c/ Pour tout
de
, on a, pour tout
donc
donc
donc
donc ![]()
D’autre part
![Rendered by QuickLaTeX.com \[v_{2n} = \frac{1}{2n(2n+1)}\sum\limits_{k=1}^{2n}ku_k= \frac{1}{2n(2n+1)}\underset{= n(n+1)v_n}{\underbrace{\sum\limits_{k=1}^{n}ku_k}} + \frac{1}{2n(2n+1)}\sum\limits_{k=n+1}^{2n}ku_k.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-eeff953abd4b0ae29403e015e6d548d1_l3.png)
Donc
![Rendered by QuickLaTeX.com \[v_{2n} = \frac{1}{2n(2n+1)}\times\Big(n(n+1)v_n\Big)+\frac{1}{2n(2n+1)}\sum\limits_{k=n+1}^{2n}ku_k.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-a95d73a62754a0d8c8670d11dd80a05e_l3.png)
Comme la suite
Or
= ![]()
= ![]()
= ![]()
Cela permet de conclure
![]()
18/ d/ Pour tout
de
:
![Rendered by QuickLaTeX.com \[(n+2)v_{n+1}= (n+2)\frac{1}{(n+1)(n+2)}\sum\limits_{k=1}^{n+1}ku_k = \frac{1}{n+1}\left(\sum\limits_{k=1}^{n}ku_k+(n+1)u_{n+1}\right) =\frac{1}{n+1} \sum\limits_{k=1}^{n}ku_k+ u_{n+1}\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-749cb040294c1f2d3eec848774e71481_l3.png)
![Rendered by QuickLaTeX.com \[=n\frac{1}{n(n+1)} \sum\limits_{k=1}^{n}ku_k+ u_{n+1}=nv_n+u_{n+1}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-f6d58327736a5e710e5b74e238062ac0_l3.png)
D’autre part
![Rendered by QuickLaTeX.com \[v_{n+1}-v_n= v_{n+1} -\frac{1}{(n+1)n}\sum\limits_{k=1}^{n}ku_k = v_{n+1} -\frac{1}{(n+1)n}\Big(\underset{=(n+1)(n+2)v_{n+1}}{\underbrace{\sum\limits_{k=1}^{n+1}ku_k}}-(n+1)u_{n+1}\Big)\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-17d0c3621e758dd31e8f6fff6ea1f71e_l3.png)
![]()
18/ e/ Soit
on a
donc
donc
donc la suite
est décroissante. Chaque
est une somme de réels positifs donc la suite est minorée par 0 donc elle converge.
On pose
et
, la relation
vraie pour tout
donne ![]()
On utilise ensuite la relation ![]()
On sait qu’un polynôme est équivalent à son terme dominant en
donc
et ![]()
Donc par passage à la limite
donc
donc
.
Enfin
.
19/ a/ Pour tout
on pose ![]()
Au rang 1, on a
Donc
est vraie.
Supposons
vraie à un rang
on a
![Rendered by QuickLaTeX.com \[\sum\limits_{n= 1}^{N+1} v_n = v_{N+1} +\sum\limits_{n= 1}^N v_n =v_{N+1}+\sum\limits_{k=1}^N u_k-Nv_N\text{ selon } {\cal H}_N.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-a923d193f62b8b1f9270e0b898a21802_l3.png)
On exploite la question 18/d/, pour obtenir
Ainsi
![Rendered by QuickLaTeX.com \[\sum\limits_{n= 1}^{N+1} v_n =v_{N+1}+\sum\limits_{k=1}^N u_k-(N+2)v_{N+1}+u_{N+1}=\sum\limits_{k=1}^{N+1} u_k-(N+1)v_{N+1}.\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-4915257e6a1b6fd00f8ecd4df252c5d4_l3.png)
Donc
Bilan : Pour tout
est vraie et ![]()
19/ b/ La série
est à terme général positif donc ses sommes partielles forment une suite croissante. Celle-ci converge donc si et seulement elle est majorée.
Or, pour tout
car ![]()
Comme
est à terme positif, on a ![]()
Donc, pour tout
, ce dernier terme est indépendant de
donc il domine les sommes partielles de la série ![]()
Bilan :
converge.
19/ c/ Pour tout
.
Or les séries
et
convergent donc la suite
converge.
Donc
tend vers une limite finie
lorsque l’entier
tend vers
.
La suite
est à terme positif donc ![]()
Si
alors
donc
Or la série
diverge comme combinaison linéaire de série harmonique avec
. Par comparaison des séries à terme général positif,
diverge aussi, cela contredit ce qui précède. Donc ![]()
19/ d/ Au 19.a, il est vu que, pour tout
Comme
on peut conclure![]()
20/ a/ On reprend ce qui précède, avec pour tout
et
Donc les conditions sont réunies pour affirmer qu’avec
on a, pour tout
et
c’est-à-dire ![]()
Bilan : Il existe une variable aléatoire
à valeurs dans
telle que :
![Rendered by QuickLaTeX.com \[\forall n\in\N^*, {\bf P}(Z=n)=\frac{1}{n(n+1)}\sum\limits_{k=1}^nk{\bf P}(Y=k).\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-6e55e967501d3e2046b79ad8addefc0c_l3.png)
20/ b/ On suppose dans cette question que
admet une espérance, notée
Cette espérance est strictement positive car
est à support dans
Donc comme
, on a
![Rendered by QuickLaTeX.com \[\frac{\sum\limits_{k=1}^nk{\bf P}(Y=k)}{ {\bf E}(Y)}\underset{n\to +\infty}{\longrightarrow} 1\text{ donc } \sum\limits_{k=1}^nk{\bf P}(Y=k)\underset{n\to +\infty}{\sim} {\bf E}(Y).\]](https://groupe-reussite.fr/ressources/wp-content/ql-cache/quicklatex.com-d610d91737b4f9cc7821d93ef227aa04_l3.png)
D’autre part
donc par produit ![]()
Cela entraîne ![]()
La série
diverge donc la série
diverge car
Donc par comparaison des séries à terme général positif, la série
diverge donc la variable aléatoire
n’a pas d’espérance.
