COMPASS

真の理解のためのシンプルな数学のノート

数式を枠からはみ出さずに表示するためには, 画面を横に傾けてください(532 ピクセル以上推奨).

接線・法線(数学 III)

接線

定理≪関数のグラフの接線≫

 $x = \alpha$ において微分可能な関数 $f(x)$ のグラフ $y = f(x)$ の点 $(\alpha ,f(\alpha ))$ における接線の方程式は \[ y-f(\alpha ) = f'(\alpha )(x-\alpha )\] である.

問題≪座標軸が切り取る星芒形の接線の長さ≫

 媒介変数表示された曲線 \[ C:\begin{cases} x = \cos ^3t, & {} \\ y = \sin ^3t & {} \end{cases}\] の $t$ ($\neq \dfrac{n\pi}{2},$ $n$: 整数)に対応する点での接線が座標軸によって切り取られてできる線分の長さは, $t$ の値によらず一定であることを示せ.

解答例

 $t \neq \dfrac{n\pi}{2}$ ($n$: 整数)とする. このとき, \[\frac{dy}{dx} = \frac{\dfrac{dy}{dt}}{\dfrac{dx}{dt}} = \frac{3\sin ^2t\cos t}{-3\cos ^2t\sin t} = -\tan t\] であるから, 点 $(\cos ^3t,\sin ^3t)$ における $C$ の接線の方程式は \[ y = -\tan t(x-\cos ^3t)+\sin ^3t\] である. この $x$ 切片は \begin{align*} 0 &= -\tan t(x-\cos ^3t)+\sin ^3t \\ \tan t(x-\cos ^3t) &= \sin ^3t \\ x-\cos ^3t &= \frac{\sin ^3t}{\tan t} = \cos t\sin ^2t \end{align*} から \[ x = \cos ^3t+\cos t\sin ^2t = \cos t(\cos ^2t+\sin ^2t) = \cos t\] であり, $y$ 切片は \begin{align*} y &= -\tan t(-\cos ^3t)+\sin ^3t = \sin t\cos ^2t+\sin ^3t \\ &= \sin t(\cos ^2t+\sin ^2t) = \sin t \end{align*} である. ゆえに, $C$ の接線が座標軸によって切り取られてできる線分の長さは \[\sqrt{(0-\cos t)^2+(\sin t-0)^2} = 1\] で, $t$ の値によらず一定である.

背景

  • $x^{\frac{2}{3}}+y^{\frac{2}{3}} \leqq a^{\frac{2}{3}}$ で表される領域, または曲線 $x^{\frac{2}{3}}+y^{\frac{2}{3}} = a^{\frac{2}{3}}$ $(a > 0)$ を「星芒形」または「アステロイド」(asteroid)と呼ぶ.
  • 領域 $x^{\frac{2}{3}}+y^{\frac{2}{3}} \leqq a^{\frac{2}{3}}$ は, $x$ 軸と $y$ 軸の両方に接する長さ $a$ の線分の通過範囲として定まる(こちらも参照).
  • 曲線 $x^{\frac{2}{3}}+y^{\frac{2}{3}} = a^{\frac{2}{3}}$ は, 半径 $a$ の定円の中をその周に沿って半径 $\dfrac{a}{4}$ の円がすべることなく転がるとき, 動円の周上の $1$ 点の軌跡としても定まる(こちらを参照).

問題≪放物線 $\sqrt x+\sqrt y = 1$ に関する面積の最大値≫

 曲線 $C:\sqrt x+\sqrt y = 1$ と, $C$ 上の点 $\mathrm P(a,b)\ (ab \neq 0)$ における $C$ の接線 $\ell$ について, 次の問いに答えよ.
(1)
$\ell$ の方程式を求めよ.
(2)
$\ell$ と座標軸が囲む三角形の面積 $S$ の最大値を求めよ.

解答例

(1)
$x > 0,$ $y > 0$ において $C$ の方程式 $\sqrt x+\sqrt y = 1$ を $x$ で微分すると
$\dfrac{1}{2\sqrt x}+\dfrac{y'}{2\sqrt y} = 0$ つまり $y' = -\dfrac{\sqrt y}{\sqrt x}$
となるから, $C$ 上の点 $\mathrm P(a,b)$ における $C$ の接線 $\ell$ の方程式は \[ y = -\frac{\sqrt b}{\sqrt a}(x-a)+b\] である.
(2)
$\ell$ と座標軸の交点の座標を $(p,0),$ $(0,q)$ とおくと, \[ 0 = -\frac{\sqrt b}{\sqrt a}(p-a)+b, \quad q = -\frac{\sqrt b}{\sqrt a}(0-a)+b\] から \[ p = a+\sqrt{ab}, \quad q = b+\sqrt{ab}\] となる. また, 点 $\mathrm P$ が曲線 $C$ 上にあることから $\sqrt a+\sqrt b = 1$ が成り立つので, \[ p+q = a+2\sqrt{ab}+b = (\sqrt a+\sqrt b)^2 = 1\] である. よって, $\ell$ と座標軸が囲む三角形の面積は \begin{align*} S &= \frac{1}{2}pq = \frac{1}{2}p(1-p) \\ &= -\frac{1}{2}(p^2-p) = -\frac{1}{2}\left( p-\frac{1}{2}\right) ^2+\frac{1}{8} \end{align*} である. $0 < p < 1$ から, $S$ は $p = \dfrac{1}{2}$ のとき最大値 $\dfrac{1}{8}$ をとる. ($S$ の最大値を与える点 $\mathrm P$ の座標は $\left(\dfrac{1}{4},\dfrac{1}{4}\right)$ である.)

接線

定理≪関数のグラフの法線≫

 $x = \alpha$ において微分可能な関数 $f(x)$ のグラフ $y = f(x)$ の点 $(\alpha ,f(\alpha ))$ における法線の方程式は,
  $f'(\alpha ) \neq 0$ のとき $y-f(\alpha ) = -\dfrac{1}{f'(\alpha )}(x-\alpha ),$
  $f'(\alpha ) = 0$ のとき $x = \alpha$
である.

問題≪放物線の曲率円≫

 $a$ を実数とし, 放物線 $y = x^2$ の点 $(a,a^2),$ $(a+t,(a+t)^2)$ ($t \neq 0,$ $a+t \neq 0$)における法線の交点を $(x(t),y(t))$ とおく.
(1)
極限値 $p = \lim\limits_{t \to 0}x(t),$ $q = \lim\limits_{t \to 0}y(t)$ を求めよ.
(2)
$2$ 点 $(a,a^2),$ $(p,q)$ の間の距離 $r$ を求めよ.
(3)
$a$ が実数全体を動くとき, 点 $(p,q)$ の軌跡を求めよ.

解答例

(1)
放物線 $y = x^2$ の点 $(a,a^2)$ における法線の方程式は, $a = 0$ のとき $x = 0$ であり, $a \neq 0$ のとき
$y-a^2 = -\dfrac{1}{2a}(x-a)$ つまり $y = -\dfrac{1}{2a}x+a^2+\dfrac{1}{2}$
である. また, $y = x^2$ の点 $(a+t,(a+t)^2)$ における法線の方程式は, $a+t \neq 0$ のとき \[ y = -\frac{1}{2(a+t)}x+(a+t)^2+\frac{1}{2}\] である.
(i)
$a = 0$ のとき. $2$ 本の法線 $x = 0,$ $y = -\dfrac{1}{2t}x+t^2+\dfrac{1}{2}$ の交点の $x$ 座標は $x(t) = 0,$ $y$ 座標は $y(t) = t^2+\dfrac{1}{2}$ であるから, $t \to 0$ とすると \[ p = 0, \quad q = \frac{1}{2}\] となる.
(ii)
$a \neq 0$ のとき. $2$ 本の法線の交点の $x$ 座標は \[ -\frac{1}{2a}x+a^2+\frac{1}{2} = -\frac{1}{2(a+t)}x+(a+t)^2+\frac{1}{2}\] の解 \[ x(t) = -2t(a+t)(2a+t)\] であり, $y$ 座標は \[ y(t) = -\frac{1}{2a}x(t)+a^2+\frac{1}{2}\] であるから, $t \to 0$ とすると \begin{align*} p &= -4a^3, \\ q &= -\frac{1}{2a}p+a^2+\frac{1}{2} = 3a^2+\frac{1}{2} \end{align*} となる.
(ii) の結果は $a = 0$ のときも成り立つから, 求める極限値は \[ p = -4a^3\ \cdots [1], \quad q = 3a^2+\frac{1}{2}\ \cdots [2]\] である.
(2)
$[1],$ $[2]$ から, $2$ 点 $(a,a^2),$ $(p,q)$ の間の距離は \[ r = \sqrt{(-4a^3-a)^2+\left( 2a^2+\frac{1}{2}\right) ^2} = \frac{(1+4a^2)^{\frac{3}{2}}}{2}\] である.
(3)
$[1],$ $[2]$ から $a$ を消去すると, \[ q = \frac{3}{\sqrt[3]{16}}p^{\frac{2}{3}}+\frac{1}{2}\] となる. よって, 求める軌跡は曲線 $y = \dfrac{3}{\sqrt[3]{16}}x^{\frac{2}{3}}+\dfrac{1}{2}$ である.

背景

  • 本問において, 点 $(p,q)$ を中心とする半径 $r$ の円周は点 $(a,a^2)$ において放物線 $y = x^2$ をよく近似している. このように曲線を最もよく近似する円を「曲率円」(curvature circle)と呼び, その半径 $r$ を「曲率半径」(radius of curvature), $\dfrac{1}{r}$ を「曲率」(curvature)と呼ぶ(厳密な定義は省略).
  • $2$ 階微分可能な関数 $f(x)$ に対して, そのグラフ $y = f(x)$ の点 $(a,f(a))$ における曲率半径 $r$ は, $f''(a) \neq 0$ のとき \[ r = \frac{\{ 1+f'(a)^2\} ^{\frac{3}{2}}}{|f''(a)|}\] であることが知られている.