空间解析几何、多元函数微分

空间解析几何

空间平面与直线

平面方程

1. 一般式：$Ax+By+Cz+D=0(A^2+B^2+C^2\ne 0)$，其中$\mathbf{n}=A\mathbf{i}+B\mathbf{j}+C\mathbf{k}$为法向量
2. 点法式：过点$M(x_0,y_0,z_0)$，且法向量 n = { A , B , C } \mathbf{n} = \{A, B, C\} n={A,B,C}的平面方程为
   $$A(x-x_0)+B(y-y_0)+C(z-z_0)=0$$
3. 截距式：过三点$(a,0,0),(0,b,0),(0,0,c)$的平面方程为
   $$\frac{x}{a}+\frac{y}{b}+\frac{z}{c}=1$$
   其中$a,b,c$分别为平面在坐标轴上的截距

直线方程

1. 一般式（两平面的交线）：
   $$\{\begin{array}{r}{A}_{1}x+B_{1}y+C_{1}z+D_1=0,\\ A_{2}x+B_{2}y+C_{2}z+D_2=0,\end{array}$$
2. 对称式：$l\mathbf{i}+m\mathbf{j}+n\mathbf{k}$是方向向量
   $$\frac{x-x_0}{l}=\frac{y-y_0}{m}=\frac{z-z_0}{n}$$
3. 参数式：过点$M(x_0,y_0,z_0)$，且方向向量为 S = { l , m , n } S=\{l, m, n\} S={l,m,n}的方程为
   $$\{\begin{array}{r}x=x_0+lt,\\ y=y_0+mt,\\ z=z_0+nt\end{array}$$

平面和直线的位置关系

无论是平面和平面的位置关系，还是直线与平面的位置关系，抑或是直线与直线的位置关系。都是在考虑方向向量的位置关系和法向量的位置关系，因此只需要记住两点即可

• 向量垂直则有$\mathbf{a}\cdot \mathbf{b}=0$
• 向量平行则有$\mathbf{a}\times \mathbf{b}=0$

点到面的距离

点$(x_0,y_0,z_0)$到平面$Ax+By+Cz+D=0$的距离
$$d=\frac{|A{x}_0+B{y}_0+C{z}_0+D|}{\sqrt{A^2+B^2+C^2}}$$

• $Ax+By+Cz+D=0$中$D$变化，平面则沿着法向量方向平移

点到直线的距离

点$(x_0,y_0,z_0)$到直线$\frac{x-x_1}{l}=\frac{y-y_1}{m}=\frac{z-z_1}{n}$的距离为
$$d=\frac{|(x_1-x_0,y_1-y_0,z_1-z_0)\times (l,m,n)|}{\sqrt{l^2+m^2+n^2}}$$

• 这个距离求法相当于是：平行四边形面积/底边长

多元函数极限微分

多元函数的极限与连续

重极限的概念

设函数$f(x,y)$在开区域（或闭区域）D内有定义，$P_0(x_0,y_0)$是$D$的内点或边界点，如果对任意给定的$ϵ>0$，$\exists \delta >0$，使得对满足不等式
$$0<\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}<\delta$$
的一切的$P(x,y)\in D$，都有$|f(x,y)-A|<ϵ$，则称$A$为$f(x,y)$当$x\to x_0,y\to y_0$时的极限，记为${\lim }_{x\to x_0,y\to y_0}f(x,y)=A$

• 二元函数重极限的定义是指定义域$D$中的点$P(x,y)$以任何方式趋近于点$P_0(x_0,y_0)$时，函数$f(x,y)$都无限趋近于同一常数$A$
• 证明重极限不存在常用的有效方法：
  • 沿两条不同的路径趋于$P_0(x_0,y_0)$时，$f(x,y)$趋于不同常数
  • 沿某条路径趋于$P_0(x_0,y_0)$时，$f(x,y)$的极限不存在

二元函数连续的概念

设函数$f(x,y)$在开区域（或闭区域）$D$内有定义，$P_0(x_0,y_0)$是$D$的内点或边界点，且$P_0\in D$，如果${\lim }_{x\to x_0,y\to y_0}f(x,y)=f(x_0,y_0)$，则称函数$f(x,y)$在点$P_0(x_0,y_0)$处连续。

多元连续函数的性质

• 连续函数的和、差、积、商（分母不为零）仍是连续函数，连续函数的复合函数仍为连续函数。
• 最大最小值定理：在有界闭区域$D$上的连续函数，在该区域$D$上有最小值和最大值。
• 介值定理：在有界闭区域$D$上的连续函数，可取到它在该区域上的最小值和最大值之间的任何值

多元函数微分

二元函数的偏导数

设函数$z=f(x,y)$在点$(x_0,y_0)$的某一邻域内有定义，如果
$$\underset{\Delta x\to 0}{\lim }\frac{f(x_0+\Delta x,y_0)-f(x_0,y_0)}{\Delta x}$$
存在，则称此极限为函数$z=f(x,y)$在点$(x_0,y_0)$处对$x$的偏导数，记为$f_x^{\prime }(x_0,y_0)$或$\partial f(x_0,y_0)/\partial x$

• 偏导数的几何意义：表示曲面$z=f(x,y)$与平面$y=y_0$的交线在点$M_0(x_0,y_0,f(x_0,y_0))$处的切线$T_x$对$x$轴的斜率

二元函数的全微分

如果函数$z=f(x,y)$在点$(x,y)$处的全增量$\Delta z=f(x+\Delta x,y+\Delta y)-f(x,y)$可表示为
$$\Delta z=A\Delta x+B\Delta +o(\rho )$$
其中$A,B$不依赖于$\Delta x,\Delta y$，而仅与$x,y$有关，$\rho =\sqrt{(\Delta x{)}^2+(\Delta y{)}^2}$，则称函数$z=f(x,y)$在点$(x,y)$可微，$A\Delta x+B\Delta y$称为函数$z=f(x,y)$在点$(x,y)$的全微分，记为
$$dz=Adx+Bdy$$

• 全微分存在的必要条件：该点的偏导数均存在
• 全微分存在的充分条件，该点的偏导数连续
• 注意，在多元函数中，一阶偏导数都存在，无法得到该点函数连续