回復 31# ibvtys 的帖子
105 北一區(花蓮)
其本上就是 Cantor set, Cantor function
首先,易知對任意 \( n\in\mathbb{N}, f(\frac{1}{5^{n}})=\frac{1}{2^{n}} \)
可得 \( f(1-\frac{1}{5^{n}})=1-f(\frac{1}{5^{n}})=1-\frac{1}{2^{n}} \)
因此 \( f(\frac{1}{5}-\frac{1}{5^{n+1}})=\frac{1}{2}-\frac{1}{2^{n+1}} \)
對任意 \( t \) 滿足 \( 0\leq t<\frac{1}{2} \),存在正整數 \( n \) 使得 \( t<\frac{1}{2}-\frac{1}{2}\cdot\frac{1}{5^{n}} \)
又 \( f(x) \) 為遞增函數,因此 \( f(t)\leq f(\frac{1}{5}-\frac{1}{5^{n+1}})<\frac{1}{2} \)。
再由 \( f(1-x)=1-f(x) \),可得對任意 \( t \) 滿足 \( \frac{4}{5}<t\leq1, f(t)>\frac{1}{2} \)