解決済み

x2+x(1+x+1x)x^2+x(\sqrt{1+x}+\sqrt{1-x})

の最大値 0<x10<x\leqq1 を式計算で求めることはできますか?一橋の問題を勘違いして解いた結果この関数が出てきました。もしこれが手計算でMAXを出せるなら良い問題にできるですが、、

ベストアンサー

ベストアンサー

 与えられた関数を f(x)f(x) として、方程式

f(x)=2x+x21+xx21x+1+x+1x=0\begin{align} f'(x) = 2x + \frac{x}{2\sqrt{1 + x}} - \frac{x}{2\sqrt{1 - x}} + \sqrt{1 + x} +\sqrt{1 - x} = 0\end{align}

の根を x(1,1)x \in (-1,1) の範囲で求めます。

 y=1+x, z=1xy = \sqrt{1 + x},\ z = \sqrt{1 - x} とおくと、(1)(1)x(1,1)x \in (-1,1) の範囲で解くことは、連立方程式

y2+z2=2y2z2+y2z22yy2z22z+y+z=0\begin{align} y^2 + z^2 &= 2 \\ y^2 - z^2 + \frac{y^2 - z^2}{2y} - \frac{y^2 - z^2}{2z} + y + z &= 0 \end{align}

y,z(0,2)y,z \in (0,\sqrt{2}) の範囲で解くことに同じです。

 (3)(3) を整理して、

(y+z){(yz)(1yz4yz)+1}=0\begin{aligned} (y + z)\left\{(y - z)\left(1 - \frac{y - z}{4yz}\right) + 1\right\} &= 0\end{aligned}

y+z>0y + z > 0 なので、

(yz)(1yz4yz)+1=0\begin{aligned} (y - z)\left(1 - \frac{y - z}{4yz}\right) + 1 &= 0 \\\end{aligned}

u=yz, v=yzu = y - z,\ v = yz とおき整理して、

uu24v+1=0\begin{aligned} u - \frac{u^2}{4v} + 1 &= 0\end{aligned}

u2=(y2+z2)2yz=22vu^2 = (y^2 + z^2) - 2yz = 2 - 2v なので、

u22v4v+1=0u=12v3222v=(12v32)2\begin{aligned} u - \frac{2 - 2v}{4v} + 1 &= 0 \\ u &= \frac{1}{2v} - \frac{3}{2} \\ 2 - 2v &= \left(\frac{1}{2v} - \frac{3}{2}\right)^2\end{aligned}

両辺に v2v^2 を乗じて整理し、

8v3+v26v+1=0(v+1)(8v27v+1)=0v=1, 7±1716\begin{aligned} 8v^3 + v^2 - 6v + 1 &= 0 \\ (v + 1)(8v^2 - 7v + 1) &= 0 \\ v &= -1,\ \frac{7 \pm \sqrt{17}}{16}\end{aligned}

ところが v>0v > 0 より v=1v = -1 は解として不適。これで vv が求まったので、2u=1/v32u = 1/v - 3 と、(y+z)22v=2, y+z>0(y + z)^2 - 2v = 2,\ y + z > 0 とから、

(u, y+z)=(1174,23±178)(複号同順)\begin{aligned} (u,\ y + z) &= \left(\frac{1 \mp \sqrt{17}}{4}, \sqrt{\frac{23 \pm \sqrt{17}}{8}}\right) && (複号同順)\end{aligned}

したがって、

x=u(y+z)2=95717128,95+717128\begin{align} x = \frac{u(y + z)}{2} = -\sqrt{\frac{95 - 7\sqrt{17}}{128}}, \sqrt{\frac{95 + 7\sqrt{17}}{128}}\end{align}

 (4)(4) のうち負の根を x0x_0、正の根を x1x_1 とします。

limx1+0f(x)=<0,f(0)=2>0,limx10f(x)=<0\begin{aligned} \lim_{x \to -1 + 0} f'(x) &= -\infty < 0, & f'(0) &= 2 > 0, & \lim_{x \to 1 - 0} f'(x) &= -\infty < 0\end{aligned}

であること、および f(x)f'(x) が連続であることから、f(x)f'(x)(x0,x1)(x_0,x_1) 全域で正値を、(1,x0)(x1,1)(-1,x_0) \cup (x_1,1) 全域で負値をとることが分かります。これで f(x)f(x) の増減の様子が分かり、f(x)f(x)x0x_0 で最小値、x1x_1 で最大値をとることが言えます。

 あとは f(x1)f(x_1) を計算するだけですが、f(x)f(x) の定義式へ機械的に x1x_1 を代入すると計算が煩くなるので、

f(x)=x2+x(1+x+1x)=x2+y2z22(y+z)=x2+12u(2+2v)\begin{aligned} f(x) &= x^2 + x(\sqrt{1 + x} + \sqrt{1 - x}) \\ &= x^2 + \frac{y^2 - z^2}{2}(y + z) = x^2 + \frac{1}{2}u(2 + 2v)\end{aligned}

に注意して計算し求める最大値を得ます:

f(x1)=107+5117128\begin{aligned} f(x_1) &= \frac{107 + 51\sqrt{17}}{128}\end{aligned}


補足

誤:f(x)f(x)x0x_0 で最小値 […] をとる

正:f(x)f(x)x0x_0 で極小値 […] をとる


返信(2件)

すごい回答をありがとうございます。。質問なのですが、なにかがでてきそうな式変形をしていった結果、嬉しい3次方程式がでてきたという感じですか?それともなんかでてくるやろうみたいな確信の予想のもとで式変形しましたか?どんな思考回路してらっしゃるのかが気になりました。

 まず根号が扱いづらいので、とりあえず (y,z)=(1+x,1x)(y,z) = (\sqrt{1 + x},\sqrt{1 - x}) とおいて方程式から消しました。すると y,zy,z には幸いにも y2+z2=2y^2 + z^2 = 2 という多項式で記述される関係があるので、これで元の方程式が有理式から成る連立方程式へと置き換わります。

 x=(y2z2)/2x = (y^2 - z^2)/2 を決定するには y±zy \pm z が決定できればよい──y±zy \pm z を決定するには y2+z2, yzy^2 + z^2,\ yz が決定できればよい──と考えてゆくと、y2+z2=2y^2 + z^2 = 2 は既知なので、yzyz だけ決定できればよいです。

 あとは (y±z)2(y \pm z)^2 がいつ出てきても (y±z)2=2±2yz(y \pm z)^2 = 2 \pm 2yzyzyz に関する多項式へ変換できることに注意して消去してゆくと yzyz に関する多項式を得ます。幸い、今回はその多項式が 33 次という低次の多項式だったので方程式が代数的に解けた、という感じです。


質問者からのお礼コメント

質問者からのお礼コメント

ありがとうございます。とても勉強になりました。

そのほかの回答(0件)