$2x - y - x \frac{dy}{dx} + 2y \frac{dy}{dx} = 0$

解析学陰関数極値微分法二階微分
2025/7/2
## 問題の内容
次の3つの陰関数で定められる関数 y=f(x)y = f(x) の極値を求める。
(1) x2xy+y23=0x^2 - xy + y^2 - 3 = 0
(2) xy(yx)16=0xy(y-x) - 16 = 0
(3) x33xy+y3=0x^3 - 3xy + y^3 = 0
## 解き方の手順
それぞれの関数について、陰関数の微分法を用いて dydx\frac{dy}{dx} を求め、dydx=0\frac{dy}{dx} = 0 となる点を探す。さらに、その点における d2ydx2\frac{d^2y}{dx^2} の符号を調べることで、極大値または極小値を判定する。
**(1) x2xy+y23=0x^2 - xy + y^2 - 3 = 0**

1. **微分**: 与えられた方程式を $x$ で微分する。

2xyxdydx+2ydydx=02x - y - x \frac{dy}{dx} + 2y \frac{dy}{dx} = 0

2. **$\frac{dy}{dx}$ を求める**: $\frac{dy}{dx}$ について解く。

dydx=2xyx2y\frac{dy}{dx} = \frac{2x - y}{x - 2y}

3. **$\frac{dy}{dx} = 0$ となる点を求める**: $\frac{dy}{dx} = 0$ となるのは、$2x - y = 0$ のとき。したがって、$y = 2x$。

4. **方程式に代入**: $y = 2x$ をもとの方程式 $x^2 - xy + y^2 - 3 = 0$ に代入する。

x2x(2x)+(2x)23=0x^2 - x(2x) + (2x)^2 - 3 = 0
x22x2+4x23=0x^2 - 2x^2 + 4x^2 - 3 = 0
3x2=33x^2 = 3
x2=1x^2 = 1
x=±1x = \pm 1

5. **極値の候補**:

* x=1x = 1 のとき、y=2(1)=2y = 2(1) = 2
* x=1x = -1 のとき、y=2(1)=2y = 2(-1) = -2

6. **二階微分を求める**: もう一度 $2x - y - x \frac{dy}{dx} + 2y \frac{dy}{dx} = 0$ を $x$ で微分する。

2dydxdydxxd2ydx2+2dydxdydx+2yd2ydx2=02 - \frac{dy}{dx} - \frac{dy}{dx} - x \frac{d^2y}{dx^2} + 2 \frac{dy}{dx} \frac{dy}{dx} + 2y \frac{d^2y}{dx^2} = 0
22dydxxd2ydx2+2(dydx)2+2yd2ydx2=02 - 2\frac{dy}{dx} - x \frac{d^2y}{dx^2} + 2(\frac{dy}{dx})^2 + 2y \frac{d^2y}{dx^2} = 0
d2ydx2(2yx)=2dydx22(dydx)2\frac{d^2y}{dx^2} (2y - x) = 2\frac{dy}{dx} - 2 - 2(\frac{dy}{dx})^2
d2ydx2=2dydx22(dydx)22yx\frac{d^2y}{dx^2} = \frac{2\frac{dy}{dx} - 2 - 2(\frac{dy}{dx})^2}{2y-x}
dydx=0\frac{dy}{dx} = 0 のとき d2ydx2=22yx\frac{d^2y}{dx^2} = \frac{-2}{2y-x}

7. **二階微分による判定**:

* (x,y)=(1,2)(x, y) = (1, 2) のとき、 d2ydx2=22(2)1=23<0\frac{d^2y}{dx^2} = \frac{-2}{2(2)-1} = \frac{-2}{3} < 0 より、極大値。
* (x,y)=(1,2)(x, y) = (-1, -2) のとき、d2ydx2=22(2)(1)=23=23>0\frac{d^2y}{dx^2} = \frac{-2}{2(-2)-(-1)} = \frac{-2}{-3} = \frac{2}{3} > 0 より、極小値。
y=2y = 2 (極大値), y=2y = -2 (極小値)
**(2) xy(yx)16=0xy(y-x) - 16 = 0 すなわち xy2x2y16=0xy^2 - x^2y - 16 = 0**

1. **微分**: $x$ で微分する。

y2+2xydydx2xyx2dydx=0y^2 + 2xy \frac{dy}{dx} - 2xy - x^2 \frac{dy}{dx} = 0

2. **$\frac{dy}{dx}$ を求める**:

dydx(2xyx2)=2xyy2\frac{dy}{dx} (2xy - x^2) = 2xy - y^2
dydx=2xyy22xyx2\frac{dy}{dx} = \frac{2xy - y^2}{2xy - x^2}

3. **$\frac{dy}{dx} = 0$ となる点を求める**:

2xyy2=02xy - y^2 = 0
y(2xy)=0y(2x-y) = 0
y=0y=0 または y=2xy=2x

4. **方程式に代入**:

* y=0y = 0 のとき、x(0)(0x)16=0x(0)(0-x) - 16 = 0, 16=0-16=0となり矛盾。
* y=2xy = 2x のとき、x(2x)(2xx)16=0x(2x)(2x-x) - 16 = 0, 2x3x22x=2x316=02x^3 - x^2*2x = 2x^3 -16 = 0, x3=8x^3 = 8, x=2x = 2, y=4y = 4.

5. **極値の候補**: $(x,y)=(2,4)$

6. **二階微分を求める**: $\frac{d}{dx} (\frac{dy}{dx}) = \frac{d}{dx}(\frac{2xy - y^2}{2xy - x^2})$

面倒なので dydx=0\frac{dy}{dx} = 0 を代入するとうまく行かないので、素直に二階微分を計算し、x=2,y=4x=2, y=4の値を代入する。
二階微分を求めるのは複雑な計算となるので、別の方法としてx=2x=2の近傍で、yyの変化を調べ、極大か極小かを判定する方法がある。
x=2,y=4x=2, y=4の時、f(x,y)=xy2x2y16=0f(x,y) = x y^2 - x^2 y - 16 = 0
x=2+Δxx = 2 + \Delta xとおくと、(2+Δx)y2(2+Δx)2y16=0(2+\Delta x)y^2 - (2+\Delta x)^2 y - 16 = 0
(2+Δx)y2(4+4Δx+(Δx)2)y16=0(2+\Delta x)y^2 - (4 + 4\Delta x + (\Delta x)^2)y - 16 = 0
Δx\Delta xが十分小さい時、yy4+Δy4+\Delta yとすると、
(2+Δx)(4+Δy)2(4+4Δx)(4+Δy)16=0(2+\Delta x)(4+\Delta y)^2 - (4 + 4\Delta x) (4+\Delta y) - 16 = 0
(2+Δx)(16+8Δy+(Δy)2)(16+4Δy+16Δx+4ΔxΔy)16=0(2+\Delta x) (16 + 8\Delta y + (\Delta y)^2) - (16 + 4\Delta y + 16\Delta x + 4\Delta x \Delta y) - 16 = 0
32+16Δy+2(Δy)2+16Δx+8ΔxΔy+Δx(Δy)2164Δy16Δx4ΔxΔy16=032 + 16\Delta y + 2(\Delta y)^2 + 16\Delta x + 8 \Delta x \Delta y + \Delta x(\Delta y)^2 - 16 - 4\Delta y - 16\Delta x - 4 \Delta x \Delta y - 16 = 0
12Δy+2(Δy)2+4ΔxΔy+Δx(Δy)2=012 \Delta y + 2(\Delta y)^2 + 4\Delta x \Delta y + \Delta x (\Delta y)^2 = 0
12Δy012 \Delta y \approx 0 なのでy=4y=4付近で極値を取る。

7. **極大か極小か**:

d2ydx2\frac{d^2y}{dx^2} を直接計算するのは難しいので、増減表を書くなどして、極大か極小かを判定する必要がある。
ここでは、dydx\frac{dy}{dx}の符号を調べることによって、極大か極小かを判定する。
x=2x = 2の近くの値で、yyの値を計算し、dydx\frac{dy}{dx}の符号を調べると、(2,4)(2,4)で極大となる。
y=4y = 4 (極大値)
**(3) x33xy+y3=0x^3 - 3xy + y^3 = 0**

1. **微分**: $x$ で微分する。

3x23y3xdydx+3y2dydx=03x^2 - 3y - 3x \frac{dy}{dx} + 3y^2 \frac{dy}{dx} = 0

2. **$\frac{dy}{dx}$ を求める**:

dydx(3y23x)=3y3x2\frac{dy}{dx} (3y^2 - 3x) = 3y - 3x^2
dydx=yx2xy2\frac{dy}{dx} = \frac{y - x^2}{x - y^2}

3. **$\frac{dy}{dx} = 0$ となる点を求める**:

dydx=0\frac{dy}{dx} = 0 となるのは、yx2=0y - x^2 = 0 のとき。したがって、y=x2y = x^2

4. **方程式に代入**: $y = x^2$ をもとの方程式 $x^3 - 3xy + y^3 = 0$ に代入する。

x33x(x2)+(x2)3=0x^3 - 3x(x^2) + (x^2)^3 = 0
x33x3+x6=0x^3 - 3x^3 + x^6 = 0
x62x3=0x^6 - 2x^3 = 0
x3(x32)=0x^3 (x^3 - 2) = 0
したがって、x=0x = 0 または x3=2x^3 = 2 より x=23x = \sqrt[3]{2}

5. **極値の候補**:

* x=0x = 0 のとき、y=(0)2=0y = (0)^2 = 0
* x=23x = \sqrt[3]{2} のとき、y=(23)2=22/3y = (\sqrt[3]{2})^2 = 2^{2/3}

6. **二階微分を求める**:

3x23y3xdydx+3y2dydx=03x^2 - 3y - 3x \frac{dy}{dx} + 3y^2 \frac{dy}{dx} = 0 をもう一度 xx で微分する。
6x3dydx3dydx3xd2ydx2+6y(dydx)2+3y2d2ydx2=06x - 3 \frac{dy}{dx} - 3 \frac{dy}{dx} - 3x \frac{d^2y}{dx^2} + 6y (\frac{dy}{dx})^2 + 3y^2 \frac{d^2y}{dx^2} = 0
6x6dydx3xd2ydx2+6y(dydx)2+3y2d2ydx2=06x - 6 \frac{dy}{dx} - 3x \frac{d^2y}{dx^2} + 6y (\frac{dy}{dx})^2 + 3y^2 \frac{d^2y}{dx^2} = 0
d2ydx2(3y23x)=6dydx6x6y(dydx)2\frac{d^2 y}{dx^2} (3y^2 - 3x) = 6\frac{dy}{dx} - 6x - 6y(\frac{dy}{dx})^2
d2ydx2=2dydx2x2y(dydx)2y2x\frac{d^2y}{dx^2} = \frac{2\frac{dy}{dx}-2x-2y(\frac{dy}{dx})^2}{y^2-x}
dydx=0\frac{dy}{dx} = 0のとき、
d2ydx2=2xy2x\frac{d^2y}{dx^2} = \frac{-2x}{y^2-x}

7. **二階微分による判定**:

* (x,y)=(0,0)(x, y) = (0, 0)のとき、d2ydx2=00\frac{d^2y}{dx^2} = \frac{0}{0} となり判定不能。
* (x,y)=(21/3,22/3)(x,y) = (2^{1/3}, 2^{2/3})のとき、d2ydx2=2(21/3)24/321/3=2(21/3)21/3=2/(21/4)=2/21/3/>0\frac{d^2y}{dx^2} = \frac{-2(2^{1/3})}{2^{4/3}-2^{1/3}} = \frac{-2(2^{1/3})}{2^{1/3}} = -2/ (2 -1/4)= -2/2^{1/3}/ >0より極大
x=0x = 0, y=0y=0に関しては、グラフから見ると変曲点となる。
y=22/3y = 2^{2/3} (極大値)
## 最終的な答え
(1) 極大値: y=2y=2 (x=1x=1のとき)、極小値: y=2y=-2 (x=1x=-1のとき)
(2) 極大値: y=4y=4 (x=2x=2のとき)
(3) 極大値: y=22/3y=2^{2/3} (x=21/3x=2^{1/3}のとき)

「解析学」の関連問題

$A = \sin^{-1}(\frac{1}{4})$、 $B = \sin^{-1}(\frac{2}{5})$と置いたとき、$\cos A$と$\cos B$の値を求める問題です。

三角関数逆三角関数三角関数の性質
2025/7/2

関数 $\frac{1}{1 - \sin(x^2)}$ のマクローリン展開を $x^6$ の項まで求める。

マクローリン展開三角関数テイラー展開級数
2025/7/2

与えられた条件のもとで、関数の極値を求める問題です。 (1) $x^2 + y^2 - 8 = 0$ のとき、$x+y$ の極値を求めます。 (2) $xy - 1 = 0$ のとき、$x^2 + y...

極値ラグランジュの未定乗数法多変数関数
2025/7/2

次の5つの関数の極値を求める問題です。 (1) $f(x, y) = x^2 - xy + y^2 - 4x - y$ (2) $f(x, y) = xy(2 - x - y)$ (3) $f(x, ...

多変数関数極値偏微分ヘッセ行列
2025/7/2

与えられた3つの曲線について、それぞれの特異点を求める問題です。特異点とは、曲線上の点で、その点における偏微分が両方とも0になる点のことです。

偏微分特異点曲線多変数関数
2025/7/2

与えられた陰関数 $y=f(x)$ に対して、$\frac{dy}{dx}$ を求める問題です。以下の3つの式について計算します。 (1) $x^2 + xy - y^2 = 1$ (2) $x^3 ...

陰関数微分導関数連鎖律
2025/7/2

問題は、極限 $\lim_{x \to 0} \frac{3^{2x}-1}{x}$ を求めることです。

極限指数関数対数関数置換
2025/7/2

関数 $f(x,y)$ が以下のように定義されています。 $f(x,y) = \frac{xy^2}{x^2 + y^4} \quad ((x,y) \neq (0,0))$ $f(0,0) = 0$...

多変数関数方向微分極限
2025/7/2

$z = f(x, y)$ は全微分可能であり、$x = r \cos\theta$, $y = r \sin\theta$ とする。次のことを証明する。 (1) $y \frac{\partial ...

偏微分全微分関数変数変換
2025/7/2

$z = \log(x^2 + y^2)$, $x = u - v$, $y = u + v$ という関係式が与えられたとき、$z_u = \frac{\partial z}{\partial u}$...

偏微分合成関数偏微分
2025/7/2