与えられた関数 $z$ について、偏微分を用いて指定された関係式を証明する問題です。具体的には、 (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. 問題の内容

与えられた関数 zz について、偏微分を用いて指定された関係式を証明する問題です。具体的には、
(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=0xz_x + yz_y = 0 を示す。
(3) z=(x+y)f(x2y2)z = (x+y)f(x^2 - y^2) のとき、yzx+xzy=zyz_x + xz_y = z を示す。

2. 解き方の手順

(1) z=f(2x3y)z = f(2x - 3y) の場合:
まず、zxz_xzyz_y を計算します。
zx=zx=f(2x3y)x(2x3y)=f(2x3y)2=2f(2x3y)z_x = \frac{\partial z}{\partial x} = f'(2x - 3y) \cdot \frac{\partial}{\partial x}(2x - 3y) = f'(2x - 3y) \cdot 2 = 2f'(2x - 3y)
zy=zy=f(2x3y)y(2x3y)=f(2x3y)(3)=3f(2x3y)z_y = \frac{\partial z}{\partial y} = f'(2x - 3y) \cdot \frac{\partial}{\partial y}(2x - 3y) = f'(2x - 3y) \cdot (-3) = -3f'(2x - 3y)
次に、3zx-3z_x2zy2z_y を計算します。
3zx=3(2f(2x3y))=6f(2x3y)-3z_x = -3(2f'(2x - 3y)) = -6f'(2x - 3y)
2zy=2(3f(2x3y))=6f(2x3y)2z_y = 2(-3f'(2x - 3y)) = -6f'(2x - 3y)
したがって、3zx=2zy-3z_x = 2z_y が成り立ちます。
(2) z=f(yx)z = f(\frac{y}{x}) の場合:
まず、zxz_xzyz_y を計算します。
zx=zx=f(yx)x(yx)=f(yx)(yx2)z_x = \frac{\partial z}{\partial x} = f'(\frac{y}{x}) \cdot \frac{\partial}{\partial x}(\frac{y}{x}) = f'(\frac{y}{x}) \cdot (-\frac{y}{x^2})
zy=zy=f(yx)y(yx)=f(yx)(1x)z_y = \frac{\partial z}{\partial y} = f'(\frac{y}{x}) \cdot \frac{\partial}{\partial y}(\frac{y}{x}) = f'(\frac{y}{x}) \cdot (\frac{1}{x})
次に、xzx+yzyxz_x + yz_y を計算します。
xzx+yzy=x(f(yx)(yx2))+y(f(yx)(1x))=xyx2f(yx)+yxf(yx)=yxf(yx)+yxf(yx)=0xz_x + yz_y = x(f'(\frac{y}{x}) \cdot (-\frac{y}{x^2})) + y(f'(\frac{y}{x}) \cdot (\frac{1}{x})) = -\frac{xy}{x^2}f'(\frac{y}{x}) + \frac{y}{x}f'(\frac{y}{x}) = -\frac{y}{x}f'(\frac{y}{x}) + \frac{y}{x}f'(\frac{y}{x}) = 0
したがって、xzx+yzy=0xz_x + yz_y = 0 が成り立ちます。
(3) z=(x+y)f(x2y2)z = (x+y)f(x^2 - y^2) の場合:
まず、zxz_xzyz_y を計算します。
zx=zx=x((x+y)f(x2y2))=f(x2y2)+(x+y)f(x2y2)(2x)=f(x2y2)+2x(x+y)f(x2y2)z_x = \frac{\partial z}{\partial x} = \frac{\partial}{\partial x}((x+y)f(x^2 - y^2)) = f(x^2 - y^2) + (x+y)f'(x^2 - y^2)(2x) = f(x^2 - y^2) + 2x(x+y)f'(x^2 - y^2)
zy=zy=y((x+y)f(x2y2))=f(x2y2)+(x+y)f(x2y2)(2y)=f(x2y2)2y(x+y)f(x2y2)z_y = \frac{\partial z}{\partial y} = \frac{\partial}{\partial y}((x+y)f(x^2 - y^2)) = f(x^2 - y^2) + (x+y)f'(x^2 - y^2)(-2y) = f(x^2 - y^2) - 2y(x+y)f'(x^2 - y^2)
次に、yzx+xzyyz_x + xz_y を計算します。
yzx+xzy=y(f(x2y2)+2x(x+y)f(x2y2))+x(f(x2y2)2y(x+y)f(x2y2))=yf(x2y2)+2xy(x+y)f(x2y2)+xf(x2y2)2xy(x+y)f(x2y2)=(x+y)f(x2y2)=zyz_x + xz_y = y(f(x^2 - y^2) + 2x(x+y)f'(x^2 - y^2)) + x(f(x^2 - y^2) - 2y(x+y)f'(x^2 - y^2)) = yf(x^2 - y^2) + 2xy(x+y)f'(x^2 - y^2) + xf(x^2 - y^2) - 2xy(x+y)f'(x^2 - y^2) = (x+y)f(x^2 - y^2) = z
したがって、yzx+xzy=zyz_x + xz_y = z が成り立ちます。

3. 最終的な答え

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

「解析学」の関連問題

$x^2 + (y-2)^2 = 1$ を $x$軸を軸として1回転させた立体の体積を求めよ。

回転体の体積積分数式処理
2025/5/30

定積分 $\int_{0}^{\pi} \frac{x\sin x}{1 + \cos^2 x} dx$ を計算します。

定積分置換積分三角関数
2025/5/30

与えられた関数の定義域と値域を求め、表の空欄を埋める問題です。関数は2つあります。 (1) $f(x) = \log_2 x$ (2) $f(x) = \log_{\frac{1}{2}} x$

対数関数定義域値域関数の計算
2025/5/30

問題は2つのパートに分かれています。 パート1は、与えられた関数のグラフの概形を描き、指定された点における接線の方程式を求める問題です。関数は全部で5つあります。 (1) $y = 2x + 1$ (...

微分接線導関数グラフ
2025/5/30

問題は2つあります。 1つ目の問題は、与えられた関数のグラフの概形を描き、指定された点における接線の方程式を求める問題です。 2つ目の問題は、与えられた関数の導関数を求める問題です。

微分導関数商の微分法積の微分法
2025/5/30

次の3つの関数とその逆関数のグラフを描く問題です。各関数には定義域が指定されています。 (1) $y = \sin x \quad (-\frac{\pi}{2} \le x \le \frac{\p...

三角関数逆関数グラフ
2025/5/30

与えられた関数 $f(x)$ について、以下の問いに答える問題です。 (1) $f(x) = 3x^4 - 4x^3 - 12x^2 + 1$ (2) $f(x) = \arctan(x^2 - 1)...

微分極値導関数arctan
2025/5/30

問題は、与えられた下線部の定義を集合の記号や論理記号を用いて記述することです。具体的には、以下の定義を記述します。 (1) 写像 (2) 像 (3) 逆像 (4) 全射 (5) 単射 (6) 有界列、...

写像逆像全射単射有界列収束列集合論
2025/5/30

次の4つの関数のグラフを描く問題です。 (1) $y = \sqrt{2x + 1}$ (2) $y = x + \frac{1}{x}$ (ただし、$x \neq 0$) (3) $y = x - ...

関数のグラフ平方根分数関数絶対値
2025/5/30

与えられた数列 $a_n$ が収束するかどうかを調べ、収束する場合はその極限値を求める問題です。 (1) $a_n = \frac{4n+5}{n}$ (2) $a_n = \frac{n}{3n+2...

数列極限
2025/5/30