整数a称为模p的Lehmer数是指1≤a≤p-1且a+a-1为奇数,其中a-1表示a模p的逆.令M p为模p的Lehmer数的个数.1994年,张证明了M p=p-1/2......