$x \to 0$ のとき、以下の問題に答えよ。ここで、$a, b, c$ は実数、$l, m, n$ は正の整数とし、$l$ は可能な限り最大の整数とする。 (1) $x^m o(x^n) = o(x^l)$ が成り立つような $l$ を求めよ。 (2) $\frac{1}{1+x} = 1 + ax + bx^2 + o(x^l)$ が成り立つような $a, b, l$ を求めよ。 (3) $\{2 + x + o(x)\}\{1 + 2x + x^2 + o(x^2)\} = a + bx + o(x^l)$ が成り立つような $a, b, l$ を求めよ。 (4) $\frac{(1 + 4x + 2x^2 + o(x^2))(1 - 2x + 3x^2 + o(x^2))}{1 + x} = a + bx + cx^2 + o(x^l)$ が成り立つような $a, b, c, l$ を求めよ。

解析学極限テイラー展開ランダウの記号
2025/6/4

1. 問題の内容

x0x \to 0 のとき、以下の問題に答えよ。ここで、a,b,ca, b, c は実数、l,m,nl, m, n は正の整数とし、ll は可能な限り最大の整数とする。
(1) xmo(xn)=o(xl)x^m o(x^n) = o(x^l) が成り立つような ll を求めよ。
(2) 11+x=1+ax+bx2+o(xl)\frac{1}{1+x} = 1 + ax + bx^2 + o(x^l) が成り立つような a,b,la, b, l を求めよ。
(3) {2+x+o(x)}{1+2x+x2+o(x2)}=a+bx+o(xl)\{2 + x + o(x)\}\{1 + 2x + x^2 + o(x^2)\} = a + bx + o(x^l) が成り立つような a,b,la, b, l を求めよ。
(4) (1+4x+2x2+o(x2))(12x+3x2+o(x2))1+x=a+bx+cx2+o(xl)\frac{(1 + 4x + 2x^2 + o(x^2))(1 - 2x + 3x^2 + o(x^2))}{1 + x} = a + bx + cx^2 + o(x^l) が成り立つような a,b,c,la, b, c, l を求めよ。

2. 解き方の手順

(1) xmo(xn)=o(xl)x^m o(x^n) = o(x^l) について、左辺は xm+nx^{m+n} のオーダーであり、右辺は xlx^l より高次の項であることを意味する。したがって、m+n>lm+n > l が成り立つ必要があり、ll の最大値は m+n1m+n-1 である。
(2) 11+x\frac{1}{1+x} をマクローリン展開する。
11+x=1x+x2x3+\frac{1}{1+x} = 1 - x + x^2 - x^3 + \dots
1+ax+bx2+o(xl)=1x+x2+o(xl)1 + ax + bx^2 + o(x^l) = 1 - x + x^2 + o(x^l) より、a=1a = -1, b=1b = 1 である。このとき、o(x3)o(x^3)以降の項が無視できるため、l=2l = 2 となる。
(3) {2+x+o(x)}{1+2x+x2+o(x2)}=2+4x+2x2+x+2x2+x3+o(x)=2+5x+4x2+x3+o(x)=2+5x+o(x1)\{2 + x + o(x)\}\{1 + 2x + x^2 + o(x^2)\} = 2 + 4x + 2x^2 + x + 2x^2 + x^3 + o(x) = 2 + 5x + 4x^2 + x^3 + o(x) = 2 + 5x + o(x^1)
a+bx+o(xl)=2+5x+o(xl)a + bx + o(x^l) = 2 + 5x + o(x^l) より、a=2a = 2, b=5b = 5, l=1l = 1 となる。
(4) まず、分子を展開する。
(1+4x+2x2+o(x2))(12x+3x2+o(x2))=12x+3x2+4x8x2+2x2+2x2+o(x2)=1+2xx2+o(x2)(1 + 4x + 2x^2 + o(x^2))(1 - 2x + 3x^2 + o(x^2)) = 1 - 2x + 3x^2 + 4x - 8x^2 + 2x^2 + 2x^2 + o(x^2) = 1 + 2x - x^2 + o(x^2)
したがって、1+2xx2+o(x2)1+x=(1+2xx2+o(x2))(1x+x2+o(x2))=1x+x2+2x2x2+x2x2+o(x2)=1+x2x2+o(x2)\frac{1 + 2x - x^2 + o(x^2)}{1 + x} = (1 + 2x - x^2 + o(x^2))(1 - x + x^2 + o(x^2)) = 1 - x + x^2 + 2x - 2x^2 + x^2 - x^2 + o(x^2) = 1 + x - 2x^2 + o(x^2)
a+bx+cx2+o(xl)=1+x2x2+o(xl)a + bx + cx^2 + o(x^l) = 1 + x - 2x^2 + o(x^l) より、a=1a = 1, b=1b = 1, c=2c = -2, l=2l = 2 となる。

3. 最終的な答え

(1) l=m+n1l = m + n - 1
(2) a=1,b=1,l=2a = -1, b = 1, l = 2
(3) a=2,b=5,l=1a = 2, b = 5, l = 1
(4) a=1,b=1,c=2,l=2a = 1, b = 1, c = -2, l = 2

「解析学」の関連問題

2つの曲線 $y = kx^2$ と $y = \log x$ が共有点Pで共通の接線をもつとき、$k$ の値と接線 $l$ の方程式を求める問題です。

微分接線対数関数二次関数
2025/6/6

媒介変数表示された曲線 $x = \frac{1+t^2}{1-t^2}$、 $y = \frac{2t}{1-t^2}$ について、$\frac{dy}{dx}$ を $t$ の関数として表す。

微分媒介変数表示導関数
2025/6/6

方程式 $y^3 = x^2 e^x$ で定められる $x$ の関数 $y$ について、$\frac{dy}{dx}$ を求めよ。

微分陰関数微分合成関数の微分積の微分
2025/6/6

関数 $y = \frac{(x-2)^3(x+1)}{(x-1)^2}$ を微分せよ。

微分関数の微分対数微分法
2025/6/6

次の関数を微分する問題です。ただし、$a$ は $1$ でない正の定数とします。 (1) $y = \frac{e^{2x}}{\cos x}$ (2) $y = a^{2x^2}$

微分指数関数三角関数対数微分法
2025/6/6

次の関数を微分せよ。ただし、$a$ は 1 でない正の定数とする。 (1) $y = \log_a(\cos x)$ (2) $y = \log_a \left| \frac{2x-1}{2x+1} ...

微分対数関数合成関数導関数
2025/6/6

次の関数を微分せよ。 (1) $y = 2\sin x \cos x (1 - 2\sin^2 x)$ (2) $y = (\sin x - \cos x)^2$

微分三角関数導関数合成関数
2025/6/6

$x \to \infty$のとき、次の各組の関数について、どちらの関数がより速く増大するかを比の極限値を用いて調べる問題です。 (1) $e^{2x}$ と $10x^9 + 5x^5 + 2x^2...

極限関数の増大指数関数多項式関数ロピタルの定理
2025/6/6

$\lim_{x \to \pi} \frac{1 + \cos x}{(x - \pi)^2}$ を計算します。

極限ロピタルの定理三角関数微分
2025/6/6

$\lim_{x \to \pi} \frac{1 + \cos x}{(x-\pi)^2}$ を計算する問題です。

極限ロピタルの定理三角関数
2025/6/6