トピック一覧へ戻る

関数方程式は高校数学ではほとんど体系的に扱われないものです． もっとも数オリに「特有」の分野の一つであるといっても過言ではないでしょう． ですから，特別な練習を積む必要があります． まずは基礎を身に付けましょう．

関数方程式とは？

皆さん「方程式」という言葉はご存じでしょう．例えば，一変数では以下のようなものです． \[ x^4+x^3-5x^2+x-6=0 \] $x$ が実数ならば $x=2,-3$ が解であり，$x$ が複素数であればさらに $x=\pm i$ が解となります．

あるいは，変数が複数である場合もあるでしょう．以下のようなものはどうでしょうか？ \[ x^2+15=y^2 \] これは実数の範囲ではも無数の解をもちますが， 正の整数の範囲であれば $(x,y)=(1,4),(7,8)$ と有限の解をもちます．

要するに，ある「等式」をみたすなんらかの「数」を求めることを要求されるのが，方程式です． 数というのは上で述べた通り整数であったり実数であったり複素数であったりするわけですが， これが「関数」だとどうなるかというのが本題です．

そのためには，まず「関数」というのがどのような概念であったかを知らねばなりません．

関数とは？

関数とは基本的に $2$ つの集合 $X,Y$ (同じでもよい) に対して定義されるものであると認識しましょう． 素朴には，$X$ の元ひとつひとつそれぞれ対して $Y$ の元 $1$ つを対応させる「規則」が「($X$ から $Y$ への) 関数」です．

関数は英語で「function」と呼ばれることから，一般の関数は文字では $f$ で表されることが多く (文字の並びから，もう一つ必要なときは $g$ が使われることが多いです)， $f:X\to Y$ で「$f$ が $X$ から $Y$ への関数である」ことを表し， $X$ の元 $x$ に $f$ で対応付けられる $Y$ の元を $f(x)$ で表します． また，$X$ を $f$ の定義域 (あるいは始域) とよび，$Y$ を $f$ の終域とよびます．

なお，$Y$ は値域とよぶのではないかと思った人もいるかもしれませんが，これは少し微妙です． なぜなら，$f$ は $X$ の元に対して $Y$ の元を定める規則に過ぎず， $Y$ の元がすべてこの規則に登場するかはわからない，すなわち $f$ は $Y$ の元をすべて返し得るかはわからないからです (参考：$Y$ の元をすべて返すという性質は，後述の通り「全射」とよばれます)．

関数にはこれ以上の定義はありません． 以下の「よくある間違い」で改めて強調していますが，$f$ の挙動に関しても本当に何もわかりません． きれいな式で表せるとはまったく限りません． また，集合 $X,Y$ の組み合わせはさまざまです．

もっとも良くあるのは，$X$ と $Y$ がともに $\mathbb{R}$，すなわち実数全体の集合である場合です． これは数オリの問題文では「実数に対して定義され実数値をとる関数 $f$」などと表現されることが多いです． 要するに，任意の実数に対してなんらかの実数を対応付ける規則ということです． 例えば，同じ実数を常に返す $f(x)=x$ や，常に $0$ を返す $f(x)=0$ などが素朴な例でしょう．

なお，後者の例を考えれば，上の「値域」についての説明は納得いただけるでしょうか． 実数から実数への関数が，必ずすべての実数値をとるとはもちろん限りませんよね． $2$ 乗した値を常に返す $f(x)=x^2$ などもそうです．

ここで，$f(x)=x$ や $f(x)=0$ などと書きましたが，等号は状況しだいで違う意味になり得ることに注意してください． ここでは，「任意の実数 $x$ について $f(x)=x$」が成り立つといった，いわば $f$ の「定義」を与える等式です． 方程式としての意味と混同しないように気を付けましょう． その場その場の意味を考えながら読み解いていけば絶対にわかるはずです．

なお，この曖昧さを回避するため，「任意の実数 $x$ について $f(x)=x$」といった味合いとして $f(x)\equiv x$ などと表現されることもあります． しかし，あまりフォーマルな表現ではないと思うのであくまで参考程度に留めておきます．

他にも「整数から整数」だとか「有理数から有理数」だとか，さまざまなパターンの関数が登場していきます．

具体的な問題

さて，これで準備は整ったので，さっそく具体的な問題を見てしまいましょう．JMO本選からのピックアップです．

「関数」に対する「方程式」というのは，このような形をしています．

以下，工事中

よくある間違い

さて，関数方程式をいかにして解くかを学ぶ前に，これだけは絶対にやってはいけないということを知りましょう．

もう本当に，とにかくこれだけは覚えて帰ってください． 関数方程式に慣れていない人がとにかくやりがちな，特に頻出の間違いたちです． 基本的にこれらを真っ先にやった瞬間，すべての進捗がゼロに帰すものと思ってください．

• 関数は多項式であるとは限りません！！！ いきなり次数の比較などやらないように！
• 多項式ではないにせよ，閉じたきれいな式で常に表せるとは限りません！！！
• 関数は連続であるとは限りません！！！ 数オリの一般的な関数方程式で極限がとれる状況はまずありません！
• 関数は微分可能であるとは限りません！！！ 数オリの一般的な関数方程式で微分できる状況はまずありません！

要するに，関数の形やクラスを制限してから議論したところで何の意味もないということです． これらの誤りは，そもそも「関数」という言葉の意味が正確に分かっておらず， 問題文が正しく読めていないことに起因するものでしょう． 上で述べたような「関数」の意味をしっかり理解していれば絶対に起こるはずのないことですし， そもそも皆さんは「奇妙な」挙動をする関数をすでにいくつも知っているはずです． たとえば $f(x)=\lvert x\rvert$（絶対値）はどうでしょうか？ より一般に，二つの関数を「組み合わせた」ような形をしているものが解になることは良くあります． 例えば以下のようなものです． \[ f(x) = \begin{cases} 1 & (x\geqq 0) \\ 0 & (x\lt 0) \end{cases} \] また，たとえば定義域が整数からなる場合には，より簡単に「奇妙な」関数をさまざま考えることが出来ますし， そもそも連続や微分といった概念はいよいよ何の意味も持たないものになります．

何度も何度もしつこいなと思いましたか？ では，もう二度とこの種の誤りが発生しないことを祈っています．

解の予想

慣れるまでは解の予想は絶対に初めにやりましょう！！！ 少なくとも，ある関数が与式をみたすかどうかは即座に確認できることです． すべての解が初めから予想できなかったとしても， ある関数が解であることがわかれば， 絶対に起こり得ない議論をせずに済むことがあります． 例えばですが，$f(x)=x$ と $f(x)=1-x$ が解であることがわかったら， （これらがすべてではなかったとしても，） 一般に $f(0)=0$ を示しに行って膠着することは避けられるわけです．

上で多項式を仮定して解くなと強調しました． しかしながら，実際には多くの場合は解は多項式（しかも高々一次，良くて二次）で表せることが多いです． ですから，まず解の予想を行うにあたって，例えば $f(x)=ax+b$ を仮定して代入することは有効であり，むしろやるべきです． それとこれはまったく別の問題であるということがご理解いただけるでしょうか．

記号の準備

一般に，整数全体は $\mathbb{Z}$，有理数全体は $\mathbb{Q}$，実数全体は $\mathbb{R}$ で表されます．

また（上でも書きましたが），$A$，$B$ を集合とするとき，「 $A$ の元に対して定義され $B$ に値をとる関数 $f$ 」「$A$ から $B$ への関数 $f$ 」は「 $f:A\to B$ 」と表されます．

また，「$x\in \mathbb{R}$」で「$x$は実数である」や「実数 $x$」といった意味になります．

つまり「$f: \mathbb{R} \to \mathbb{R}$ であって任意の $x, y \in \mathbb{R}$ について～～」 は「実数に対して定義され実数値をとる関数 $f$ であって，任意の実数 $x,y$ に対して～～」という意味です．

さらにこの記事では，例えば $f(x)\equiv x$ と書いて「任意の実数 $x$ について $f(x)=x$」を意味しています．

基本的な解き方

関数方程式は「関数に対する方程式」と書きましたが，いったいどのように考えればよいのでしょうか？　簡単な例を見て，雰囲気を掴んでいきましょう．

関数方程式の解き方は，基本的に「 $x$ や $y$ に別の式や具体的な値を代入して，新しい式を得る」ということの積み重ねです．

まず与式に $x=0$ を代入すると， \[\begin{align} 0f(0+y) &= 0^2+f(0\cdot y) \\ f(0) &= 0 \end{align}\] が得られます．次に与式に $y=0$ を代入すると，$f(0)=0$ より \[\begin{align} xf(x+0) &= x^2+f(x\cdot 0) \\ xf(x) &= x^2 \end{align}\] が得られます．よって $x\neq 0$ のとき $f(x)=x$ が得られ，$f(0)=0$ とあわせて任意の実数 $x$ について $f(x)=x$ であることがわかりました．

実はこれだけでは不十分です！！ 何が足りないのでしょうか？

それは十分性の確認です．今までの議論では「$f$ が問題の条件をみたすならば，$f(x)\equiv x$ である」ということを証明できましたが，問題は「すべての $f$ を求める」ことなので，$f(x)\equiv x$ が問題の条件をみたすことを確認しなければいけません．

幸いこれを示すのは簡単です．$f(x)\equiv x$ を与式に代入すれば $x(x+y)=x^2+xy$ となり，これは恒等式なので，$f(x)\equiv x$ は実際に解となります．

十分性の確認は概ね簡単にできますが，忘れると減点される場合があるので，忘れないよう気を付けましょう．

項を消そう

左辺と右辺に同じ形を作ることで，その項を消すことができ，よりシンプルな形の式を得られます．

https://web.evanchen.cc/handouts/FuncEq-Intro/FuncEq-Intro.pdf から問題を引用します．

$f(x^2+y)$ と $f(x^4)$ を同じにして消してみましょう． \[x^2+y=x^4\quad \Longleftrightarrow \quad y=x^4-x^2\] です．なので $y$ に $x^4-x^2$ を代入すると， \[\begin{align} \cancel{f(x^2+(x^4-x^2))}&=f(x^{27}+2(x^4-x^2))+\cancel{f(x^4)}\\ 0&=f(x^{27}+2x^4-2x^2) \end{align}\] となります．$x^{27}+2x^4-2x^2$ は全ての実数値をとるので，任意の実数 $x$ に対して $f(x)=0$ であることが証明できました．十分性は明らかです．

単射

関数 $f:X\to Y $ が単射であるとは任意の $x,y \in X$ について，$x \neq y$ ならば $f(x) \neq f(y)$ であることをいいます． 対偶を考えると，任意の $x,y \in X$ について，$f(x)=f(y)$ ならば $x=y$ とも言い換えられます．

王道の示し方：$f(s)=f(t)$ をみたす $s,t$ をとってきて $s=t$ を示します．

王道の使い方：$f(\text{なんとか}) =f(\text{ほげほげ})$ の形の式を見つけて/作って，$\text{なんとか}=\text{ほげほげ}$ という新たな情報を獲得します．

以下，解答では $P(a,b)$ で，$x$ に $a$，$y$ に $b$ を代入した式を表すことにします．

全射

関数 $f: X\to Y$ が全射であるとは，任意の $y \in Y$ に対し，ある $x \in X$ が存在し, $f(x)=y$ が成り立つことをいいます．$f(x)$ として任意の $Y$ の要素をとりうるということです．

王道の示し方：$f(\text{なんとか})= $(任意の値を取る部分) という式を見つけます．

王道の使い方：

• $f(t)=0$ をみたす $t$ をとってきて代入に使います．( $0$ が一番よく使うけど問題に応じて取りたい値は変わってくる．)
• $x$ が任意の$X$ の要素を動くとき，( $f(x)$ の式) = ( $f(x)$ の式) において $f(x)$ を 任意の $X$ の要素に置き換えます．

例:

• $f: \mathbb{R} \to \mathbb{R}$ が任意の $x,y \in \mathbb{R}$ について \[f\Bigl(f\bigl(f(y^{15})\bigr)+f\Bigl(f(x^{334})+f\bigl(f(y)\bigr)\Bigr)-f(3)+f(x)f(y)\Bigr)=x+f\Bigl(f(y)f\bigl(f(y)\bigr)\Bigr)\] をみたすならば，$f$ は全射である．
  • $f(\text{なんとか})=x+(\text{$y$ の式})$ であることに注意．
  • $y$ を固定して $x$ を実数全体で動かすとき，右辺は任意の実数値をとります．
  • すると左辺も任意の実数値をとるので，全射が従います．
  • 適当な例です．解けるかは知りません．なんとかの部分は複雑でも構わないということを理解してください．
• $f: \mathbb{R} \to \mathbb{R}$ が全射であり, 任意の実数 $x$ について $f(f(x))=f(x)$ をみたすならば，任意の実数 $x$ について $f(x)=x$ である．

Cauchyの関数方程式

Cauthyの関数方程式とは，$f(x+y)=f(x)+f(y)$ という形の関数方程式のことです．

まずは $\mathbb{Q}\to\mathbb{R}$ で解いてみましょう．

解は $f(x)=cx$（$c$ は実数）と予想でき，実際に解はそれだけであることが証明できます． まず自分で考えてみることをお勧めします．

では $\mathbb{R}\to\mathbb{R}$ の場合はどうでしょうか？

$f(1)=c$ とおくと，任意の有理数 $x$ に対し $f(x)=cx$ であることは上と同様にわかります． しかし $f(\sqrt{2})$ とか $f(\pi)$ とかの情報は得られるのでしょうか……？

実はこの問題の解は $f(x)=x$ だけではありません！　これを説明するのは少々面倒ですが，「実数全体は足し算だけでは全然制御できない」というイメージです．

しかし $\mathbb{R}$ 上の関数方程式でも，適切な条件を追加すれば解が $f(x)\equiv cx$ のみに定まります．

例えば $f(x)\geqq 0 ~(x\geqq 0)$ という条件です．

解答には重要な要素が詰まっています．まず自分で考えてみることをお勧めします．

実数の加法の構造だけでなく「順序」という構造まで考えたことで解けるようになったのでした．

また，上の解答で登場した「$\mathbb{Q}$ の $\mathbb{R}$ における稠密性（ちゅうみつせい）」は覚えておくとよいです．（一般に $\mathbb{R}$ の部分集合 $A$ は，任意の $x\in\mathbb{R}$ および $\varepsilon>0$ に対し $\lvert x-a \rvert < \varepsilon$ なる $a\in A$ が存在するとき，$\mathbb{R}$ において稠密であるといいます．この概念は一般の位相空間で定義できます．）

ここから得られる教訓は何でしょうか？　コンテストで出題される関数方程式は基本的に解ける方程式です．だからもしあなたが関数方程式を解いているとして，Cauchyの関数方程式が登場した場合，「不等号や連続性を言えないか？」と考えるべきです．

他のバージョン：