欧拉恒等式的证明(原创方法)

欧拉恒等式

对于任何正整数n和任何整数a,满足gcd(a, n) = 1(即a和n互素)时,有 a φ ( n ) ≡ 1 ( % n ) a^{\varphi(n)}\equiv1(\%n) aφ(n)≡1(%n)。

证明(原创方法)

一. a a a 为素数的情况:

1. a a a 为素数且 n n n 为素数的情况:

a φ ( n ) = a n − 1 a^{\varphi(n)}=a^{n-1} aφ(n)=an−1。

利用费马小定理得 a n − 1 ≡ 1 ( % n ) a^{n-1}\equiv 1(\%n) an−1≡1(%n)。

所以 a φ ( n ) ≡ 1 a^{\varphi(n)}\equiv1 aφ(n)≡1 成立。

2. a a a 为素数且 n n n 为合数的情况:

将 n n n 进行质因数分解得: a φ ( n ) = a φ ( p 1 × p 2 × ... × p k ) a^{\varphi(n)}=a^{\varphi(p_1 \times p_2 \times \ldots \times p_k)} aφ(n)=aφ(p1×p2×...×pk)

利用欧拉函数得乘法性质得: a φ ( p 1 × p 2 × ... × p k ) = a φ ( p 1 ) × φ ( p 2 ) × ... × φ ( p k ) a^{\varphi(p_1 \times p_2 \times \ldots \times p_k)}=a^{\varphi(p_1) \times\varphi(p_2)\times\ldots\times\varphi(p_k)} aφ(p1×p2×...×pk)=aφ(p1)×φ(p2)×...×φ(pk)

变形得:

= ( a φ ( p 1 ) ) φ ( p 2 × ... × p k ) =(a^{\varphi(p_1)})^{\varphi(p_2\times\ldots\times p_k)} =(aφ(p1))φ(p2×...×pk)

% n \%n %n 得:

= ( a φ ( p 1 ) ) φ ( p 2 × ... × p k ) % n =(a^{\varphi(p_1)})^{\varphi(p_2\times\ldots\times p_k)}\%n =(aφ(p1))φ(p2×...×pk)%n

= ( a φ ( p 1 ) % n ) φ ( p 2 × ... × p k ) % n =(a^{\varphi(p_1)}\%n)^{\varphi(p_2\times\ldots\times p_k)}\%n =(aφ(p1)%n)φ(p2×...×pk)%n

= 1 φ ( p 2 × ... × p k ) =1^{\varphi(p_2\times\ldots\times p_k)} =1φ(p2×...×pk)

= 1 =1 =1,成立。

二. a a a 为合数得情况

将 a a a 进行质因数分解得: ( q 1 × q 2 × ... × q s ) φ ( n ) (q_1\times q_2\times\ldots\times q_s)^{\varphi(n)} (q1×q2×...×qs)φ(n)

= q 1 φ ( n ) × q 2 φ ( n ) × ... × q s φ ( n ) =q_1^{\varphi(n)}\times q_2^{\varphi(n)}\times\ldots\times q_s^{\varphi(n)} =q1φ(n)×q2φ(n)×...×qsφ(n)

% n 得: q 1 φ ( n ) % n × q 2 φ ( n ) % n × ... × q s φ ( n ) % n \%n 得:q_1^{\varphi(n)}\%n\times q_2^{\varphi(n)}\%n\times\ldots\times q_s^{\varphi(n)}\%n %n得:q1φ(n)%n×q2φ(n)%n×...×qsφ(n)%n

用上面得出得结论得: 1 × 1 × ... × 1 = 1 1\times1\times\ldots\times1=1 1×1×...×1=1

至此,证毕。

废话

我证了4天,整整4天!

相关推荐
Yingye Zhu(HPXXZYY)2 小时前
ICPC 2023 Nanjing R L 题 Elevator
算法
晚风(●•σ )4 小时前
C++语言程序设计——06 字符串
开发语言·c++
晚云与城4 小时前
今日分享:C++ -- list 容器
开发语言·c++
兰雪簪轩5 小时前
分布式通信平台测试报告
开发语言·网络·c++·网络协议·测试报告
程序员Xu5 小时前
【LeetCode热题100道笔记】二叉树的右视图
笔记·算法·leetcode
笑脸惹桃花6 小时前
50系显卡训练深度学习YOLO等算法报错的解决方法
深度学习·算法·yolo·torch·cuda
阿维的博客日记6 小时前
LeetCode 48 - 旋转图像算法详解(全网最优雅的Java算法
算法·leetcode
GEO_YScsn6 小时前
Rust 的生命周期与借用检查:安全性深度保障的基石
网络·算法
程序员Xu7 小时前
【LeetCode热题100道笔记】二叉搜索树中第 K 小的元素
笔记·算法·leetcode
jingfeng5148 小时前
C++11可变参数模板、emplace系列接口、包装器
开发语言·c++