面白い問題おしえて～な 28問目

面白い問題おしえて～ ..

216:１３２人目の素数さん
18/11/11 23:22:48.02 FVh8W5vn.net
>>26 ももう答え書いていいかな
M = sup_x |f(x)| とおく。
実数 x と整数 n に対して y_n = x - n*√2 と定めると、
f(x+1) - f(x) = Σ_(k=0,2n) 2^(-2n) * (2n)C(k) * ( f(y_(2n)+1+k) - f(y_(2n)+k) )
= 2^(-2n) * Σ_(k=0,2n+1) ( (2n)C(k-1) - (2n)C(k) ) * f(y_(2n)+k)
となるから、
|f(x+1)-f(x)| ≦ 2^(-2n) * Σ_(k=0,2n+1) | (2n)C(k-1) - (2n)C(k) | * M
= M * 2^(-2n) * 2 * Σ_(k=0,n) (2n)C(k) - (2n)C(k-1)
= M * 2^(-2n) * 4 * (2n)C(n).
n は任意のであったから、n→∞ として f(x)=f(x+1) を得る。
これを元の式に代入することで f(x)=f(x+√2) も得られるが、
以上から f は稠密な集合 {a+b√2 | a,bは整数} 上で一定であるから、f は定数関数である。

次ページ

続きを表示

1を表示