板块:数论
前置知识:同余式、费马小定理、裴蜀定理
难度:中等
前置知识一览:
- 同余式:对于式 a ≡ b ( m o d m ) a\equiv b (\bmod m) a≡b(modm),意义是 ( a − b ) ∣ m (a-b)|m (a−b)∣m,称 a a a 与 b b b 对模 m m m 同余。
- 费马小定理: a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1(\bmod \ p) ap−1≡1(mod p)
- 裴蜀定理: ∀ a , b , ∃ x , y , s . t . a x + b y = gcd ( a , b ) \forall a,b,\exists x,y,s.t.ax+by=\gcd(a,b) ∀a,b,∃x,y,s.t.ax+by=gcd(a,b)
冷知识: ⊥ \perp ⊥ 符号在数论中表示互质。
什么是乘法逆元-定义
逆元,全称逆元素,是指一个可以取消另一给定元素运算的元素。例如,对于 a x × 1 a ax\times \frac{1}{a} ax×a1,由于最后 x x x 的值 没有发生变化,所以我们称 a a a 和 1 a \frac{1}{a} a1 互为逆元。
a b ≡ a x ( m o d p ) , b ⊥ p \frac{a}{b}\equiv ax (\bmod \ p),b\perp p ba≡ax(mod p),b⊥p
对于图示的同余式,我们称 x x x 是 b b b 在模 p p p 意义下的乘法逆元,记作 b − 1 b^{-1} b−1。0没有乘法逆元。
如何求乘法逆元-解决问题
解决乘法逆元的方法有很多,常见的是费马小定理求乘法逆元、扩展欧几里得算法求乘法逆元、线性递推、离线求乘法逆元。
对乘法逆元定义式作如下推导:
由定义式两边同时乘 b b b 得, a ≡ a b x ( m o d p ) a\equiv abx(\bmod \ p) a≡abx(mod p)
两边同时除以 a a a 得, b x ≡ 1 ( m o d p ) bx\equiv1(mod \ p) bx≡1(mod p)
因此, a b ≡ a x ( m o d p ) ⟺ b x ≡ 1 ( m o d p ) \frac{a}{b}\equiv ax (\bmod \ p)\iff bx\equiv 1(\bmod \ p) b