基于二项式系数性质小结.docVIP

硕士研究生课程论文 （或读书报告） 课程名称： 组合数学 题 目： 基于二项式系数性质的小结 题目类型（课程论文或读书报告）： 课程论文 学 院： 计算机科学与工程学院 专业名称： 计算机科学 姓 名： 陈龙飞 学 号： 2013200571 任课教师： 尹志祥 授课时间：2013年10月12日～2013年12月10日 提交时间： 2013年1月 日 目录 基于二项式系数性质的小结 3 摘要 3 序言 4 组合数学概述 4 二项式系数的研究 5 一、项式系数和序列d(n)=的同余性质 7 同余理论 7 二、二项式系数和序列的同余性质 8 三、二项式系数和序列(n)的同余性质 9 四、二项式系数和序列和分别在模和模下的同余性质 10 五、二项式系数和(r,i)=在模p下的同余性质 11 六、二项式系数和的同余性质 12 七、二项式系数幂和序列在模p下的周期性 13 八、二项式系数幂和序列在模下的几个性质 14 九、二项式系数幂和序列的几个性质 15 参考文献 16  基于二项式系数性质的小结 摘要 人们对二项式系数、二项式系数幂和序列及其递推公式的研究已有近七百年的历史，通过长期的研究发现，二项式系数和序列、二项式系数幂和序列具有很多良好的性质，并且和许多数学问题有着非常密切的关系。1978年Apéry利用二项式系数和序列的递推公式给出了ζ（2）和ζ（3）的无理性证明。他的工作极大的刺激了人们对二项式系数以及有关性质的研究兴趣，因为这一领域内的发展除了它本身的数学研究价值以外还对实数的无理性证明和无理数的无理性测量有着十分重要的意义。另一方面，随着密码学的发展，如何快速有效地寻找大素数成为人们研究的一个热点。2004年，由Agrawal,Kayal和Saxens给出的多项式时间的素数检测算法也与某种类型的二项式系数和的同余性质有着密切的联系。本文主要对前人所做的对于二项式系数、二项式系数与序列以及二项式系数幂和序列的性质的研究做一个小结。 关键字：二项式系数；二项式系数幂和序列；二项式系数和序列；同余性质；模。  序言 组合数学概述 组合数学，又称为离散数学，但有时人们也把组合数学和图论加在一起算成是离散数学。组合数学是计算机出现以后迅速发展起来的一门数学分支。计算机科学就是算法的科学，而计算机所处理的对象是离散的数据，所以离散对象的处理就成了计算机科学的核心，而研究离散对象的科学恰恰就是组合数学。组合数学的发展改变了传统数学中分析和代数占统治地位的局面。现代数学可以分为两大类：一类是研究连续对象的，如分析、方程等，另一类就是研究离散对象的组合数学。组合数学不仅在基础数学研究中具有极其重要的地位，在其它的学科中也有重要的应用，如计算机科学、编码和密码学、物理、化学、生物等学科中均有重要应用。微积分和近代数学的发展为近代的工业革命奠定了基础。而组合数学的发展则是奠定了本世纪的计算机革命的基础。计算机之所以可以被称为电脑，就是因为计算机被人编写了程序，而程序就是算法，在绝大多数情况下，计算机的算法是针对离散的对象，而不是在作数值计算。正是因为有了组合算法才使人感到，计算机好象是有思维的。  二项式系数是指的二项式展开中.的系数。在组合数学中， 表示n元集的k— 组合的个数，简称为组合数。 二项式系数是帕斯卡三角(Pascal’s Triangle) 1 1 1 1 2 1 1 3 3 1 1 4 6 4 1 图1. Pascal’s Triangle 帕斯卡三角在我国被称为贾宪三角或者杨辉三角，一般认为是北宋数学家贾宪所创，它记载于“详解九章算法”之中。在阿拉伯数学家al-Kashi的著作“算术之阴中也给出了二项式系数表，他所用的计算方法与贾宪的完全相同。在欧洲，德国的数学家P.Apianus在1527年出版的算术书封面上刻有此图，但一般认为是Pascal’s Triangle。因为Pascal在1653年写成”算术三角“一书，详细的讨论了二项式展开的系数，该书出版于1665年，在当时具有非常大的影响。由于Pascal在数学界的威望，人们喜欢的称此三角为Pascal’s Triangle。事实上，在二项式定理的发现上，我国比欧洲至少要早300年。 二项式系数与Bernouli数，C