包絡線の求め方と例題

• レベル: ★ 最難関大受験対策
• いろんな関数

更新 2021/03/07

曲線群 f(x,y,t)=0f(x,y,t)=0f(x,y,t)=0 の包絡線の方程式は f(x,y,t)=0f(x,y,t)=0f(x,y,t)=0 と ∂∂tf(x,y,t)=0\dfrac{\partial}{\partial t}f(x,y,t)=0∂t∂​f(x,y,t)=0 から ttt を消去することで得られる。

包絡線(envelope)について，意味と求め方を解説します。包絡線の考え方は高校数学でも役に立ちます！

状況設定：曲線群を考える

今回は三変数 x,y,tx,y,tx,y,t の方程式（陰関数）f(x,y,t)=0f(x,y,t)=0f(x,y,t)=0 を考えます。ttt を一つ固定すると xxx と yyy の関係式となり，xyxyxy 平面上における曲線が一つ得られます。つまり，f(x,y,t)=0f(x,y,t)=0f(x,y,t)=0 は xyxyxy 平面上の曲線群を表現するとみなせます。

x,y,tx,y,tx,y,t に関する等式 y=2tx−t2y=2tx-t^2y=2tx−t2 について考える。これは ttt を一つ固定すると xyxyxy 平面における直線になる。例えば

• t=0t=0t=0 のとき y=0y=0y=0，
• t=1t=1t=1 のとき y=2x−1y=2x-1y=2x−1

という直線を表す。

包絡線とは

曲線群が与えられたときに，全ての曲線とどこかで接するような曲線のことを包絡線と言います。

例えば，さきほど考えた曲線群（直線群）y=2tx−t2y=2tx-t^2y=2tx−t2 の包絡線は放物線 y=x2y=x^2y=x2 です（図参照）。これは以下のように確認できます：

y=x2y=x^2y=x2 の (t,t2)(t,t^2)(t,t2) における接線の方程式は（y′=2xy'=2xy′=2x より）y=2tx−t2y=2tx-t^2y=2tx−t2 である。つまり，y=2tx−t2y=2tx-t^2y=2tx−t2 は (t,t2)(t,t^2)(t,t2) で y=x2y=x^2y=x2 と接する。つまり y=x2y=x^2y=x2 が包絡線である。

包絡線の方程式の求め方

さきほどは包絡線の方程式 y=x2y=x^2y=x2 を天下り的に与えてしまいましたが，実際は曲線群の方程式 f(x,y,t)=0f(x,y,t)=0f(x,y,t)=0 が与えられたときに，包絡線の方程式が求めたくなります。

その方法は冒頭にも書きましたが 曲線群を表す方程式とそれを ttt で微分したものを連立させて ttt を消去です。

曲線群を表す方程式： y−2tx+t2=0y-2tx+t^2=0y−2tx+t2=0

それを ttt で微分したもの： −2x+2t=0-2x+2t=0−2x+2t=0

この二式を連立させて ttt を消去する。二つ目の式より t=xt=xt=x となりこれを一つ目の式に代入すると，y=x2y=x^2y=x2 という包絡線の方程式が得られる。

これでうまくいく理由（証明）は最後に書きます。

高校数学の問題に応用

包絡線の考え方は直線群（曲線群）が通過する領域を求める問題に使えます。

直線群 y=12t2x−16t3 (t≧0)y=12t^2x-16t^3\:(t\geqq 0)y=12t2x−16t3(t≧0) が通過する領域を求めよ。

（天下り的だが）y=x3y=x^3y=x3 の (2t,8t3)(2t,8t^3)(2t,8t3) における接線の方程式は

y−8t3=12t2(x−2t)y-8t^3=12t^2(x-2t)y−8t3=12t2(x−2t)

つまり

y=12t2x−16t3y=12t^2x-16t^3y=12t2x−16t3

よって求める領域は y=x3y=x^3y=x3 における接線で接点の xxx 座標が非負のものをかき集めたものの通過領域である。式で書くと，y≦0y\leqq 0y≦0 または 0<y≦x30 < y\leqq x^30<y≦x3 。図示は簡単なので略。

曲線群： y=12t2x−16t3y=12t^2x-16t^3y=12t2x−16t3

ttt で微分： 0=24tx−48t20=24tx-48t^20=24tx−48t2

この二つの式から ttt を消去する。二つ目の式より t=x2t=\dfrac{x}{2}t=2x​，一つ目の式に代入して y=x3y=x^3y=x3

包絡線は分かった。次に接点を求める。 y=x3y=x^3y=x3 の (s,s3)(s,s^3)(s,s3) における接線の方程式は y=3s2x−2s3y=3s^2x-2s^3y=3s2x−2s3 である。これと問題文の式を比較して s=2ts=2ts=2t とする。以上の議論から y=x3y=x^3y=x3 の (2t,8t3)(2t,8t^3)(2t,8t3) における接線の方程式を考えればよいことが分かる！

包絡線の公式の証明

偏微分，連鎖律（合成関数の微分公式の多変数バージョン）など高校数学範囲外の道具を使うので理解できなくてもOKです。

「f(x,y,t)=0f(x,y,t)=0f(x,y,t)=0 について ttt を一つ固定した曲線」と「求めたい包絡線」の接点を (x(t),y(t))(x(t),y(t))(x(t),y(t)) とおく。x(t)x(t)x(t) と y(t)y(t)y(t) の関係式を導くのが目標である。

まず，接点ももとの曲線上にあるので f(x(t),y(t),t)=0f(x(t),y(t),t)=0f(x(t),y(t),t)=0 である。

次に (x(t),y(t))(x(t),y(t))(x(t),y(t)) において接することを式で表す。もとの曲線の法線方向が (fx(x,y,t),fy(x,y,t))(f_x(x,y,t),f_y(x,y,t))(fx​(x,y,t),fy​(x,y,t)) であることと包絡線の接線方向が (x′(t),y′(t))(x'(t),y'(t))(x′(t),y′(t)) であること(→補足)から，fxx′(t)+fyy′(t)=0f_xx'(t)+f_yy'(t)=0fx​x′(t)+fy​y′(t)=0

また，1の式を ttt で微分すると連鎖律より fxx′(t)+fyy′(t)+ft=0f_xx'(t)+f_yy'(t)+f_t=0fx​x′(t)+fy​y′(t)+ft​=0

この二式より ft(x(t),y(t),t)=0f_t(x(t),y(t),t)=0ft​(x(t),y(t),t)=0

x,y,tx,y,tx,y,t の関係式が二つ求まったので ttt を消去すれば xxx と yyy の関係式，つまり包絡線の方程式が求まる。

• 各 ttt に対して曲線 f(x,y,t)f(x,y,t)f(x,y,t) が滑らかなとき，曲線の法線方向は (fx,fy)(f_x,f_y)(fx​,fy​) になります。→法線ベクトルの3通りの求め方と応用
• ttt を動かしたときに接点 (x(t),y(t))(x(t),y(t))(x(t),y(t)) が滑らかに動くとき，その接線方向は (x′(t),y′(t))(x'(t),y'(t))(x′(t),y′(t)) になります。
• つまり，この証明では上記の2つの紫文字の条件が必要です。

包絡線は英語でenvelopeと言います。ちょっと意外でした。

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

マスオ

東京大学大学院情報理工学系研究科修了／2014年にWebサイト『高校数学の美しい物語』を立ち上げ／著書累計 50,000部突破／「わかりやすいこと」と「ごまかさないこと」の両立を意識している。 →著者情報・書籍一覧を見る

• レベル: ★ 最難関大受験対策
• いろんな関数