View source for F(-n)=(-1)^(n+1)F(n)

==Theorem==
The following formula holds:
$$F(-n)=(-1)^{n+1}F(n),$$
where $F(n)$ denotes the $n$th [[Fibonacci numbers|Fibonacci number]].

==Proof==

==References==
* {{PaperReference|On a General Fibonacci Identity|1965|John H. Halton|prev=Binet's formula|next=findme}}
* {{PaperReference|A Primer on the Fibonacci Sequence Part I|1963|S.L. Basin|author2=V.E. Hoggatt, Jr.|prev=L(n)^2-5F(n)^2=4(-1)^n|next=L(-n)=(-1)^nL(n)}}

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