数论 Gauss 引理 已知 $m$ $:=$ $\left| \left{ a, 2a, \dots \frac{p-1}{2}a \right} > \frac{p}{2} \ \mathrm{mod} , p \right|$ 则 $\left( \frac{a}{p} \right)=(-1)^{m}$