如果曲线的方程为 y=f(x),==g(x) 把它看成以x为参数的参数方程 x三x g(x), 即得到它在P(x0,f(xg{(x)点的切线方程为 2-g(x0) f(x0) 法平面方程为 (x-x0)+f(x0)(y-f(x0)+g(x)(z-g(x0)=0
如果曲线的方程为 = = xgzxfy )(),( , 把它看成以x为参数的参数方程 ⎪⎩ ⎪⎨⎧ = = = ),( ),( , xgz xfy xx 即得到它在 ))(),(,( 000 0 xgxfxP 点的切线方程为 )( )( )( )( 1 0 0 0 0 0 xg xgz xf xfyxx ′ − = ′ − = − ; 法平面方程为 0))()(())()(()( − 0 + ′ 0 − 0 + ′ 0 − xgzxgxfyxfxx 0 =
空间曲线还可以表示为空间中两张曲面的交。设曲线的方程为 F(x,y,z)=0 IG(x,y, =) P(x0,y0,=0)为F上一点,且 Jacobi矩阵 FFF GGG 在P点是满秩的,即 rank j=2。求曲线厂在P点的切线与法平面方程
空间曲线还可以表示为空间中两张曲面的交。设曲线 Γ 的方程为 ⎩ ⎨ ⎧ = = .0),,( ,0),,( zyxG zyxF ),,( 0000 zyxP 为 Γ 上一点,且 Jacobi 矩阵 ⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ = zyx zyx GGG FFF J 在 P0 点是满秩的, 即rank 2 J = 。求曲线 Γ 在 P0 点的切线与法平面方程
由于矩阵J在P点满秩,不失一般性,假设在P点成立 a(F,G)Fy F: ≠0 a(, 由隐函数存在定理,在P点附近唯一确定了满足y=f(x),=0=g(x)的 隐函数 y=f(x),z=g(x),x∈O(x,E)。 且有 OFG a(F,G a(F,G a(F,G ∫(x0)= (0 P),g(x0) (B) 2,X y2 (x,y) a(,z 于是,曲线厂在P点的切线方程为 X-X aF,G) (B) a(F,G) a(F,G) (0) (y,z) O(=,x) x 法平面方程为 O(F,G) (0)(x-x) a(F,G) OF,G (P)(y-y)+ (B)(z--0)=0 a(, 2) a(=,x) (x,y)
由于矩阵J 在P0 点满秩,不失一般性,假设在P0 点成立 0 ),( ),( = ≠ ∂ ∂ zy zy GG FF zy GF 。 由隐函数存在定理,在P0点附近唯一确定了满足 )(),( 0 00 0 = = xgzxfy 的 隐函数 = = xgzxfy )(),( , ),( 0 ∈ xOx ε 。 且有 )( ),( ),( )( ),( ),( )(,)( ),( ),( )( ),( ),( )( 0 0 0 0 0 P0 zy GF P yx GF xgP zy GF P xz GF xf ∂∂ ∂∂ ′ = ∂∂ ∂∂ ′ = 。 于是,曲线Γ 在P0 点的切线方程为 )( ),( ),( )( ),( ),( )( ),( ),( 0 0 0 0 0 0 P yx GF zz P xz GF yy P zy GF xx ∂ ∂ − = ∂ ∂ − = ∂ ∂ − ; 法平面方程为 0))(( ),( ),( ))(( ),( ),( ))(( ),( ),( 0 0 0 0 0 0 =− ∂∂ +− ∂∂ +− ∂∂ zzP yx GF yyP xz GF xxP zy GF
由空间解析几何知道,由一点及两个线性无关(即非平行)的 向量确定一张过该点的平面(称为这两个向量张成的平面),平面上 的任一向量都可以表为这两个向量的线性组合。 定理12.51曲线{(,3)=0在点的法平面就是由梯度向量 (x, y, 2) gradF(P)和grdG(P)张成的过P的平面。 证记该曲线为F。由于矩阵J= F,F,F满秩,因此 gradF()=(F2(),F,(P0),F(P0 gradG(P)=(G(P),G,(P),G(Po) 线性无关,因此它们可以张成一个过P点的平面兀
由空间解析几何知道,由一点及两个线性无关(即非平行)的 向量确定一张过该点的平面(称为这两个向量张成的平面 ),平面 上 的任一向量都可以表为这两个向量的线性组合。 定理 12.5.1 曲线⎩ ⎨ ⎧ = = 0),,( ,0),,( zyxG zyxF 在 P0 点的法平面就是由梯度向 量 0 grad F( ) P 和 0 gradG P( ) 张成的过 P0 的平面 。 证 记该曲线为 Γ 。由于矩阵 ⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ = zyx zyx GGG FFF J 满秩,因此 0 grad F( ) P ))(),(),(( = x 0 y 0 z PFPFPF 0 与 0 gradG P( ) ))(),(),(( = x 0 y 0 z PGPGPG 0 线性无关,因此它们可以张成一个过 P0 点的平面 π
要证明平面π就是曲线r在P点的法平面,只要证明厂在P点的 切向量与π垂直,即与 gradF(P)和 gradS(P)均垂直即可 因为曲线r在P点的切向量为 O(y,2)0((FG(P) 0(F,G)/D、O(F,G) 于是 t gradF(P)=F(D)O(F, G) 0(yxP)+F(P、O(F,G) (0)+F2(P O(F,G) () (x,y) F(P) F(P)F(P F2(P)F,(B)F(P)=0 同理τ gradS/P)=0。因此平面π就是曲线r在P点的法平面
要证明平面π就是曲线Γ 在P0 点的法平面,只要证明Γ 在P0 点的 切向量与π垂直,即与 0 gradF( ) P 和 0 gradG P( ) 均垂直即可。 因为曲线Γ 在P0 点的切向量为 000 (,) (,) (,) ( ), ( ), ( ) (,) (, ) (, ) FG FG FG P P P yz zx xy ⎛ ⎞ ∂∂∂ = ⎜ ⎟ ⎝ ⎠ ∂∂∂ τ , 于是 0 0 00 00 0 000 000 000 (,) (,) (,) () () () () () () (,) (, ) (, ) () () () ( ) ( ) ( ) 0. () () () xyz xyz xyz xyz F G F G F G F(P ) F P P F P P F P P y z z x x y FP FP FP FP FP FP GP GP GP ∂ ∂ ∂ ⋅= + + ∂ ∂∂ = = τ grad 同理 0 τ ⋅gradG(P ) = 0。因此平面π就是曲线Γ 在P0 点的法平面