特殊条件下可重复组合的计数.docVIP

特殊条件下可重复组合的计数 　　【摘要】这里讨论了k个未知自然数之和成等差的各种方程，发现了这些方程之间的联系等式，由此所推出的可重复组合的计数公式，比教材中的适用范围更广，虽然这个计数公式早已出现，但在教材中还未讨论. 　　【关键词】可重复组合;等式，;不同的解 　　【分类号】O157 　　 　　一、引 言 　　可重复组合的计数是几百年都没有解决的数学难题，这里也未解决，只是有点新进展，希望本文能够推动这个难题的解决.与本文类似的问题有人用容斥原理去证明，此证法一直有争议，本文发现的b个等式，等号两边给出了合理的含义，这是证明命题的关键，由等式发现了容斥原理证明此类问题的集合，分析了容斥原理现有证法的不足. 　　二、理论探讨 　　命题1 在x1+x2+…+xk=n的非负整数解中，存在∑i=1（-1）1+ik 　　in+k-ip-1 　　k-1组解，每组解中至少有一个不小于p的值.（n≥p≥1） 　　证明 令每组解中最多有b个不小于p的值（k≥b≥1）.在满足命题要求的解中，令有y1组解，每组解中有一个不小p的值，令有y2组解，每组解中有两个不小于p的值……令有yb组解，每组解中有b个不小于p的值. 　　（一）x1+x2+…+xk=n-p的每一组非负整数解，从k个x中取一个x加上p，总共可形成新解k 　　1n+k-p-1 　　k-1组. 　　（二）x1+x2+…+xk=n-2p的每一组非负整数解，从k个x中取两个x每个x都加上p，总共可形成新解k 　　2n+k-2p-1 　　k-1组…… 　　（b）x1+x2+…+xk=n-bp的每一组非负整数解，从k个x中取b个x每个x都加上p，总共可形成新解k 　　bn+k-bp-1 　　k-1组. 　　显然以上所有新解都满足命题的要求，令所有新解中不同解的个数是a，则有y1+y2+…+yb≥a，而有以下论述可知：y1+y2+…+yb中的每一组解在新解中都存在，则有y1+y2+…+yb≤a，因此y1+y2+…+yb=a.以上b个方程的任意一组解，所形成的新解中不存在相同的解，这个结论是理解以下内容的关键之一. 　　从y1中任意取一组解，把一个不小于p的x减去p，所得到的这组解是方程一的解，因此从y1中取的这组解在k 　　1n+k-p-1 　　k-1组新解中仅有一个，y1中的每一组解都能推出同样的结果. 　　从y2中任意取一组解（x1=h+p…xb=c+p…xk=g），把x1与xb任意减去p，可得到2 　　1+2 　　2组不同的非负整数解，这就说明所取的这组解，只能由2 　　1+2 　　2组解来形成，2 　　1组是方程一的解 （x1=h…xb=c+p…xk=g），（x1=h+p…xb=c…xk=g），2 　　2组是方程二的解（x1=h…xb=c…xk=g），因此从y2中取的这组解，在k 　　1n+k-p-1 　　k-1组新解中仅有2 　　1个，在k 　　2n+k-2p-1 　　k-1组新解中仅有2 　　2个，y2中的每一组解都能推出同样的结果. 　　从y3中任意取一组解（x1=h+p…xb=c+p…xk=f+p），把x1，xb，xk任意减去p，可得3 　　1+3 　　2+3 　　3组不同的非负整数解，这就说明所取的这组解，只能由3 　　1+3 　　2+3 　　3组解来形成，3 　　1组是方程一的解（x1=h…xb=c+p…xk=f+p），（x1=h+p…xb=c…xk=f+p），（x1=h+p…xb=c+p…xk=f），3 　　2组是方程二的解（x1=h+p…xb=c…xk=f），（x1=h…xb=c+p…xk=f），（x1=h…xb=c……xk=f+p），3 　　3组是方程三的解（y3），因此从y3中取的这组解，在k 　　1n+k-p-1 　　k-1组新解中仅有3 　　1个，在k 　　2n+k-2p-1 　　k-1组新解中仅有3 　　2个，在k 　　3n+k-3p-1 　　k-1组新解中仅有3 　　3个，y3中的每一组解都能推出同样的结果.…… 　　从yb中任意取一组解，把b个不小于p的x任意减去p，可得到b 　　1+b 　　2+…+b 　　b组不同的非负整数解，这就说明所取的这组解，只能由b 　　1+b 　　2+…+b 　　b组解来形成，b 　　1组是方程一的解，b 　　2组是方程二的解……b 　　b组是方程b的解，因此从yb中取的这组解，在k 　　1n+k-p-1 　　k-1组新解中仅有b 　　1个，在k 　　2n+k-2p-1 　　k-1组新解中仅有b 　　2个……在k 　　bn+k-bp-1 　　k-1组新解中仅有b 　　b个