2023年4月11日周二农历闰二月廿一晚20:42分
今天还是深刻解释,排列组合与线性不定方程的满足条件的正整数解组数,与线的点数,面的面积,
体的体积,以及更高维中格点数的相互关系。
我们先考察x+y+z+……+u+v=n的正整数解组数问题,这个问题用高中的排列组合知识很容易解决。
把数字1排列成一排,具有前后顺序,我们设未知数的个数是m个,则把那一排数字“1”分成有序的
m份即可,第一份对应着x的取值,第二份对应着y的取值,第三份对应着z的取值,……,这样一一对应,
则每一种方法(在“1”与“1”之间放挡板),就是线性不定方程的一组满足条件的正整数解。
n个1有(n-1)个空隙,在这(n-1)个空隙中,放(m-1)个挡板,就可以把它们分成有序的m份,每份
对应着一个未知数变量,所以放挡板数就是线性不定方程的正整数解组数。根据排列组合知识,我们
很容易获得挡板方法数为:\(C_{n-1}^{m-1}\)
主楼是拿一个3个变量作为例子,今天以4个变量做进一步的分析。
x+y+z+u=9,\(C_{n-1}^{m-1}\)=\(C_{9-1}^{4-1}\)=\(C_8^3\)=8*7*6/3*2*1=56
另x=1,则为:(1,1,6),(1,2,5),(1,3,4),(1,4,3),(1,5,2),(1,6,1)
(2,1,5),(2,2,4),(2,3,3),(2,4,2),(2,5,1)
(3,1,4),(3,2,3),(3,3,2),(3,4,1)
(4,1,3),(4,2,2),(4,3,1)
(5,1,2),(5,2,1)
(6,1,1)
一层地基建起来了。
接下来建第二层。
另x=2,则为:(1,1,5),(1,2,4),(1,3,3),(1,4,2),(1,5,1)
(2,1,4),(2,2,3),(2,3,2),(2,4,1)
(3,1,3),(3,2,2),(3,3,1)
(4,1,2),(4,2,1)
(5,1,1)
第二层搭建完毕,接着第三层开始建设。
另x=3,则为:(1,1,4),(1,2,3),(1,3,2),(1,4,1)
(2,1,3),(2,2,2),(2,3,1)
(3,1,2),(3,2,1)
(4,1,1)
第三层搭建完毕,接着第四层开始建设。
另x=4,则为:(1,1,3),(1,2,2),(1,3,1)
(2,1,2),(2,2,1)
(3,1,1)
第四层搭建完毕,接着第五层开始建设。
另x=5,则为:(1,1,2),(1,2,1)
(2,1,1)
第五层搭建完毕,接着第六层开始建设。
另x=6,则为:(1,1,1)
第,六层搭建完毕,整个工程结束了,全部完工。
通过以上各楼分析:x+y+z+u=9的正整数解组数为:1+3+6+10+15+21=56,最底层根基,根据梯形面积,
(上底+下底)*高/2=(1+6)*6/2=21;第二层:(1+5)*5/2=15;第三层:(1+4)**4/2=10;第四层:
(1+3)*3/2=6;第五层:(1+2)*2/2=3;第六层:(1+1)*1/2=1.
也就是说,3个变量确定的是一个正三角形平面的面积;4个变量确定的是一个正四面体的体积。从这里
可以看到,线性不定方程的正整数解组数,排列组合的组合数,高维空间中低一维的体积,它们都是
相同的,我主要目的就是分母的值是(m-1)!,分子是1.
|