1. 高校数学の美しい物語
  2. 法線ベクトルの求め方と応用

法線ベクトルの求め方と応用

更新日時 2021/03/07

2次元平面において,法線とは,接線に垂直な直線のことです。法線の方程式や,法線方向のベクトル(法線ベクトル)を計算する方法を解説します。

目次
  • 法線ベクトル

  • 法線ベクトルの計算例

  • 法線ベクトルの公式の応用

  • 法線ベクトルの公式の導出

法線ベクトル

法線ベクトルを求める公式

f(x,y)=0f(x,y)=0 で表される曲線の (x,y)(x, y) における法線ベクトルの1つは (fx,fy)(f_x, f_y) である。

ただし,fx=fxf_x=\dfrac{\partial f}{\partial x}xx に関する偏微分。 fyf_y も同様。

法線ベクトルを求める非常に一般的な公式です。

「偏微分」という名前と記号を見て一瞬ひるんでしまいがちですが,意味は単純です。多変数関数を特定の変数に関して微分したものを偏微分と呼ぶだけです。 fxf_x と書いたり fx\dfrac{\partial f}{\partial x} と書いたりします。

f(x,y)=x2+y3+y+2f(x,y)=x^2+y^3+y+2

xx に関する偏微分は fx=2xf_x=2x

yy に関する偏微分は fy=3y2+1f_y=3y^2+1

法線ベクトルの計算例

とりあえず公式を使ってみましょう。

x2+y2=1x^2+y^2=1(1,0)(1,0) における法線ベクトルを求めよ

図を書けば答えはすぐに分かりますが公式を使ってみます。

fx=2x,fy=2yf_x=2x, f_y=2y より (1,0)(1,0) における偏微分の値たちは (2,0)(2,0) となる。よって (2,0)(2,0) が法線ベクトルの 11 つ。

単純な例でしたが,どんなに複雑な形の関数でも, f(x,y)=0f(x,y)=0 の形に直して各変数で微分してその点の座標を代入することで法線ベクトルが簡単に求まるのです!

法線ベクトルの公式の応用

法線ベクトルに関する知識は大学入試でもしばしば役に立ちます。例えば,法線ベクトルが分かれば接線の方程式が分かります。

ここでは上記の公式の応用例として

CC : (xa)2+(yb)2=r2(x-a)^2+(y-b)^2=r^2 上の点 A(x0,y0)A(x_0,y_0) における接線の方程式をエレガントに導出します。

CCAA における法線ベクトルは上記の公式を用いて

(2(x0a),2(y0b))(2(x_0-a),2(y_0-b)) と分かる。

よって,(x,y)(x,y) が接線上にある

(xx0,yy0)(x-x_0,y-y_0) と法線ベクトルが垂直

(xx0)(x0a)+(yy0)(y0b)=0(x-x_0)(x_0-a)+(y-y_0)(y_0-b)=0

となりこれは接線の方程式。

これでも十分ですが,見慣れた形に変形してみます:

(xa+ax0)(x0a)+(yb+by0)(y0b)=0(x-a+a-x_0)(x_0-a)+(y-b+b-y_0)(y_0-b)=0

(xa)(x0a)+(yb)(y0b)=r2(x-a)(x_0-a)+(y-b)(y_0-b)=r^2

(ここで (x0a)2+(y0b)2=r2(x_0-a)^2+(y_0-b)^2=r^2 であることを用いた)

同様にして楕円,双曲線などの接線の方程式も簡単に求めることができます。

また,法線ベクトルの他の応用としては平面の方程式が挙げられます。 →平面の方程式とその3通りの求め方

法線ベクトルの公式の導出

冒頭の定理は「各成分の偏微分を並べたベクトル」が法線ベクトルになっているという主張です。この「各成分の偏微分を並べたベクトル」は 勾配ベクトルと呼ばれ,大学数学や物理で大活躍します。→勾配ベクトルの意味と例題

冒頭の定理の大雑把な説明をします(εδ\varepsilon -\delta 論法を用いた厳密な証明は大学範囲です)。

説明

曲線 f(x,y)=0f(x,y)=0 上の点 A(x,y)A(x, y) からほんの少し動いた点 B(x+Δx,y+Δy)B(x+\Delta x, y+\Delta y) も同じ曲線上にあるとする。 Δx,Δy\Delta x, \Delta y が十分小さいとき (x,y)(x,y) における接線の方向ベクトルは (Δx,Δy)(\Delta x, \Delta y) とみなせる。

これと直交するベクトルを求めるのが目標。

ここで,(x,y)(x,y) の近くで xx 方向に Δx\Delta x だけ進むと関数値は fxΔxf_x\Delta x 増える(一次近似)。

同様に (x,y)(x,y) の近くで yy 方向に Δy\Delta y だけ進むと関数値は fyΔyf_y\Delta y 増える

ところが A,BA, B における関数値はともに 00 で等しいので

fxΔx+fyΔy=0f_x\Delta x+f_y\Delta y=0

これは勾配ベクトルと接線ベクトルの内積が 00 であることを示しており,勾配ベクトルと接線ベクトルは直交することが分かる。

大学数学のベクトル解析でより深く学びます。

Tag:偏微分の高校数学への応用

人気記事
  1. 高校数学の美しい物語
  2. 法線ベクトルの求め方と応用