$\sum_{i=0}^{n}C^i_n.(-1)^nf((x-i)k)=n!.ak^n$
Giải:
Rõ ràng ta có thể giả sử được k=1 ( Vì khi có thể đặt g(x)=f(kx) nên hệ số cao nhất của g bây giờ là 1)
Ta chỉ còn chứng minh:
$\sum_{i=0}^{n}C^i_n.(-1)^nf(x-i)=n!.a$
Để ý rằng:
$\begin{align*}
&f(x)\\
&\Delta f(x)=f(x)-f(x-1)\\
&\Delta^2 f(x)=\Delta(\Delta f(x))=\left(f(x)-f(x-1)\right)-\left(f(x-1)-f(x-2)\right)=f(x)-2f(x-1)+f(x-2)\\
&\dotsc
\end{align*}$
Vì thế ta sẽ chứng minh rằng vế trái của đẳng thức sẽ bằng với $\Delta^n(f(x))$. (1)
Chứng minh bằng quy nạp:
n=1 đúng, giả sử (1) đúng với $n=k$ thì:
$\Delta^k(f(x))=\sum_{i=0}^{k}C^i_k.(-1)^if(x-i)$
Với n=k+1 thì:
$\Delta^{k+1}(f(x))=\Delta(\Delta^k(f(x)))=\Delta^k(f(x))-\Delta^k(f(x-1))\\=\sum_{i=0}^{k}C^i_k.(-1)^if(x-i)-\sum_{i=0}^{k}C^i_k.(-1)^if(x-1-i) \\=\sum_{i=0}^{k}C^i_k.(-1)^if(x-i)-\sum_{i=1}^{k}C^{i-1}_k.(-1)^{i-1}f(x-i)-(-1)^kf(x-k-1)\\=f(x)+\sum_{i=1}^{k}((-1)^i.(C^i_k+C^{i-1}_k)f(x-i))+(-1)^{k+1}f(x-k-1)\\=\sum_{i=0}^{k+1}C^i_{k+1}.(-1)^if(x-i) (dpcm)$
Tiếp theo ta chứng minh $\Delta^kf(x)$ là một đa thức bậc (n-k) ( với n là bậc của f(x) ) và hệ số cao nhất là $n(n-1)\cdots(n-k+1)a$
Với n=1 Đúng.
Giả sử đúng với n=k, ta chứng minh đúng với n=k+1
$\Delta^{k+1}f(x)=(n(n-1)\cdots(n-k+1)ax^{n-k}+...)-(n(n-1)\cdots(n-k+1)a(x-1)^{n-k})=n(n-1)\cdots(n-k+1)a(x^{n-k}-(x-1)^{n-k}+..)=n(n-1)\cdots(n-k+1)(n-k)a(x^{n-k-1}+..)$
Ta có điều phải chứng minh.
Ta thấy đẳng thức này rất quen thuộc nhưng lại ít được quan tâm.
Sau đây ta sẽ xét ứng dụng của nó
Tìm tất các đa thức hệ số nguyên f sao cho $n|m \Rightarrow f(n)|f(m)$
Giải:
Giả sử g(x) là một đa thức thỏa mãn điều kiện đề bài.
Đặt deg g(x)=D. Hệ số ứng với số mũ cao nhất của g(x) là a.
Ta thấy n|rn, $\forall r \in Z$ nên g(n)|g(rn)$\forall r \in Z$ (do đề bài)
$\Rightarrow g(n)|\sum_{i=0}^{D}C^i_D(-1)^ig((D-i)n)=D!an^D$ ( theo đẳng thức vừa đề cập).
$\Rightarrow g(n) |(D!.an^D-D!g(n))=h(n)$ (1)
Ta thấy degh(x) <D=deg g(x) nên với mọi n tồn tại $n_o$ sao cho:$|h(n)| <|g(n)|( \forall n>n_0)$
Kết hợp với (1) suy ra $h(n)=0 \forall n>n_o$ vậy$D!.a.n^D=D!.g(n) \Rightarrow g(n)=an^D$
Vậy tất cả các đa thức thỏa mãn đề bài đều có dang $f(x)=ax^D$ với a nguyên, D là số tự nhiên.
ngoài ra ta có thể thấy những công thức này cũng là hệ quả của đẳng thức trên.
