P.S.:这玩意的证明很有意思,本蒟蒻用了一种奇葩的方式证明的,比较复杂,由于考虑到很多像我一样的蒟蒻看不懂大佬们奥妙重重的博客,于是就讲得通俗易懂一点


首先,φ(n)函数大家应该知道,就是求小于n的所有数k中,gcd(k,n)=1的所有k的个数,即φ(n)=Σ(d|n)1

然后,我们来看一下证明思路:

以12为例:

φ(1)=1

1

φ(2)=1

1

φ(3)=2

1,2

φ(4)=2

1,3

φ(6)=2

1,5

φ(12)=4

1,5,7,11

这些数字看似毫无关联,但是,让我们对其进行一些处理:

将每一个φ(d)中包含的的数都乘上n/d

我们就会得到这么一个表格:

d 1 2 3 4 5 6 7 8 9 10 11 12
1                       1*12=12
2           1*6=6            
3       1*4=4       2*4=8        
4     1*3=3           3*3=9      
6   1*2=2               5*2=10    
12 1*1=1       5*1=5   7*1=7       11*1=11  

我们发现每一列都有且仅有一个红块,而每行的红块个数即为该行的φ值

我们用代码来说明其正确性:

#includeusing namespace std;
int main()
{
int n,i,j;
int a[1000];
for (j=1;j<=n;j++) a[j]=0;
cin >> n;
cout << "   d   ";
for (i=1;i<=n;i++) cout << setw(4) << i << "   ";
cout << endl;
for (i=1;i<=n;i++)
{
if (n%i==0)
{
for (j=1;j<=i;j++)
if (__gcd(i,j)==1)
a[j*n/i]=1;
cout << setw(4) << i << "   " ;
for (j=1;j<=n;j++)
if (a[j]==0) cout << " false ";
else cout << " true  ";
cout << endl;
}
}
}
为什么能用这种方式证明呢?
让我们来分析分析:
我们先设集合A(d)表示满足φ(d)的元素
即:A(d)={q(d,1),q(d,2),......,q(d,φ(d))}
那么显然:gcd(d,q(d,i))=1
我们将A(d)中的每一种元素都乘以n/d
得到集合B(d)={x*n/d|x∈A(d)}
然后我们会发现:gcd(n,q(d,i)*n/d)=gcd(d*n/d,q(d,i)*n/d)=n/d
由上式可知:
B(d)为小于n,且与n的最大公约数为n/d的数的集合
而两个数的最大公约数是唯一的,故不可能存在重复
又因为原式为:Σ(d|n)φ(d)
所以:
该式考虑到了n的所有约数,故不可能存在遗漏。
即全集U={1,2,3,......,n}=B(1)∪B(2)∪......∪B(n)
到了这里就显然有答案了哈~~

Σd|nφ(d)=n的证明相关推荐

  1. 遗传算法的简单介绍以及模式定理的简单证明

    遗传算法   遗传算法(Genetic Algorithm,GA),最早是由美国的John holland在20世纪70年代提出.算法通过模拟达尔文生物进化论的自然选择以及遗传学机理的生物进化过程来搜 ...

  2. Imagination 的神经网络加速器和 Visidon 的去噪算法被证明是完美的搭档

    Imagination 的神经网络加速器和 Visidon 的去噪算法被证明是完美的搭档 本文是总部位于芬兰的Visidon和总部位于英国的 Imagination合作的结果.Visidon 是公认的 ...

  3. 经典贪心法:时间序列问题及其全局最优性证明

    贪心算法是指在对问题求解时,总做出在当前看来是最好的选择.也就是说,不从整体上加以考虑,它所作出的仅仅是在某种意义上的局部最优解.一旦贪心算法求出了一个可行解,就要确定这个算法是否找到了最优解.为此, ...

  4. π是无理数证明定积分_证明圆周率是无理数很容易?人类花了2000年!

    我在之前制作的视频中,多次谈到了圆周率π.比如,我介绍过阿基米德和刘徽计算圆周率的方法--割圆术,还谈到了蒲丰利用一根针计算圆周率的方法--蒲丰投针实验.人类使用和计算圆周率已经有了数千年的历史,可是 ...

  5. 函数的凹凸性证明_判断复杂函数的凹凸性

    判断无人机能量x关系函数的凹凸性(函数是关于v和drt的二元函数) 函数有非常多的参数,极其复杂,看到就烦,我首先用画函数的方法通过图像法来观察,但是画出来的图像不忍直视(或许是我画的图像不对,反正看 ...

  6. 实战证明LINUX系统下密钥对验证的安全性

    实战证明LINUX系统下密钥对验证的安全性  密钥对验证:要求提供匹配的密钥信息才能通过验证,首先在客户端创建一对密钥文件(公钥.私钥),后把公钥文件放到需要远程连接的服务器中.远程登录时,系统将使用 ...

  7. 关于最大子段和线性算法的证明

    重复题目: 输入一个整形数组,数组里有正数也有负数. 数组中连续的一个或多个整数组成一个子数组,每个子数组都有一个和. 求所有子数组的和的最大值.要求时间复杂度为O(n). 此题最初载于 http:/ ...

  8. 用零知识证明解决投票安全

    链客,专为开发者而生,有问必答! 此文章来自区块链技术社区,未经允许拒绝转载. 背景 我们经常会遇到需要给别人投票的情况,比如有些公司会组织员工给领导做反向打分,但是往往员工都不敢"真心实意 ...

  9. 当区块链遇到零知识证明

    链客,专为开发者而生,有问必答! 此文章来自区块链技术社区,未经允许拒绝转载. 什么是零知识证明 零知识证明的官方定义是能够在不向验证者任何有用的信息的情况下,使验证者相信某个论断是正确的.这个定义有 ...

  10. 区块链共识算法:PoS即权益证明 DPoS委托授权的权益证明

    链客,专为开发者而生,有问必答! 此文章来自区块链技术社区,未经允许拒绝转载. 随着比特币价格暴涨,基于比特币的区块链技术引起各方关注,其核心就是共识算法.随着区块链技术的发展共识算法也在不断创新与发 ...

最新文章

  1. docker镜像内容如何查看_如何快速打通 Docker 镜像发布流程?
  2. linux 端口 镜像吗,Linux如何实现镜像端口
  3. 带拦截器配置的 struts.xml文件
  4. 关于html-三角的制作
  5. 您可能不知道的五个高级Java同步器
  6. 【OC底层】OC对象本质,如 isa, super-class
  7. nlp基础—6.EM算法
  8. python 上传文件并保存
  9. 笔记 时间2012年2月15日14:35:30
  10. SpringBoot+MybatisPlus实现关联表查询
  11. “踢群第一案”上热搜的背后
  12. Mac如何查看系统根目录
  13. 计算机主板电感有正负极么,功率电感有没有方向?正负极区分
  14. ARCore:ARCore的初体验
  15. 【Jupyter Notebook】在jupyter中使用数学公式
  16. 分享151个PHP源码,总有一款适合您
  17. 【Vue开发实战课后题】子组件为何不可以修改父组件传递的props?
  18. iOS 添加第三方字体 .ttf
  19. 关于revision 的cover letter
  20. 《红海行动》之黑天鹅事件

热门文章

  1. 项目经理证书PMP怎么考
  2. 地震产生的原因和征兆
  3. 接外包有哪些渠道呢?
  4. 多搜- 多个网站一起搜(舆情监控版)
  5. ABBYY FineReader 15标准版OCR文字识别及PDF编辑软工具
  6. 最小二乘法在编程中的实现
  7. 液化气瓶监管技术如何做到正确选型
  8. 计算机的数学思想源头(回复“计算机数学”可下载PDF典藏版)
  9. 报表中的地图怎么做?
  10. 携手漫威超级英雄,华米科技开启智能穿戴新时代