数论基础-扩展欧几里得算法