逐步更新:
皮克公式:
gcd与lcm:
扩展欧几里得算法:
二元一次方程整数解存在的条件:在整系数方程ax+by=c中,
若a,b的最大公约数能整除c,则方程有整数解。即
如果(a,b)|c 则方程ax+by=c有整数解
显然a,b互质时一定有整数解。
例如方程3x+5y=1, 5x-2y=7, 9x+3y=6都有整数解。
返过来也成立,方程9x+3y=10和 4x-2y=1都没有整数解,
∵(9,3)=3,而3不能整除10;(4,2)=2,而2不能整除1。
一般我们在正整数集合里研究公约数,(a,b)中的a,b实为它们的绝对值。
证明:例ax+by=c
证明很简单,由于a%gcd(a,b)==b%gcd(a,b)==0,所以a*x+b*y肯定能够整除gcd(a,b),如果线性方程成立,那么就可以用m代替a*x+b*y,从而得到上面的结论,利用上面的结论就可以用来判断一个线性方程是否有解。
View Code
floor函数与ceil函数 :
floor(x),有时候也写做Floor(x),其功能是“下取整”,或者说“向下舍入”,即取不大于x的最大整数,如x=3.14,floor(x)=3。
ceil函数的作用是求不小于给定实数的最小整数。如ceil(2)=ceil(1.2)=cei(1.5)=2.00
使用该函数需要包含头文件<math.h>,该函数返回值为double型注意:据权威资料显示,floor函数与ceil函数的返回值均为double型
-------------------
同余:若若a==b(modk);//在这里的==指的是同余,=表示相等
即a-b=kt(t为整数) ,同上原理若a (mod k)=b->a-b=kt (t为整数)。
费马小定理: 假如p是质数,且(a,p)=1,那么 a^(p-1) ≡1(mod p)