关于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)。