在正整数 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
相关话题
学完泛函分析可以做哪些事情？如何证明ln2＞1/5（✓6+1）?
一天做完一百道积分题是一种什么感觉？
如果你来讲《高等代数》课程，你会如何设计？
9.99循环这个数存不存在，如果存在，那么它是整数还是无限循环小数？
为什么不能计算两次哈希，以及在什么情况下不能计算两次哈希？
极坐标表示 5000 到 50000 之间的素数为什么会形成一条螺旋线？
能否构造一个含有自己哈希或MD5等的文件？
正常的生活是否会限制数学家的发展？
是否可以根据薛定谔的平行宇宙理论推翻概率学？
前一个讨论
相关的话题
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？与1相邻的实数存在吗？
为什么不把高中的正余弦定理和直线与圆的方程知识放到初中学？
如何学习几何学（现代微分几何，包括微分流形，黎曼几何等）？
如何看待 15 岁女生谈方琳参加世界顶尖科学家大会？她的研究成果含金量有多高？
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
有哪些让人眼前一亮的函数？
为什么微积分那么难学？
学习数论图论有必要先学抽代和高代吗？
一致连续性与积分是否有潜在关系？在数学分析，尤其是积分中有何应用？
作为一名非数学专业（电子工程，物理）的学生，怎么样让自己的水平达到介于数学专业以及非数学专业的水平？
这个一元三次方程可以得到以下式子吗，属于因式分解吗？
「一种科学只有在成功地运用数学时，才算达到了真正完善的地步」是什么意思？
有哪些时候你会觉得数学很有用？
虚数 i 是真实存在的吗？还是被人们创造出的数学工具？
目标专业数学系，如何在北师大，南开大学，西安交通大学，山东大学，武汉大学中选择？
泰勒公式展开到任意阶，都不用管后面的高阶无穷小项么？
微分和导数的关系是什么？两者的几何意义有什么不同？为什么要定义微分 ?
从正整数 1~N 中任意取两数 m、n，设 P 为 m/n 可约分的概率，问 N→∞ 时，P为多少？
这个不等式的证明方法有哪些？
如何只通过计算证明“两点之间，线段最短”？
为什么正方体有十一种展开图？
世界三大数学家为什么没有欧拉？欧拉是不是纯数学家？
清华踩线和复旦数学选哪个？
如何证明一阶导数的上确界的平方小于等于原函数的上确界乘以二阶导数的上确界的二倍？
数学工作者如何看待中医？
冰雹猜想疑惑，是不是不能被3整除的数必能回到1？
这个极限怎么做呢？
我喜欢的女生的QQ好友验证问题是8730579，是什么意思？
999的99次方是什么概念？