因为(2k+1)(p-1)/2 = k(p-1)+(p-1)/2，所以g^(2k+1)(p-1)/2 ≡ g^(p-1)/2 ≡ -1 (mod p)，这就说明g^(2k+1) 是mod p的二次非剩余啦

刚刚想到了一个解决的思路。