View source for F(2n)=F(n)L(n)

==Theorem==
The following formula holds:
$$F(2n)=F(n)L(n),$$
where $F(n)$ denotes a [[Fibonacci numbers|Fibonacci number]] and $L(n)$ denotes a [[Lucas numbers|Lucas number]].

==Proof==

==References==
* {{PaperReference|A Primer on the Fibonacci Sequence Part I|1963|S.L. Basin|author2=V.E. Hoggatt, Jr.|prev=F(2n)=F(n+1)^2-F(n-1)^2|next=F(n+m+1)=F(n+1)F(m+1)+F(n)F(m)}} 

[[Category:Theorem]]
[[Category:Unproven]]