为什么曲面函数的偏导数可以表示其曲面的法向量?
引用资料:
1.知乎@shinbade:曲面的三个偏导数为什么能表示法向量?
2.Geogebra@羅驥韡 (Pegasus Roe):偏導數、切平面、梯度
曲面
F
(
x
,
y
,
z
)
=
0
F(x,y,z)=0
F(x,y,z)=0,曲面上一点A
(
x
,
y
,
z
)
(x,y,z)
(x,y,z),在该点附近取另一点B
(
x
+
Δ
x
,
y
+
Δ
y
,
z
+
Δ
z
)
(x+\Delta x,y+\Delta y,z+\Delta z)
(x+Δx,y+Δy,z+Δz),由于点B也在曲面上,故
F
(
x
+
Δ
x
,
y
+
Δ
y
,
z
+
Δ
z
)
=
0
F(x+\Delta x,y+\Delta y,z+\Delta z)=0
F(x+Δx,y+Δy,z+Δz)=0,
将上式进行一阶泰勒展开:(一阶展开目的是用切平面上的点近似曲面上的点)
F
(
x
+
Δ
x
,
y
+
Δ
y
,
z
+
Δ
z
)
=
F
(
x
,
y
,
z
)
+
F
x
′
Δ
x
+
F
y
′
Δ
y
+
F
z
′
Δ
z
=
0
∵
F
(
x
,
y
,
z
)
=
0
∴
F
x
′
Δ
x
+
F
y
′
Δ
y
+
F
z
′
Δ
z
=
0
(
F
x
′
,
F
y
′
,
F
z
′
)
⋅
(
Δ
x
,
Δ
y
,
Δ
z
)
=
0
F(x+\Delta x,y+\Delta y,z+\Delta z)=F(x,y,z)+F'_x\Delta x+F'_y\Delta y+F'_z\Delta z=0\\ ~\\ \because F(x,y,z)=0\\ ~\\ \therefore F'_x\Delta x+F'_y\Delta y+F'_z\Delta z=0\\ ~\\ (F'_x,F'_y,F'_z)\cdot(\Delta x,\Delta y,\Delta z)=0
F(x+Δx,y+Δy,z+Δz)=F(x,y,z)+Fx′Δx+Fy′Δy+Fz′Δz=0 ∵F(x,y,z)=0 ∴Fx′Δx+Fy′Δy+Fz′Δz=0 (Fx′,Fy′,Fz′)⋅(Δx,Δy,Δz)=0
向量
(
Δ
x
,
Δ
y
,
Δ
z
)
(\Delta x,\Delta y,\Delta z)
(Δx,Δy,Δz)与向量
(
F
x
′
,
F
y
′
,
F
z
′
)
(F'_x,F'_y,F'_z)
(Fx′,Fy′,Fz′)内积为0,说明两向量垂直,又由于向量
(
Δ
x
,
Δ
y
,
Δ
z
)
(\Delta x,\Delta y,\Delta z)
(Δx,Δy,Δz)在切平面上(严格来说是割平面,因为还没有取极限),故向量
(
F
x
′
,
F
y
′
,
F
z
′
)
(F'_x,F'_y,F'_z)
(Fx′,Fy′,Fz′)垂直于切平面,也就可以用其来表示曲面的法向量。
备注:切平面上点代替曲面上点(以直代曲),这个方面的理解详见本人博客:如何理解二元函数的可导与可微?
由于在极限过程中,切平面上点无限接近曲面上的点,所以近似将向量
(
Δ
x
,
Δ
y
,
Δ
z
)
(\Delta x,\Delta y,\Delta z)
(Δx,Δy,Δz)看作在切片面上。