Hôm nay chúng ta sẽ học về phép sai phân và sẽ dùng nó để chứng minh một định lý cơ bản về phương trình sai phân tuyến tính.
Định lý cơ bản về phương trình sai phân tuyến tính. Giả sử phương trình đặc trưng có thể viết thành $$f(x) = a_k x^k + a_{k-1} x^{k-1} + \dots + a_0 = (x - z)^j (b_s x^s + b_{s-1} x^{s-1} + \dots + b_0)$$ và $$f_n = p(n)~z^n,$$ trong đó $p(n)$ là một đa thức có bậc bé thua $j$. Vậy thì dãy số $f_n$ thoã mãn phương trình sai phân
$$a_k f_{n} + a_{k-1} f_{n-1} + \dots + a_1 f_{n-k+1} + a_0 f_{n-k} = 0.$$
