二次非剩余(mod p)之分布

令p为奇素数,(n/p)是通常的Legendre符号。记α(p)为最小的正整数n(modp)使得(n/p)=(n+1/p)=-1.关于α(p)的上界估计是数论中的困难问题之一。基于A.Weil的特征和估计立即有α(p) p^(1/2)logp.1963年,Burgess证明。