hello大家好!我是程序猿eric,今天还是一如既往的发帖——这几天事比较多,所以没有及时更新。还有,希望大家多多点赞加关注,你们的三连是我的动力,我会持续推送高质量的文章哦~
废话少说,我们直接切入正题:
1,最小最大正整数解
在x₂=x₁-*k、y₂=y₁+
*k这些通解里,x和y增减性相反。翻译一下,这两个量是反向变化的。(有没有想起《正比例》)。
现在问题来了:你帮我算一下,x和y的最小和最大正整数解是?
高危预警:数学不好者慎入!
(看不懂公式没关系,我会再用语言详解一遍)
第一遍:高等数学解法
我们之前在《数论2 同余,逆元和费马定理》中讲过同余式,我们可以直接用mod来求Xmin和Ymin,并不需要求上面式子里的k。
对于x和y的最大正整数解可以直接列二元方程组:
Ymax=,Xmax=
可以表示为ax+by=c=gcd(a,b)*k;
由此得出:,推得
所以x的正整数解数量是,y的正整数解数量是
所以我们知道:x和y的正整数解的数量是一样的。
第二遍:通俗解释
我们知道可以直接用模运算求得和
,并不用算k的值。所以k不知道也没关系。
我们要知道x和y的最大正整数解(下用下标“max”表示),就得列这样一个二元方程组:
我们根据上面的方程推得:a*x+b*y=c=gcd(a,b)*k。
所以x倍的a加上y倍的b的值与c一样,同时c也等于a和b的最大公因数乘k。由此得出:,化简一下得到
,我们可以知道x的最大正整数解加最小正整数解的和乘a等于y的最大正整数解减最小正整数解的差乘b。
所以x的正整数解数量是,y的正整数解数量是
我们知道