欧几里得（扩展）算法详解

一、同余

1、一些普通的性质

1.反身性：$a\equiv a(modm)$；
2.对称性：若$a\equiv b(modm)$，则$b\equiv a(modm)$；
3.传递性：若$a\equiv b(modm)$，$b\equiv c(modm)$，则$a\equiv c(modm)$；
4.同余式相加（减）：若$a\equiv b(modm)$，$c\equiv d(modm)$，则$a+c\equiv b+d(modm)$；
5.同余式相乘：若$a\equiv b(modm)，c\equiv d(modm)$，则$ac\equiv bd(modm)$。

2、一些同余式性质

1、同余式一边的数可以移到另一边，只要改变符号就可以了。

$a+c\equiv b(modm)=>a\equiv b-c(modm)$

2、同余式的每一边都可以增加或减去模的任意倍数。

$a\equiv b(modm)=>a+km\equiv b(modm)=>a-km\equiv b(modm)$

3、同余式两边的数和模可以同时乘上一个整数。

$a\equiv b(modm)=>ka\equiv kb(modkm)$

二、欧几里得算法（最大公约数gcd）

1、一些性质（证明过程简单了解就好）

$gcd(a,b)=gcd(b,a)$

$gcd(a,b)=gcd(a-b,b)(a$