2019-07-19 19:07 已编辑门头沟学院机器学习

关注

Beatty's theory

定理

当正无理数 $x$ 、 $y$ 满足下列式子时

$\frac{1}{x}+\frac{1}{y}=1$

会有 $P=\{\lfloor{nx}\rfloor|n \in N^+\}$ , $Q=\{\lfloor{ny}\rfloor|n \in N^+\}$ ,使得集合P和集合Q正好是 $Z^+$ 的一个划分,即 $P\cup Q=Z^+$ 、 $P\cap Q=\emptyset$ .

证明

1.一个正整数在集合P或集合Q中至多出现一次

因为 $x>1$ 、 $y>1$ ，所以 $\lfloor{nx}\rfloor$ 不会存在相同的正整数， $\lfloor{ny}\rfloor$ 亦然。

2. $P\cap Q=\emptyset$

反证法来一手，假设有正整数n、m、k使得 $\lfloor{nx}\rfloor=\lfloor{my}\rfloor=k$ ，即

$k<nx<k+1$ $k<my<k+1$

转化一下

$\frac{n}{k+1}<\frac{1}{x}<\frac{n}{k}$ $\frac{m}{k+1}<\frac{1}{y}<\frac{m}{k}$

两式相加

$\frac{n+m}{k+1}<\frac{1}{x}+\frac{1}{y}=1<\frac{n+m}{k}$

再转化一下

$k<n+m<k+1$

因为n、m是正整数，所以不符合，所以 $P\cap Q=\emptyset$

3. $P\cup Q=Z^+$

继续反证法，假设有正整数n、m、k使得 $\lfloor{nx} \rfloor < k < \lfloor{(n+1)x} \rfloor$ 、 $\lfloor{my}\rfloor<k<\lfloor{(m+1)y}\rfloor$

再进一步说

$\lfloor{nx}\rfloor<nx<k\le\lfloor{(n+1)x}\rfloor-1<(n+1)x-1<\lfloor{(n+1)x}\rfloor$

类似

$\lfloor{my}\rfloor<my<k\le\lfloor{(m+1)y}\rfloor-1<(m+1)y-1<\lfloor{(m+1)y}\rfloor$

取出下列不等式构成不等式组

$nx<k<(n+1)x-1$ $my<k<(m+1)y-1$

转换一下

$\frac{n}{k}<\frac{1}{x}<\frac{n+1}{k+1}$ $\frac{m}{k}<\frac{1}{y}<\frac{m+1}{k+1}$

两式相加

$\frac{n+m}{k}<\frac{1}{x}+\frac{1}{y}=1<\frac{n+m+2}{k+1}$

转换一下

$n+m<k<k+1<n+m+2$

因为n、m是正整数，所以不符合，所以 $P\cup Q=Z^+$

全部评论

推荐最新楼层

03-04 07:28

浙江大学算法工程师

番茄小说-客户端开发-二面

1. 详细介绍一下你做过的最复杂的项目，技术架构是怎样的？遇到了哪些难点？答案要点：项目背景：业务场景、用户规模、技术选型原因架构设计：模块划分、技术栈、设计模式核心难点：性能瓶颈、技术挑战、业务复杂度解决方案：具体的技术手段、优化策略、权衡考虑项目成果：性能指标提升、用户体验改善、技术沉淀个人收获：技术成长、架构思维、问题解决能力2. Qt的信号槽机制底层是如何实现的？与回调函数有什么区别？答案：实现原理： MOC（Meta-Object Compiler）预处理：扫描Q_OBJECT宏，生成元对象代码元对象系统：每个QObject有元对象信息（信号、槽、属性）连接表：维护信号和槽的映射关系...

C++八股文全集

点赞评论收藏

分享

03-04 15:25

重庆理工大学测试工程师

25届还有救吗，求大佬给点意见

饿魔：你这为什么gap了半年啊

点赞评论收藏

分享

03-06 20:09

贵州大学 Java

27届末211Java后端简历求拷打

现在才学到苍穹外卖，会不会太晚了TvT，在想能不能找小厂刷刷实习经历，这简历可以试着投吗？有人能指点一下吗，谢谢大佬

点赞评论收藏

分享

02-26 17:15

门头沟学院测试工程师

测试实习生真的要会这么多吗

明天下午面这家，jd写的很高，有点害怕

点赞评论收藏

分享

03-06 13:15

门头沟学院 Java

25年9月阿里Java实习（技术一面、技术二面及HR面）

#JAVA##JAVA面经##JAVA内推# 一面（20分钟）  请进行自我介绍   面试官好！我是XX大学计算机专业大四学生，主攻Java后端开发。技术栈聚焦Spring Boot/Cloud生态，熟练掌握MySQL、Redis、RabbitMQ等中间件。独立开发过校园二手交易平台（日均50+订单），获蓝桥杯Java组省一。我注重工程规范：项目采用Git协作、JUnit单元测试覆盖率超70%。非常认同贵司‘用技术创造真实价值’的理念，渴望在实战中成长，为团队贡献代码与思考。   请介绍你的项目，并说明开发初衷与价值    情境：校园二手交易依赖微信群，存在信息杂乱、信任缺失问题 任务：设计轻...

【八股真解】精炼最新高频...

点赞评论收藏

分享

评论

点赞

收藏

全站热榜

更多

创作者周榜

更多

正在热议

更多

# 今天你投了哪些公司？ #

11733次浏览 280人参与

# 27届求职交流 #

27252次浏览 558人参与

# 神州信息求职进展汇总 #

4946次浏览 76人参与

# 春招 / 实习投递，你最焦虑的一件事 #

10611次浏览 205人参与

# AI时代下，你的岗位要求有什么变化？ #

2423次浏览 54人参与

# 你感受到金三银四了嘛？ #

3949次浏览 33人参与

# 26届求职交流 #

14094次浏览 374人参与

# 哪一刻你对工作祛魅了？ #

4189次浏览 41人参与

# HR问：你期望的薪资是多少？如何回答 #

80888次浏览 690人参与

# 刚工作的你，踩过哪些坑？ #

1293次浏览 31人参与

# 如果给AI员工评绩效，我的答案是…… #

1129次浏览 41人参与

# 实习学不到东西正常吗？ #

2174次浏览 28人参与

# 找工作，你都让AI帮你做什么？ #

1233次浏览 48人参与

# 虽然0面试，但今天___，夸夸自己 #

1008次浏览 28人参与

# 今年找实习到底有多难？ #

4199次浏览 39人参与

# 春招前还要继续实习吗？ #

55222次浏览 302人参与

# 你觉得mentor喜欢什么样的实习生 #

52008次浏览 1013人参与

# 机械制造面试记录 #

321759次浏览 3167人参与

# 三月的小目标 #

36029次浏览 634人参与

# 25届非技术实习投递记录 #

149829次浏览 1020人参与

# 好未来求职进展汇总 #

32703次浏览 180人参与

牛客网
牛客网在线编程
牛客网题解
牛客企业服务