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

欧几里得引理 (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),接着再看更方便。

相关小说

致我伟大的勇者,你又猜错喽! 连载中
致我伟大的勇者,你又猜错喽!
月月星序
双男主圣人爱世不渡他的美人vs风流自知古怪癖好奇人拯救世界的俗套故事“这是我踹坏的第几个门了?”“单你一个的话,第二个。要你们那一群的话……......
0.1万字8个月前
战陀甜甜的恋爱 连载中
战陀甜甜的恋爱
深渊梦
内容主打一个嗑cp和吃狗粮。主CP四位战陀王和他们豹cp
0.4万字8个月前
一本饭酪CP恋 连载中
一本饭酪CP恋
佟冬
我是小学生,更文会没思路,(其实我喜欢看虐文)
1.1万字8个月前
末日降临:我画的崽子让我躺平了 连载中
末日降临:我画的崽子让我躺平了
雯咂儿
末世降临后,社恐的她做好了随时嘎掉的准备,谁知她画出来的崽子一个比一个猛……
2.9万字8个月前
煞星转世有喜了 连载中
煞星转世有喜了
闲云花巳奇迹小说家
你有没有想过,也许人世间是由煞星在守护。上惩下界作乱的仙君,下布煞气于行止不端的世人。以至于天界众仙都道,宁得罪喜星千次,不得罪煞星一次。而......
50.4万字8个月前
血魅公主之逆天神医 连载中
血魅公主之逆天神医
半小姐
“不得不说这君王夫人的位置坐着很舒服啊”“那夫人现在想不想做夫君腿上呢?会更舒服!”
4.1万字8个月前