関数 $f(a) = \int_{0}^{1} |(x-a)(x-1)| dx$ が与えられています。$0 \le a \le 1$ の範囲で $f(a)$ を最小にする $a$ の値を求める問題です。

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

1. 問題の内容

関数 f(a)=01(xa)(x1)dxf(a) = \int_{0}^{1} |(x-a)(x-1)| dx が与えられています。0a10 \le a \le 1 の範囲で f(a)f(a) を最小にする aa の値を求める問題です。

2. 解き方の手順

まず、積分の中の絶対値を外すことを考えます。0x10 \le x \le 1 の範囲で x10x-1 \le 0 なので、(xa)(x1)(x-a)(x-1) の符号は xax-a の符号で決まります。
0a10 \le a \le 1 なので、x<ax < a のとき (xa)(x1)>0(x-a)(x-1) > 0x>ax > a のとき (xa)(x1)<0(x-a)(x-1) < 0 となります。
したがって、(xa)(x1)={(xa)(1x)(0xa)(ax)(x1)=(ax)(1x)(1)(ax1)| (x-a)(x-1) | = \begin{cases} (x-a)(1-x) & (0 \le x \le a) \\ (a-x)(x-1) = (a-x)(1-x)(-1) & (a \le x \le 1) \end{cases}
よって、f(a)=0a(xa)(x1)dx+a1(ax)(x1)dx=0a(x2(a+1)x+a)dx+a1(x2+(a+1)xa)dxf(a) = \int_{0}^{a} (x-a)(x-1) dx + \int_{a}^{1} (a-x)(x-1) dx = \int_{0}^{a} (x^2 - (a+1)x + a) dx + \int_{a}^{1} (-x^2 + (a+1)x - a) dx
それぞれの積分を計算します。
0a(x2(a+1)x+a)dx=[13x3a+12x2+ax]0a=13a3a+12a2+a2=13a312a312a2+a2=16a3+12a2\int_{0}^{a} (x^2 - (a+1)x + a) dx = \left[ \frac{1}{3}x^3 - \frac{a+1}{2}x^2 + ax \right]_0^a = \frac{1}{3}a^3 - \frac{a+1}{2}a^2 + a^2 = \frac{1}{3}a^3 - \frac{1}{2}a^3 - \frac{1}{2}a^2 + a^2 = -\frac{1}{6}a^3 + \frac{1}{2}a^2
a1(x2+(a+1)xa)dx=[13x3+a+12x2ax]a1=(13+a+12a)(13a3+a+12a2a2)=13+12a+12a+13a312a312a2+a2=1612a16a3+12a2\int_{a}^{1} (-x^2 + (a+1)x - a) dx = \left[ -\frac{1}{3}x^3 + \frac{a+1}{2}x^2 - ax \right]_a^1 = (-\frac{1}{3} + \frac{a+1}{2} - a) - (-\frac{1}{3}a^3 + \frac{a+1}{2}a^2 - a^2) = -\frac{1}{3} + \frac{1}{2}a + \frac{1}{2} - a + \frac{1}{3}a^3 - \frac{1}{2}a^3 - \frac{1}{2}a^2 + a^2 = \frac{1}{6} - \frac{1}{2}a - \frac{1}{6}a^3 + \frac{1}{2}a^2
したがって、f(a)=(16a3+12a2)+(1612a+12a216a3)=13a3+a212a+16f(a) = (-\frac{1}{6}a^3 + \frac{1}{2}a^2) + (\frac{1}{6} - \frac{1}{2}a + \frac{1}{2}a^2 - \frac{1}{6}a^3) = -\frac{1}{3}a^3 + a^2 - \frac{1}{2}a + \frac{1}{6}
次に、f(a)f'(a) を求めます。
f(a)=a2+2a12f'(a) = -a^2 + 2a - \frac{1}{2}
f(a)=0f'(a) = 0 となる aa を求めます。
a2+2a12=0-a^2 + 2a - \frac{1}{2} = 0
a22a+12=0a^2 - 2a + \frac{1}{2} = 0
a=2±422=2±22=1±22a = \frac{2 \pm \sqrt{4 - 2}}{2} = \frac{2 \pm \sqrt{2}}{2} = 1 \pm \frac{\sqrt{2}}{2}
0a10 \le a \le 1 なので、a=12210.707=0.293a = 1 - \frac{\sqrt{2}}{2} \approx 1 - 0.707 = 0.293 のみ考えます。
f(a)=2a+2f''(a) = -2a + 2
f(122)=2(122)+2=2+2+2=2>0f''(1 - \frac{\sqrt{2}}{2}) = -2(1 - \frac{\sqrt{2}}{2}) + 2 = -2 + \sqrt{2} + 2 = \sqrt{2} > 0 なので、a=122a = 1 - \frac{\sqrt{2}}{2}f(a)f(a) は極小値を取ります。
a=0a = 0 のとき、f(0)=16f(0) = \frac{1}{6}
a=1a = 1 のとき、f(1)=13+112+16=26+6636+16=26=13f(1) = -\frac{1}{3} + 1 - \frac{1}{2} + \frac{1}{6} = -\frac{2}{6} + \frac{6}{6} - \frac{3}{6} + \frac{1}{6} = \frac{2}{6} = \frac{1}{3}
a=122a = 1 - \frac{\sqrt{2}}{2} のとき、f(122)=13(122)3+(122)212(122)+16f(1 - \frac{\sqrt{2}}{2}) = -\frac{1}{3}(1-\frac{\sqrt{2}}{2})^3 + (1-\frac{\sqrt{2}}{2})^2 - \frac{1}{2}(1-\frac{\sqrt{2}}{2}) + \frac{1}{6}
最小値を与える候補は a=0,1,122a = 0, 1, 1 - \frac{\sqrt{2}}{2} なので、それぞれのf(a)f(a)の値を比較します。
f(0)=1/6f(0) = 1/6
f(1)=1/3f(1) = 1/3
f(122)=527120.0718<1/6=0.16666f(1-\frac{\sqrt{2}}{2}) = \frac{5\sqrt{2}-7}{12} \approx 0.0718 < 1/6 = 0.16666
よって、a=122a = 1 - \frac{\sqrt{2}}{2} のときに f(a)f(a) は最小になります。

3. 最終的な答え

a=122a = 1 - \frac{\sqrt{2}}{2}

「解析学」の関連問題

不定積分 $\int \frac{x^3 - 4x + 3}{x^2} dx$ を求める問題です。

不定積分積分多項式
2025/7/7

与えられた不定積分を計算する問題です。具体的には、問題(2), (4), (6), (7)について、以下の不定積分を求めます。 (2) $\int 3 dx$ (4) $\int (ax+b) dx$...

積分不定積分定数関数累乗根積分定数
2025/7/7

関数 $y=4\sin(2x-\frac{\pi}{3})$ のグラフは、関数 $y=4\sin 2x$ のグラフを$x$軸方向にどれだけ平行移動させたものか、また、そのグラフの正で最小の周期を求める...

三角関数グラフ周期平行移動
2025/7/7

座標平面において、媒介変数 $t$ を用いて $x = t - \sin t$ , $y = 1 - \cos t$ $(0 \le t \le \pi)$ で表される曲線 $C$ が与えられている。...

媒介変数表示微分曲線の概形極限
2025/7/7

座標空間の $1 \le z \le 2$ の部分に存在する立体 $R$ がある。立体 $R$ を平面 $z=t$ ($1 \le t \le 2$) で切ったときの断面が、不等式 $\begin{c...

体積積分断面積定積分
2025/7/7

$\lim_{x \to \infty} (\sqrt{x^2 + 1} + ax + 1) = b$を満たす$a$と$b$を求めます。

極限関数の極限無理関数の極限有理化
2025/7/7

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

不定積分部分分数分解積分
2025/7/7

座標空間の $1 \le z \le 2$ の部分に立体 $R$ があり、$R$ を平面 $z=t$ ($1 \le t \le 2$) で切ったときの断面が $$ \begin{cases} z =...

体積積分定積分断面積
2025/7/7

関数 $f(x)$ が次の積分方程式を満たすとき、$f(x)$ を求めよ。 $f(x) = \int_0^2 x f'(t) dt + \int_0^x e^{x-t} dt$

積分方程式微分積分指数関数
2025/7/7

連続関数 $f(x)$ が次の等式を満たすとき、$f(x)$ を求めよ。 $$f(x) = \int_0^2 xf''(t) dt + \int_0^x e^{x-t} dt$$

積分微分微分方程式定積分連続関数
2025/7/7