设 f(x)=a_kx^k+…+a_1x+a_0∈Z[x],a_k≠0,q∈N,(q,a_k,…,a_0)=1,定义指数和:S(f;q)=(?),其中 x 跑遍 mod q 的一个完全剩余系.1940年华罗庚证明了:对于任意实数ε>0均有|S(f;q)|≤c(ε,k)·q^(1-1/k+(?)),其中 c(ε,k)为仅依赖于ε、...
设 K 是 n 次代数数域.令Ψ(x,u,η)=(?)∧(b),其中 u~b mod η(?)α、β∈Z_k,α≡β(modη),α(?)0,β(?)0,(α,η)=(β,η)=1,(α)u=(β)b、h(η)表等价类 modη的类数,T(η)=(U∶U'),其中 U 表示域 K 中全体单位所成的群,U'={ε...