「数学オリンピックチャンピオンの美しい解き方」に出てくる、代数の練習問題その1
前置き
分かりやすいように中括弧をわざと用いた。
真似してもよいが、あまりよい書き方でない可能性がある。自己責任でどうぞ。
問題
練習問題3.4
は非負実数で定義され、以下の条件(a)、(b)、(c)を満たすような、非負実数値をとる関数とする。
(a)全ての負でないに対して
(b)
(c)
このような関数を全て求めよ。存在しない場合はそれを示せ。
ヒントは省略。
解答(本には載ってません)
が変化した時
この式は、左辺の入力の変数がs変化した時に、右辺のがに変化した時の変化量が
の倍であることを示している。
同じように、
これは入力、出力共に非負実数であり、(それは関係ないが)がという一定の値変化する度に、という、されたが出てくる。
つまり、という関数で、
を変化させると、が必ず変化するようなものである。
要するに、(既出のではないが)
が定数変化した時に右辺のが定数変化する式というのは、との式では一次式しか存在しない。
更に、
(再掲)
この式は微分できる。
はに関して定数なので、外に出せる。で微分して
s^2b=cxbxf(x)\therefore f(x)=cx+CCf(x)f(x)f(x)=0bx=cx+Cdx=Cx=C/dxf(2)=2c=0\therefore C=2cf(x)=c(x+2)f(y)f(y)f(x)$より求まる。」
と書いて、証明は終わった。
Q. E. D.
■