具体数学-第12课(数论进阶与组合数入门)

原文链接:

具体数学-第12课 - WeiYang Blog
这节课内容太多了,再加上感冒身体不舒服,下面的定理就不一一证明了,大家可以自行练习。以后有空我会补上的!

例题1

首先接着上节课同余继续讲,在第三章例题2中,我们遗留了一个问题:对于如下序列

它的值就是

的某个排列,并且重复了 d 次。其中

首先我们有如下同余式:

这就可以看出该序列的确是重复出现了 d 次,那么剩下的问题就是证明这 个数恰好就是

的某个排列。
,所以有

所以我们只考虑 的情形,在此情形下,我们可以得到

由此可以看出,这 m-1 个数一定就是

至此得证。

下面介绍几个著名的数论定理。

费马最后定理

对于所有的正整数 ,有

费马小定理

如果 ,那么有

证明也很好证。

之前证过了,序列

结果就是

的某个排列,所以有

所以

所以

欧拉函数

定义 为小于 m 且与其互素的正整数个数。

所以我们有欧拉定理

其中 ,可以发现,当 m 是素数时,欧拉定理就是费马小定理,所以欧拉定理是费马小定理的推广形式。

欧拉定理有很多有趣的性质,这里就不一一介绍了,详情见博客地址

莫比乌斯函数

定义莫比乌斯函数

这个定义看起来很奇怪是不是?其实这是一个递归定义,可以递归地计算得到所有的值。

这个函数有什么用呢?主要用来进行莫比乌斯反演:

详细的性质及应用也不介绍了,给大家推荐一个牛逼的博客博客地址,我当时学ACM的时候这部分都是看着他的学的。

组合数入门

定义组合数 为从 n 个物品中取出 k 个物品的方法数,具体计算为

推广到实数领域,定义

下面介绍一些组合数性质。

性质1

这里为什么要限定 呢?举个例子,如果 ,那么有

因为左边等于 ,而右边等于

性质2

性质3

性质4

这条性质可以通过性质3和性质4两边分别相加得到。

性质5

性质6

性质7

微分形式:

二项式系数

二项式系数也有很多有趣的性质。

即奇数项系数和等于偶数项系数和。

推广到实数域:

可以通过泰勒展开证明。

算法码上来 文章被收录于专栏

公众号「算法码上来」。godweiyang带你学习算法,不管是编程算法,还是深度学习、自然语言处理算法都一网打尽,更有各种计算机新鲜知识和你分享。别急,算法码上来。

全部评论

相关推荐

牛客771574427号:恭喜你,华杰
点赞 评论 收藏
分享
牛客868257804号:九个中铁八个中建
点赞 评论 收藏
分享
评论
点赞
收藏
分享
牛客网
牛客企业服务