贺自论文《FIBONACCIPARTITIONS》，这个证明略去了一些繁而不难的分类讨论，感兴趣的（？）可以前往原论文查看。根据欧拉五边形数定理，有：\[\prod_{i\ge1}(1-x^i)=1+\sum_{k\ge1}(-1)^kx^{k(3k\pm1)}\]这也是在\(S=\N\)集合的拆分中，奇数互异的拆分和偶数互异拆分的差值。这样的差