数论3 二项式定理、卢卡斯定理和卡特兰数

本文深入探讨数论中的二项式定理、卢卡斯定理以及卡特兰数。通过高等数学解法和通俗解释,阐述了最小最大正整数解的计算方法。接着,详细讲解了二项式定理及其在证明容斥原理中的应用。然后,介绍了卢卡斯定理,用于求解组合数对质数取模的结果。最后,以卡特兰数为例,展示了如何解决实际问题。文章适合对数学感兴趣的读者,尤其是程序员。
摘要由CSDN通过智能技术生成

hello大家好!我是程序猿eric,今天还是一如既往的发帖——这几天事比较多,所以没有及时更新。还有,希望大家多多点赞加关注,你们的三连是我的动力,我会持续推送高质量的文章哦~

废话少说,我们直接切入正题:

1,最小最大正整数解

在x₂=x₁-\frac{b}{gcd(a,b)}*k、y₂=y₁+\frac{a}{gcd(a,b)}*k这些通解里,x和y增减性相反。翻译一下,这两个量是反向变化的。(有没有想起《正比例》)。

现在问题来了:你帮我算一下,x和y的最小和最大正整数解是?

高危预警:数学不好者慎入!

(看不懂公式没关系,我会再用语言详解一遍)

第一遍:高等数学解法

我们之前在《数论2 同余,逆元和费马定理》中讲过同余式,我们可以直接用mod来求Xmin和Ymin,并不需要求上面式子里的k。

对于x和y的最大正整数解可以直接列二元方程组:

Ymax=\frac{c-xmin}{a},Xmax=\frac{c-ymin}{b}

可以表示为ax+by=c=gcd(a,b)*k;

由此得出:ax_{max}+by_{min}=ax_{min}+by_{max},推得a(x_{max}+x_{min})=b(y_{max}-y_{min})

所以x的正整数解数量是\frac{xmax-xmin}{b}+1,y的正整数解数量是\frac{ymax-ymin}{a}+1

所以我们知道:x和y的正整数解的数量是一样的。

第二遍:通俗解释

我们知道可以直接用模运算求得x_{min}y_{min},并不用算k的值。所以k不知道也没关系。

我们要知道x和y的最大正整数解(下用下标“max”表示),就得列这样一个二元方程组:\left \{ y_{max}=\frac{c-x_{min}}{a} ,x_{max}=\frac{c-y_{min}}{b}\right\}

我们根据上面的方程推得:a*x+b*y=c=gcd(a,b)*k。

所以x倍的a加上y倍的b的值与c一样,同时c也等于a和b的最大公因数乘k。由此得出:ax_{max}+by_{min}=ax_{min}+by_{max},化简一下得到a(x_{max}+x_{min})=b(y_{max}-y_{min}),我们可以知道x的最大正整数解加最小正整数解的和乘a等于y的最大正整数解减最小正整数解的差乘b。

所以x的正整数解数量是\frac{xmax-xmin}{b}+1,y的正整数解数量是\frac{ymax-ymin}{a}+1

我们知道

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值