设 p是奇素数.对任一整数 a且1 ≤ a ≤ p -1,显然存在唯一的整数0 ≤ b ≤ p -1,使得 ab ≡1mod p.设 N(p)表示同余方程 ab ≡ 1mod p满足1 ≤ a,b ≤ p -1,且a和b具有相反的奇偶性的所有整数a的集合,S(p)表示满足a+ b≡ 1mod p的所有a,b∈ N(p)的解的个数.利用解析方法以及Gauss和的性质,研究了D. H.Lehmer数的相关问题,证明了存在两个整数 a,b ∈ N(p),使得 a+ b ≡ 1mod p,并得到了关于 S(p)的一个较强的渐近公式.