^Joseph Louis Lagrange. . Nouveaux Mémoires de l'Académie Royale des Sciences et Belles-Lettres (Berlin). 1771, 2: 125–137 [2021-11-08]. (原始内容存档于2022-05-11) (法语).
二月 10, 2023
威尔逊定理, 此條目需要补充更多来源, 2021年11月8日, 请协助補充多方面可靠来源以改善这篇条目, 无法查证的内容可能會因為异议提出而移除, 致使用者, 请搜索一下条目的标题, 来源搜索, 网页, 新闻, 书籍, 学术, 图像, 以检查网络上是否存在该主题的更多可靠来源, 判定指引, 是以英格兰数学家爱德华, 华林的学生约翰, 威尔逊命名的, 尽管这对师生都未能给出证明, 华林于1770年提出该定理, 1771年由拉格朗日首次证明, 在初等数论中, 给出了判定一个自然数是否为質數的充分必要条件, 当且仅当p,. 此條目需要补充更多来源 2021年11月8日 请协助補充多方面可靠来源以改善这篇条目 无法查证的内容可能會因為异议提出而移除 致使用者 请搜索一下条目的标题 来源搜索 威尔逊定理 网页 新闻 书籍 学术 图像 以检查网络上是否存在该主题的更多可靠来源 判定指引 威尔逊定理是以英格兰数学家爱德华 华林的学生约翰 威尔逊命名的 尽管这对师生都未能给出证明 华林于1770年提出该定理 1771年由拉格朗日首次证明 1 在初等数论中 威尔逊定理给出了判定一个自然数是否为質數的充分必要条件 即 当且仅当p displaystyle p 为質數时 p 1 1 mod p displaystyle p 1 equiv 1 mbox mod p 目录 1 证明 1 1 充分性 1 2 必要性 2 推論 3 參考文獻证明 编辑充分性 编辑 如果 p displaystyle p 不是質數 那么它的正因数必然包含在整数 2 3 4 p 1 displaystyle 2 3 4 cdots p 1 中 因此 gcd p 1 p gt 1 displaystyle gcd p 1 p gt 1 所以不可能得到 p 1 1 mod p displaystyle p 1 equiv 1 pmod p 必要性 编辑 若p displaystyle p 是質數 取集合 A 1 2 3 p 1 displaystyle A left 1 2 3 p 1 right 则A displaystyle A 构成模p displaystyle p 乘法的缩系 即任意 i A displaystyle i in A 存在 j A displaystyle j in A 使得 i j 1 mod p displaystyle ij equiv 1 pmod p 這幾乎說明A displaystyle A 中的元素恰好两两配对 僅有滿足 x 2 1 mod p displaystyle x 2 equiv 1 pmod p 的元素x displaystyle x 是例外 上式解得 x 1 mod p displaystyle x equiv 1 pmod p 或 x p 1 mod p displaystyle x equiv p 1 pmod p 其余两两配对 故而 p 1 1 p 1 1 mod p displaystyle p 1 equiv 1 times p 1 equiv 1 pmod p 若p displaystyle p 不是質數且大于4 则易知有d gcd p p 1 p displaystyle d gcd p p 1 p 故而 p 1 1 mod p displaystyle p 1 equiv 1 pmod p 推論 编辑可以藉此推論 p 2 1 mod p displaystyle p 2 equiv 1 pmod p 如下 p 2 p 1 p 2 p 1 1 mod p displaystyle p 2 equiv p 1 p 2 equiv p 1 equiv 1 pmod p 參考文獻 编辑 Joseph Louis Lagrange Demonstration d un theoreme nouveau concernant les nombres premiers 某條質數新定理的證明 Nouveaux Memoires de l Academie Royale des Sciences et Belles Lettres Berlin 1771 2 125 137 2021 11 08 原始内容存档于2022 05 11 法语 取自 https zh wikipedia org w index php title 威尔逊定理 amp oldid 72223474, 维基百科,wiki,书籍,书籍,图书馆,