関数 $y = \sin{x}$ を、導関数の定義に従って微分せよ。

解析学微分導関数極値対数関数三角関数定義域極大極小
2025/5/25
## 問題 3

1. 問題の内容

関数 y=sinxy = \sin{x} を、導関数の定義に従って微分せよ。

2. 解き方の手順

導関数の定義は、
f(x)=limh0f(x+h)f(x)hf'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}
である。
この定義に従い、y=sinxy = \sin{x} を微分する。
y=limh0sin(x+h)sinxhy' = \lim_{h \to 0} \frac{\sin(x+h) - \sin{x}}{h}
三角関数の加法定理より、sin(x+h)=sinxcosh+cosxsinh\sin(x+h) = \sin{x}\cos{h} + \cos{x}\sin{h} であるから、
y=limh0sinxcosh+cosxsinhsinxhy' = \lim_{h \to 0} \frac{\sin{x}\cos{h} + \cos{x}\sin{h} - \sin{x}}{h}
y=limh0sinx(cosh1)+cosxsinhhy' = \lim_{h \to 0} \frac{\sin{x}(\cos{h} - 1) + \cos{x}\sin{h}}{h}
y=limh0sinxcosh1h+limh0cosxsinhhy' = \lim_{h \to 0} \sin{x} \frac{\cos{h} - 1}{h} + \lim_{h \to 0} \cos{x} \frac{\sin{h}}{h}
ここで、既知の極限 limh0sinhh=1\lim_{h \to 0} \frac{\sin{h}}{h} = 1 および limh0cosh1h=0\lim_{h \to 0} \frac{\cos{h} - 1}{h} = 0 を用いると、
y=sinx0+cosx1y' = \sin{x} \cdot 0 + \cos{x} \cdot 1
y=cosxy' = \cos{x}

3. 最終的な答え

cosx\cos{x}
## 問題 4

1. 問題の内容

関数 y=x2+log(4x2)y = x^2 + \log(4 - x^2) の極値を求めよ。

2. 解き方の手順

まず、定義域を求める。log(4x2)\log(4 - x^2) が定義されるためには、4x2>04 - x^2 > 0 である必要があり、
x2<4x^2 < 4
2<x<2-2 < x < 2
よって、定義域は 2<x<2-2 < x < 2 である。
次に、導関数 yy' を求める。
y=2x+14x2(2x)=2x2x4x2=2x(4x2)2x4x2=8x2x32x4x2=6x2x34x2=2x(3x2)4x2y' = 2x + \frac{1}{4 - x^2} \cdot (-2x) = 2x - \frac{2x}{4 - x^2} = \frac{2x(4 - x^2) - 2x}{4 - x^2} = \frac{8x - 2x^3 - 2x}{4 - x^2} = \frac{6x - 2x^3}{4 - x^2} = \frac{2x(3 - x^2)}{4 - x^2}
極値を求めるために、y=0y' = 0 となる xx を探す。
2x(3x2)4x2=0\frac{2x(3 - x^2)}{4 - x^2} = 0
分子が 0 となれば良いので、2x(3x2)=02x(3 - x^2) = 0
よって、x=0x = 0 または 3x2=03 - x^2 = 0 より、x=±3x = \pm \sqrt{3}
x=0,3,3x = 0, \sqrt{3}, -\sqrt{3} はいずれも 2<x<2-2 < x < 2 を満たすため、これらは極値の候補である。
次に、yy'' を求め、極大か極小かを判定する。
y=6x2x34x2y' = \frac{6x - 2x^3}{4 - x^2} を微分する。
y=(66x2)(4x2)(6x2x3)(2x)(4x2)2=246x224x2+6x4+12x24x4(4x2)2=2418x2+2x4(4x2)2y'' = \frac{(6 - 6x^2)(4 - x^2) - (6x - 2x^3)(-2x)}{(4 - x^2)^2} = \frac{24 - 6x^2 - 24x^2 + 6x^4 + 12x^2 - 4x^4}{(4 - x^2)^2} = \frac{24 - 18x^2 + 2x^4}{(4 - x^2)^2}
x=0x = 0 のとき、y=2416=32>0y'' = \frac{24}{16} = \frac{3}{2} > 0 より、極小値 y(0)=02+log(402)=log4y(0) = 0^2 + \log(4 - 0^2) = \log{4}
x=3x = \sqrt{3} のとき、y=2418(3)+2(9)(43)2=2454+181=12<0y'' = \frac{24 - 18(3) + 2(9)}{(4 - 3)^2} = \frac{24 - 54 + 18}{1} = -12 < 0 より、極大値 y(3)=(3)2+log(4(3)2)=3+log(43)=3+log1=3y(\sqrt{3}) = (\sqrt{3})^2 + \log(4 - (\sqrt{3})^2) = 3 + \log(4 - 3) = 3 + \log{1} = 3
x=3x = -\sqrt{3} のとき、y=2418(3)+2(9)(43)2=2454+181=12<0y'' = \frac{24 - 18(3) + 2(9)}{(4 - 3)^2} = \frac{24 - 54 + 18}{1} = -12 < 0 より、極大値 y(3)=(3)2+log(4(3)2)=3+log(43)=3+log1=3y(-\sqrt{3}) = (-\sqrt{3})^2 + \log(4 - (-\sqrt{3})^2) = 3 + \log(4 - 3) = 3 + \log{1} = 3

3. 最終的な答え

極小値:x=0x=0 のとき y=log4y = \log{4}
極大値:x=3x=\sqrt{3} のとき y=3y = 3
極大値:x=3x=-\sqrt{3} のとき y=3y = 3

「解析学」の関連問題

関数 $f(x) = a \cos x + bx + c$ が与えられており、$f(0) = 15$、$f'(0) = 7$、および$f''(0) = -8$という条件が与えられています。これらの条件...

関数三角関数微分導関数
2025/5/25

(1) $x \geq 0$ のとき、不等式 $1-x \leq e^{-x}$ を示す。 (2) $n$人 ($n \geq 3$) の選手の中からくじ引きで2人の選手を選び、1回の試合を行う。この...

不等式指数関数確率組み合わせ自然対数の底e
2025/5/25

$e$ を自然対数の底とするとき、$e \le p < q$ の条件の下で、不等式 $\log(\log q) - \log(\log p) < \frac{q-p}{e}$ が成り立つことを証明する...

不等式平均値の定理対数関数微分解析
2025/5/25

$a$ を定数とするとき、方程式 $x^2 - 3 = ae^x$ の異なる実数解の個数を求めよ。ただし、$\lim_{x \to \infty} x^2 e^{-x} = 0$ を用いてもよい。

方程式実数解グラフ微分増減極値指数関数
2025/5/25

関数 $y = \frac{x^3+4}{x^2}$ の定義域、増減、極値、グラフの凹凸、漸近線を調べ、グラフの概形を描く。

関数のグラフ微分増減極値凹凸漸近線
2025/5/25

関数 $f(x)$ が与えられています。 $ f(x) = \begin{cases} \log x & (x \geq 1) \\ \frac{ax+b}{x+1} & (x < 1) \end{c...

微分連続性微分可能性関数の定義対数関数
2025/5/25

$\tan{\theta}$ の範囲が与えられた不等式 $-\sqrt{3} < \tan{\theta} \leq 1$ を満たす $\theta$ の範囲を求めます。ただし、$\theta$ の範...

三角関数不等式tan角度範囲
2025/5/25

与えられた関数を $t$ で微分する問題です。関数は $\frac{d}{dt} \left(5 - \frac{d}{dt}\right) [\sin(5t - 2) - \cos(5t - 2)]...

微分三角関数合成関数
2025/5/25

与えられた積分を計算します。 $\int \sin(3x) \cos(2x) \, dx$

積分三角関数積和の公式積分計算
2025/5/25

与えられた数学の問題は、複数の小問から構成されています。微分、関数の連続性、グラフの概形、方程式の実数解の個数、不等式の証明など、幅広い分野をカバーしています。具体的には、以下の内容が含まれます。 (...

微分関数の連続性グラフ接線不等式確率
2025/5/25