欧几里得引理

✍ dations ◷ 2025-09-18 18:53:18 #数论,引理

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

相关

  • 快中子增殖反应堆快中子增殖反应堆(Fast breeder reactor),或称快中子滋生反应堆、快滋生反应堆、快堆等,是一种核子反应器,核燃料和一颗快中子在核分裂后产生更多的中子,且利用增殖性材料吸收快中
  • Baird规则Baird规则是有机化学的经验规则。它是指当闭合环状三重态平面型的共轭多烯(轮烯)π电子数为4n时,具有芳香性。
  • 阿尔韦托·藤森阿尔韦托·藤森·藤森(西班牙语:Alberto Fujimori Fujimori,1938年7月28日-),生于利马,是日本裔秘鲁政治人物,1990年7月28日至2000年11月17日期间任秘鲁总统,拥有秘鲁、日本双重国籍
  • 加菲尔德加菲尔德县(英语:Garfield County)是美国华盛顿州东南部的一个县,蛇河在构成了北部边界,南界俄勒冈州。面积1,860平方公里。根据美国2010年人口普查,共有人口2,266人, 是全州人口最
  • 无为 (道家)道家系列条目无为指经过有为的思考,以时势、趋势的判断做出顺势而为的行为,即顺应自然的变化规律,使事物保持其天然的本性而不人为做作,从而达到“无为而无不为”的境界。是中国
  • 本胆烷二酮本胆烷二酮(英语:Etiocholanedione,也称为5β-雄烷二酮 5β-androstanedione 或本胆烷-3,17-二酮 etiocholane-3,17-dione)是一种天然的本胆烷(5β-雄烷)类甾体物质,和一些雄激素如
  • 自偶电离自偶电离(Molecular autoionization)是指液态的极性共价分子化合物电负性强的部分与电负性弱的部分相互作用,自发电离的过程,电离后的产物是分别是由分子形成的阴离子及阳离子。
  • 线性化数学上的线性化(linearization)是找函数在特定点的线性近似,也就是函数在该点的一阶泰勒级数。在动力系统研究中,线性化是分析非线性微分方程系统或是非线性离散系统,在特定平衡
  • 但贵元但贵元(?-?),字仁甫,江西南康府星子县人,民籍,明朝政治人物。江西乡试第五十二名,万历八年(1580年)庚辰科会试第二百四十四名,登三甲第一百四十二名进士。历官四川富顺知县。曾祖但廷玉;祖
  • 克蕾曼汀公主 (比利时)克蕾曼汀公主(荷兰语:Clementine Albertine Marie Leopoldine,法语:Clémentine Albertine Marie Léopoldine,1872年7月30日-1955年3月8日),比利时国王利奥波德二世的幼女。1910年,