包絡線
包絡線とは、与えられた直線の族を接線として持つ曲線のことを言う。広義に、“与えられた曲線群と接線を共有する曲線”と定義されることもある。以下、断らずに後者だとして説明を行う。包絡線は、次のようにして求められる。
n 次元ユークリッド空間 Rn 上の陰関数曲線族 F(x1, ... ,xn,t) = 0 (∀t) に対する包絡線は、連立方程式
包絡線の例
直線の族 L : y = sint x + cost の包絡線を、実際に上の方法で求めてみる。まず、L ⇔ sint x - y + cost = 0 であるが、ここで、L を t に於いて偏微分すれば、
(1)⇔:
sin(t)x + cos(t) = y
(sin(t)x + cos(t))2 = y2
sin2(t)x2 + 2sin(t)cos(t)x + cos2(t) = y2 …(1)'
(2)⇔:
(cos(t)x - sin(t))2 = 02
cos2(t)x2 + 2cos(t)sin(t)x + sin2(t) = 0 …(2)'
(1)'+(2)':
sin2(t)x2 + 2sin(t)cos(t)x + cos2(t) = y2
+)cos2(t)x2 - 2cos(t)sin(t)x + sin2(t) = 0
x2 + 1 = y2
これで t が消去できたので、あとは式を変形して x2 - y2 + 1 = 0。これが直線族 L の包絡線である。この場合、包絡線は双曲線であることがわかる。