欧几里得引理

✍ dations ◷ 2025-12-11 14:59:11 #数论,引理

在数论中,欧几里得引理是在欧几里得《几何原本》第七卷的命题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\!} 要么整除,要么整除,要么都能整除。证毕。

相关

  • 矮行星(详见矮行星候选者列表)矮行星(英语:Dwarf planet),又称中行星、准行星、侏儒行星,是具有行星级质量,但既不是行星,也不是卫星的天体。也就是说,它是直接环绕着恒星,并且自身的重力足以
  • 昭宗元昭宗爱猷识理达腊(或爱猷识里达腊,蒙古语: ᠠᠶᠣᠰᠢᠷᠢᠳᠠᠷ,鲍培转写:Ayusiridara,西里尔字母:Аюушридар,1339年1月23日-1378年5月10日),是北元的第二位君主,第十六位蒙
  • 炳·廷素拉暖炳·廷素拉暖将军(泰语:เปรม ติณสูลานนท์,RTGS:Prem Tinnasulanon,IPA:,1920年8月26日-2019年5月26日),泰国军事将领、政治人物,第16任泰国总理,曾任泰国摄政、泰国枢密
  • 齐布利尼克河齐布利尼克河(乌克兰语:Цибульник),是乌克兰的河流,位于该国中部,属于第聂伯河的支流,发源自伊万基夫齐,流经基洛夫格勒州,河道全长55公里,流域面积561平方公里。
  • 小行星1616小行星1616(1616 Filipoff)是一颗绕太阳运转的小行星,为主小行星带小行星。该小行星于1950年3月15日发现。小行星1616的轨道半长轴为2.9099409 UA,离心率为0.019。
  • 凯文·诺兰凯文·诺兰(英语:Kevin Nolan,1982年6月24日-),是一名英格兰职业足球员,曾担任英格兰足球乙级联赛球队诺茨郡的球员兼主教练。司职中场。诺兰于英格兰利物浦的托克斯泰斯长大,于16岁
  • 尼古拉斯·富凯尼古拉斯·富凯(Nicolas Fouquet,1615年1月27日-1680年3月23日)路易十四时期的法国财政总管,贝勒岛侯爵,默伦和沃子爵。富凯出生于巴黎一个具有影响力的贵族家庭。富凯为人机敏干
  • 对苯二甲酸二(2-乙基己基)酯对苯二甲酸二(2-乙基己基)酯(英语:Di(2-ethylhexyl) terephthalate 或 bis(2-ethylhexyl) benzene-1,4-dicarboxylate 或 Dioctyl terephthalate,缩写分别为DOTP与DEHT)化学式C6
  • 段永段永(502年-569年),字永宾,辽东郡石城县(今辽宁省建昌县)人,北魏、西魏、北周官员,西晋幽州刺史段匹䃅之后。段永年轻有志操,被乡里称赞。北魏正光末年,北镇扰乱,他携老带幼,避地中山。段
  • 决胜时空战区《决胜时空战区》(英语:)是一部1987年美国科幻动作片,由盖瑞·葛达执导,改编自美泰公司旗下的玩具《太空超人》。电影主演包括杜夫·朗格、法兰克·蓝吉拉、柯特妮·考克斯、詹姆