自然数的限制组成
Adi Dani,2011年5月-6月
关键词:偶数自然数组成部分的集合
奇数自然数组成部分的集合。
与序列有关:A000012号,A000079,A007051号,A004171号,A034478号,A081341号,A034494号,A092811号,A083884号,A093143号,A191484号,A171714号,A036486号,A000982号,A004526号,A191489号,A191494号,A191495号,A191496号
自然数k到m部分的组合我秒
定义
表示方式
所有小于给定自然数m(0)的自然数的集合
自然数N)。
- 每个m序列
满足条件的自然数

称为自然数k的组合,以m为单位,除以集is。表示为

自然数k的组成集除以Is和by

自然数k在m部分上的组成数我秒. 数字

称为s多项式系数s>0。对于s=2,我们得到二项式系数,在这种情况下,我们写

这些数字在组合数学中起着核心作用。出现参数m,k,both
自然数,从定义上看,对于m>0

具有边界值

我们扩展了这种情况,并将其用于m=0

循环关系
从定义来看

-

这样我们就得到了重现
- 【右】

对称性定理
假设
那么从定义来看

然后是构图
因为
和
对于每个
反之亦然
假设是这样
那么从定义来看

然后是构图
因为
和
对于每个
这意味着
最后我们得到对称性定理
正在生成函数

-

自
我们肯定会
[G] 以下为:
因为
对于
我们有。
【G1】
从s=2的[G]可以得到二项式公式

现在使用泰勒展开,我们得到

很明显

可以改写为

此公式计算二项式系数的值。也可以通过递归关系的归纳或组合方法来推导。
m-集的k-子集数
我们可以找到自然数k的合成集到集上m个部分之间的双射
m集的k子集。
让我们来吧
m集表示为
集合的k-子集集
和依据
数k到m部分的合成集
让我们证明这两组是等价的。
假设
然后针对每个
我们写作
如果
和
如果
所以我们定义了m序列
这是数字k的m部分组成
恰恰相反。如果
那么这个组合包含k个等于1的分量,我们可以定义一个
k集合
这意味着
所以从双射原理我们得出结论
s-多项式系数和二项式系数之间的关系
从[G']我们有
从二项式公式
来自泰勒公式
现在我们有了
对于si+j=k,遵循j=k-si,然后将x旁边的系数等同于以下公式
[新加坡银行]
Vandermonde的订单身份
发件人



遵循Vandermonde的订单身份

s=2的这个恒等式通常是范德蒙德的恒等式[1]
从m=n和k=m(s-1)的Vandermonde恒等式出发,考虑对称性定理,我们得到了公式
[五] :
它给出了自然数组成数的平方和在集合上的m个部分
自然数在I上的m部分组成秒
表示方式

m部分以上自然数的组成数我秒
如果在[G]中输入x个= 1给予
【S1】
一个简单的计算Is上自然数组成数的公式很清楚


表示方式

偶数自然数的组成数
和依据

奇数自然数的组成数
根据定义,m=0


假设在[G1]m=0,s-odd和x=-1中,我们得到不定形式0^0,另一方面这个公式
对于m>0,x=-1,因为表达式(1-(-1)^s)/2对于s偶数为0,对于s奇数为1((1-(-1)^s,/2)^m
对于m>0,不依赖于m,并且等于(1-(-1)^s)/2,这意味着对于m>O是有效的
【S2】:
假设m>0,那么从[S1]和[S2]我们得到系统

解决方案是
最后,如果我们使用天花板和地板函数,因为对于m=0,s>1,我们有
对于m>0,s>1
对于m>=0,s>1,我们得到以下紧致公式
[英]
【O】
第一个公式给出了偶数自然数的组成数在集Is上的m个部分,第二个公式给出
公式给出了奇数自然数在集Is上的m个组成部分的个数。
广义斐波那契数列
以m为单位的偶数自然数组成不大于秒
表示方式

偶数自然数组成m部分的个数不大于s。从[E]得到m,s>=0
|
现在使用这个公式,我们可以在第m行的公共单元格中,通过行m>=0和列s,s>=0来构造表
在表的s列中,我们将偶数自然数的组成数放在集合Is的m部分中。
- 数学代码:TableForm[表格[天花板[1/2*((k+1)^n+(1+(-1)^k)/2)],{n,0,9},{k,0,9}]]
从表中我们可以看到,在第m行和第s列的公共单元格中放置了数字。……那个
意味着存在。..偶数自然数组成,单位为m,每个部分不大于s,它们是
14个偶数自然数组成,每部分3个部分不大于2,它们是

13个偶数自然数组成,每部分2个部分不大于4,它们是

25个偶数自然数组成,每部分2个部分不大于6,它们是

m部分奇数自然数的组成不大于秒
表示方式

m部分偶数自然数的合成数不大于s,然后从[E]中得到m的s>=0
|
现在使用这个公式,我们可以在第m行的公共单元格中,通过行m>=0和列s,s>=0来构造表
在表的s列中,我们将奇数自然数的组成数放在集合Is的m部分中。
数学代码:TableForm[表格[地板[1/2*((k+1)^n-(1+(-1)^k)/2)],{n,0,9},{k,0,9}]]
从表中我们可以看出存在:
13个奇数自然数组成,每部分3个部分不大于2,它们是
12个奇数自然数组成,每部分2个部分不大于4,它们是
24个奇数自然数组成,每部分2个部分不大于6,它们是

符号
不要与高斯二项式系数混淆
工具书类
- B.A.Bondarenko,《广义帕斯卡三角和金字塔(俄语)》,FAN,塔什干,1990年,ISBN 5-648-00738-8。英语翻译由加利福尼亚州圣克拉拉市圣克拉拉大学斐波纳契协会出版,1993年。
- V.N.Sachkov,组合分析中的概率方法,剑桥,1997年。
- Adi Dani,自然数的拟合成,马其顿数学家大会第三届会议记录,29 IX-2 X 2005年,第225-238页