初等数论--二次剩余与二次同余方程--既约剩余系中二次剩余的个数

博主是初学初等数论（整除+同余+原根），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：初等数论，方便检索。

二次剩余：设$a$为整数，$p$为奇素数，$p\nmid a$，如果同余方程$x^2\equiv a(modp)$有解，那么$a$是模$p$的二次剩余；否则$a$是模$p$的二次非剩余。

• 设$p$为奇素数，在$p$的既约剩余系（共$p-1$个数）中，恰好有 p − 1 2 \frac{p-1}{2}