同余方程（扩展欧几里德算法）