问题来自群友:
从1开始,二进制取反然后拼接到后面,重复这一操作,得到
1
10
1001
10010110
1001011001101001
10010110011010010110100110010110
1001011001101001011010011001011001101001100101101001011001101001
......
自然而然想到,从前面增加0.
,这个小数会趋近怎样一个数呢?
通项公式我没想到好的方法写出来,于是掏出麦酱:
RSolve[{
a[1] == 1/2,
a[n] == a[n - 1] + (1 - a[n - 1] - 2^-2^(n - 1))*2^-2^(n - 1)}
, a[n], n] // FullSimplify
得到
{
{
a
n
→
1
4
(
∏
K
[
1
]
=
1
n
−
1
2
−
2
K
[
1
]
(
2
2
K
[
1
]
−
1
)
)
(
4
∑
K
[
2
]
=
0
n
−
1
2
−
2
K
[
2
]
+
1
(
2
2
K
[
2
]
−
1
)
∏
K
[
1
]
=
1
K
[
2
]
2
−
2
K
[
1
]
(
2
2
K
[
1
]
−
1
)
+
1
)
}
}
\left\{\left\{a_n\to \frac{1}{4} \left(\prod _{K[1]=1}^{n-1} 2^{-2^{K[1]}} \left(2^{2^{K[1]}}-1\right)\right) \left(4 \sum _{K[2]=0}^{n-1} \frac{2^{-2^{K[2]+1}} \left(2^{2^{K[2]}}-1\right)}{\prod _{K[1]=1}^{K[2]} 2^{-2^{K[1]}} \left(2^{2^{K[1]}}-1\right)}+1\right)\right\}\right\}
⎩⎨⎧⎩⎨⎧an→41⎝⎛K[1]=1∏n−12−2K[1](22K[1]−1)⎠⎞⎝⎛4K[2]=0∑n−1∏K[1]=1K[2]2−2K[1](22K[1]−1)2−2K[2]+1(22K[2]−1)+1⎠⎞⎭⎬⎫⎭⎬⎫
……看这样子应该是个超越数,我肯定算不出,不用算了,前200位:
0.58754596635989240221663863174154471691052162554423044242662058465120640763421741103619545951378786660374363355346186251257838287480639347986900318747408590610118831494175859485120507626316228231836793