Tìm số nghiệm nguyên của hệ phương trình:
$$\left\{ \begin{array}{l}{x_1} + {x_2} + {x_3} + {x_4} + {x_5} = 25\\1 \le {x_i} \le 6,i \in \left\{ {1,2,3,4,5} \right\}\end{array} \right.$$
Trước khi giải bài này, mình xin chia sẻ một "bí kíp gia truyền" có liên quan.Đó là số nghiệm NGUYÊN của hệ :
$\left\{\begin{matrix}x+y+z=k\\1\leqslant x,y,z\leqslant m \end{matrix}\right.$
Gọi số nghiệm nguyên của hệ trên là $M$.Ta có thể tìm $M$ bằng cách sau đây :
Bước 1 : Viết ra một dãy gồm 4m-3 SỐ như sau $\underbrace{0,0,0,...,0}_{m-1\ so\ 0},1,2,...,m-1,m,m-1,...,2,1,\underbrace{0,0,0,...,0}_{m-1\ so\ 0}$
Bước 2 : Gieo một đồng tiền xem được SẤP hay NGỬA.
Bước 3 : Lập tổng của $m$ số liên tiếp của dãy trên, từ số thứ k-2 đến số thứ k+m-3 (thứ tự các số tính từ bên trái nếu SẤP; từ bên phải nếu NGỬA).Tổng tìm được chính là $M$.
(Việc chứng minh "bí kíp" này cũng không khó lắm, lại khá thú vị nên xin dành cho bạn đọc )
Từ "bí kíp" trên lại có thể rút ra 2 điều sau :
- Nếu $3\leqslant k\leqslant m+2$ thì $M=C_{k-1}^2$
- Nếu $2m+1\leqslant k\leqslant 3m$ thì $M=C_{3m-k+2}^2$ (*)
Quay lại bài toán của chúng ta.Hệ đã cho tương đương với :
$\left\{\begin{matrix}x_1+x_2+x_3=k\\x_4+x_5=25-k\\1\leqslant x_i\leqslant 6\ ;i\in \left \{ 1,2,3,4,5,6 \right \} \end{matrix}\right.$
Gọi $P$ là số nghiệm nguyên của hệ đã cho.$P$ chính là tổng số nghiệm nguyên của hệ trên khi $k$ chạy từ $3$ đến $18$.
Dễ thấy khi $3\leqslant k\leqslant 12$ thì hệ trên vô nghiệm.
Và khi $13\leqslant k\leqslant 18$ thì theo (*), phương trình thứ nhất có $C_{3.6-k+2}^2=C_{20-k}^2$ nghiệm nguyên, còn phương trình thứ hai có k-12 nghiệm nguyên.Khi đó hệ có $(k-12).C_{20-k}^2$ nghiệm nguyên.
$\Rightarrow P=\sum_{k=13}^{18}(k-12)C_{20-k}^2=C_7^2+2C_6^2+3C_5^2+...+6C_2^2=\sum_{i=2}^{7}C_i^2+\sum_{i=2}^{6}C_i^2+...+\sum_{i=2}^{2}C_i^2$
Mà $\sum_{i=2}^{j}C_i^2=\frac{(j+1).j.(j-1)}{6}=C_{j+1}^3$
$\Rightarrow P=\sum_{i=2}^{7}C_{i+1}^3=\frac{\frac{6.7.8.9}{4}}{6}=\frac{A_9^4}{24}=126$
Trả lời : Hệ đã cho có $126$ nghiệm nguyên.