空間の点P の描く空間曲線(ホドグラフ)は
で与えられますが,これは原点を O とする点Pの位置ベクトル
が のベクトル関数として
のように与えられるのと同じことです.
図:
接線ベクトル
|
次に,ベクトル関数
の導関数
は幾何学的に何を表しているのか考えてみましょう.
ベクトル関数
の導関数
は
の定義より
ここで,
は
ならば,たとえ が0に近づいても にならず,接線の方向ベクトルに近づいていくことが分かります.よってこの極限値
を接線の方向ベクトルとして用いることができないでしょうか.
残念ながら,この極限値を接線の方向ベクトルとして使うことはできません.なぜなら,この極限値は となり, には方向がありません.
そこで,これを回避するために が小さいときに,大きな長さを得られるような次のベクトルを考えます.
このベクトルは が0でないとき
と平行です.つまり,このベクトルは接線の方向ベクトルと平行です.よってこの極限値
が存在するとき,この極限値を接線の方向ベクトルと考えることができるので,
を曲線
の 接線ベクトル(tangent vector) といいます.
また
を 接線単位ベクトル(unit tangent vector) といいます.単位接ベクトルともいいます.
ここで
に注意すると,例題2より
と
は直交します.そこで
を曲線
の 法線ベクトル(normal vector) といいます.また,
のとき,
を 主法線単位ベクトル(principal unit normal vector) といいます.単位法ベクトルともいいます.
図:
法線ベクトル
|
例題 2..6
2点
を通る直線の方程式を求めてみましょう.
解
求める直線は始点を にもち,方向が
と考えられるので,直線上の任意の点を とすると,
またはこの式を について解くと
が得られます.
例題 2..7
平面曲線
を描いてみましょう.
解
より .ここで注意しなければならないのは, のとる値は から なので,求める曲線は
となります.
例題 2..8
曲線
の
における接線の方程式を求めてみましょう.
解
接線ベクトルは
で与えられます.
よって接線の方程式は
または
となります.
曲線
が
のとき,曲線
を 滑らかな曲線(smooth curve) といいます.滑らかな曲線
の
の部分の長さを 弧長(arc length) といい, で表わします.では,弧長 はどうやったら求まるか考えてみましょう.
区間 内の微小区間
に対応する曲線
の弧 PQ の長さは線分 PQ で近似されると考えられます.このとき,
したがって曲線の長さ は定積分
で表されます.なお
から
までの弧長 は
で与えられます.よって
となります.
定理 2..2
曲線
が滑らかな曲線のとき,
から
までの弧長 は
となる.
|
|
ここで気づいたと思いますが, を時間と考えると,
は微小時間内での位置の変化と考えられるので,点Pの動く速さを表わします.よって,曲線の長さ は点Pが時間 内に動いた距離と考えることができます.
例題 2..9
の
の部分の長さを求めてみましょう.
解
より,
となり,
は半径1の円柱の回りをらせん状に回転する滑らかな曲線だということが分かります.そこで
より
よって
となります.
例題 2..10
弧長 をパラメターとして曲線
を表わしてみましょう.
解
曲線
より
よって
または,
より曲線
は原点を中心とする半径5の円です.よって弧長sは .これより
となります.
曲線 が弧長sをパラメターとして
で表されているとき,接線ベクトルを求めると
よって,接線単位ベクトル は
でも表わせます.
図:
曲率
|
ここで曲線の曲がり具合について考えてみましょう.まず平面上の曲線について考えてみましょう.曲線上の点Pでの接線 と 軸とが作る角度を とします.点Pが動くに従って接線 と は変化します.このとき,単位弧長あたりの の変化率を 曲率(curvature) といい
で表わします.
ここで接線単位ベクトル は
で表わすことができます.よって単位弧長あたりの接線ベクトルの変化率を調べると
これより
よって曲率 は,単位弧長あたりの接線ベクトルの変化率でも表わすことができます.
例題 2..11
曲線 の曲率を求めてみましょう.
解
まず,
を求めてみましょう.
は接線の傾きなので,
となります.よって
これを について微分すると
ここで,
に注意すると
よって
となります.
空間の曲線の曲率は
を定義として使います.すると,
より
|
(2.1) |
|
|
演習問題2.1
- 1.
-
とするとき,
の軌跡を求めよ.
- 2.
-
とするとき,
を求めよ.
- 3.
-
とするとき,以下を求めよ.
- (1)
-
- (2)
-
- 4.
-
,
が定数のとき,
と
はすべてので直交することを示せ.
- 5.
- 任意のベクトル関数
に関して,
を証明せよ.
- 6.
-
を求めよ.ただし,