{"title":"On the Extended Euclidean Algorithm","authors":"Dong Xue","doi":"10.3840/08003652","DOIUrl":null,"url":null,"abstract":"The algorithm terminates after a finite number of iterations, since b is replaced in each iteration by the remainder r = a mod b, which is a nonnegative integer that is strictly smaller than b. Therefore, the algorithm terminates after at most b iterations. We show now that the algorithm is correct. We denote by 〈a, b〉 the set {ax + by | x, y ∈ Z}; this set is called the ideal generated by a and b in the ring of integers. Notice that if 〈a, b〉 contains the integers c and d, then 〈c, d〉 is a subset of 〈a, b〉. Lemma 1 If b 6= 0, then 〈a, b〉 = 〈b, a mod b〉. Proof. The ideal 〈a, b〉 contains the remainder r = a mod b, since r = a− qb with q = ba/bc. Thus, if b 6= 0 then the ideal 〈b, a mod b〉 is a subset of 〈a, b〉.","PeriodicalId":16294,"journal":{"name":"Journal of Liaoning Normal University","volume":"58 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2000-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Liaoning Normal University","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3840/08003652","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
The algorithm terminates after a finite number of iterations, since b is replaced in each iteration by the remainder r = a mod b, which is a nonnegative integer that is strictly smaller than b. Therefore, the algorithm terminates after at most b iterations. We show now that the algorithm is correct. We denote by 〈a, b〉 the set {ax + by | x, y ∈ Z}; this set is called the ideal generated by a and b in the ring of integers. Notice that if 〈a, b〉 contains the integers c and d, then 〈c, d〉 is a subset of 〈a, b〉. Lemma 1 If b 6= 0, then 〈a, b〉 = 〈b, a mod b〉. Proof. The ideal 〈a, b〉 contains the remainder r = a mod b, since r = a− qb with q = ba/bc. Thus, if b 6= 0 then the ideal 〈b, a mod b〉 is a subset of 〈a, b〉.
算法在有限次迭代后终止,因为b在每次迭代中被余数r = a mod b所取代,而余数r = a mod b是一个严格小于b的非负整数,因此算法最多迭代b次后终止。现在我们证明算法是正确的。我们用< a, b >表示集合{ax + by | x, y∈Z};这个集合称为由整数环中的a和b生成的理想集合。注意,如果< a, b >包含整数c和d,则< c, d >是< a, b >的子集。引理1如果b6 = 0,则< a, b > = < b, a mod b >。证明。理想< a, b >包含余数r = a mod b,因为r = a−qb且q = ba/bc。因此,如果b6 = 0,则理想< b, a mod b >是< a, b >的子集。