|
你的愿望是好的,这个公式增加了记忆负担,却简化了重复的计算
上面的 $\alpha: I \rightarrow \mathbb{R}^2$ 是一条平面正则曲线,一般地,设 $\alpha: I \rightarrow \mathbb{R}^3$ 是 $\mathbb{R}^3$ 的一条正则曲线。
如果从定义来计算,先以弧长参数化$\alpha(s)$,曲率为$k(s)=|\frac{\rmd\bf T}{\rmd s}|=|α''(s)|$,由链式法则……
而有了这个曲率公式,参数化$\alpha(t)$不需要是弧长参数化也能直接带入曲率公式:
\[\label1\tag1
k(t)=\frac{\left|\alpha^{\prime \prime}(t) \wedge \alpha^{\prime}(t)\right|}{\left|\alpha^{\prime}(t)\right|^3}
\]
证明:假设由替换 $t=f(s)$ 给出弧长参数化 $\beta(s)=\alpha(f(s))$,由链式法则
\[
\beta^{\prime}(s)=\alpha^{\prime}(f(s)) f^{\prime}(s)
\]即$$\tag2\label2\left|\beta^{\prime}(s)\right|=\left|\alpha^{\prime}(f(s)) f^{\prime}(s)\right|=1$$
由链式法则
\[
\beta^{\prime \prime}(s)=\alpha^{\prime \prime}(f(s))\left(f^{\prime}(s)\right)^2+\alpha^{\prime}(f(s)) f^{\prime \prime}(s)
\]
现在由于 $\left|\beta^{\prime}(s)\right|=1$,我们知道 $\beta^{\prime}(s)$ 与 $\beta^{\prime \prime}(s)$ 正交。因此
\[
k(s)=\left|\beta^{\prime \prime}(s)\right|=\left|\beta^{\prime \prime}(s)\right|\left|\beta^{\prime}(s)\right|=\left|\beta^{\prime \prime}(s) \wedge \beta^{\prime}(s)\right| .
\]
所以我们计算 $\beta^{\prime \prime}(s) \wedge \beta^{\prime}(s)$,为
\begin{align*}\beta^{\prime \prime}(s) \wedge \beta^{\prime}(s)&=\\&
\left(\alpha^{\prime \prime}(f(s)) \wedge \alpha^{\prime}(f(s))\right)\left(f^{\prime}(s)\right)^3+\left(\alpha^{\prime}(f(s)) \wedge \alpha^{\prime}(f(s))\right) f^{\prime \prime}(s) f^{\prime}(s)
\end{align*}
由于 $\alpha^{\prime}(f(s)) \wedge \alpha^{\prime}(f(s))=0$,所以等于
\begin{align*}\beta^{\prime \prime}(s) \wedge \beta^{\prime}(s)&=\\&
\left(\alpha^{\prime \prime}(f(s)) \wedge \alpha^{\prime}(f(s))\right)\left(f^{\prime}(s)\right)^3
\end{align*}
根据 \eqref{2} 有 $f^{\prime}(s)=1 /\left|\alpha^{\prime}(t)\right|$,代入得到所述公式\eqref{1}。 |
|