la_54成立（"i" = 0 或 1）。这一关系由下列递推式对所有formula_55成立：因此formula_24和formula_25满足裴蜀等式，这就证明了扩展欧几里得算法的正确性。
实现.以下是扩展欧几里德算法的Python实现：def ext_euclid(a, b):扩展欧几里得算法C语言实现：//这里用了int型别，所支持的整数范围较小，且本程序仅支持非负整数，可能缺乏实际用途，仅供展示。struct EX_GCD { //s,t是裴蜀等式中的系数