Nhận thấy $m\ge n$ vì nếu $m<n$ thì ko tìm được $x_1;x_2;...;x_m$.
Ko mất tính tổng quát, giả sử $x_1\le x_2\le...\le x_m$.
Ta sẽ chứng minh để $P$ đạt GTLN thì trong các số $x_1;x_2;...;x_m$ không có 2 số nào $>1$.
Thật vậy giả sử có 2 số $x_i>x_j>1\; (i,j \in \mathbb{N}^*;\; 1\le i;j \le m)$. Ta sẽ chứng minh biểu thức $P_1$ khi đó không là lớn nhất.
Xét một dãy khác thỏa mãn điều kiện bài: $x_1+x_2+...+(x_j-1)+...+(x_i+1)+...+x_m=n$. Khi đó $P_2=x_1!x_2!...(x_j-1)!...(x_i+1)!...x_m!=x_1!x_2!...x_j!...x_i!...x_m!.\frac{x_i}{x_j}>P_1$
$\Rightarrow P_1$ không lớn nhất.
Suy ra P lớn nhất khi $x_1=x_2=...=x_{m-1}=1;\; x_m=n-m+1$. Khi đó $P=(n-m+1)!$.
Vậy GTLN của $P=(n-m+1)! \Leftrightarrow x_1=x_2=...=x_{m-1}=1;\; x_m=n-m+1$.
- yeutoan11, Mai Duc Khai và BoFaKe thích