补充资料：二项同余式

二项同余式
_ two-term congruence |?binomial congruence

二项同余式【two一term c0I嗯n把Ice或binolnja}c0llgnl-enc。;;，，Jleouoe epaane。。e]，亦称于项回伞方攀，幂同余式(power collgrUellce) 形如 x”三a(mod爪)(l)的代数同余式，其中a，m是互素的整数，而n)2是自然数.如果同余式(l)是可解的，则称a为一个模m的n次幂剩余;否则，称a为模m的n次非剩余. 关于合数模m的二项同余式的可解性问题可以归结为素数模p的相应间题的研究(见同余式(c切lgnl-ence)).对于素数模的幂剩余问题，有一个Euler可解性准则:同余式 x”三a(nlodp)可解，必有 a(p一’)/占三l(mod尸)，此处占是数n和p一1的最大公因数;当这一条件满足时，同余式恰有占个解. 由E田er准则立即可知在数1，…，p一l中恰有(尸一l)/占个模尸的n次幂剩余和(占一l)(尸一1)/占个非剩余. 复杂得多的是相反的问题:找出所有的模p使得给定的数a是n)2次剩余(或非剩余).Euler指出，同余式xZ三a(modp)的可解或不可解问题依赖于素数模p是否属于某些算术级数.C.F.Gauss于1801年第一个给出这一结果的严格证明(见14]和C加ss互反律(Gauss化ciprocity hw);二次互反律(q阳drdtie reciPIDcitylaw)).C透uss进一步注意到，对于n)3，问题的全部解决只有当有理整数环作某些扩张后才有可能.因此，在建立双二次剩余的互反律时，他致力于将有理整数环扩充至复整数环Z【11.对于给定的。‘z卜]，双二次剩余x‘三功(modP)在环z〔i]中的可解或不可解依赖于数p对于环z【门中某些常数模D的剩余的值. H.M.B皿orPa八oB开创了研究二项同余式及其在其他理论问题中的应用的新阶段，他于1914年证明:在数1，…，Q(Q毛P一l)中，素数模p的二次剩余的个数R可由公式 ，一冬Q+。而玩v 2‘一vr一二给出，此处}引簇1.接着，B~pa及仍又得到了一个更加一般的问题的类似结果，即关于同余式 义”兰y(11x心P)，n)2当y遍历一个不完全剩余系1毛y簇Q时的解的个数问题.‘种汪，在tAZ]中证明:对任意:>1/4石，素数模p的最小二次非剩余小于c(幻p’.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。