扩展欧几里得定理 新手向证明及代码