定理:Fermat小定理:设ppp是素数,若a∈Z+,p∤aa\in\Z^+,p\nmid aa∈Z+,p∤a则ap−1≡1(modp)a^{p-1}\equiv 1\pmod pap−1≡1(modp).
定理:设ppp是素数,a∈Z+a\in\Z^+a∈Z+,则ap≡a(modp)a^p\equiv a\pmod pap≡a(modp).
推论:若ppp是素数,a∈Z,p∤aa\in\Z,p\nmid aa∈Z,p∤a,则ap−2a^{p-2}ap−2是aaa模ppp的逆.
推论:设a,b∈Z+a,b\in\Z^+a,b∈Z+,ppp是素数,p∤ap\nmid ap∤a,则线性同余方程ax≡b∤pax\equiv b\nmid pax≡b∤p的解是满足方程x≡ap−2b(modp)x\equiv a^{p-2}b\pmod px≡ap−2b(modp)的整数xxx.
定理:(中国剩余定理):设m1,m2,⋯ ,mn∈Z+m_1,m_2,\cdots,m_n\in\Z^+m1,m2,⋯,mn∈Z+,且(mi,mj)=11≤i,j≤ni≠j(m_i,m_j)=1 \quad 1\le i,j \le n \quad i\neq j(mi,mj)=11≤i,j≤ni̸=j,则同余方程x≡a1(modm1)x≡a2(modm2)⋮x≡ar(modmr)x\equiv a_1\pmod {m_1} \\ x\equiv a_2\pmod {m_2} \\ \vdots \\ x\equiv a_r\pmod {m_r}x≡a1(modm1)x≡a2(modm2)⋮x≡ar(modmr)的解是x≡∑i=1naiMiMi′(modM)\displaystyle x\equiv\sum_{i=1}^{n}{a_iM_iM'_i}\pmod Mx≡i=1∑naiMiMi′(modM)其中M=[m1,m2,⋯ ,mn]=m1m2⋯mn,Mi=Mmi(1≤i≤n),Mi′M=[m_1,m_2,\cdots,m_n]=m_1m_2\cdots m_n,M_i=\dfrac{M}{m_i}(1\le i \le n),M'_iM=[m1,m2,⋯,mn]=m1m2⋯mn,Mi=miM(1≤i≤n),Mi′是满足同余方程Mix≡1(modm)iM_ix\equiv 1\pmod m_iMix≡1(modm)i的整数.
初等数论 2.6 同余方程(2)
最新推荐文章于 2022-10-17 19:39:31 发布