$y = f(x)$ のように $y$ について明示的に解いた形を陽関数、$F(x,y) = 0$ のように $x$ と $y$ が混在した関係式で定められる形を陰関数といいます。陰関数は $y$ について解かなくても、両辺を $x$ で微分することで $\dfrac{dy}{dx}$ を求められます。円・楕円・高次方程式など、入試頻出のテーマを扱います。
これまで微分してきた関数は $y = x^2 + 3x$ や $y = e^x$ のように、$y$ を $x$ の式として明示的に書いた形でした。このような表示を陽関数表示といいます。
一方、$x^2 + y^2 = 1$ のように $x$ と $y$ の関係式で $y$ が定まるとき、これを陰関数表示といいます。
陽関数表示:$y = f(x)$ の形($y$ が $x$ の式として明示)
陰関数表示:$F(x, y) = 0$ の形($x$ と $y$ が混在)
例:$x^2 + y^2 = 1$ は陰関数表示。$y = \pm\sqrt{1 - x^2}$ と解けば陽関数表示。
$x^2 + y^2 = 1$ 程度であれば $y$ について解けますが、$x^3 + y^3 = 3xy$ のような方程式では $y$ について解くことが困難です。陰関数微分を使えば、$y$ について解かなくても直接 $\dfrac{dy}{dx}$ を求められます。
| 曲線 | 陰関数表示 | $y$ について解くと |
|---|---|---|
| 円 | $x^2 + y^2 = r^2$ | $y = \pm\sqrt{r^2 - x^2}$ |
| 楕円 | $\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$ | $y = \pm\frac{b}{a}\sqrt{a^2 - x^2}$ |
| デカルトの葉線 | $x^3 + y^3 = 3axy$ | 解くのは困難 |
$F(x, y) = 0$ の両辺を $x$ で微分します。このとき $y$ は $x$ の関数 $y = y(x)$ と考え、合成関数の微分法を適用します。
Step 1:$F(x, y) = 0$ の両辺を $x$ で微分する
Step 2:$y$ を含む項は合成関数の微分で $\dfrac{dy}{dx}$ を掛ける
Step 3:$\dfrac{dy}{dx}$ について解く
$y^2$ を $x$ で微分すると $2y \cdot \dfrac{dy}{dx}$、$xy$ を $x$ で微分すると $y + x\dfrac{dy}{dx}$(積の微分法)
問題:$x^2 + y^2 = 4$ のとき、$\dfrac{dy}{dx}$ を求めよ。
解:両辺を $x$ で微分する。
$2x + 2y \cdot \dfrac{dy}{dx} = 0$
$\dfrac{dy}{dx} = -\dfrac{x}{y}$ ($y \neq 0$)
$y^2$ を $x$ で微分して $2y$ とする($\dfrac{dy}{dx}$ を忘れている)
$y^2$ を $x$ で微分すると $2y \cdot \dfrac{dy}{dx}$($y$ は $x$ の関数なので合成関数の微分が必要)
$y$ を $x$ の関数とみなしたとき
$\dfrac{d}{dx}(y^n) = ny^{n-1} \cdot \dfrac{dy}{dx}$ (合成関数の微分)
$\dfrac{d}{dx}(xy) = y + x\dfrac{dy}{dx}$ (積の微分)
$\dfrac{d}{dx}(e^y) = e^y \cdot \dfrac{dy}{dx}$ (合成関数の微分)
$\dfrac{d}{dx}(\sin y) = \cos y \cdot \dfrac{dy}{dx}$ (合成関数の微分)
問題:楕円 $\dfrac{x^2}{9} + \dfrac{y^2}{4} = 1$ 上の点 $(x_0, y_0)$ における接線の方程式を求めよ。
解:両辺を $x$ で微分する。
$\dfrac{2x}{9} + \dfrac{2y}{4} \cdot \dfrac{dy}{dx} = 0$
$\dfrac{dy}{dx} = -\dfrac{4x}{9y}$ ($y \neq 0$)
点 $(x_0, y_0)$ における接線:$y - y_0 = -\dfrac{4x_0}{9y_0}(x - x_0)$
$9y_0(y - y_0) = -4x_0(x - x_0)$
$9y_0 y - 9y_0^2 = -4x_0 x + 4x_0^2$
$4x_0 x + 9y_0 y = 4x_0^2 + 9y_0^2$
点 $(x_0, y_0)$ は楕円上なので $\dfrac{x_0^2}{9} + \dfrac{y_0^2}{4} = 1$、すなわち $4x_0^2 + 9y_0^2 = 36$
$$\frac{x_0 x}{9} + \frac{y_0 y}{4} = 1$$
楕円 $\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1$ 上の点 $(x_0, y_0)$ における接線は
$$\frac{x_0\, x}{a^2} + \frac{y_0\, y}{b^2} = 1$$
元の方程式で $x^2 \to x_0 x$, $y^2 \to y_0 y$ と置き換えた形になっています。
問題:$x^2 - 2xy + 3y^2 = 1$ のとき、$\dfrac{dy}{dx}$ を $x$, $y$ の式で表せ。
解:両辺を $x$ で微分する。
$2x - 2\!\left(y + x\dfrac{dy}{dx}\right) + 6y\dfrac{dy}{dx} = 0$
$2x - 2y - 2x\dfrac{dy}{dx} + 6y\dfrac{dy}{dx} = 0$
$(6y - 2x)\dfrac{dy}{dx} = 2y - 2x$
$$\frac{dy}{dx} = \frac{2(y - x)}{2(3y - x)} = \frac{y - x}{3y - x}$$
($3y - x \neq 0$ のとき)
問題:$e^y + xy = e$ のとき、$\dfrac{dy}{dx}$ を求めよ。
解:両辺を $x$ で微分する。
$e^y \cdot \dfrac{dy}{dx} + y + x\dfrac{dy}{dx} = 0$
$(e^y + x)\dfrac{dy}{dx} = -y$
$$\frac{dy}{dx} = -\frac{y}{e^y + x}$$
問題:$x^y = y^x$($x > 0$, $y > 0$)のとき、$\dfrac{dy}{dx}$ を求めよ。
解:両辺の自然対数をとる。
$y\log x = x\log y$
両辺を $x$ で微分する。
$\dfrac{dy}{dx} \cdot \log x + y \cdot \dfrac{1}{x} = \log y + x \cdot \dfrac{1}{y} \cdot \dfrac{dy}{dx}$
$\dfrac{dy}{dx}\!\left(\log x - \dfrac{x}{y}\right) = \log y - \dfrac{y}{x}$
$$\frac{dy}{dx} = \frac{\log y - \dfrac{y}{x}}{\log x - \dfrac{x}{y}} = \frac{x\log y - y}{x(\log x - \frac{x}{y})} = \frac{y(x\log y - y)}{x(y\log x - x)}$$
$x^y$ の微分で指数 $y$ を定数として $yx^{y-1}$ とする
$y$ は $x$ の関数なので、$x^y = e^{y\log x}$ と書き直してから合成関数の微分を適用する。または両辺の対数をとって陰関数微分する
問題:$\sin y + \cos x = 1$ のとき、$\dfrac{dy}{dx}$ を求めよ。
解:両辺を $x$ で微分する。
$\cos y \cdot \dfrac{dy}{dx} - \sin x = 0$
$$\frac{dy}{dx} = \frac{\sin x}{\cos y} \quad (\cos y \neq 0)$$
陰関数微分で求めた $\dfrac{dy}{dx}$ をさらに $x$ で微分すれば $\dfrac{d^2y}{dx^2}$ が得られます。このとき、$\dfrac{dy}{dx}$ を元の式で置き換えて整理します。
問題:$x^2 + y^2 = r^2$ のとき、$\dfrac{d^2y}{dx^2}$ を求めよ。
解:$\dfrac{dy}{dx} = -\dfrac{x}{y}$ を $x$ で微分する。
$\dfrac{d^2y}{dx^2} = -\dfrac{y \cdot 1 - x \cdot \frac{dy}{dx}}{y^2} = -\dfrac{y - x \cdot \left(-\frac{x}{y}\right)}{y^2}$
$= -\dfrac{y + \frac{x^2}{y}}{y^2} = -\dfrac{\frac{y^2 + x^2}{y}}{y^2} = -\dfrac{x^2 + y^2}{y^3}$
$x^2 + y^2 = r^2$ を用いると
$$\frac{d^2y}{dx^2} = -\frac{r^2}{y^3}$$
問題:$\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1$ のとき、$\dfrac{d^2y}{dx^2}$ を $x$, $y$ の式で表せ。
解:$\dfrac{dy}{dx} = -\dfrac{b^2 x}{a^2 y}$ を $x$ で微分する。
$\dfrac{d^2y}{dx^2} = -\dfrac{b^2}{a^2} \cdot \dfrac{y - x \cdot \frac{dy}{dx}}{y^2} = -\dfrac{b^2}{a^2} \cdot \dfrac{y + \frac{b^2 x^2}{a^2 y}}{y^2}$
$= -\dfrac{b^2}{a^2} \cdot \dfrac{a^2 y^2 + b^2 x^2}{a^2 y^3}$
$\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1$ より $b^2 x^2 + a^2 y^2 = a^2 b^2$ を代入すると
$$\frac{d^2y}{dx^2} = -\frac{b^4}{a^2 y^3}$$
1. まず $\dfrac{dy}{dx}$ を陰関数微分で求める。
2. $\dfrac{dy}{dx}$ を商の微分法で $x$ についてもう一度微分する。
3. 結果に含まれる $\dfrac{dy}{dx}$ を Step 1 の結果で置き換える。
4. 元の関係式 $F(x,y) = 0$ を使って整理する。
Q1. $x^2 + y^2 = 25$ のとき、点 $(3, 4)$ における $\dfrac{dy}{dx}$ の値を求めよ。
Q2. $x^3 + y^3 = 6xy$ のとき、$\dfrac{dy}{dx}$ を求めよ。
Q3. $y^2$ を $x$ で微分すると何になるか。
Q4. 楕円 $\dfrac{x^2}{4} + y^2 = 1$ 上の点 $(1, \frac{\sqrt{3}}{2})$ における接線の方程式を求めよ。
Q5. $e^y = x + y$ のとき、$\dfrac{dy}{dx}$ を求めよ。
楕円 $x^2 + 5y^2 = 70$ 上の点 $(5, 3)$ における接線と法線の方程式を求めよ。
$x^2 + 5y^2 = 70$ の両辺を $x$ で微分すると
$2x + 10y\dfrac{dy}{dx} = 0$
$\dfrac{dy}{dx} = -\dfrac{x}{5y}$
$(5, 3)$ を代入:$\dfrac{dy}{dx} = -\dfrac{5}{15} = -\dfrac{1}{3}$
接線:$y - 3 = -\dfrac{1}{3}(x - 5)$ より $y = -\dfrac{1}{3}x + \dfrac{14}{3}$
法線(傾き $3$):$y - 3 = 3(x - 5)$ より $y = 3x - 12$
方程式 $x^2 + 3xy + y^2 = 1$ で定まる陰関数について:
(1) $\dfrac{dy}{dx}$ を $x$, $y$ の式で表せ。
(2) 曲線上で接線の傾きが $0$ となる点の座標を求めよ。
(1) $2x + 3y + 3x\dfrac{dy}{dx} + 2y\dfrac{dy}{dx} = 0$
$(3x + 2y)\dfrac{dy}{dx} = -(2x + 3y)$
$\dfrac{dy}{dx} = -\dfrac{2x + 3y}{3x + 2y}$ ($3x + 2y \neq 0$)
(2) $\dfrac{dy}{dx} = 0$ のとき $2x + 3y = 0$ すなわち $y = -\dfrac{2x}{3}$
元の式に代入:$x^2 + 3x \cdot \left(-\dfrac{2x}{3}\right) + \left(-\dfrac{2x}{3}\right)^2 = 1$
$x^2 - 2x^2 + \dfrac{4x^2}{9} = 1$
$\dfrac{9x^2 - 18x^2 + 4x^2}{9} = 1$
$-5x^2 = 9$ より $x^2 = -\dfrac{9}{5}$
実数解なし。よって接線の傾きが $0$ となる点は存在しない。
$x^2 + 3xy + y^2 = 1$ は双曲線型の曲線で、水平な接線を持たないことが確認されました。このように、計算結果が実数解なしとなる場合も入試では出題されます。
$x^y = y^x$($x > 0$, $y > 0$, $x \neq y$)のとき、$\dfrac{dy}{dx}$ を求め、点 $(2, 4)$ における $\dfrac{dy}{dx}$ の値を求めよ。
両辺の対数をとると $y\log x = x\log y$
微分:$\dfrac{dy}{dx}\log x + \dfrac{y}{x} = \log y + \dfrac{x}{y}\dfrac{dy}{dx}$
$\dfrac{dy}{dx}\!\left(\log x - \dfrac{x}{y}\right) = \log y - \dfrac{y}{x}$
$$\frac{dy}{dx} = \frac{\log y - \frac{y}{x}}{\log x - \frac{x}{y}} = \frac{y(x\log y - y)}{x(y\log x - x)}$$
$x = 2$, $y = 4$ を代入する。$2^4 = 4^2 = 16$ なので条件を満たす。
$\dfrac{dy}{dx} = \dfrac{4(2\log 4 - 4)}{2(4\log 2 - 2)} = \dfrac{4(4\log 2 - 4)}{2(4\log 2 - 2)} = \dfrac{8(\log 2 - 1)}{2(4\log 2 - 2)} = \dfrac{4(\log 2 - 1)}{4\log 2 - 2}$
$x^3 + y^3 = 1$ について:
(1) $\dfrac{dy}{dx}$ を $x$, $y$ の式で表せ。
(2) $\dfrac{d^2y}{dx^2}$ を $x$, $y$ の式で表せ。
(1) $3x^2 + 3y^2\dfrac{dy}{dx} = 0$ より $\dfrac{dy}{dx} = -\dfrac{x^2}{y^2}$($y \neq 0$)
(2) $\dfrac{dy}{dx} = -\dfrac{x^2}{y^2}$ を $x$ で微分する。
$\dfrac{d^2y}{dx^2} = -\dfrac{2xy^2 - x^2 \cdot 2y\dfrac{dy}{dx}}{y^4}$
$= -\dfrac{2xy^2 - 2x^2 y \cdot \left(-\frac{x^2}{y^2}\right)}{y^4}$
$= -\dfrac{2xy^2 + \frac{2x^4}{y}}{y^4} = -\dfrac{2xy^3 + 2x^4}{y^5}$
$= -\dfrac{2x(y^3 + x^3)}{y^5}$
$x^3 + y^3 = 1$ を代入すると
$$\frac{d^2y}{dx^2} = -\frac{2x}{y^5}$$
陰関数の第2次導関数では、商の微分法で微分した後に $\dfrac{dy}{dx}$ の値を代入し、さらに元の関係式で簡約化するのがポイントです。最終的な式が非常にすっきりとした形になることが多いです。