请输入您要查询的字词:

 

单词 ExistenceAndUniquenessOfTheGcdOfTwoIntegers
释义

existence and uniqueness of the gcd of two integers


Theorem.

Given two integers, at least one different from zero, there exists a unique natural numberMathworldPlanetmath satisfying the definition of the greatest common divisorMathworldPlanetmath.

Proof.

Let a,b, where at least one of a,b is nonzero. First we show existence. DefineS={ma+nb:m,n and ma+nb>0}. Now clearly S is a subset of natural numbers, and S is also nonempty, for depending upon the signs of a and b, we may take m=n=±1 to have ma+nbS. So, by the well-ordering principle for natural numbers, S has a smallest element which we denote g.Note that, by construction, g=m0a+n0b for some m0,n0. We will show that g is a greatest common divisor of a and b. Suppose first that ga. Then, by the division algorithm for integers, there exist unique q,r, where 0r<g, such that a=qg+r. By assumptionPlanetmathPlanetmath, ga, so we have

0<r=a-qg=a-q(m0a+n0b)=a-qm0a-qn0b=(1-qm0)a-qn0b<g.

But then r is an element of S strictly less than g, contrary to assumption. Thus it must be that ga. Similarly it can be shown that gb. Now suppose h is a divisorMathworldPlanetmathPlanetmath of both a and b. Then there exist k,l such that a=kh and b=lh, and we have

g=m0a+n0b=m0kh+n0lh=(m0k+n0l)h,

so hg.Thus g is a greatest common divisor of a and b. To see that g is unique, suppose that g is also a greatest common divisor of a and b. Then we have gg and gg, whence g=±g, and since g,g>0, g=g.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 19:39:22