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^+$

全部评论

推荐最新楼层

12-16 15:22

腾讯_csig_测开

重生之我在云智做……

时间过得真快，作为2024届校招生加入腾讯云智，转眼间已接近一年多。回想起去年提前实习的日子，一切都还记忆犹新。今天我想从新人融入、技术成长、文化氛围等几个方面，分享我的真实体验，希望能为对腾讯云智感兴趣的学弟学妹们提供一些参考。新人融入：导师制与友好氛围刚入职腾讯云智时，我的第一印象是公司对新人的培养体系非常完善。每个新人都会分配一位导师，实行一对一指导。我的导师非常有耐心，从环境配置到业务理解，事无巨细地给予帮助。我们组的氛围也很友好，团队中的每个人都会在你询问时耐心解答，完全不用担心“问蠢问题”。公司文档系统相当规范，新人按照文档就能顺利走完新手期。我记得刚开始是熟悉组内业务，照着文档一...

帮你内推｜腾讯云智研发校招

点赞评论收藏

分享

12-15 14:50

已编辑

武汉理工大学前端工程师

27前端要不要寒假找实习

目前学了三件套和vue，做了两个项目，小兔鲜和性能监控项目，八股还没看，算法刚开始刷了几道，一月初考完放寒假，三月份开学，感觉寒假时间很长，是准备一下找个寒假实习（希望能找个中大厂不知道来不来得急），还是好好沉淀一下准备暑期实习

现在前端的就业环境真的很...

点赞评论收藏

分享

11-13 20:16

已编辑

厦门理工学院软件测试

双非什么时候才能上桌

😭，投了好多，连个邮件回复的都没几个，笔试做完就没消息，我寻思投个测试，咋这么难。欢迎各位大佬疯狂拷打我简历，说什么改什么！

专业嗎喽：硕佬，把学校背景放后面几段，学校背景双非还学院，让人看了就不想往下看。把实习经历和个人奖项放前面，用数字化简述自己实习的成果和掌握的技能，比如负责项目一次通过率90%，曾4次发现项目潜在问题风险为公司减少损失等等

点赞评论收藏

分享

11-17 17:25

电子科技大学 Java

27届找Java日常实习，简历求拷打

目前背了一周八股，leetcode hot100刷了30道，什么时候可以开始投简历？求助各位大佬帮忙优化简历🙏🙏🙏

别学ee了：确实，准备是准备不完的，感觉只有被拷打进步才快😂

点赞评论收藏

分享

12-17 10:20

河北工业大学 Java

人教人教不会，事教人一教就会。工作期间领导虽然没有说过什么有启发的话，但经历的事挺有启发的。工作上的事情一定要通过正规途径留下痕迹，千万不要怕麻烦。否则会面会有更多的麻烦

工作丧失热情的瞬间

点赞评论收藏

分享

评论

点赞

收藏

全站热榜

更多

创作者周榜

更多

正在热议

更多

# 2025年终总结 #

127447次浏览 2140人参与

# 找不到实习会影响秋招吗 #

1398605次浏览 13625人参与

# 实习简历求拷打 #

19666次浏览 223人参与

# 哪些公司笔/面试难度大？ #

6935次浏览 31人参与

# 考研人，我有话说 #

156262次浏览 1208人参与

# 秋招遇到的奇葩面试题 #

101117次浏览 416人参与

# 投格力的你，拿到offer了吗？ #

154097次浏览 829人参与

# 作业帮求职进展汇总 #

84700次浏览 558人参与

# 秋招被挂春招仍然能投的公司 #

8478次浏览 110人参与

# 简历当中有水分算不算造假？ #

154121次浏览 2250人参与

# 携程工作体验 #

18703次浏览 66人参与

# mt对你说过最有启发的一句话 #

40705次浏览 465人参与

# 秋招被确诊为…… #

277042次浏览 1583人参与

# 国庆前的秋招小结 #

265685次浏览 1718人参与

# 什么是优秀的实习经历 #

10556次浏览 236人参与

# 选实习，你更看重哪方面？ #

16167次浏览 269人参与

# 你收到了团子的OC了吗 #

1483578次浏览 11811人参与

# 找不到好工作选择GAP真的丢人吗 #

93507次浏览 1006人参与

# 摸鱼被leader发现了怎么办 #

106153次浏览 669人参与

# 担心入职之后被发现很菜怎么办 #

267295次浏览 1137人参与

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