微分几何 设平面曲线C与同一平面的一条直线l相较于正则点P，并落在直线l的同一侧。证明l是C在P点的切线

题目：设平面曲线$C$与同一平面的一条直线$l$相较于正则点$P$，并落在直线$l$的同一侧。证明$l$是$C$在$P$点的切线。

思考：若平面曲线$C$表示成$y_C=y_C(x)$，那么设直线$l$为$y_l$，则证明直线$l$是平面曲线$C$在$P$点的切线只需要证明$y_l^{‘}=y_C^{‘}$

考虑到曲线$C$在直线$l$的同一侧，不妨设为下侧，那么就有$y_l-y_C⩾0$。设$f(x)=y_l(x)-y_C(x)$，则有$f(x)⩾0$，由于$P$是交点，所以$f(x_p)=0$

由于$P$是正则点，那么就可以在$P$的一个邻域里使用罗尔中值定理，即$f$在$P$点的导数为0，于是便有$y_l^{‘}=y_c^{‘}$。

然而命题到此并没有得证。事实上平面上的曲线不一定都能表示成$y=y(x)$的形式，比如单位圆。那么这里就需要用更一般的曲线表示方法来证明该结论。

这里假设需要用到的曲线都是参数曲线，即能够用参数来表示。

设$C:\vec{r}=\vec{r}(t)$，点$P$对应$t=t_0$。则只需证明${\vec{r}}^{‘}(t_0)//l$

因为点$P$是正则点，那么存在点$P$的一个邻域，在这个邻域种$P$是$l$与$C$的唯一交点。因为曲线$C$在直线$l$的同一侧，则在这个邻域内能取到$r(t_0-t_{1,1}),r(t_0+t_{1,2})，t_{1,1},t_{1,2}>0$，做过这两点的直线$l_1$满足$l_1//l$，记$d=dist(l,l_1)$， l 1 ∩ C = { r ⃗ ( t ) ∣ t = t 0 − t 1 , 1 或 t = t 0 + t 1 , 2 ; t 1 , 1 , t 1 , 2 > 0 } l_1 \cap C=\{ \vec r(t) | t=t_0-t_{1,1}或t= t_0+t_{1,2}; t_{1,1},t_{1,2}>0 \} l1​∩C={r (t)∣t=t0​−t1,1​或t=t0​+t1,2​;t1,1​,t1,2​>0}

再做$l_i$介于$l$与$l_{i-1}$之间，满足$l_i//l，dist(l,l_i)=\frac{d}{2}$， l i ∩ C = { r ⃗ ( t ) ∣ t = t 0 − t i , 1 或 t = t 0 + t i , 2 ; 0 < t i , 1 < t i − 1 , 1 , 0 < t i , 2 < t i − 1 , 2 } l_i \cap C = \{ \vec r(t) | t=t_0-t_{i,1}或t= t_0+t_{i,2}; 0<t_{i,1}<t_{i-1,1},0<t_{i,2}<t_{i-1,2} \} li​∩C={r (t)∣t=t0​−ti,1​或t=t0​+ti,2​;0<ti,1​<ti−1,1​,0<ti,2​<ti−1,2​}。显然，$n\to \infty$时，$l_1//l_2//\dots //l_n//\dots \to l$，所以有$\frac{\vec{r}(t_0+t_{n,2})-\vec{r}(t_0-t_{n,1})}{t_{n,2}-t_{n,1}}//l$，且$\vec{r}(t_0-t_{n,1})\to \vec{r}(t_0),\vec{r}(t_0+t_{n,2})\to \vec{r}(t_0)$，于是$t_{n,1},t_{n,2}\to 0$。

由点$P$的正则性，${\vec{r}}^{‘}(t_0)$存在。于是有${\lim }_{n\to \infty }\frac{\vec{r}(t_0+t_{n,2})-\vec{r}(t_0-t_{n,1})}{t_{n,2}+t_{n,1}}={\vec{r}}^{‘}(t_0)$， 所以${\vec{r}}^{‘}(t_0)//l$。所以$l$是曲线$C$在$P$点的切线，命题得证。