This is really a derivation of the Binet formula for Fibonacci numbers: that u_n = (phi^n - (-phi)^n) / sqrt(5), where phi is the golden ratio (1 + sqrt(5))/2.