分类
标签
Bash C/C++ CI/CD CMU Cookie CS231n CS50 CSS CTF Diffie-Hellman Emmet Floyd算法 FPGA GitHub Actions Github Pages golang GOT表 Hexo HTML HTTP Java JavaScript Jupyter LeetCode Linux logrus MIT Missing Semester NumPy OpenSSL PLT表 Python RSA Session Shell sing-box socket SQL SQLite SQL注入 SVD SymPy TCP/IP Verilog Web开发 writeup XPath ZJU校巴 主定理 代理 信息安全 内存 前端 动态规划 动态链接 博客 压缩 参考 后端 命令行 国际交流 图像处理 图解 堆 堆排序 复杂度分析 密码学 开发 归并排序 微积分 心得 快速排序 抽象代数 搜索 操作系统 数字电路 数字逻辑 数学 数据库 数据结构 数论 文件系统 时间戳 有限状态自动机 机器学习 正则表达式 汇编 游戏开发 爬虫 物理 环境配置 科学计算 竞赛 笔记 算法 线性代数 编程语言 编译 网络 网络安全 背包DP 计算机基础 计算机视觉 计算机网络 课程 课程推荐 谱定理 踩坑 逆向 逆向工程 逻辑电路 非对称加密 题解 高斯消元法 魔塔
618 字
3 分钟
费马小定理和欧拉定理
费马小定理
定义
若 是素数,且 ,则
另一种形式:若 是素数,则
证明
构造集合 ,将集合中每一个数都乘以 再模 ,即 ,得到新集合 。
则有 ,这是因为 ,有 ,即 ,故 个 互不相同。
于是就得到了 其实也是 ,和 一样。
所以
即
因为 与 互质,可以两边都除以 即得证。
欧拉函数
在学习欧拉定理之前,需要先了解欧拉函数(欧拉,怎么到处都是你?)
定义
欧拉函数 表示所有小于 的数中与 互质的数的个数。
性质
对于质数 ,由定义立即有
欧拉函数是积性函数,这意味着若 有
还有很多有趣的性质,感兴趣可以自行了解。
欧拉定理
定义
若 ,则
不难发现欧拉定理是费马小定理的推广,费马小定理是欧拉定理当 为质数的特例。
证明
欧拉定理的证明也和费马小定理的证明很像,考虑所有小于 与 互质的数的集合
再记
同上,不难验证 也是互异的,且 与 互质, 也是所有小于 与 互质的数的集合。所以
接下来就顺理成章了
拓展学习:群论中的拉格朗日定理
应用
由 可以得到
- 在实际应用中,可以使用欧拉定理对指数降幂
- 欧拉定理还可以应用到RSA加密算法中
拓展欧拉定理
刚刚的欧拉定理好是好,就是有一个条件 假如不满足这个条件,可以吗?
定义
扩展欧拉定理:
也就是说,假如 不互质且 不够大,那降幂。假如 不互质且 足够大,可以降幂,但是需要在指数上多加一个
证明
扩展欧拉定理的证明相对就没有其他两个定理简单了,所以我咕咕咕了
参考链接
https://zh.wikipedia.org/zh-hans/%E8%B4%B9%E9%A9%AC%E5%B0%8F%E5%AE%9A%E7%90%86
https://zh.wikipedia.org/zh-hans/%E6%AC%A7%E6%8B%89%E5%AE%9A%E7%90%86_(%E6%95%B0%E8%AE%BA)