扩展欧几里德求同余方程组