a或者b是1的情况下容易证明。

以下情况都是a>1且b>1的情况。


首先证明ab-a-b不能表示成ax+by
假设ab-a-b=ax+by

ab = ax+a+by+b
= a(x+1)+b(y+1)

那么ab=am+bn (m,n都大于等于1)
左边ab是a的倍数
右边am也是a的倍数

那么只有要求bn也要是a的倍数
这样才能构成一个等式

我们先来比较下bn和ba
发现,b不能成为a的倍数(从左边看出)
只好让n成为a的倍数
所以由之前的n>1
可得 bn = b(n * a) >= ba;
即:am = ab - bn <= 0;
由于之前的m>1
则am<=0和m>1相互矛盾
证得:ab-a-b != ax+by


好,我们改变一下,在ab-a-b上加上d

即:证明ab-a-b+d能表示成ax+by(d>0)

因为ab互质
最大公约数就是1
根据辗转相减的方法知ma+nb=1
(辗转相减法:http://www.baike.com/wiki/%E8%BE%97%E8%BD%AC%E7%9B%B8%E5%87%8F)

不妨假设m>0,n<0
于是ab-a-b+d=ab-a-b+d(ma+nb)

因为m>1(m=0意味着nb=1不可能的)
所以ab-a-b+d(ma+nb)=(dm-1)a+(a+dn-1)b
因为dm-1>0
现在:
只要证明a+dn-1>=0

因为dma+dnb=d
如果:|dn|>fa 其中 f>0
那么dma=d+|dn|b>fab(注意绝对值)
所以dm>db
所以dma+dnb=(dm-db)a-(|dn|-fa)b=d
说明|dn|>fa时,我们就调整dm,dn
使|dn|<.a
因此|dn|<=a-1
所以a+dn-1>=0于是得证

数论系列 求证:设自然数a,b互质,则不能表示成ax+by(x,y为非负整数)的最大整数是ab-a-b相关推荐

  1. 任选两个自然数,它们互质的概率是多少?

    任选两个自然数,它们互质的概率是多少? 它就是s=2s = 2s=2时欧拉乘积公式右边的连乘的倒数,因此它等于s=2s = 2s=2时欧拉乘积公式左边的连加的倒数,即1/ζ(2)1/ζ(2)1/ζ(2 ...

  2. ACM数论基础:同余定理、欧拉定理、互质、阶与原根

    同余定理 数论中的重要概念.给定一个正整数m,如果两个整数a和b满足a-b能够被m整除,即(a-b)/m得到一个整数,那么就称整数a与b对模m同余,记作a≡b(mod m).对模m同余是整数的一个等价 ...

  3. 数论之互质与欧拉函数

    文章开始前先给大家安利我学长以前写的数论的blog:aliayc 文章目录 互质 欧拉函数 质因数分解求欧拉函数 筛法求欧拉函数 性质 积性函数 定义 性质 题目 互质 定义 ∀ a , b ∈ N ...

  4. 两个质数互质是_科学网—理解黎曼猜想(二)两个自然数互质的概率是多少? - 袁岚峰的博文...

    导读:任选两个自然数,它们互质的概率是多少?它就是s = 2时欧拉乘积公式右边的连乘的倒数,因此它等于s = 2时欧拉乘积公式左边的连加的倒数,即1/ζ(2).而ζ(2) = π^2/6,因此这个概率 ...

  5. 搞懂质数,质因子,互质,最大公约数,最小公倍数.

    1.质数: 质数是指在大于1的自然数中,除了1和它本身以外不再有其他因数的自然数. 借鉴y总的代码: bool is_prime(int n){     if(n<2)  return fals ...

  6. 蓝桥-最大最小公倍数(互质) (贪心)

    没想到这道题还需要不少的基础知识啊,数论(互质)还有一点不正宗的贪心 这道题是说从1~N中任选出三个数,求出他们的最小公倍数最大为多少,感觉有点生疏,对数论还有单陌生... 求出三个数的最小公倍数,运 ...

  7. 题目52:输入两个正整数m和n,判断m和n是否互质(即最大公约数为1),是则输出Yes,否则输出No。

    题目转载:http://python.wzms.com/s/1/53 题目描述: 输入两个正整数m和n,判断m和n是否互质(即最大公约数为1),是则输出Yes,否则输出No. 输入格式: 输入两个整数 ...

  8. 互质阵的虚拟阵列推导

    互质阵的虚拟阵列推导 接收信号 Y=AX+N\boldsymbol{Y}=\boldsymbol{AX}+\boldsymbol{N} Y=AX+N 第k个信号的导向矢量,总共 K个 a(θk)=[1 ...

  9. [数论系列一]C Looooops,跳跳棋,The Luckiest number,CF906D Power Tower,Minimal Power of Prime,仪仗队,LCMSUM

    文章目录 C Looooops description solution code 跳跳棋 description solution code The Luckiest number descript ...

  10. [基础数论]CRT中国剩余定理(模数互质与不互质)

    文章目录 参考 模数互质 分析 例题 模数不互质 分析 例题 后记 参考 中国剩余定理(Chinese remainder theorem,简称CRT)即孙子定理,最早可见于中国南北朝时期(公元5世纪 ...

最新文章

  1. groovy–流程控制
  2. mysql数据库名虚拟机_linux虚拟机上装mysql数据库
  3. Ineffective mark-compacts near heap limit Allocation failed - JavaScript heap out of memory
  4. 自嗨锅要持续嗨,还得碾碎这四个“绊脚石”
  5. 删除指定路径下的文件
  6. Python列表排序 reverse、sort、sorted 操作方法详解
  7. linux 4412跑程序,荣品4412的板子上跑纯linux
  8. 【Kafka】Error when freeing index buffer (kafka.log.OffsetIndex) NullPointException
  9. Android 手机厂商推送服务调研
  10. screen乱码问题
  11. Android 悬浮按钮 两种实现方法
  12. ubuntu安装QGIS
  13. python如何定义一个空列表1s_如何在Python中创建多个(但单独的)空列表?
  14. 软件项目管理和软件工程的区别
  15. MATLAB2022a/Simulink + STM32F407 Discovery Kit教程1
  16. 耗资52亿美元,历时15年,人类有史以来建造的最复杂机器
  17. flux_屏幕色温调控
  18. 关于大数据,你应该知道的50个专业术语
  19. Hadoop安装配置
  20. java qo_Java中DAO/DTO/PO/VO/BO/QO/POJO

热门文章

  1. 单片机 - RTOS - Linux
  2. 商标是否占用查询方法、阿里云商标注册方法
  3. java作品_50幅惊艳的分形艺术作品
  4. ubuntu的iso文件下载
  5. Windows Embedded Standard 7 快速入门指南 2 of 4
  6. winrar压缩软件免费版
  7. 个人免签码支付源码+监控APP 实测搭建成功
  8. 前端请求报错Provisional headers are shown接口请求失败
  9. python复制excel图片_python批量导出excel区域图片
  10. 如何使用node批量修改文件后缀名