一个数论函数的渐近公式

1 问题的转化对模n≥3,设整数1≤x≤n—l且(n,x)=1,我们知道存在唯一的1≤x≤n—1使得x·x≡l(modn)。设M(n)=sum from a=1 to n=1(a—a)~2,其中∑′表示对所有与n互素的整数求和。本文的主要目的是研究M(n)的渐近性质。关于这一问题,作者曾猜测:     

关于D.H.Lehmer问题

设P为奇素数,我们知道对任一1≤x≤p—1,存在唯一的1≤(?)≤p—1使得x(?)≡1(modp)。用r(p)表示同余方程x(?)≡1(modp)满足条件1≤x,(?)≤p—1且x与(?)具有相反的奇偶性的解的个数。关于函数r(p),Lehmer曾提出求函数r(p)的值或者说一些有关它的非平凡性质。显然当p≡±1(mod4)时有同余式r(p)≡2或者0(mod4)。     

关于一般的D.H.Lehmer问题

q)3为奇数,对任意整数。,(。,的~1,我们以云记。在modq下的乘法逆,即同余方程ax二l(mod妇在区间1簇:(q一l内的整数解.定义集合 L(宁)~{a!a〔Z,z毛。(宁一z,(a,宁)~1,a+云二l(modz)}.(z)关于L(宁)中元素的分布是D.H.Lehmer问题的一般形式t1,习.最近,张文鹏在文献【3〕中提出如下猜测:}乙(;)卜冬,(,)+o(,全+·). Z(2)本文的目的是在更一般情况下证明(2)式.我们有 定理q)3为奇数,L(刃由(l)定义,N是任意正整数,1攫N《宁一1,则艺艺轰召l~土N. 2中(宁),一‘+o(,全‘(,)109,,),(3)其中武妇为q的正因子的个数,大0常数是绝对的. 在定理中令N一q…     

关于Aurifeuillian分解的一个问题

设b>1是一个整数.对于某些b~n±1形式的数,Aurifeuille发现了特别的分解方法,称为Aurifeuillian分解.设p是奇素数,ξ=ξ_p表示p次本原单位根exp(2πi/p),(/)表示Jacobi符号.当p≡1(mod 4),N=(p~p-1)/(p-1)=p~(p-1)+p~(p-2)+…+p+1时,文献[2]给出了同余方程X~2≡p(mod N)的4个不同解±p~(p+1)/2,±sum from c=1to(p-1)(c/p)p~c.