欧几里得引理

✍ dations ◷ 2025-12-07 20:22:46 #数论,引理

在数论中,欧几里得引理是在欧几里得《几何原本》第七卷的命题30中提出的定理。这个引理说明:

可以这样表达这个引理:

命题30是这样说的:

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

设p|ab,但不是的因子。于是,可设 r p = a b {\displaystyle rp=ab\!} 是质数,且不是的因子,gcd(,)=1。这就是说,可以找到两个整数和,使得 1 = p x + a y {\displaystyle 1=px+ay\!} ,可得:

前面已经说了 r p = a b {\displaystyle rp=ab\!} 要么整除,要么整除,要么都能整除。证毕。

相关

  • 驯化物种驯化(英语:Domestication)是指一种生物的成长与生殖逐渐受另一种生物利用与掌控的过程,例如人类栽培各种农作物、畜牧,以及切叶蚁驯养真菌。人类驯化动植物的目的主要包括作为食
  • 威尼托威尼托(意大利语:Veneto)是意大利东北部的一个政区,其边界与伦巴第、特伦蒂诺-上阿迪杰、奥地利、弗留利-威尼斯朱利亚和艾米利亚-罗马涅接壤,在阿尔卑斯山和亚得里亚海之间。贯
  • δ逆转录病毒属δ-逆转录病毒属 (Deltaretrovirus)是一个逆转录病毒科的属。它外源几组在哺乳动物身上发现。例子有牛白血病病毒和人类T型淋巴细胞白血病病毒。牛白血病病毒 人类T型淋巴细
  • 塭仔圳重划区塭仔圳重划区位于台湾新北市新庄区与泰山区交界处,总面绩约400公顷。原淡水河被管制的洪水平原一级管制区,解除后,与区域防洪计划完成后所提供土地,变更为都市发展用地,将其分区
  • 大学校会议大学校会议(法语:Conférence des grandes écoles)是法国的一个高等教育研究机构间组织,成立于1973年,创始成员12个(11所工程师学校和1所高等商业学校)。组织的职能为促进成员在法
  • 哈巴安德哈巴安德(Andrew Patton Happer,1818年-1894年),美北长老会最早派往中国的传教士之一。1818年,哈巴安德出生于美国宾夕法尼亚州的一个长老会家庭。1844年,哈巴安德毕业于宾夕法尼亚
  • 哇哇映画哇哇映画私人有限公司,简称哇哇映画(英语:Wawa Pictures Pte Ltd),在2007年9月,由资深电视节目、电视连续剧制作人刘健财(Molby Low Kian Chye),于新加坡(总部)成立。业务在全球经营制
  • 爨翫爨翫,隋朝西爨豪酋。父为南宁州刺史爨瓒,在其父死后与爨震分统其部众。隋朝以其地为恭州(今云南昭通)、协州(今云南彝良)、昆州(今云南昆明),爨翫为昆州刺史。不久叛隋,597年,隋朝以史
  • 戴梦桂戴梦桂(?-?),字仲芳,山东济南府济阳县人,军籍,明朝政治人物。山东乡试第八名。嘉靖十四年,登进士第三甲第四十二名。官兵科都给事中。以保定通判,嘉靖二十八年(1549年)任山西太原府知府,后
  • 印度国际影展印度国际影展(英语:International Film Festival of India,英文缩写为「IFFI」)始于1952年 ,是亚洲主要的影展之一,由于举行地点在印度西岸的果阿邦,因此又称为“果阿影展”。影展