次の3つの問題に答える。 (1) $z = f(2x - 3y)$ のとき、$ -3z_x = 2z_y $となることを示す。 (2) $z = f(\frac{y}{x})$ のとき、$ xz_x + yz_y = 0 $となることを示す。 (3) $z = (x+y)f(x^2 - y^2)$ のとき、$ yz_x + xz_y = z $となることを示す。

解析学偏微分合成関数偏導関数連鎖律
2025/5/29

1. 問題の内容

次の3つの問題に答える。
(1) z=f(2x3y)z = f(2x - 3y) のとき、3zx=2zy -3z_x = 2z_y となることを示す。
(2) z=f(yx)z = f(\frac{y}{x}) のとき、xzx+yzy=0 xz_x + yz_y = 0 となることを示す。
(3) z=(x+y)f(x2y2)z = (x+y)f(x^2 - y^2) のとき、yzx+xzy=z yz_x + xz_y = z となることを示す。

2. 解き方の手順

(1) z=f(2x3y)z = f(2x - 3y) の場合:
合成関数の偏微分より、
zx=zx=f(2x3y)2=2fz_x = \frac{\partial z}{\partial x} = f'(2x-3y) \cdot 2 = 2f'
zy=zy=f(2x3y)(3)=3fz_y = \frac{\partial z}{\partial y} = f'(2x-3y) \cdot (-3) = -3f'
したがって、
3zx=3(2f)=6f-3z_x = -3(2f') = -6f'
2zy=2(3f)=6f2z_y = 2(-3f') = -6f'
ゆえに、3zx=2zy -3z_x = 2z_y が成り立つ。
(2) z=f(yx)z = f(\frac{y}{x}) の場合:
zx=f(yx)(yx2)z_x = f'(\frac{y}{x}) \cdot (-\frac{y}{x^2})
zy=f(yx)(1x)z_y = f'(\frac{y}{x}) \cdot (\frac{1}{x})
したがって、
xzx=xf(yx)(yx2)=yxf(yx)xz_x = x \cdot f'(\frac{y}{x}) \cdot (-\frac{y}{x^2}) = -\frac{y}{x}f'(\frac{y}{x})
yzy=yf(yx)(1x)=yxf(yx)yz_y = y \cdot f'(\frac{y}{x}) \cdot (\frac{1}{x}) = \frac{y}{x}f'(\frac{y}{x})
xzx+yzy=yxf(yx)+yxf(yx)=0xz_x + yz_y = -\frac{y}{x}f'(\frac{y}{x}) + \frac{y}{x}f'(\frac{y}{x}) = 0
ゆえに、xzx+yzy=0 xz_x + yz_y = 0 が成り立つ。
(3) z=(x+y)f(x2y2)z = (x+y)f(x^2 - y^2) の場合:
zx=(x+y)f(x2y2)+(x+y)(f(x2y2))=f(x2y2)+(x+y)f(x2y2)2x=f+2x(x+y)fz_x = (x+y)'f(x^2-y^2) + (x+y)(f(x^2-y^2))' = f(x^2-y^2) + (x+y)f'(x^2-y^2) \cdot 2x = f + 2x(x+y)f'
zy=(x+y)f(x2y2)+(x+y)(f(x2y2))=f(x2y2)+(x+y)f(x2y2)(2y)=f2y(x+y)fz_y = (x+y)'f(x^2-y^2) + (x+y)(f(x^2-y^2))' = f(x^2-y^2) + (x+y)f'(x^2-y^2) \cdot (-2y) = f - 2y(x+y)f'
したがって、
yzx=yf+2xy(x+y)fyz_x = yf + 2xy(x+y)f'
xzy=xf2xy(x+y)fxz_y = xf - 2xy(x+y)f'
yzx+xzy=yf+2xy(x+y)f+xf2xy(x+y)f=(x+y)fyz_x + xz_y = yf + 2xy(x+y)f' + xf - 2xy(x+y)f' = (x+y)f
ゆえに、yzx+xzy=(x+y)f=z yz_x + xz_y = (x+y)f = z が成り立つ。

3. 最終的な答え

(1) 3zx=2zy -3z_x = 2z_y
(2) xzx+yzy=0 xz_x + yz_y = 0
(3) yzx+xzy=z yz_x + xz_y = z