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

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、付费专栏及课程。

余额充值