在正整数 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
相关话题
数学类课程定理的复杂证明有必要掌握吗？张益唐九几年在美国过得那么苦逼为何不选择回国拿当时高达几百块RMB的月薪，回国没有更好的研究条件吗？
为何向量没有除法运算？
如何证明下面的级数恒等式？
如何评价上海交通大学数学系数学分析证明题都考原题?
怎么求这个极限问题?
我感觉我对数学的求知欲在下降，怎么办？
如何评价数海钓鱼将钓鱼题广泛传播的行为?
如何用多种方法(几何解释除外)来证明此不等式？
单调的环境下永生能让人变成傻子吗？
前一个讨论
相关的话题
数学论文的作者是怎样排序的？该n元不等式如何解？（张端阳的题）?
如何证明闭开区间无最大值(如反证法)？
想问一下这种椭圆柱面在第一卦限的体积怎么算?
为什么矩阵行秩等于列秩？
有什么很牛逼的无理数？
复合映射的符号f°g是怎么来的？
伽马函数中，Γ(1/2)=√π 怎么来的？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
如何评价上海交通大学数学系数学分析证明题都考原题?
什么是半微分（semi-differential）？有什么几何意义吗？
这几个有关贝塞尔函数的拉普拉斯变换是怎么推导的？
零点和极点个数有限的函数是否为有理函数？
欧美和前苏联在数学教学的风格、体系上有何不同？后者给我们学习数学设立了高门槛吗？
为什么说高斯公式是斯托克斯公式的特例？
纯数学是形而上学吗？
什么样的数能同时满足「＞0」且「＜0」？
将一个大于等于3的数分成三个正整数相加有多少种分法？
高中问题，不等式证明的大佬请进。这个不等式怎么证？
阿里数学竞赛到底难不难？高考142分能不能去试试看？
是否存在这样一个连续函数f,定义域为[a,b],f(x)>=0的同时,有且仅有可数无穷多个零点?
如何看待人教版教材疑似出现低级错误，用爱因斯坦相对论证明勾股定理？
σ-代数为什么叫代数？它有代数结构吗？
请问这道题用麦克劳林该怎么做?
请业内人士聊聊韦东奕现在的科研状况，能不能获得菲尔兹奖？
如何证明 2 的平方根不是有理数？
如何证明不等式（来自小蓝本）?
请问这个概念题目有大佬能讲解一下吗？
有没有可以判断 “B是否属于A的子序列” 的单向加密算法？
请问这道代数不等式怎么证？