数论:扩展欧几里得算法