当前位置: 首页 > news >正文

P3951 [NOIP 2017 提高组] 小凯的疑惑 - Harvey

前提:\(\gcd(a,b)=1\).
结论\(1\):对于两个正整数 \(a,b\),若 \(n = ab-a-b\),则 \(n\) 无法被表示成 \(n = ax+by (x\geq 0,y\geq 0)\).
证明:
\(ab-a-b = (a-1)(b-1)-1\)
\(ab-a-b = ax+by\)
\(ab = a(x+1)+b(y+1)\)
由于 \(a,b\) 互素,所以 \(a|(y+1),b|(x+1)\)
所以 \(a(x+1)+b(y+1) \geq 2ab > ab\).
证毕。


结论\(2\):对于两个正整数 \(a,b\),若 \(N = ab-a-b\),则所有 \(n>N\) 都可以被表示成 \(n=ax+by(x\geq 0,y\geq 0)\).
\(ax+by = n\) 的解为 \(x_0,y_0\).
\(y=y_0-at\) 使 \(0 \leq y \leq a-1\).
于是有 \(ax = n-by > ab-a-b-by \geq ab-a-b-b(a-1) = -a\).
\(x>-1\)\(y\) 是对称的,证毕。


结论\(3\):对于两个正整数 \(a,b\),若 \(N = ab-a-b\),则如果 \(n<N\) 不可以被表示,则 \(N-n\) 可以被表示。

http://www.jsqmd.com/news/115864/

相关文章:

  • 第7章 类
  • 目录---behaviac
  • python django flask基于Web的医院挂号预约管理系统的设计与实现_tx5w3g1r
  • 完整教程:FFmepg--25-h265解码yuv格式
  • 提示工程架构师必备,实用工具箱大放送
  • 2025年大模型使用全景图:6大趋势助你抢占AI先机
  • 20251220
  • 在duckdb 递归CTE中实现深度优先搜索DFS
  • 线索二叉树
  • 实用指南:【javaEE】多线程进阶--CAS与原子类
  • 第3章 字符串向量数组
  • 大模型微调实战指南:从全参数微调到BitFit的低成本学习路径
  • 灵活用工平台,我的实践复盘
  • 敢不敢用一年时间读完这12本书,模型入门必看的12本书!建议收藏!!
  • 曲线的极坐标方程输入法 | Desmos 玩法系列 02
  • Windows10/11右键-超级菜单(动态菜单)批处理安装,所有任务、环境变量、设备管理器、网络链接、设备和打印机、重启资源管理器、电源选项、 区域语言、查看串口、获取本机IP等
  • 卡帕西年度预测:大模型只释放10%潜力,2025年AI发展6大趋势
  • AVL
  • STM32学习——编码器接口测速
  • AI写论文哪个软件好?9款AI论文写作软件实测,查重率低至6%!
  • 鸿蒙系统
  • 11.20 脚本网页 数学分支
  • 学Simulink——基础MPPT控制场景实例:基于Simulink的电导增量法(INC)光伏MPPT仿真
  • 本地运行可以打印东西,docker run后却没有日志产生?记录一次AI编程的小蠢行为
  • 排序--基数排序
  • 正点原子移植linux-imx6.12的一个容易犯得问题
  • 大模型微调优化方案:PEFT-LoRA轻量化与量化技术,成本降低70%训练周期缩短65%
  • 解析:One-API 与 New-API 核心原理
  • 模板和策略模式的区别
  • 好友圈模块 Cordova 与 OpenHarmony 混合开发实战