##
1. 問題の内容
問題10は、実数上で定義された連続関数 が、以下の2つの条件を満たすとき、 であることを証明せよという問題です。
(a) 全ての実数 に対して、 が成り立つ。
(b) が成り立つ。
##
2. 解き方の手順
1. **$f(0)$ の値を求める:** 条件(a)で $x = y = 0$ とすると、
したがって、
2. **$f(n)$ (nは自然数) の値を求める:** 数学的帰納法を用いる。
のとき、 (条件(b)より)
のとき、 が成り立つと仮定する。
のとき、条件(a)より、
したがって、全ての自然数 に対して、 が成り立つ。
3. **$f(-n)$ (nは自然数) の値を求める:** 条件(a)で $x = n$ , $y = -n$ とすると、
(
1. と
2. の結果より)
したがって、
4. **$f(q)$ (qは整数) の値を求める:** 2.と3.より、全ての整数 $q$ に対して、$f(q) = q$ が成り立つ。
5. **$f(1/n)$ (nは自然数) の値を求める:** 条件(a)を繰り返し用いると、
(1/nがn個)
(1/nがn個)
(条件(b)より)
したがって、
6. **$f(m/n)$ (m, n は自然数) の値を求める:** 5.の結果を用いると、
(1/nがm個)
(1/nがm個)
したがって、全ての実数 (qは有理数) に対して、 が成り立つ。
7. **連続性を用いて $f(x) = x$ を証明する:**
は連続であるから、任意の実数 に対して、ある有理数列 が存在して、 となる。
の連続性より、
一方、 であるから、
したがって、
##
3. 最終的な答え
したがって、 であることが示された。