GCD & exGCD
首先我们考虑辗转相除法的过程,因为 ,,所以我们就可以每次将 转化为严格更小的 的问题。归纳则得到答案。
现在我们考虑扩欧的过程,我们需要对 找到一组解。那么我们实际上就是要对一个形如 的问题找到答案。
我们考虑对两边除以 ,就变成 (商方程)且 ( 用于配平余数小于 的条件)而假如我们能找到 的解,也就可以表出 。而显然问题的规模和 一样,是严格变小的。直到问题变成 ,就能直接 。
同时我们发现,如果 ,则方程 是无解的,这是显然的。因此引出贝祖定理: 是方程 有解的充要条件。
费马小定理
费马小定理:对素数 ,有 。
考虑证明费马小定理。
引理:对素数 和 ,如果有 ,则 。
考虑移项,,即 ,那么我们只需要说明 即可。
考虑证明 , 为质数,,则 。如果证明了这个东西,就可以同时证明算术基本定理(唯一分解定理)。
于是我们考虑 等价于 ,而显然 。根据贝祖定理,如果 , 是无解的。但是显然 时方程有解 。存在矛盾。得 ,即 。
因此上面的内容迎刃而解。
考虑第一种证明,设 到 的所有数在集合 中,那么这个集合的乘积就是 。现在我们给 中每个数乘上 形成集合 。这里面的乘积是 。只要证明 ,则可以根据上面的引理得到费马小定理。
考虑若 ,,所以 中数两两不同。但是其元素个数和可选元素个数是 ,因此 到 每个数出现一次。得证。
考虑第二种证明。首先,我们从 开始,一定存在某个 ,使得 。
因为我们一共只有 个数可以选,所以根据抽屉原理,如果 不出现 ,显然有 。但是我们有 ,根据引理得到 。而显然 。
但是我们只是证明了 的范围内存在 ,没有证明 一定是这样的 。
我们考虑从 开始,第一次出现 的位置是 。而每次乘 所得到的必然是一个长度为 的周期。从任意的 开始,因为 是第一个 ,所以必然都是长度为 的周期。而且每一个不同的周期没有交集。
那么我们发现,所有的 个数被划分成了若干个长度为 的周期。所以 是 的倍数。
因此,,则 。
同学说这就是群论的拉格朗日定理,不太清楚。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列01:轻松3步本地部署deepseek,普通电脑可用
· 25岁的心里话
· 按钮权限的设计及实现