数论---扩展欧几里德算法