|
kuing
Post time 2014-5-5 11:35
回复 6# hongxian
嗯,数归可以,不过是第二数归。
下面证明:当有 $n$ 个球时,无论如何分,最终所有乘积之和都为 $f(n)=n(n-1)/2$。
当 $n=2$ 时显然 $f(2)=1$;
假设当 $2\leqslant n\leqslant k$ 时恒有 $f(n)=n(n-1)/2$,则当 $n=k+1$ 时,设第一步分成的两堆的个数分别为 $p$ 和 $k+1-p$,若 $p=1$,则\[f(k+1)=k+f(k)=k+\frac{k(k-1)}2=\frac{k(k+1)}2,\]
同理当 $p=k$ 时亦有 $f(k+1)=k+f(k)=k(k+1)/2$,而当 $2\leqslant p\leqslant k-1$ 时,因为 $p$, $k+1-p\in[2,k]$,由归纳假设可知
\[f(k+1)=p(k+1-p)+f(p)+f(k+1-p) =p(k+1-p)+\frac{p(p-1)}2+\frac{(k+1-p)(k-p)}2 =\frac{k(k+1)}2,\]
可见总有 $f(k+1)=k(k+1)/2$。
综上,由第二数归知结论得证。 |
|