icone-challenge-math-OS

Solution pour le challenge 35


On pose pour tout n\in\mathbb{N}^{\star} :

    \[H_{n}=\sum_{k=1}^{n}\frac{1}{k}\]

et l’on s’intéresse au calcul de :

    \[K_{n}=\sum_{p=1}^{n}\left(\sum_{k=p}^{n}\frac{1}{k}\right)^{2}+\sum_{k=1}^{n}\frac{1}{k}\]

c’est-à-dire de :

    \[K_{n}=H_{n}+\sum_{p=1}^{n}\left(H_{n}-H_{p-1}\right)^{2}\]

où l’on a posé H_{0}=0.

Pour commencer, notons :

    \[S_{n}=\sum_{p=1}^{n}H_{p}\quad\text{et}\quad T_{n}=\sum_{p=1}^{n}H_{p}^{2}\]

et calculons plus simplement ces deux sommes.

Pour S_{n}, on intervertit deux \sigma sur un domaine triangulaire :

    \begin{eqnarray*}S_{n} & = & \sum_{p=1}^{n}\sum_{k=1}^{p}\frac{1}{k}\\& = & \sum_{k=1}^{n}\sum_{p=k}^{n}\frac{1}{k}\\& = & \sum_{k=1}^{n}\frac{n-k+1}{k}\end{eqnarray*}

Ainsi :

    \[\boxed{S_{n}=\left(n+1\right)H_{n}-n}\]

Pour T_{n}, on effectue une transformation d’Abel du type :

\displaystyle{\sum_{p=1}^{n}\left(\alpha_{p+1}-\alpha_{p}\right)X_{p}}
\displaystyle{\alpha_{n+1}X_{n}-\alpha_{1}X_{1}+\sum_{p=2}^{n}\alpha_{p}\left(X_{p-1}-X_{p}\right)}

ce qui donne, en remplaçant \alpha_{p} et X_{p} par p et H_{p}^{2} respectivement :

\displaystyle{T_{n}=\sum_{p=1}^{n}\left(\left(p+1\right)-p\right)H_{p}^{2}}
\displaystyle{=-1+\left(n+1\right)H_{n}^{2}+\sum_{p=2}^{n}p\left(H_{p-1}^{2}-H_{p}^{2}\right)}

Or, pour tout p\geqslant2 :

\displaystyle{H_{p-1}^{2}-H_{p}^{2}=\left(H_{p-1}-H_{p}\right)\left(H_{p-1}+H_{p}\right)}
\displaystyle{=-\frac{1}{p}\left(2H_{p}-\frac{1}{p}\right)}

donc :

\displaystyle{T_{n}=\left(n+1\right)H_{n}^{2}-1+\sum_{p=2}^{n}\left(\frac{1}{p}-2H_{p}\right)}
\displaystyle{=\left(n+1\right)H_{n}^{2}-1+\left(H_{n}-1\right)-2\left(S_{n}-1\right)}
\displaystyle{=\left(n+1\right)H_{n}^{2}+H_{n}-2\left(\left(n+1\right)H_{n}-n\right)}

soit finalement :

\displaystyle{\boxed{T_{n}=\left(n+1\right)H_{n}^{2}-\left(2n+1\right)H_{n}+2n}}

A présent, on combine le tout (rappelons qu’on a posé H_{0}=0) :

\displaystyle{K_{n} = H_{n}+\sum_{p=1}^{n}\left(H_{n}-H_{p-1}\right)^{2}}
\displaystyle{=H_{n}+\sum_{p=1}^{n}\left(H_{n}^{2}-2H_{n}H_{p-1}+H_{p-1}^{2}\right)}
\displaystyle{=H_{n}+nH_{n}^{2}-2H_{n}S_{n-1}+T_{n-1}}

Or, d’après ce qui précède :

S_{n-1}=S_{n}-H_{n}=nH_{n}-n

et :

\displaystyle{T_{n-1}=T_{n}-H_{n}^{2}}
\displaystyle{=nH_{n}^{2}-\left(2n+1\right)H_{n}+2n}

d’où :
\displaystyle{K_{n}=H_{n}+nH_{n}^{2}-2H_{n}\left(nH_{n}-n\right)}
\displaystyle{+nH_{n}^{2}-\left(2n+1\right)H_{n}+2n}

Après simplification, il reste :

    \[\boxed{K_{n}=2n}\]


Pour consulter l’énoncé, c’est ici

Partager cet article
  •  
  •  
  •  
  •  

Laisser un commentaire