扩展的欧几里得算法