CINTA7

4. 证明勒让德符号的若干属性
   1.$(a^2/p)=1$
   显然$a^2$是p的QR，得证。
   2.$a/p=b/p$
   当a是p的QR时，有$a\equiv b\equiv x^2(modp)$，所以b也是p的QR，即有$a/p=b/p=1$。
   当a是p的NQR时，有$a\equiv b!\equiv x^2(modp)$,所以b也是p的QNR，即有$a/p=b/p=-1$。
   所以$a/p=b/p$。
   3.$(a/p)(b/p)=(ab/p)$
   当a、b都为模p的QR时，ab也是模p的QR,则$(a/p)(b/p)=1\ast 1=1=(ab/p)$
   当a、b都为模p的QNR时，ab是模p的QR,则$(a/p)(b/p)=(-1)\ast (-1)=1=(ab/p)$
   当a、b有一个为模p的QR，另一个是模p的QNR,则$(a/p)(b/p)=1\ast (-1)=-1=(ab/p)$

5. 给出推论11.1的证明
   因为 p ≡ 1 (mod 4) 意味着存在 k ∈ Z 使得 p = 4k + 1ᮣ，根据欧拉准则
   $(-1/p)\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k+1-1)/2}\equiv 1(modp)$。所以-1是p的QR。
   当p ≡ -1 (mod 4) 时，有k ∈ Z 使得 p = 4k - 1ᮣ，根据欧拉准则
   $(-1/p)\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k-1-1)/2}\equiv (-1{)}^{(2k-1)}\equiv -1(modp)$。所以-1是p的QNR。得证。

6. 设 p 是奇素数，请证明 Z∗p 的所有生成元都是模 p 的二次非剩余。
   设g是Z*p的生成元，g的阶是p-1，g也是p的QR，此时有$g\equiv a^2(modp)$，由费尔马小定理，$a^{p-1}\equiv 1(modp)$，可得$g^{(p-1)/2}\equiv a^{p-1}\equiv 1(modp)$。可知g的阶又变成了(p-1)/2，p-1>(p-1)/2，所以Z∗p 的所有生成元都是模 p 的二次非剩余。