解いてみた
2019ELMO.SLP.A5.
Find all nondecreasing functions such that, for all,
(日本語で書くのがめんどくさいので,コピペ)
問題は
ここらへんから
.
ぱっと見て,かな?恒等のほうがやりやすそうだし,とおいて,元の式に代入してみる:
まず,より,.との比較によって, とより, を用いて,を変形すると,情報を上手く分けることができたし,任意のがをみたすこととをみたすことは同値ですね.上手くいってそうな気がしますがから嫌な臭いがしてきますね.
IMO
でありましたね.あまりすっきりした解ではなかったような気がするので,この問題も非自明なものがあるのかもしれないですね...ですが,がどうにかしてくれることを願いましょう.
さて,のとき,任意のに対して,が成り立ち,もちろんも非減少なのでが必要.で色々すると,が成り立ち,特にが分かる.のときを考える.ならよりとなるから不適で,なら大きいところで一定になるが,より不適.つまり,が言えた.これによって,が消え,という情報しか残りませんでした😱.恒等と定値以外にもあるのだと覚悟を決めました.
色々したら,なので,これは,が稠密でなかったら,(クロネッカーの定理)かつの元(0は考えない)を既約分数で表した時の分母すべてのgcdは有限である.(とおく.)一般化されたベズーの補題よりなので,より.より,でより,より,は半開区間で,と書ける.それぞれのときが必要.
逆にが稠密なら非減少なので,は連続で,より,が必要.
十分性は明らか.(必要十分条件を追っていけば簡単.)よって求める解は,
感想
同値を意識すると,変な解があっても落ち着いて対処できるかもしれないなって思いました.