理论概念
扩展欧几里得在求 gcd(a,b) 的同时，得到一组整数 (x,y) 满足 ax + by = gcd(a,b)。
递归式：若 bx₁ + (a mod b)y₁ = gcd(b, a mod b)，则令 q = a÷b，有 x = y₁，y = x₁ - q·y₁。
边界：gcd(a, 0) = a，此时取 x=1, y=0。
算法实验
扩展欧几里得在求 gcd(a,b) 的同时，得到一组整数 (x,y) 满足 ax + by = gcd(a,b)。
递归式：若 bx₁ + (a mod b)y₁ = gcd(b, a mod b)，则令 q = a÷b，有 x = y₁，y = x₁ - q·y₁。
边界：gcd(a, 0) = a，此时取 x=1, y=0。
