数学联邦政治世界观
超小超大

欧几里得引理 (3-1)

Euclid引理,给出证明

欧几里得引理及其证明 - 夶 - 博客园

欧几里得引理

如果一个正整数整除另外两个正整数的乘积,且第一个整数与第二个整数互质,那么第一个整数整除第三个整数。

即:如果α│bc且 gcd(α,b)=1,那么 α│c。

命题

如果一个【素数】【整除】两个正整数的【乘积】,

那么这个素数可以【至少】整除这两个正整数【中的一个】。

即: 如果p│αb,那么 p│α 或者 p│b。

证明:

设p│αb,但 p 不是 α 的因子。

于是,可设rp=αb,其中 r│αb。

由于p 是质数,且不是 α 的因子,gcd(α,p)=1。

这就是说,可以找到两个整数x和 y,使得 1=px+αy(裴蜀定理)。

两边乘以b,可得:

b=b(px+αy),

b=bpx+bαy.

前面已经说了rp=αb,因此:

b=bps+rpy,

b=p(bx+ry).

所以,p│b。

这就是说,p 要么整除 α,要么整除 b,要么都能整除。

证毕。

【claude-3-opus-20240229】

好的,我会给出一个更加详细、不跳过任何步骤的证明。

命题:如果一个素数整除两个正整数的乘积,那么这个素数可以至少整除这两个正整数中的一个。

即,如果p│αb,那么p│α或者p│b。

证明: 假设p是一个素数,且p│αb。我们要证明p│α或p│b。

假设p∤α,我们将证明p│b。

Step 1: 因为p│αb,所以存在一个整数r,使得rp=αb。

Step 2: 因为p是素数,且p∤α,所以gcd(α,p)=1。

Step 3: 根据Bézout定理,如果gcd(α,p)=1,那么存在整数x和y,使得αx+py=1。

Step 4: 将等式两边同时乘以b,得到αbx+pby=b。

Step 5: 将Step 1中的αb替换为rp,得到rpx+pby=b。

Step 6: 提取公因子p,得到p(rx+by)=b。

Step 7: 令m=rx+by,那么pm=b,即p│b。

所以,如果p∤α,那么p│b。

综上,我们已经证明,如果p∤α,那么p│b。这意味着,如果p│αb,那么p│α或p│b。

证毕。

在这个证明中,我详细列出了每一步的推理过程,没有跳过任何一个必要的步骤。

这个证明使用了素数的定义、最大公因数、Bézout定理等基本概念,通过逻辑推理,完成了命题的证明。

每一步的理由都得到了充分的说明,确保证明的完整性和正确性。

THEOREM(Euclid's Lemma):If p is a prime and p | αb,then p│α or p| b.More generally, if a prime p divides a product α₁α₂ . . . αₙ,then it must divide at least one of the factors αᵢ. Proof:Assumethat p χ a.We must show that p│b.By the theorem above,there are integers s and t with

sp+tα=(p,α).

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

深情入你心 连载中
深情入你心
青青子衿?%
李栀以为姜家家,就老公一个儿子,没有姑子,姐姐那些麻烦事,也没有公公婆婆偏心,大伯哥,小叔子的事,没想到,没有这些,却有别的,且看她怼天,怼......
14.6万字1个月前
十二凶兽的人类祭品 连载中
十二凶兽的人类祭品
暴富酱鸭
我叫白姒月,是个生来便不幸之人。为了逆天改命,我可以抛弃一切,包括我的信仰。————【21世纪的现代,在我和弟弟之间,母亲选择把我给卖掉。】......
0.2万字1个月前
修罗场虐渣指南 连载中
修罗场虐渣指南
折凪
桑染是片小桑叶修炼而成的精怪,被人骗身骗心死去以后,她重生了,她决定报复。桑染知道自己修为不高,唯有诛心。面对准备用她渡劫的无情道神尊,她在......
10.9万字1个月前
短文(双男主) 连载中
短文(双男主)
湫棠
就是短文,但也不是很短的昂。分几个小故事,看看就好,要是哪里有误记得说一声,祝你们看的开心~(封面纯属瞎搞,别在意)
0.8万字4周前
青华纪事 连载中
青华纪事
水笙笙
那一世,她是天帝内定的儿媳妇,然而六界尊崇的太子妃却因情爱逆转乾坤;这一生,她是惫懒出名的相府千金,万不得已走上修仙之路。那一日,她与他初见......
79.8万字4周前
终结的炽天使:命定的相遇 连载中
终结的炽天使:命定的相遇
异客Ink
娜:【对不起……哥哥,费里德……我……】费:【也许……你不是你……也许……你不是这个世界的……我依然…爱着你……爱到骨子里……】——————......
2.6万字4周前