证明:
∑i=0n∑j=0i(ni)(i−jj)=Fib(2n)\sum_{i=0}^n \sum_{j=0}^i \dbinom{n}{i}\dbinom{i-j}{j}=\mathrm{Fib}(2n)∑i=0n∑j=0i(in)(ji−j)=Fib(2n)