设 p>3p>3p>3 为素数,且 p≡3(mod8)p\equiv 3\pmod 8p≡3(mod8). 证明:
3∣∑m=1p−12(mp)3\mid\sum_{m=1}^{\frac{p-1}{2}}\left(\frac mp\right)3∣∑m=12p−1(pm)
其中 (mp)(\frac mp)(pm) 是 Legendre 符号.