欧几里得引理

✍ dations ◷ 2025-12-08 15:12:20 #数论,引理

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

相关

  • 伊拉姆伊拉姆省(波斯语:ایلام‎)是伊朗三十一个省份之一。面积20,150平方公里,在所有省份中排行第二十。人口约540,000(2005年数据);首府位于伊拉姆市。伊拉姆这个名字源自古代的
  • 温暖温暖可以指:
  • 赫特贺赫特贺(?-1857年),清朝官员,字子绂,号蓉峰,河南驻防蒙古镶红旗人。道光三年(1823年)癸未科进士。
  • 正八边形镶嵌在几何学中,正八边形镶嵌(英语:Octagonal tiling)是一种由正八边形拼合,并且将正八边形重复排列组合,并让图形完全拼合,而且没有空隙或重叠的几何构造,每个顶点皆为三个正八边形的公
  • 二氟二溴甲烷2.27 g/cm³(液态)二氟二溴甲烷(化学式:CBr2F2)是一种卤代甲烷,无色、不可燃。它是一种有效的灭火剂,但毒性却相当高。属于第一类消耗臭氧层物质(ODS)。CH3F · CH3Cl · CH3Br ·
  • 伐丽流伐丽流(缅甸语:ဝါရီရူး,1253年3月-1307年1月),孟族名马加杜,又名瓦拉如(Wareru),缅甸勃固王朝开国君主。他是生于棠温(英语:Donwun)的掸族(母亲是孟族),曾在暹逻素可泰王国的兰甘亨
  • 达克布·贡萨勒永恰布达克布·贡萨勒永恰布(1851年-1900年)俗名“嘉拉参旺吉勒”,蒙古族,阿拉善旗人,第五世达克布活佛。他是阿拉善旗扎萨克亲王贡桑珠尔默特之第三子,故被称作“三爷葛根”,俗名“嘉拉参
  • 化学工程单元操作 (书)《化学工程单元操作》(英语:Unit Operations of Chemical Engineering),于1956年首次出版,是历史最悠久的化学工程学教科书,至今仍广泛地被使用着。最新一版为第七版,于2004年出版,
  • MachinimaMachinima(发音为/məˈʃiːnəmə/ 或 .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000",
  • 阿姆巴拉萨达尔阿姆巴拉萨达尔(Ambala Sadar),是印度哈里亚纳邦Ambala县的一个城镇。总人口106378(2001年)。该地2001年总人口106378人,其中男性55461人,女性50917人;0—6岁人口11545人,其中男6387