Maths WorkshopMaths problems with full solutions
Exercise 1490Calculus › Single-variable calculus › Series › Power seriesL2Added 2 Nov 2026

The generating function of Fibonacci numbers

#generating function#Fibonacci#partial fractions#radius of convergence

Statement

Let F0=0F_0=0, F1=1F_1=1, Fn+2=Fn+1+FnF_{n+2}=F_{n+1}+F_n and G(x)=∑n≥0FnxnG(x)=\sum_{n\ge0}F_nx^n.

  1. Show that G(x)=x1−x−x2G(x)=\dfrac x{1-x-x^2} where the series converges.
  2. Find the radius of convergence of GG.
  3. Recover Binet's formula for FnF_n.
Hint

Multiply the recurrence by xn+2x^{n+2} and sum. For part 3, decompose 11−x−x2\frac1{1-x-x^2} into partial fractions with φ=1+52\varphi=\frac{1+\sqrt5}2 and ψ=1−52\psi=\frac{1-\sqrt5}2, noting 1−x−x2=(1−φx)(1−ψx)1-x-x^2=(1-\varphi x)(1-\psi x).

Show solutionHide solution

Solution

1. Multiply Fn+2=Fn+1+FnF_{n+2}=F_{n+1}+F_n by xn+2x^{n+2} and sum over n≥0n\ge0:
G(x)−F0−F1x=∑n≥2Fnxn=∑n≥0Fn+2xn+2=∑n≥0Fn+1xn+2+∑n≥0Fnxn+2=x(G(x)−F0)+x2G(x),\begin{aligned} G(x)-F_0-F_1x&= \sum_{n\geq 2} F_nx^n = \sum_{n\geq 0} F_{n+2}x^{n+2} \\ &= \sum_{n\geq 0} F_{n+1}x^{n+2} + \sum_{n\geq 0} F_{n}x^{n+2} \\ &= x\bigl(G(x)-F_0\bigr)+x^2G(x), \end{aligned}
so G(x)−x=xG(x)+x2G(x)G(x)-x=xG(x)+x^2G(x) and G(x)=x1−x−x2G(x)=\dfrac x{1-x-x^2}.

2. The singularities of GG are the roots of 1−x−x21-x-x^2, namely −φ-\varphi and −ψ=1φ≈0.618-\psi=\frac1\varphi\approx0.618. The smaller in absolute value is 1φ\frac1\varphi, so R=1φ=5−12R=\frac1\varphi=\frac{\sqrt5-1}2. (This agrees with FnFn+1→1φ\frac{F_n}{F_{n+1}}\to\frac1\varphi.)

3. Since 1−x−x2=(1−φx)(1−ψx)1-x-x^2=(1-\varphi x)(1-\psi x) and φ−ψ=5\varphi-\psi=\sqrt5,
x(1−φx)(1−ψx)=15(11−φx−11−ψx)=15∑n≥0(φn−ψn)xn.\frac x{(1-\varphi x)(1-\psi x)}=\frac1{\sqrt5}\left(\frac1{1-\varphi x}-\frac1{1-\psi x}\right)=\frac1{\sqrt5}\sum_{n\ge0}\left(\varphi^n-\psi^n\right)x^n.
Identifying coefficients: Fn=φn−ψn5F_n=\dfrac{\varphi^n-\psi^n}{\sqrt5}.

Check. Expanding x1−x−x2=x+x2+2x3+3x4+5x5+8x6+⋯\frac x{1-x-x^2}=x+x^2+2x^3+3x^4+5x^5+8x^6+\cdots ✓.