欧几里得引理

✍ dations ◷ 2025-05-17 21:06:05 #数论,引理

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

相关

  • 氦核作用氦核作用 (或α作用、α反应)是两种核聚变的类型之一,能将恒星的氦转换成重元素,另一种即是3氦过程(3α反应)。 当3氦反应进行时只需要氦的参与,而一旦有一些碳产生,能消耗氦的其他
  • 滨海夏朗德省滨海夏朗德省 (17) (法语:Charente-Maritime)是法国的一个省。滨海夏朗德省创立于法国大革命时期,1789年12月22日立法,1790年5月4日生效。此省是来源于原先的奥尼和散舵芝(Aunis e
  • 发言人发言人,或称“新闻发言人”、“新闻官”,是代表其他自然人或法人(如公司、政府或其他机构)的身份发言,并向记者宣传情况、回答提问的公共关系人员。许多政府部门和企业都有专任的
  • 国际藻类、菌物和植物命名法规《国际藻类、真菌、植物命名法规》(英语:International Code of Nomenclature for algae, fungi, and plants;ICN)是一部关于植物命名的规则与建议,其中确立每一个分类单元(或分类
  • 拉赫曼大学学院拉曼大学学院(英语:Tunku Abdul Rahman University College;马来语:Kolej Universiti Tunku Abdul Rahman),升格前旧称拉曼学院 (英语:Tunku Abdul Rahman College;马来语:Kolej Tunku
  • 淳安县淳安县位于中国浙江省西部,是杭州市下辖的一个县。淳安县于宋代取“淳而易安”之义而得名。东汉建安十三年(208年)分歙县东之叶乡置始新县;隋开皇九年(589年)改为新安县;唐永贞元年
  • 万事皆晓《万事皆晓》(英语:All Things Considered,缩写 ATC),是美国全国公共广播电台(NPR)的新闻节目,于1971年5月3日由 NPR 所属电台现场直播,并通过包括 NPR 柏林站在内的几个不同的电台实
  • 圣阿吉迪教堂 (吕贝克)坐标:53°51′50.06″N 10°41′23.18″E / 53.8639056°N 10.6897722°E / 53.8639056; 10.6897722圣阿吉迪教堂(德语:)是德国吕贝克内城最东面的一座教堂,也是吕贝克内城七座教
  • 牛津大学伍斯特学院伍斯特学院(Worcester College /ˈwʊstər/)是牛津大学下的一个学院。由托马斯·库克(英语:Sir Thomas Cookes, 2nd Baronet)捐建于1714年,其名源自伍斯特郡。2010年收到财政捐款
  • 原味内裤原味内裤一词源自日本,主要贩售商品为女性穿过后不清洗的贴身衣物,包括内衣、内裤等,以女性体味、汗味、阴道分泌物及尿渍等带有浓烈个人气味为卖点的商品。英国《独立报》报导