$0 \leq x \leq \frac{\pi}{2}$ のとき、関数 $f(x) = \int_{0}^{\frac{\pi}{2}} |\sin t - \sin x| dt$ の最小値と、そのときの $x$ の値を求めよ。

解析学積分絶対値関数の最小値微分三角関数
2025/5/7

1. 問題の内容

0xπ20 \leq x \leq \frac{\pi}{2} のとき、関数 f(x)=0π2sintsinxdtf(x) = \int_{0}^{\frac{\pi}{2}} |\sin t - \sin x| dt の最小値と、そのときの xx の値を求めよ。

2. 解き方の手順

まず、積分の中の絶対値を外すために、sint\sin tsinx\sin x の大小関係を考える。
t[0,π2]t \in [0, \frac{\pi}{2}] において、
* 0tx0 \leq t \leq x のとき、sintsinx\sin t \leq \sin x なので、 sintsinx=sinxsint|\sin t - \sin x| = \sin x - \sin t
* xtπ2x \leq t \leq \frac{\pi}{2} のとき、sintsinx\sin t \geq \sin x なので、 sintsinx=sintsinx|\sin t - \sin x| = \sin t - \sin x
したがって、f(x)f(x) は次のように書き換えられる。
f(x)=0x(sinxsint)dt+xπ2(sintsinx)dtf(x) = \int_{0}^{x} (\sin x - \sin t) dt + \int_{x}^{\frac{\pi}{2}} (\sin t - \sin x) dt
次に、積分を計算する。
f(x)=[tsinx+cost]0x+[costtsinx]xπ2f(x) = \left[ t\sin x + \cos t \right]_{0}^{x} + \left[ -\cos t - t\sin x \right]_{x}^{\frac{\pi}{2}}
f(x)=(xsinx+cosx01)+(0π2sinx+cosx+xsinx)f(x) = (x\sin x + \cos x - 0 - 1) + (-0 - \frac{\pi}{2}\sin x + \cos x + x\sin x)
f(x)=2xsinx+2cosx1π2sinxf(x) = 2x\sin x + 2\cos x - 1 - \frac{\pi}{2}\sin x
f(x)=2xsinxπ2sinx+2cosx1f(x) = 2x\sin x - \frac{\pi}{2}\sin x + 2\cos x - 1
次に、f(x)f(x) の最小値を求めるために、f(x)f'(x) を計算する。
f(x)=2sinx+2xcosxπ2cosx2sinxf'(x) = 2\sin x + 2x\cos x - \frac{\pi}{2}\cos x - 2\sin x
f(x)=2xcosxπ2cosxf'(x) = 2x\cos x - \frac{\pi}{2}\cos x
f(x)=(2xπ2)cosxf'(x) = (2x - \frac{\pi}{2})\cos x
f(x)=0f'(x) = 0 となる xx を求める。cosx=0\cos x = 0 または 2xπ2=02x - \frac{\pi}{2} = 0
0xπ20 \leq x \leq \frac{\pi}{2} において、cosx=0\cos x = 0 となるのは x=π2x = \frac{\pi}{2} のとき。
2xπ2=02x - \frac{\pi}{2} = 0 より、x=π4x = \frac{\pi}{4}
x=0,π4,π2x=0, \frac{\pi}{4}, \frac{\pi}{2} の時の f(x)f(x) の値を比較する。
f(0)=2(0)sin0π2sin0+2cos01=2(1)1=1f(0) = 2(0)\sin 0 - \frac{\pi}{2}\sin 0 + 2\cos 0 - 1 = 2(1)-1 = 1
f(π4)=2(π4)sinπ4π2sinπ4+2cosπ41=π222π222+2221=21f(\frac{\pi}{4}) = 2(\frac{\pi}{4})\sin \frac{\pi}{4} - \frac{\pi}{2}\sin \frac{\pi}{4} + 2\cos \frac{\pi}{4} - 1 = \frac{\pi}{2}\frac{\sqrt{2}}{2} - \frac{\pi}{2}\frac{\sqrt{2}}{2} + 2\frac{\sqrt{2}}{2} - 1 = \sqrt{2}-1
f(π2)=2(π2)sinπ2π2sinπ2+2cosπ21=ππ2+01=π21f(\frac{\pi}{2}) = 2(\frac{\pi}{2})\sin \frac{\pi}{2} - \frac{\pi}{2}\sin \frac{\pi}{2} + 2\cos \frac{\pi}{2} - 1 = \pi - \frac{\pi}{2} + 0 - 1 = \frac{\pi}{2} - 1
211.4141=0.414\sqrt{2} - 1 \approx 1.414 - 1 = 0.414
π213.1421=1.571=0.57\frac{\pi}{2} - 1 \approx \frac{3.14}{2} - 1 = 1.57 - 1 = 0.57
したがって、最小値は 21\sqrt{2}-1 であり、x=π4x = \frac{\pi}{4} のときである。

3. 最終的な答え

最小値: 21\sqrt{2} - 1
そのときの xx の値: π4\frac{\pi}{4}

「解析学」の関連問題

与えられた微分方程式 $\frac{d^2y}{dx^2} + y = \sin x$ の一般解を、基本解 $y_1(x) = \cos x$ と $y_2(x) = \sin x$ を用いて求め、選...

微分方程式一般解線形微分方程式特殊解
2025/5/9

与えられた関数 $f_1(x) = e^x$, $f_2(x) = e^{2x}$, $f_3(x) = e^{3x}$ に対して、ロンスキー行列式 $W(f_1, f_2, f_3)(x) = \b...

ロンスキー行列式微分指数関数
2025/5/9

与えられた自励系のリッカチ方程式 $\frac{dy}{dt} = -\frac{1}{4}y(y-2)$ (ただし、$t \geq 0$) の初期条件 $y(0) = 1$ を満たす解 $y^*(t...

微分方程式リッカチ方程式極限平衡解力学系
2025/5/9

与えられた全微分方程式 $(x-y+1)dx + (y^2-x+3)dy = 0$ の一般解を、選択肢の中から選ぶ問題です。

微分方程式全微分方程式一般解
2025/5/9

与えられた微分方程式 $\frac{dy}{dx} + y = e^x y^3$ を、変数変換 $u = y^{-2}$ を用いて、 $u$ に関する1階線形微分方程式に変換し、その形を選択肢の中から...

微分方程式変数変換1階線形微分方程式
2025/5/9

与えられた微分方程式 $x\frac{dy}{dx} - y = x^2\cos{x}$ の一般解を、選択肢の中から選び出す問題です。

微分方程式1階線形微分方程式一般解積分
2025/5/9

与えられた微分方程式 $\frac{dy}{dx} - 2xy^2 = 2x$ の一般解として、選択肢の中から正しいものを選び出す問題です。

微分方程式変数分離積分一般解
2025/5/9

与えられた関数 $y = Ce^{\sin x}$ から任意定数 $C$ を消去し、$y$ のみたす1階の微分方程式を求める問題です。

微分方程式合成関数の微分指数関数三角関数
2025/5/9

微分方程式 $\frac{dy}{dx} = \cos(3-2x)$ の一般解を求める問題です。選択肢の中から正しいものを選びます。Cは任意定数です。

微分方程式積分一般解置換積分
2025/5/9

与えられた3つの関数について、指定された点における接線の方程式を求めます。 1. $y = \arccos x$ について、$x = \frac{\sqrt{3}}{2}$ での接線の方程式...

接線微分陰関数微分媒介変数表示導関数
2025/5/9