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

I'm working on a problem from a number theory book (Number Theory by George E. Andrews - problem 1-1-11). The text reads:

Prove: $\displaystyle F_1F_2+F_2F_3+F_3F_4+\ldots+F_{2n-1}F_{2n}=F_{2n}^2$

I started by setting up a summation:


From this, I worked inductively:

$$\begin{align*} \sum_{j=1}^{n+1}F_{2j-1}F_{2j}&=F_{2n+2}^2\\ F_{2(n+1)-1}F_{2(n+1)}+\sum_{j=1}^{n}F_{2j-1}F_{2j}&=\ldots\\ F_{2n+1}F_{2n+2}+F_{2n}^2&=F_{2n+2}^2 \end{align*}$$

This doesn't mathematically work, though. Let $n=3$, and evaluate.


Where did I go wrong? Any ideas?

share|cite|improve this question
In addition to having the wrong summation, you have a numerical error: $F_8=21$, not $24$. – Brian M. Scott Jun 23 '13 at 1:18
up vote 5 down vote accepted

Hint: When we increment $n$ by $1$, we add two terms to the sum, not one.

share|cite|improve this answer
Grag! Stupid errors. Thank you! – Emrakul Jun 23 '13 at 1:22
You are welcome. The good thing is that you actually computed to see whether things made sense. Much more significant than the minor slips. – André Nicolas Jun 23 '13 at 1:26

Your summation is incorrect. It includes only the terms odd*even, but not the terms even*odd like $F_2F_3$ (also the indices should be $j$, not $n$). The correct way to write it is $$\sum_{j=2}^{2n}F_{j-1}F_j=F_{2n}^2$$

share|cite|improve this answer

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.