在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？ 第1页
1
li-peng-cheng-84-13 网友的相关建议:
在 @寨森Lambda-CDM 和 @dna049 答案的基础上提供一些（毫无技术含量的）改进. 如有舛漏，还望指正.
首先我们留意到如下定理：
对于任意无理数 ，存在无穷多（正）整数对 ，使得 .
故 .
因此我们知道有无穷多个正整数 使得
.
这个结果似乎仍然可以继续改进. 引理中的 是任意无理数. 如果我们可以排除一部分特殊的无理数，那么引理中不等式右侧分母的常数最多可以改进为3. 参见:
在 不属于这些特定无理数的假定下，将有无穷多个正整数 使得 . 至于如何从 改进到 ，恐怕还要另请高明.
zhai-sen-8 网友的相关建议:
概述
我并未解决这个题主的问题，下面将证明稍弱的估计 （定理1）。这个问题实际上与 的irrationality measure有关：如果证明了 ，就能直接推导出 （定理3）
对于一般的情形 ，目前没有好方法得到它的值。（定理2的方法表明 时该下极限等于 ）
回顾irrationality measure的定义
由于超越数的irrationality measure至少是2（ ），因此我们有：
引理1 存在无穷多整数对 使得
有如下比题主的命题稍弱的结果：（有了引理，证明就比较trivial）
定理1 存在无穷个整数 使得
证明：由引理，存在无穷多整数对 使得 。此时 ，并且有
定理2 对于任何 ，存在无穷个整数 使得
证明：由引理1，有无穷个整数 使得 。当 充分大时， ，即证。
定理3 如果在 充分大时 ，那么
证明：反证。设 ，则仿照定理1的证明过程可以得到存在无穷个整数对 使得 ，但当 充分大时 ，这与条件 充分大时 是矛盾的。
从定理3我猜测，原命题很可能是假的。（因为是否有 目前来说还是个开放的问题）
【附】关于定理1，
考虑的是，给出更好的估计：存在无穷使。能否用类似的技巧，将分子上的降到，是本题的关键所在。
1
相关话题
如何评价上海交通大学数学系数学分析证明题都考原题?在 UCLA 上陶哲轩的课是什么感受？
为什么黎曼ζ函数能够如此表示？（第二个等号）?
牛顿莱布尼茨公式这么证可以吗？（准初二，对微积分了解不深）?
现在的人工智能是否走上了数学的极端？
复数的物理意义是什么？
傅里叶变换等于自身的函数有哪些？
如何求解洛朗级数?
请问这个集合不是零测集有什么具体例子吗？
有哪些经典的无解问题？
前一个讨论
相关的话题
你见过最美的 MATLAB 绘图是什么？为什么三点决定一个圆，而圆规只需两点就决定了一个圆？
这个不等式如何证明呢 ？
一个关于新的磁场解释的初级模型 3.1（简化为了等待讨论新内容），可以完善吗？
菲赫金哥尔茨的《微积分学教程》中绪论中关于实数强稠密性的定理怎么理解？
高考数学140的人难道选填压轴都能一眼出答案吗？
用这种方式算π，问题在哪？
轮子为什么不设计成莱洛三角形?
你数学考过的最低分是多少分？
为什么我国现在在数学IMO取得第一的成绩，但杰出数学家却几乎没有？
一般五次及其以上的一元多项式方程有三角函数解吗？
为什么要公理化实数，而不是从自然数导出？
在其他宇宙，1+1 可能 = 3 么？
李导数与协变导数有什么联系？
高等数学和生物技术有什么关系？
三门问题(蒙提霍尔悖论)变种，如果主持人不知道哪个门是汽车随便蒙门打开正好是羊这时观众还需要换门吗？
你上过哪些比微积分难的课？
高中毕业半年了，还是不会解方程。刚刚还去抖音搜了一下解方程，看了几个视频还是学不会？是不是脑子有问题？
不定积分做不好怎么改善？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
喜欢数学，但是脑子不好使，怎么办？
如何求圆周上随机 n 点构成的 n 边凸包的平均面积？
无法理解高等数学怎么办？
为什么物理学家往往比数学家更有人格魅力？
在微积分教材一开始直接引入 epsilon-delta 语言是否有利？
这个数学问题有解吗，有哪些好的处理思路？
如果1+1＝0你认为是什么原因？
如何评价四川大学数学学院付昌建老师?
(1+e^((-2k-1)pi)) k 从0到无穷的连乘怎么算？
π可能等于4吗 ?