在正整数 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
相关话题
直角三角形内知道两个锐角的角平分线长度，怎么求斜边？数学不需要依赖任何观测吗?
有没有一个函数求导后幂会变高？
从985大学退学去俄罗斯读数学专业可行吗?
数轴上的点为什么是连续的？
一个数从1开始，每次各有50%的概率乘0.9或者乘1.1，重复足够多的次数以后，情况会如何？
物理矢量在计算中怎么运算？（准高一学生有点笨勿喷）？
n! 是否是一个完全平方数？
用微积分怎么证明勾股定理？
如何证明空集不是任意集合的子集？
前一个讨论
相关的话题
如何证明存在 1000 个连续的正整数中恰好有五个素数？如何证明这个数列$$a_{n}=sum_{i=1}^{n}(-1)^{⌊ix⌋}$$无界？
有哪些古代军事难题可以用物理公式、化学公式或高等数学解决的？
请问如何把所有自然数均分成三类？
怎么通俗地描述非欧几何？
为什么不少数学和理论物理的专栏文章喜欢配萌妹子的图？
计算根号下1+根号下1+根号下1......等于多少？
拓扑学究竟是是一种什么样的学科？
你认为数学和物理之间的关系是怎样的？
如何证明多项式 f(x)＝1＋x＋x²/2!＋x³/3!＋…＋x^n/n! 只有一个实数根？
这个级数应该怎么计算呢?求解答?
我在知网的《哥德巴赫猜想》简单证明能否被数学权威发现？
为什么会有 i 这一虚数？可以求出 i 的值吗？
为什么用外积可以证明dydz=–z'(x)dxdy，dxdy=rdrdθ？
有哪些看似荒谬的事，却有着合理的数学解释？
级数加括号后发散，是否之前一定发散？
如何推导如下积分列极限?
关于这个极限怎么计算？
数学的魅力是什么？
如何学习几何学（现代微分几何，包括微分流形，黎曼几何等）？
高三数学：如何比较b c大小？
请问这个实变证明题怎么做？
我能不能折出一根长3.3333.……米的小棍？
为什么lnΓ(x)~(x-1/2)lnx-x+1/2ln(2pi）？
可以留下一个优美的不等式吗？
什么是反函数？
求解一道关于级数的问题怎么证明？
请问怎么证明一个实对称矩阵为零矩阵（如题）？
抛物线为何属于圆锥曲线？
高一怎么恶补数学？