有 kkk 条路径,均从 (0,0)(0,0)(0,0) 走到 (n,m)(n,m)(n,m),要求第 i+1i+1i+1 条路径始终在第 iii 条路径上方(可以重叠)。记方案数为 F(n,m,k)F(n,m,k)F(n,m,k),例如 F(1,2,2)=6,F(2,3,2)=50F(1,2,2) = 6,F(2,3,2)=50F(1,2,2)=6,F(2,3,2)=50。我猜测 F(n,m,k)F(n,m,k)F(n,m,k) 可表示为:
F(n,m,k)=∏t=0n−1(m+k+tm)(m+tm)F(n,m,k)=\prod_{t=0}^{n-1}\dfrac{\binom {m+k+t}{m}}{\binom {m+t}{m}}F(n,m,k)=∏t=0n−1(mm+t)(mm+k+t)
或者一个更为对称的形式:
F(n,m,k)=∏a=0n∏b=0m∏c=0ka+b+c−1a+b+c−2F(n,m,k)=\prod_{a=0}^n\prod_{b=0}^m\prod_{c=0}^k\dfrac{a+b+c-1}{a+b+c-2}F(n,m,k)=∏a=0n∏b=0m∏c=0ka+b+c−2a+b+c−1
但是我不会证。请问有没有什么证法呢?