7

競技数学典型/関数不等式(AoPSより)

824
0

はじめに

みなさんこんにちは!今回は関数方程式の重要なテクニックを含む問題を二問解説していきます.単射や全射などの最低限の知識は前提にして解説していきますのでご容赦ください.

※ミス等ありましたら,コメント等でご指摘お願いします.

問題+解説

正実数に対して定義され,実数値をとる関数fは任意の正実数x,yに対して以下を満たす.fとしてありうるものを全て求めよ.

f(x)+f(y)f(x+y)4f(x)y+f(y)x(1x+1y)f(x+y)8

AoPSは こちら .

①解の予想

解の予想をしましょう.予想すると,一次関数は満たさず,f(x)=0くらいしかなさそうだな〜ということがわかります.暫定的にはf(x)=0のみであることを示す方針でいきましょう.

②式を観察する

色々な数値を代入してみましょう.定義域がR+の関数方程式なので0を代入することはできないことに注意しましょう.例えば,(x,y)=(t,t)を代入してみます.すると,f(2t)=8f(t) tR+を得ます.これはとても強力な式ですね.ここで,与えられた式をもう少しいじってみましょう.与えられた式をつなげてみると以下のようになります.

4f(x)+4f(y)f(x+y)8x+y(xf(x)+yf(y))x,yR+

二つに式を一つの式にすることで最左辺と最右辺を比べて新たに情報を抽出することができます.4f(x)+4f(y)8x+y(xf(x)+yf(y))を整理して見ましょう.すると以下のようになります.

(xy)(yf(x)xf(y))0    x,yR+

これはfが広義単調増加関数であることを意味しています.とりあえず,パッと式を見て思いつくものはこれくらいでしょうか...?

③得られた道具をもとに考察を深める

ここで,f(2x)=8f(x)という等式があったことを思い出して見ましょう.それに広義単調増加関数であるという情報を加えると導かれることはなんでしょうか...?

そうですね,fの値域が0以上であるということです.従って,以下のような不等式評価ができるようになるのです.
f(x+y)=4f(x)+4f(y)4f(x)
さて,ここで違和感を持てるととてもセンスがあると思います.(僕には無理でした...)
f(2x)=8f(x)
f(x+y)4f(x)
fは広義単調増加関数
yは正実数ならばどんな値でも良いんです.2y<xなるyを取ってくると面白いことが起こります.

8f(x)=2f(x)f(x+2y)4f(y)+4f(x+y)4f(y)+4(4f(x)+4f(y))16f(x)

以上の不等式からf(x)=0であるとわかります.

(数の大小に対する感覚はとても大事なように感じます.f(x+ny)という形をf((x+(n1)y)+y)と見立てるのはとても有用なことが多いです.)

実数に対して定義され,実数値をとる関数fは任意の正実数x,yに対して以下を満たす.fとしてありうるものを全て求めよ.

f(x+y)+yf(x)x+f(y)+f(xy)

AoPSは こちら

①答えの予想

これはf(x)=xくらいしか無さそうですね.

②式を観察する

やはり,一つの不等式しかないというところが特徴的ですね.本当に求まるのかなぁという気持ちになってしまいますね.とりあえず,値を代入するところから始めていきましょう.(x,y)=(0,x)を代入することで,xf(0)f(0)であるのでf(0)=0を得ます.さらに,(x,y)=(x,0)とすることでf(x)xを得ます.ここから(x,y)=(x,x)(x,y)=(x,x)など色々試しても上手くいかないことがわかると思います.そこで少し具体的な値を求めることを考えて見ましょう,例えば,f(1)の値を求めることを考えて見ましょう.

(なぜ急に具体的な値を求めるのか?という疑問が挙がるかもしれませんが,これは「できることがそれくらいしかないこと」+「具体的な値を求めることが議論が進むことが多いこと」が理由です.今回はf(1)なんかが求められそうだったのでとりあえずf(1)の値について考えてみます.)

(x,y)=(1,1)と先ほど得られた結果より,以下が成り立ちます.

f(1)1+f(1)+f(1)1f(1)1

よってf(1)=1です.不等式のFEではkkという形で挟むくらいしか確定させる方法がないですね.(x,y)=(1,1)を代入することでf(1)=1も得ることができます.

③f(1)の値を生かす

せっかくこれらの情報を入手したので生かしたいです.(x,y)=(1,x)(x,y)=(x,1)など色々試して見ましょう.すると以下の式を見つけると思います.(x,y)=(x+1,1),(1,x)を代入すると良いですね.
(実際のところこの代入を思いつくのはとても難しいですね.しかしながら,f(1)f(1)の値がわかっていることなどを考えると,さほど天下り的ではありません.)

f(x)+1f(x+1),x+f(x+1)1+2f(x)

これらを組み合わせて,f(x)+1+x1+2f(x),すなわちxf(x)xなのでf(x)=xであるとわかります.

終わりに

 関数不等式では基本的に決め手はf(x)で挟むしかありません.最終的にはそれらを使ってf(x)を評価する必要があることを頭に入れておくと解きやすいかもしれません.今回扱った問題に出てくるテクニックはどれも重要なものなので知らなかった人は「こんな方法があるのか〜」程度に知っておいてください.

投稿日:20221126
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

自己満足

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中