扩展的欧几里德算法