問題は、次の6つの問題から構成されています。 (1) $arcsin(\frac{1}{2})$と$arctan(-\sqrt{3})$の値を求める。 (2) $cos(arcsin(u)) = \sqrt{1-u^2}$を示す。 (3) $\lim_{x\to 1}(x^2+3) = 4$が成り立つことを、極限値の基本性質(和と積)を用いて説明する。 (4) $x \to \infty$のとき、$y = e^x, y = x^3, y = x, y = \sqrt{x}, y = log x$ の増大度の大きい順に並べる。 (5) $f(x)=x^2$に対して、$\Delta f = f(x + \Delta x) - f(x)$とし、$f'(x)=\frac{df}{dx}$の定義式を$\Delta x$, $\Delta f$を用いて書き、$f'(x)=2x$となることを示す。 (6) $\lim_{x\to 1} \frac{x^2-1}{x+2}$を計算し、$f(x)=x^2 (x\ge 0)$, $g(x)=\sqrt{x}$が互いに逆関数であることを示す。

解析学三角関数極限増大度微分逆関数
2025/6/8

1. 問題の内容

問題は、次の6つの問題から構成されています。
(1) arcsin(12)arcsin(\frac{1}{2})arctan(3)arctan(-\sqrt{3})の値を求める。
(2) cos(arcsin(u))=1u2cos(arcsin(u)) = \sqrt{1-u^2}を示す。
(3) limx1(x2+3)=4\lim_{x\to 1}(x^2+3) = 4が成り立つことを、極限値の基本性質(和と積)を用いて説明する。
(4) xx \to \inftyのとき、y=ex,y=x3,y=x,y=x,y=logxy = e^x, y = x^3, y = x, y = \sqrt{x}, y = log x の増大度の大きい順に並べる。
(5) f(x)=x2f(x)=x^2に対して、Δf=f(x+Δx)f(x)\Delta f = f(x + \Delta x) - f(x)とし、f(x)=dfdxf'(x)=\frac{df}{dx}の定義式をΔx\Delta x, Δf\Delta fを用いて書き、f(x)=2xf'(x)=2xとなることを示す。
(6) limx1x21x+2\lim_{x\to 1} \frac{x^2-1}{x+2}を計算し、f(x)=x2(x0)f(x)=x^2 (x\ge 0), g(x)=xg(x)=\sqrt{x}が互いに逆関数であることを示す。

2. 解き方の手順

(1)
arcsin(12)arcsin(\frac{1}{2})の値は、sin(θ)=12\sin(\theta) = \frac{1}{2}となるθ\thetaを求めることで得られます。これはθ=π6\theta = \frac{\pi}{6}です。
arctan(3)arctan(-\sqrt{3})の値は、tan(θ)=3\tan(\theta) = -\sqrt{3}となるθ\thetaを求めることで得られます。これはθ=π3\theta = -\frac{\pi}{3}です。
(2)
arcsin(u)=θarcsin(u)=\thetaとおくと、sin(θ)=usin(\theta)=uとなります。
単位円を考えると、cos2(θ)+sin2(θ)=1cos^2(\theta) + sin^2(\theta) = 1なので、cos2(θ)=1sin2(θ)=1u2cos^2(\theta) = 1 - sin^2(\theta) = 1 - u^2
したがって、cos(θ)=±1u2cos(\theta) = \pm \sqrt{1 - u^2}arcsinarcsinの定義域は[π2,π2][-\frac{\pi}{2}, \frac{\pi}{2}]なので、cos(arcsin(u))=cos(θ)0cos(arcsin(u)) = cos(\theta) \ge 0、よってcos(arcsin(u))=1u2cos(arcsin(u)) = \sqrt{1 - u^2}
(3)
limx1(x2+3)=limx1x2+limx13\lim_{x\to 1}(x^2+3) = \lim_{x\to 1}x^2 + \lim_{x\to 1}3(和の性質)
=(limx1x)(limx1x)+limx13= (\lim_{x\to 1}x)(\lim_{x\to 1}x) + \lim_{x\to 1}3 (積の性質)
=11+3=1+3=4= 1 \cdot 1 + 3 = 1+3 = 4
(4)
xx \to \infty のとき、増大度の大きい順に並べると、y=ex,y=x3,y=x,y=x,y=logxy=e^x, y=x^3, y=x, y=\sqrt{x}, y=log x
(5)
(1) dfdx=limΔx0ΔfΔx=limΔx0f(x+Δx)f(x)Δx\frac{df}{dx} = \lim_{\Delta x \to 0} \frac{\Delta f}{\Delta x} = \lim_{\Delta x \to 0} \frac{f(x+\Delta x) - f(x)}{\Delta x}
(2) f(x)=x2f(x) = x^2なので、Δf=(x+Δx)2x2=x2+2xΔx+(Δx)2x2=2xΔx+(Δx)2\Delta f = (x+\Delta x)^2 - x^2 = x^2 + 2x\Delta x + (\Delta x)^2 - x^2 = 2x\Delta x + (\Delta x)^2
dfdx=limΔx02xΔx+(Δx)2Δx=limΔx0(2x+Δx)=2x\frac{df}{dx} = \lim_{\Delta x \to 0} \frac{2x\Delta x + (\Delta x)^2}{\Delta x} = \lim_{\Delta x \to 0} (2x + \Delta x) = 2x
(6)
(1) limx1x21x+2=limx1(x1)(x+1)x+2=(11)(1+1)1+2=03=0\lim_{x\to 1} \frac{x^2-1}{x+2} = \lim_{x\to 1} \frac{(x-1)(x+1)}{x+2} = \frac{(1-1)(1+1)}{1+2} = \frac{0}{3} = 0
(2) f(g(x))=f(x)=(x)2=xf(g(x)) = f(\sqrt{x}) = (\sqrt{x})^2 = x (x0)(x\ge 0)
g(f(x))=g(x2)=x2=x=xg(f(x)) = g(x^2) = \sqrt{x^2} = |x| = x (x0)(x\ge 0)
よって、f(x)f(x)g(x)g(x)は互いに逆関数である。

3. 最終的な答え

(1) arcsin(12)=π6arcsin(\frac{1}{2}) = \frac{\pi}{6}, arctan(3)=π3arctan(-\sqrt{3}) = -\frac{\pi}{3}
(2) cos(arcsin(u))=1u2cos(arcsin(u)) = \sqrt{1 - u^2}
(3) limx1(x2+3)=4\lim_{x\to 1}(x^2+3) = 4
(4) y=ex,y=x3,y=x,y=x,y=logxy=e^x, y=x^3, y=x, y=\sqrt{x}, y=log x
(5) (1) dfdx=limΔx0f(x+Δx)f(x)Δx\frac{df}{dx} = \lim_{\Delta x \to 0} \frac{f(x+\Delta x) - f(x)}{\Delta x} (2) dfdx=2x\frac{df}{dx} = 2x
(6) (1) limx1x21x+2=0\lim_{x\to 1} \frac{x^2-1}{x+2} = 0 (2) f(x)f(x)g(x)g(x)は互いに逆関数である。

「解析学」の関連問題

与えられた微分方程式 $y' + y - x = 0$ の積分因子を求め、その一般解を求める。

微分方程式積分因子1階線形微分方程式一般解部分積分
2025/6/9

与えられた3つの関数について、第$n$次導関数を求める問題です。 (1) $f(x) = \cos^2x$ (2) $f(x) = \frac{x+1}{x-1}$ (3) $f(x) = (1+x)...

導関数微分三角関数対数関数分数関数
2025/6/9

関数 $f(x) = x + 3$ の逆関数 $f^{-1}(x)$ の微分 $(f^{-1}(x))'$ を求める問題です。

逆関数微分関数の微分微分公式
2025/6/9

与えられた変数分離形の微分方程式 $x \frac{dy}{dx} + y = 1$ を解き、初期条件 $y(1) = 0$ を満たす特殊解を求める問題です。

微分方程式変数分離形初期条件特殊解
2025/6/9

(1) $f(x, y) = \frac{1}{1+x+y^2}$ と (2) $g(x, y) = e^y \cos x$ のマクローリン展開(原点(0,0)におけるテイラー展開)を求める問題です。

多変数関数マクローリン展開テイラー展開級数
2025/6/9

次の関数を微分せよ。 (1) $e^{x^4}$ (2) $e^{x^2 \cos x}$ (3) $\log |\log x|$ (4) $(\log (x^2 + x + 1))^3$ (5) $...

微分合成関数対数関数指数関数
2025/6/9

与えられた変数分離形の微分方程式 $y' = y(1-y)$ を解き、初期条件 $y(0) = 3$ を満たす特殊解を求める。

微分方程式変数分離形初期条件特殊解
2025/6/9

3次関数 $f(x) = x^3 + ax^2 + bx - 16$ が $x = 4$ で極小値 0 をとる。 (1) $a, b$ の値を求め、そのときの極大値を求める。 (2) 曲線 $y = ...

3次関数極値接線微分増減
2025/6/9

$x > 0$ を定義域とする関数 $C(x) = \frac{2}{5}x^3 - 4x^2 + 32x$ を $x$ で微分したものを $C'(x)$ とするとき、 $C'(x) - \frac{...

微分関数の微分導関数計算
2025/6/9

関数 $C(x) = \frac{2}{5}x^3 - 4x^2 + 32x$ を $x$ で微分した結果が $C'(x) = \frac{6}{5}x^2 - 8x + \frac{64}{7}$ ...

微分関数の微分導関数
2025/6/9