The Combinatorialization of Linear Recurrences

Arthur T. Benjamin, Halcyon Derks, Jennifer J. Quinn
2011 Electronic Journal of Combinatorics  
We provide two combinatorial proofs that linear recurrences with constant coefficients have a closed form based on the roots of its characteristic equation. The proofs employ sign-reversing involutions on weighted tilings.
doi:10.37236/2008 fatcat:bpm3rzxisvbjnpa5ufscjgp7qq