Binet Formula
Closed form for the nth Fibonacci number.
Formula
Variables
Example
Direct Fibonacci without recursion
How it works
This formula gives the nth Fibonacci number directly, without generating all earlier terms. It comes from solving the Fibonacci recurrence F_n = F_{n-1} + F_{n-2} like a linear difference equation: the sequence is a combination of two exponential terms, and the constants are chosen to match the initial values. The term involving \psi is very small in magnitude for large n, which is why the answer is always an integer after the two terms are combined.
When to use it
Use this when you want an explicit expression for a Fibonacci number, especially in proofs, algorithm analysis, or when connecting Fibonacci numbers to algebra and eigenvalues. It is useful for estimating growth or deriving identities, even though for exact computation with large n one usually prefers integer recurrence or fast doubling methods.
Worked example, step by step
Find F_10 using Binet's formula. \varphi = (1 + \sqrt{5})/2 \approx 1.6180339887 \psi = 1 - \varphi \approx -0.6180339887 \varphi^{10} \approx 122.9918694 \psi^{10} \approx 0.0081306188 F_10 = (\varphi^{10} - \psi^{10})/\sqrt{5} F_10 \approx (122.9918694 - 0.0081306188)/2.236067978 F_10 \approx 122.9837388/2.236067978 F_10 \approx 55 So the 10th Fibonacci number is 55.
Common mistakes to avoid
- Using \psi = -1/\varphi incorrectly as 1-\varphi without checking the sign
- Rounding \varphi^n too early, which can give the wrong integer after division by \sqrt{5}
- Forgetting that the formula returns exact Fibonacci numbers only when the correct indexing convention for F_0 and F_1 is being used
Did You Know?
Binet's formula computes any Fibonacci number directly using the golden ratio, no counting required.
Share this formula
More in Number Theory
View allEuclidean Algorithm
BasicRecursively finds the greatest common divisor.
Modular Congruence
Basica and b have the same remainder when divided by m.
Fermat's Little Theorem
AdvancedHolds when p is prime and gcd(a,p)=1.
Euler's Totient
AdvancedCounts integers up to n coprime to n.
Prime Number Theorem
AdvancedApproximates the number of primes below x.
LCM from GCD
BasicLeast common multiple via the greatest common divisor.