$n$ は自然数、$a, b$ は $|a| + |b| \le 1$ を満たす実数とし、$f(x) = ax^n + b$ とおく。方程式 $f(x) = x$ の実数解で、$-1 \le x \le 1$ の範囲にあるものが存在することを示せ。

解析学方程式実数解中間値の定理不等式関数
2025/6/10

1. 問題の内容

nn は自然数、a,ba, ba+b1|a| + |b| \le 1 を満たす実数とし、f(x)=axn+bf(x) = ax^n + b とおく。方程式 f(x)=xf(x) = x の実数解で、1x1-1 \le x \le 1 の範囲にあるものが存在することを示せ。

2. 解き方の手順

まず、g(x)=f(x)xg(x) = f(x) - x とおきます。つまり、g(x)=axn+bxg(x) = ax^n + b - x です。g(x)=0g(x) = 01x1-1 \le x \le 1 の範囲に実数解を持つことを示せばよいことになります。
中間値の定理を使うことを考えます。
g(1)g(-1)g(1)g(1) を計算します。
g(1)=a(1)n+b(1)=a(1)n+b+1g(-1) = a(-1)^n + b - (-1) = a(-1)^n + b + 1
g(1)=a(1)n+b1=a+b1g(1) = a(1)^n + b - 1 = a + b - 1
ここで、g(1)+g(1)=a((1)n+1)+2bg(-1) + g(1) = a((-1)^n + 1) + 2b となります。
nn が偶数の場合、g(1)=a+b+1g(-1) = a + b + 1 であり、g(1)+g(1)=2a+2b=2(a+b)g(-1) + g(1) = 2a + 2b = 2(a + b)
nn が奇数の場合、g(1)=a+b+1g(-1) = -a + b + 1 であり、g(1)+g(1)=2b+2(a+a)=2bg(-1) + g(1) = 2b + 2(-a+a) = 2b
いずれにしても、仮定 a+b1|a| + |b| \le 1 を利用します。
nn が偶数のとき、a+ba+b1|a+b| \leq |a| + |b| \leq 1 なので 1a+b1-1 \le a+b \le 1。従って 1a+b1-1 \le a+b \le 1 より 22(a+b)2-2 \le 2(a+b) \le 2 が成り立ちます。
nn が奇数のとき、ba+b1|b| \leq |a| + |b| \leq 1 なので 1b1-1 \le b \le 1。従って 22b2-2 \le 2b \le 2 が成り立ちます。
ここで、g(1)+g(1)g(-1) + g(1) を考慮します。
g(1)+g(1)=a((1)n+1)+2bg(-1) + g(1) = a((-1)^n + 1) + 2b
g(1)+g(1)g(-1) + g(1) の符号について考察します。
g(1)+g(1)=a(1+(1)n)+2bg(1) + g(-1) = a(1 + (-1)^n) + 2b なので、
場合分け
- nnが奇数のとき,g(1)+g(1)=2bg(1) + g(-1) = 2b です。仮定より b1|b| \le 1 であるから 1b1-1 \le b \le 1 であり、22b2-2 \le 2b \le 2 です。
- nnが偶数のとき,g(1)+g(1)=2a+2b=2(a+b)g(1) + g(-1) = 2a + 2b = 2(a+b) です。仮定より a+b1|a| + |b| \le 1 であるから a+ba+b1|a+b| \le |a| + |b| \le 1 であり、1a+b1-1 \le a+b \le 1 より 22(a+b)2-2 \le 2(a+b) \le 2 です。
ここで、g(1)=a+b1g(1) = a + b - 1 で、a+b1|a| + |b| \le 1 より a+ba+b1a+b \le |a| + |b| \le 1 だから、a+b10a + b - 1 \le 0 となります。つまり g(1)0g(1) \le 0 です。
g(1)=a(1)n+b+1g(-1) = a(-1)^n + b + 1 について考えます。
もし g(1)=0g(1) = 0 ならば、f(1)=1f(1) = 1 となり、x=1x = 11x1-1 \le x \le 1 の範囲にある解となります。
g(1)<0g(1) < 0 の場合、
nn が偶数なら、g(1)=a+b+1g(-1) = a + b + 1 となり、a+bab1a+b \ge -|a| - |b| \ge -1 なので、g(1)0g(-1) \ge 0 となります。
nn が奇数なら、g(1)=a+b+1g(-1) = -a + b + 1 となり、g(1)+g(1)=a+b+1+a+b1=2bg(-1) + g(1) = -a + b + 1 + a + b - 1 = 2b なので、g(1)=2bg(1)g(-1) = 2b - g(1)
g(1)>0g(-1) > 0g(1)<0g(1) < 0 が言えたので、中間値の定理より 1x1-1 \le x \le 1 の範囲に g(x)=0g(x) = 0 となる実数解が存在します。

3. 最終的な答え

方程式 f(x)=xf(x) = x の実数解で、1x1-1 \le x \le 1 の範囲にあるものが存在する。

「解析学」の関連問題

関数 $y = e^{2x}$ のマクローリン級数を求める。

マクローリン級数指数関数テイラー展開微分
2025/6/11

与えられた関数 $y = \frac{1}{2}x + \sqrt{x+1}$ の逆関数を求める問題です。

逆関数関数の計算平方根定義域
2025/6/11

次の定積分を求めます。 $\int_{-2}^{1} |x+1| dx$

定積分絶対値積分
2025/6/10

与えられた積分 $\int \frac{x}{\sqrt[3]{x}} dx$ を計算します。

積分べき乗積分不定積分
2025/6/10

与えられた積分を計算する問題です。積分は次の通りです。 $\int \frac{x^2 + \sqrt{x^3} - \sqrt{x}}{x} dx$

積分定積分関数
2025/6/10

与えられた不定積分を計算する問題です。 $\int (x-1) (\frac{1}{x^3} + 1) dx$

積分不定積分積分計算代数
2025/6/10

与えられた積分 $\int (x-1)(x^3+1) dx$ を計算します。

積分多項式不定積分
2025/6/10

与えられた積分を計算する問題です。 積分は次の通りです。 $\int (\sqrt{\frac{4}{x^3}} + \frac{1}{\sqrt{2x}} + (3x)^2)dx$

積分定積分関数計算
2025/6/10

関数 $y = x^2 + x - 1$ (ただし $x \geq -\frac{1}{2}$) の逆関数を $y = f(x)$ とおく。このとき、$\frac{dy}{dx}$ を $x$ の式で...

微分逆関数微分法
2025/6/10

与えられた2つの関数を微分する問題です。 (1) $y = \frac{x^2}{\sqrt{2x-1}}$ (2) $y = \sqrt{|x^2 - 1|}$ (ただし、$x \neq \pm 1...

微分関数の微分商の微分合成関数の微分絶対値関数
2025/6/10