嘿，我来帮你搞定这个螺旋线长度的计算问题！你一开始想到用切向量模长的分段求和来逼近长度，这个方向完全正确——曲线的弧长确实是通过对切向量的模长（也就是弧长元素）积分得到的，而不是对位置向量的模长求和，后者算的是到原点的距离总和，和曲线本身的长度没关系。下面一步步来推导精确解：

第一步：求切向量$r'(t)$ #

先对参数方程的每个分量求导：
已知螺旋线的参数形式是：
$$ r(t)=\begin{bmatrix} e^{-t}\cos(t) \ e^{-t}\sin(t) \end{bmatrix} $$
分别对两个分量求导：

• 第一个分量导数：$\frac{d}{dt}[e^{-t}\cos(t)] = -e^{-t}\cos(t) - e^{-t}\sin(t) = -e^{-t}(\cos t + \sin t)$
• 第二个分量导数：$\frac{d}{dt}[e^{-t}\sin(t)] = -e^{-t}\sin(t) + e^{-t}\cos(t) = e^{-t}(\cos t - \sin t)$

所以切向量为：
$$ r'(t) = \begin{bmatrix} -e^{-t}(\cos t + \sin t) \ e^{-t}(\cos t - \sin t) \end{bmatrix} $$

第二步：计算切向量的模长$||r'(t)||$ #

模长的计算是各分量平方和的平方根，我们可以先提取公共因子简化计算：
$$
\begin{align*}
||r'(t)|| &= \sqrt{\left[-e^{-t}(\cos t + \sin t)\right]^2 + \left[e^{-t}(\cos t - \sin t)\right]^2} \
&= e^{-t}\sqrt{(\cos t + \sin t)^2 + (\cos t - \sin t)^2}
\end{align*}
$$
展开里面的平方项：
$(\cos t + \sin t)^2 = \cos^2t + 2\sin t\cos t + \sin^2t$
$(\cos t - \sin t)^2 = \cos^2t - 2\sin t\cos t + \sin^2t$
把两者相加，交叉项$2\sin t\cos t$和$-2\sin t\cos t$会抵消，剩下：
$\cos^2t + \sin^2t + \cos^2t + \sin^2t = 2(\cos^2t + \sin^2t) = 2$（利用三角恒等式$\cos^2t + \sin^2t=1$）

所以切向量的模长简化为：
$$ ||r'(t)|| = \sqrt{2}e^{-t} $$

第三步：积分求曲线总长度 #

曲线长度的计算公式是：
$$ L = \int_{a}^{b} ||r'(t)|| dt $$
这里积分区间是$[0, 2\pi]$，代入模长表达式：
$$
\begin{align*}
L &= \int_{0}^{2\pi} \sqrt{2}e^{-t} dt \
&= \sqrt{2} \left[ -e^{-t} \right]_{0}^{2\pi} \
&= \sqrt{2} \left( -e^{-2\pi} + e^{0} \right) \
&= \sqrt{2}(1 - e^{-2\pi})
\end{align*}
$$

如果想用你一开始的分段求和方法验证的话，把区间$[0,2\pi]$分成$n$个小段，每个小段步长$dt = \frac{2\pi}{n}$，计算每个点$t_i = i\cdot dt$处的$||r'(t_i)||$，然后求和$\sum_{i=0}^{n-1} ||r'(t_i)|| \cdot dt$，当$n$趋近于无穷大时，这个和就会趋近于上面的解析解。

内容的提问来源于stack exchange，提问作者Tuki