包絡線

包絡線（ほうらくせん、テンプレート:Lang-en-short）とは、与えられた曲線族と接線を共有する曲線、すなわち与えられた（一般には無限個の）全ての曲線たちに接するような曲線のことである。身近なところでは、AMラジオ放送に利用されている振幅変調の電波信号の包絡線が音声信号である。

包絡線は、次のようにして求められる。媒介変数 t ∈ R で添字付けられる n 次元ユークリッド空間 Rⁿ 上の曲線族 {F_t(x₁, ..., x_n) = 0}_t∈R に対する包絡線は、連立方程式

{\begin{matrix} F_{t} (x_{1}, \dots, x_{n}) = 0 \\ \frac{\partial}{\partial t} F_{t} (x_{1}, \dots, x_{n}) = 0 \end{matrix}

から t を消去して得られる曲線 φ(x₁, ..., x_n) = 0 に等しい。

例

実数の媒介変数 t で添字付けられる直線の族

{L_{t}}_{t \in ℝ}, L_{t} : y = x \sin t + \cos t

について考える。これの包絡線を求めるための連立方程式は

{\begin{matrix} x \sin t - y + \cos t = 0, \\ x \cos t - \sin t = 0 \end{matrix}

である。t を消去して、 $x^{2} - y^{2} + 1 = 0$ を得る。これが直線族 {L_t}_t∈R の包絡線である。この場合、包絡線は双曲線であることがわかる。