1.自反性：\(a\equiva(\bmodm)\)2.对称性：若\(a\equivb(\bmodm)\),则\(b\equiva(\bmodm)\)3.传递性：若\(a\equivb(\bmodm)\),\(b\equivc(\bmodm)\),则\(a\equivc(\bmodm)\)4.消去性：$ac\equivbc(\bmodp)\toa\equivb(\bmod\frac{p}{

来自潘承洞、潘承彪《初等数论》，有删改。一、定义定义1（同余）设\(m\ne0\)。若\(m\mida-b\)，即\(a-b=km\)，则称\(m\)为模，\(a\)同余于\(b\)模\(m\)以及\(b\)是\(a\)对模\(m\)的剩余，记作\[a\equivb\pmodm(1)\]否则，则称\(a\)不同余于\(b\)模\(m\)，\(b\)不

剩余类与完全剩余系剩余类定义：\(C_r\):形如\(qm+r\)的所有整数组成的集合\(C_0,C_1,...,C_(m-1)\):模数\(m\)的剩余类完全剩余系定义：1.从剩余类的每类中各取一个数，组成的\(m\)个数称为模数\(m\)的一组完全剩余系。证明……是一组完全剩余系/通过完全剩余系：两两对m不同余2

视频链接：#include<iostream>usingnamespacestd;typedeflonglongLL;inta,p;intquickpow(LLa,intb,intp){intres=1;while(b){if(b&1)

视频链接：#include<iostream>usingnamespacestd;typedeflonglongLL;inta,p;intquickpow(LLa,intb,intp){intres=1;while(b){if(b&1)