Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

So this is the question I have

The Fibonacci sequence is a recurrence system given by $$F_1 = 1, \ F_2 = 1, \ F_{n+2} = F_{n+1} + F_n \qquad (n = 1, 2, 3, \ldots).$$ This question concerns the following conjecture: $$(F_{n+5})^2 - (F_n)^2 = 3((F_{n+3})^2 - (F_{n+2})^2) + 8 F_{n+2} F_{n+3} \qquad (n = 1, 2, 3, \ldots).$$ (a) Confirm that the conjecture is true when $n = 6$.

(b) Prove that the conjecture is true for all integers $n \geq 1$.

But when I go through the solution I don't understand one line (separated and marked).

(b) Let $n$ be any integer such that $n \geq 1$.

$$\begin{align} \left( F_{n+5} \right)^2 - \left( F_n \right)^2 &= \left( F_{n+5} - F_n \right) \left( F_{n+5} + F_n \right) \\ &= \left( F_{n+4} + F_{n+3} - F_{n+2} + F_{n+1} \right) \left( F_{n+4} + F_{n+3} + F_{n+2} - F_{n+1} \right) \\ \\ &= \left( \color{red}{2} F_{n+3} + F_{n+1} \right) \left( 2 F_{n+3} + 2 F_{n+2} - F_{n+1} \right) \tag{*} \\ \\ &= \left( 2 F_{n+3} - F_{n+3} - F_{n+2} \right) \left( 2 F_{n+3} + 2 F_{n+2} - F_{n+3} + F_{n+2} \right) \\ &= \left( 3 F_{n+3} - F_{n+2} \right) \left( F_{n+3} + 3 F_{n+2} \right) \\ &= 3 \left( \left( F_{n+3} \right)^2 - \left( F_{n+2} \right)^2 \right) + 8 F_{n+2} F_{n+3} \end{align}$$ Hence, the conjecture is true for all integers $n \geq 1$

In the marked line, where does the red $\color{red}{2}$ come from?

share|improve this question
    
I replaced the solution image with $\LaTeX$. Feel free to revert if you believe something was lost in transcription. –  Arthur Fischer Nov 11 '12 at 14:50
    
@ArthurFischer nothing is lost..tks for doing that! –  JackyBoi Nov 11 '12 at 14:59
add comment

2 Answers

up vote 7 down vote accepted

He substituted $F_{n+3}+F_{n+2}$ for $F_{n+4}$.

share|improve this answer
1  
I typeset your answer, is that okay? If not, you can "roll back" by clicking on the link above my user-name. –  amWhy Nov 11 '12 at 14:08
    
Ofcourse its OK. Thank you –  Amr Nov 11 '12 at 14:09
    
OMG so clear! got it! got it! –  JackyBoi Nov 11 '12 at 14:35
add comment

Use $F_{n+4}-F_{n+2}=F_{n+3}$ in the first factor and $F_{n+4}=F_{n+3}+F_{n+2}$ in the second factor to obtain the asterisked line from the preceding one.

share|improve this answer
add comment

Your Answer

 
discard

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.