问题对于给定的单参数曲线族 la:Φ(x,y,c)=0 其中c∈cR为参数 如何判断它是否有包络?如果有包络,如何求? 根据定义,假设该单参数曲线族有包络l,则对任意的 ,y)∈L存在唯的c∈l,使得(x,y)∈l 于是得到对应关系 c:{>l, (x,y)+>c(x,y)
问题:对于给定的单参数曲线族: l c : (x, y,c) = 0 其中 c I R 为参数. 如何判断它是否有包络? 如果有包络, 如何求? 根据定义, 假设该单参数曲线族有包络 l, 则对任意的 (x, y)l, 存在唯一的 c I, 使得 ( , ) . c x y l 于是得到对应关系: c : l → I, (x, y) c(x, y)
从而得到二元函数c=c(x,y),(x,y)∈l使得 Φ(x,y,c(x,y)三0,(x,y)∈l. 若l可用参数形式表示为 x=((t), t∈(a,B) 记C=c(qp(t),y()≡c(t),则 Φ(q(t),y(),c(t)=0,t∈(a,B) 于是,Φ do+odt + 0
从而得到二元函数 c = c(x, y), (x, y) l 使得 (x, y,c(x, y)) 0, (x, y) l. 若 l 可用参数形式表示为: ( , ) ( ), ( ), = = t y t x t 记 c = c((t),(t)) c(t), 则 ((t),(t),c(t)) 0, t (, ) 于是, + + 0. dt dc dt d dt d x y c
现在任取一个固定点M则M在某一条曲线上由于 1与l在M点有相同的切线因为1与1在M点的切线的斜率 分别为￠与-,所以有 +① ≡0 dt 从而 d c 由于在l上不同的点也在不同的1上,即a ≠0 因此 ①≡0
l 任取一个固定点M, 则M在某一条曲线 c l 上. 由于 l 与 c l 现在 在M点有相同的切线, 因为 l 与 c l 在M点的切线的斜率 分别为 dx dy 与 , y x − 所以, 有 从而 0. dt dc c + 0, dt d dt d x y 由于在 l 上不同的点也在不同的 c l 上, 即 0, dt dc 因此 0. c
因此包络线l任意一点M不仅要满足Φ(x,y,c)=0, 而且还要满足Φ2(x,y,c)=0. 定义2:把联立方程组: ∫o(x,y)=0 Φ(x,yc)=0 中消去参数得到的方程F(xy)=0所表示的曲线l称为曲线族 cfcr的c判别曲线
因此, 包络线 l 任意一点M不仅要满足 (x, y, c) = 0, 而且还要满足 (x, y,c) = 0. c 定义2: 把联立方程组: = = ( , , ) 0 ( , , ) 0 x y c x y c c 中消去参数c得到的方程F(x,y)=0所表示的曲线 l * 称为曲线族 c c I l 的c-判别曲线
定理1(包络的必要条件):设Φ(x,y,c)及其各一阶偏导数是 (xyo的连续函数,且Φ(x,y,C)=0,有连续光滑的包络 则包络必位于Φ(x,y,c)=0的c判别曲线中 注:(x,yC)=0的包络是c判别曲线,但c判别曲线未必是包络 因此从c判别曲线分解出来的一支或数支曲线是否为Φ(x,y,c)=0 的包络,尚需按定义作进一步的验证
定理1(包络的必要条件): 设 (x, y,c) 及其各一阶偏导数是 (x,y,c)的连续函数, 且 (x, y, c) = 0, 有连续光滑的包络, 则包络必位于 (x, y, c) = 0 的c-判别曲线中. 注: (x, y, c) = 0 的包络是c-判别曲线, 但c-判别曲线未必是包络. 因此从c-判别曲线分解出来的一支或数支曲线是否为 (x, y, c) = 0 的包络, 尚需按定义作进一步的验证