1. ## Proof analysis

If {a_n} is a null sequence, and for each n, b_n is the arithmetic mean of the first n terms of {a_n}, then prove {b_n} is a null sequence.

2. Originally Posted by natester
If {a_n} is a null sequence, and for each n, b_n is the arithmetic mean of the first n terms of {a_n}, then prove {b_n} is a null sequence.
$\displaystyle b_N=\frac{1}{N}~\sum_{n=1}^N a_n$

Put $\displaystyle M=\lfloor \sqrt{N} \rfloor$ then:

$\displaystyle b_N=\frac{1}{N}~\left[\sum_{n=1}^M a_n+\sum_{n=M+1}^N a_n\right]$ $\displaystyle \le \frac{{\rm{sup}}_{n\in [1,M]}(a_n)}{\sqrt{N}}+\frac{N-(\sqrt{N}-1)}{N}{\rm{sup}}_{n \in [M,N]}(a_n)$

The first term on the right clearly goes to $\displaystyle 0$ as $\displaystyle N$ goes to $\displaystyle \infty$.

The coefficient of the second term has a finite limit as $\displaystyle N$ goes to $\displaystyle \infty$, but because $\displaystyle \{a_n\}$ is a null sequence:

$\displaystyle \lim_{N \to \infty}{\rm{sup}}_{n \in [M,N]}(a_n)=0$

which proves that $\displaystyle \{b_n\}$ is a null sequence

RonL

3. If fact is $\displaystyle a_n \to a$ then $\displaystyle b_n \to a$ too. Where $\displaystyle b_n$ is an arithmetic sequence.

4. Originally Posted by ThePerfectHacker
If fact is $\displaystyle a_n \to a$ then $\displaystyle b_n \to a$ too. Where $\displaystyle b_n$ is an arithmetic sequence.
Which is a corrolary of what the original poster was asked to prove

RonL