数论—(扩展)欧几里得算法