Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

So I know that $\sum x_n^2$ converges, and $\sum y_n^2$ converges. ${x_n}$ and ${y_n}$ are both sequences of real numbers. How can I prove that $$\sum(x_n+y_n)^2$$ converges? So far I have $$\sum(x_n+y_n)^2=\sum(x_n)^2 +\sum (y_n)^2 +\sum(2x_ny_n)$$ so I need to prove that $\sum 2x_ny_n$ converges. Is this the right way to approach it? If it is, I am completely lost as to the next step.

I also need to prove that $$\sqrt{\sum(x_n+y_n)^2}\leq \sqrt{\sum(x_n)^2}+\sqrt{\sum(y_n)^2}$$

I assume this will follow pretty easily from a result in the first proof, but I'm stuck on that now, and perhaps it is easier to start with the second one. I have a lot of work I've done on the first problem, but none of it seemed to go anywhere. Any hints?


share|cite|improve this question
The second result is called Minkowski inequality. Look at the proof here for $L^p$ spaces and try adapt it to $\ell^2$: In this case, Holder is just Cauchy-Schwarz. – 1015 Feb 21 '13 at 2:51
Thanks, that's just the lead I needed! – JohnDvorak Feb 21 '13 at 3:05
up vote 5 down vote accepted

$$x^2 + 2xy + y^2 \geq 0$$


$$ x^2 - 2xy + y^2 \geq 0$$


$$ -x^2 - y^2 \leq 2xy \leq x^2 + y^2 $$


$$ |2xy| \leq x^2 + y^2 $$

This shows that $s_n = \displaystyle\sum_{i=1}^n |2x_i y_i|$ is bounded and increasing sequence and so is convergent. So the series $\displaystyle\sum_i 2x_iy_i$ is absolutely convergent and therefore must be convergent.

share|cite|improve this answer
This is very helpful, thank you! How did you get from line 1 to line 2? That's the step I'm not getting. – JohnDvorak Feb 21 '13 at 2:08
The two first lines follow from $u^2\geq 0$ by letting $u=x+y$ and $u=x-y$ respectively @SylarMorgan – Pedro Tamaroff Feb 21 '13 at 2:10
@PeterTamaroff I see now, thanks! – JohnDvorak Feb 21 '13 at 2:11

Use Cauchy-Schwarz, it will yield the result immediately.

share|cite|improve this answer
For the second proof, you mean? – JohnDvorak Feb 21 '13 at 2:13

$2x_n^2 + 2y_n^2 - (x_n + y_n)^2 $ $= 2x_n^2 + $ $2y_n^2 - x_n^2 -$ $ 2x_n y_n - y_n^2 = (x_n - y_n)^2 \geq 0$.

This means $(x_n + y_n)^2 \leq 2x_n^2 + 2y_n^2$.

Now add in $n$ and you see $\sum_n (x_n + y_n)^2$ converges.

share|cite|improve this answer
Your algebraic approach made it very easy to understand, thanks! – JohnDvorak Feb 21 '13 at 2:33

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.