繼續(xù) “2次整環(huán)素性分析”中的結(jié)論:
既然q無法整除y,存在整數(shù)m使得
則
根據(jù) 恒等式:
得到
以上概括為:
在“2次整環(huán)的素性分析中”我們假定D為正奇素數(shù)铡买,其實該假設(shè)可以適當泛化
一般來說更鲁,對為負奇數(shù) 以及
也適用,所有推理保持不變
問題:
方程
假設(shè)存在 媒至,則必有
不妨設(shè)
兩者都是素數(shù)谷徙,則商必然是一個可逆元,因此
至此册着,得到:
也就是 ,矛盾
所以不是素數(shù)摊鸡, 不過素數(shù)可以導出不可約绽媒,不表示 不可約 就一定為素數(shù),
也就是 不是素數(shù) 并不意味著 一定可約
當 是 唯一因子分解域時免猾,素數(shù)和可約才能等價 起來是辕,所以
至此,得到結(jié)論
定理:
是否滿足唯一因子分解疙教,如果不是,則不確定伞租;如果是 贞谓,則必然有
下面舉個應(yīng)用:
滿足唯一因子分解(證略,其他文章將補充) 葵诈,所以
有無整數(shù)解 取決于
這意味著 這些就是p的全部2次剩余了 所森,一般的形如的數(shù)都是p的2次非剩余.
綜上得到定理:
而這個結(jié)論實際上就是 費馬平方和定理
該定理由法國數(shù)學家費馬在1640年提出,后被歐拉于1747年證明
這里我們通過2次整環(huán)的素性分析芯丧,自然而然的得到了一個精彩的證明芍阎。