Dimostrazione
包絡線の作り方について。

点Fおよび(Fを通らないように)外側に直線 r をおく。直線 r 上に点Hをとり、この点HでFHに垂直な直線 hを引く。 このとき、 直線 h による包絡線が放物線であることを示そう。

点 G を点Hに関して点Fに対称にとる。このとき、直線 GP は直線 r に垂直となる。よって、 PF=PG 
また △FVH ≡ △HLG より  LG=VF となるから、点Gと直線 r との距離は一定。
従って、点Fと直線 r との距離に等しい距離だけ離れた(直線 r に平行な)直線 d 上に点Gはある。

以上から、点Pは点Fと直線 d から等距離にあるので、焦点F、準線 d の parabola放物線上にある。
また、このとき ∠ FPH = ∠HPG となるから直線 h は点Pを接点とする放物線の接線となる。