扩展欧几里得算法求逆元(手算)

701⁻¹ mod 1848 = ?​​
​​目标​​：求整数 y 使得 701 × y ≡ 1 (mod 1848)，即满足 701 × y - 1848 × k = 1（k 为整数）。

1. Step 1: 辗转相除法求最大公因数 (gcd)​​

​​核心性质​​：
若两整数不同时为零，则存在整数 m, n 使得 ​​gcd(a, b) = a·m + b·n​​。
因此逆元存在的充要条件是 ​​gcd(701, 1848) = 1​​（否则无解）。

​​计算过程​​：
计算 gcd(701, 1848)

64 = 63 × 1 + 1 ← 余数为 1
63 = 1 × 63 + 0 ← 余数为 0 → gcd=1

​​结论​​：
gcd(701, 1848) = 1，逆元存在。

2. ​​Step 2: 推导相邻等式关系​​
   

​​原理​​：
设当前层： gcd(a, b) = a·x + b·y
下一层： gcd(b, a mod b) = b·x’ + (a - ⌊a/b⌋·b)·y’
展开整理得：

a·y’ + b·(x’ - ⌊a/b⌋·y’) = a·x + b·y
​​系数关系​​：
x = y’
y = x’ - ⌊a/b⌋·y’
箭头方向：从下往上推导（由余数 1 的等式逐步回代）。

3. ​​Step 3: 扩展欧几里得算法求逆元​​

​​从底层向上回代​​，推导系数 x, y：

得到：701 × 29 ≡ 1 (mod 1848)
​​结论​​：
​​701⁻¹ mod 1848 = 29​​（结果为正数，无需额外取模）。

tips:
这里的计算要和上面的求解最大公约数对比来看，比如现在计算
$$191\times (-1)+64\times y=1$$