首页 > 其他分享 >0801数论

0801数论

时间:2023-08-01 23:34:22浏览次数:32  
标签:数论 bmod 0801 我们 ax 考虑 定理 equiv

GCD & exGCD

首先我们考虑辗转相除法的过程,因为 \((a,b)=(b \bmod a,a)(0<a<b)\),\((0,b)=b\),所以我们就可以每次将 \(b\) 转化为严格更小的 \(b\) 的问题。归纳则得到答案。

现在我们考虑扩欧的过程,我们需要对 \(ax+by=1\) 找到一组解。那么我们实际上就是要对一个形如 \((a,b)\) 的问题找到答案。

我们考虑对两边除以 \(a\),就变成 \(x+\lfloor \dfrac{b}{a}\rfloor y-r_1=0\)(商方程)且 \((b\bmod a)y+ar_1=1\)(\(r_1\) 用于配平余数小于 \(a\) 的条件)而假如我们能找到 \(by+ar_1=1\) 的解,也就可以表出 \(x=r_1-\lfloor \dfrac{b}{a}\rfloor y\)。而显然问题的规模和 \(\gcd\) 一样,是严格变小的。直到问题变成 \(0r_{n+1}+1r_{n}=1\),就能直接 \(r_n=1\)。

同时我们发现,如果 \((a,b)\neq 1\),则方程 \(ax+by=1\) 是无解的,这是显然的。因此引出贝祖定理:\(c=(a,b)\) 是方程 \(ax+by=c\) 有解的充要条件。

费马小定理

费马小定理:对素数 \(p\),有 \(a^{p-1}\equiv 1(\bmod p)(0<a<p)\)。

考虑证明费马小定理。

引理:对素数 \(p\) 和 \(0<a<p\),如果有 \(ab\equiv ac(\bmod p)\),则 \(b\equiv c(\bmod p)\)。

考虑移项,\(a(b-c)\equiv 0(\bmod p)\),即 \(p|a(b-c)\),那么我们只需要说明 \(p|(b-c)\) 即可。

考虑证明 \(p|ab\),\(p\) 为质数,\(0<a<p\),则 \(p|b\)。如果证明了这个东西,就可以同时证明算术基本定理(唯一分解定理)。

于是我们考虑 \(p|k\) 等价于 \((p,k)=p\),而显然 \((p,a)=1,(p,ab)=p\)。根据贝祖定理,如果 \((p,b)\neq p\),\(px+by=p\) 是无解的。但是显然 \(y=a\) 时方程有解 \(x=\dfrac{p-ab}{p}\)。存在矛盾。得 \((p,b)=p\),即 \(p|b\)。

因此上面的内容迎刃而解。

考虑第一种证明,设 \(1\) 到 \(p-1\) 的所有数在集合 \(S\) 中,那么这个集合的乘积就是 \((p-1)!\)。现在我们给 \(S\) 中每个数乘上 \(a\) 形成集合 \(T\)。这里面的乘积是 \((p-1)!a^{p-1}\)。只要证明 \(S=T\),则可以根据上面的引理得到费马小定理。

考虑若 \(ax\equiv ay(\bmod p)\),\(x\equiv y(\bmod)\),所以 \(T\) 中数两两不同。但是其元素个数和可选元素个数是 \(p-1\),因此 \(1\) 到 \(p-1\) 每个数出现一次。得证。

考虑第二种证明。首先,我们从 \(a^0\) 开始,一定存在某个 \(0<k<p\),使得 \(a^k\equiv 1(\bmod p)\)。

因为我们一共只有 \(p-1\) 个数可以选,所以根据抽屉原理,如果 \([1,p-1]\) 不出现 \(1\),显然有 \(a^x\equiv a^y(\bmod p)(0<x<y<p)\)。但是我们有 \(a^{x}\cdot 1\equiv a^x\cdot a^{y-x}(\bmod p)\),根据引理得到 \(a^{y-x}\equiv 1(\bmod p)\)。而显然 \(y-x<p\)。

但是我们只是证明了 \(p-1\) 的范围内存在 \(a^k\equiv 1(\bmod p)\),没有证明 \(p-1\) 一定是这样的 \(k\)。

我们考虑从 \(a^0\) 开始,第一次出现 \(1\) 的位置是 \(a^k\)。而每次乘 \(a\) 所得到的必然是一个长度为 \(k\) 的周期。从任意的 \(a^x\) 开始,因为 \(a^k\) 是第一个 \(1\),所以必然都是长度为 \(k\) 的周期。而且每一个不同的周期没有交集。

那么我们发现,所有的 \(p-1\) 个数被划分成了若干个长度为 \(k\) 的周期。所以 \(p-1\) 是 \(k\) 的倍数。

因此,\(p-1=nk\),则 \(a^{p-1}\equiv a^{nk}\equiv (1)^n\equiv 1(\bmod p)\)。

同学说这就是群论的拉格朗日定理,不太清楚。

标签:数论,bmod,0801,我们,ax,考虑,定理,equiv
From: https://www.cnblogs.com/jucason-xu/p/17599438.html

相关文章

  • 20230801
    前文:离散概率论2概率密度函数我们已经了解了基本离散概率论,可对于一个连续型随机变量。比如在R上取值,这个时候我们就需要概率密度函数。我们先拿一个经典的正态分布图像:显然任意类似于P(x=1)的值都是0,但我们可以研究X在某一个区间上的概率了,比如:可概率密度函数怎样体现概率......
  • 预测算法-20230801(持续更新)
    第一章-关于预测的核心算法机器学习中的预测算法,本笔记主要记录“函数逼近”问题下的预测。属于监督学习的一种函数逼近常见算法:线性回归、逻辑回归应用:分类问题、回归问题函数逼近的主要分类:惩罚线性回归、集成方法大、小数据集,宽、高瘦数据集宽数据:每次观测有大......
  • 20230801 数论基础学习笔记
    理论基础中国剩余定理及拓展已知\(x\equiva_i(\bmodp_i\)\),求\(x\bmod\operatorname{lcm}\{p_i\}\)的值。若\(p_i\)互质,那么我们只需要计算\(c_i\)使得\[\prod\limits_{j\nei}\cdotc_i\bmodp_i=1\]然后有\[x=\sum\limits_{i}c_ia_i\prod\limits......
  • 【230801-6】在锐角三角形ABC中,角A,B,C的对边分别是a,b,c, 若b/a+a/b=6CosC,则tanC/ta
    ......
  • 【230801-4】在三角形ABC中,角A,B,C的对边分别是a,b,c,SinA,SinB,SinC成等比数列,且c=2a
    ......
  • 【230801-5】在三角形ABC中,内角A,B,C的对边分别是a,b,c,已知b-c=a/4,2SinB=3SinC,则Co
    ......
  • 22-20230801
    组内的小伙伴被打了B2,这次XX直接没找我聊了,以前如果是组内小伙伴被打了低绩效是会先给我聊,然后我再跟下面的小伙伴聊。傻儿子说是在架空我,似乎我也get到。但是现在又能怎么办呢。我的绩效其实并不差,可是我怎么也高兴不起来。漂泊在外,依靠不了任何人。我想起那天晚上失落的回......
  • 通过求逆元的几种方式复习基础数论
    逆元若\(ax=1\pmodp\),那么称\(a\)是\(x\)的逆元,显然\(x\)也是\(a\)的逆元。两边同时除以\(a\)得到\(x=\frac1a\pmodp\),可以写成\(x=a^{-1}\pmodp\),这么看来,乘法逆元就是取模意义下的倒数啊。若\(p\)为质数,\(0\)没有逆元,\(1\)的逆元是\(1\),\(p-1\)的逆元......
  • 数论
    1.桌球问题矩形球桌四个角有洞yx坐标在(0,0)(m,0)(m,n)(0,n)球从(0,0)沿45度方向无限大力发射,求mn满足啥条件能落袋解法:这种桌球问题只要无限延伸方块就行,相当于解y=x有没有(am,bn)解,其中a和b是整数。m和n如果是正整数,n*m=m*n,肯定落袋;如果是......
  • 【模板】数论基础:exGCD,exCRT,inverse,Lucas,BSGS,primitive root
    7.29数论WIP\(a\equivb\pmodp\Rightarrow\frac{a}{d}\equiv\frac{b}{d}\pmod{\frac{p}{d}},d=\gcd(a,b,p)\)。exGCD若\((a,b)=1\),则\(0\leqx<b\),\(ax\bmodb\)互不相同,有一个是\(1\)。证明:\(ax_1\equivax_2\pmodb\)则\((x_1-x_2)a|b\),因为......