数列最值一例
[attach]5624[/attach] [i=s] 本帖最后由 zhcosin 于 2017-11-27 17:23 编辑 [/i]猜想有下面这个结论：
[b]命题[/b] 设$r$是一个无理数，则数集$\{|n-mr| \big| n,m \in \mathbb{Z}\}$的下确界是零(但取不到).
不过还没想出来怎么证明，貌似比想象中困难。 [quote]猜想有下面这个结论：
命题 设$r$是一个无理数，则数集$\{|n-mr| \big| n,m \in \mathbb{Z}\}$的下确界是零 ...
[size=2][color=#999999]zhcosin 发表于 2017-11-27 11:23[/color] [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=24238&ptid=5014][img]http://kuing.orzweb.net/images/common/back.gif[/img][/url][/size][/quote]
是成立的，利用 Farey 数列可以证明。
Farey 数列是指：将 $[0,1]$ 内的分母不超过 $n$ 的最简分数由小于大排列成的数列，记为 $\mathfrak F_n$。
有如下结论：
[attach]5643[/attach]
（这个 $\xi$ 应该也要 $(0,1)$ 内，图片截自[url=http://vdisk.weibo.com/s/dGej4jCIl7Vb_]《数论导引》[/url]P143）
于是把 $b$ 乘过去再令 $n$ 无穷大即得结论。 [b]回复 [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=24241&ptid=5014]3#[/url] [i]kuing[/i] [/b]
强大，强大，这书一直躺着我的电脑里，却没去看。。。。。 [b]回复 [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=24242&ptid=5014]4#[/url] [i]zhcosin[/i] [/b]
其实俺也没怎么看过，只是估计这个问题应该是涉及数论，就翻查了下数论的书，就在这里找到了。
数论太难鸟，俺也玩不起…… [i=s] 本帖最后由 zhcosin 于 2017-11-27 18:12 编辑 [/i]
[quote]回复 zhcosin
其实俺也没怎么看过，只是估计这个问题应该是涉及数论，就翻查了下数论的书，就在这里找到 ...
[size=2][color=#999999]kuing 发表于 2017-11-27 17:28[/color] [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=24243&ptid=5014][img]http://kuing.orzweb.net/images/common/back.gif[/img][/url][/size][/quote]
我也一样，还没精力研究数论。
一入数学深似海，从此娱乐成笑谈。。。。我还在为啥时候能玩一下魔兽争霸验证一下我的战术发愁呢。 [attach]6475[/attach]
不知该如何写出这个证明过程 [i=s] 本帖最后由 zhcosin 于 2017-11-29 13:58 编辑 [/i]
[b]回复 [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=24248&ptid=5014]7#[/url] [i]APPSYZY[/i] [/b]
你是问它前面的定理的证明还是问怎么用那个定理来证明后面提到的结论？如果是后者的话，后面那个“实际上”，不是已经提示了么。 [b]回复 [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=24254&ptid=5014]8#[/url] [i]zhcosin[/i] [/b]
我是说我前者的，不知该怎么描述证明过程（这道题本身就是我自己瞎编的哈哈） [i=s] 本帖最后由 大一新生 于 2018-7-25 00:37 编辑 [/i]
遇到一个更难的问题，和这道题类似：
数列$\{x_n\}$满足$x_n=n+\tan n,n\in\mathbb N^{\ast}$,那么数列$\{x_n\}$是否有下界？
页:
[1]