作者stimim (qqaa)
看板puzzle
标题Re: [问题] 连分数
时间Sun Feb 27 10:18:53 2011
※ 引述《EIORU ()》之铭言:
: 有一个数字 = 0.abcdefg... a~g...代表数字(可相同)
: 1
: = 0 + -----------------------
: 1
: a + -----------------
: 1
: b + -----------
: 1
: c + -----
: ...(以此类推)
: 请问 这个数字存在吗?
虽然内文没有说,但是标题写的是"连分数",
因此假设 [0;a,b,...] 是一个连分数,由连分数的定义,
a,b,c,d,... 都是 "正整数"
(来源:
http://en.wikipedia.org/wiki/Continued_fraction)
因此 LPH66 的证明是对的。
我们也可以藉着构造一个这样的数来反证他:
假设这个数存在,[0;a,b,...] = 0.ab..
1/(0.abcd...) = a.~
=>
10/(a+1) <= a.~ < 10/a
只有 a = 3 时,
2.5 <= a < 3.3333 符合
(a = 2 =>
3.333 <= a < 5 不合,
a = 4 =>
2.5 <= a < 2 不合)
1/(1/(0.3bc...) - 3) = b.~
0.3b < 0.3bc... <= 0.3{b+1}
1/(1/(0.3b) - 3) < b <= 1/(1/(0.3{b+1} - 3)
b = 0 :
3.~ < b <= 4.42857... 不合
b = 1 :
4.42857 < b <= 8.~ 不合
b = 2 :
8.~ < b <= 33.~ 不合
b = 3 :
33.~ < b 或 b <= -17.~ 不合
当 b > 4 时,
1/(1/(0.3b) - 3) < 0
所以不存在这样的 b ,和 LPH66 的结论是一样的
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.228.151.15
1F:推 AlexCYW:我穷举就是用这种方法.. 02/27 13:29
2F:→ mk426375:其实连结里就有提到无穷连分数必为无理数@@ 03/04 02:53