嘿，我来帮你把这个证明严谨地梳理出来！你提到的通过定义参数映射$\phi$、结合链式法则和微积分基本定理的思路完全正确，咱们一步步来推导：

先明确已知条件 #

• $f: I=[a,b] \rightarrow C$和$g: J=[c,d] \rightarrow C$都是正则简单曲线$C$的弧长参数化，因此对所有$s \in I$、$t \in J$，有$| f'(s) | = 1$，$| g'(t) | = 1$
• 曲线$C$的全长是固定的，所以两个参数区间的长度相等：$b - a = d - c$
• 因为$C$是简单曲线（无自交），$f$和$g$都是满射且单射，因此对每个$s \in I$，存在唯一的$\phi(s) \in J$使得$f(s) = g(\phi(s))$，且$\phi$是$I$到$J$的双射（连续且可逆）

用链式法则推导$\phi$的导数性质 #

对等式$f(s) = g(\phi(s))$两边关于$s$求导，根据链式法则：
$$f'(s) = g'(\phi(s)) \cdot \phi'(s)$$
两边取欧几里得范数：
$$| f'(s) | = | g'(\phi(s)) | \cdot |\phi'(s)|$$
代入弧长参数化的单位范数性质$| f'(s) | = 1$、$| g'(\phi(s)) | = 1$，可得：
$$1 = 1 \cdot |\phi'(s)| \implies |\phi'(s)| = 1$$
对所有$s \in I$成立。

结合微积分基本定理确定$\phi$的形式 #

因为$\phi$是连续的双射，$\phi'(s)$不能在$I$上变号（否则会违反单射性），因此$\phi'(s)$只能是恒为1或恒为-1：

1. 情况1：$\phi'(s) \equiv 1$
   根据微积分基本定理：
   $$\phi(s) = \phi(a) + \int_a^s 1 , dt = \phi(a) + s - a$$
   令常数$e = \phi(a) - a$，则$\phi(s) = e + s$，代入$f(s) = g(\phi(s))$得：
   $$f(s) = g(e + s)$$
   验证端点：$\phi(b) = e + b = d$（因为$f(b)=g(d)$），结合$d - c = b - a$，可得$e = d - b = c - a$，这个常数是存在且确定的。

2. 情况2：$\phi'(s) \equiv -1$
   同样用微积分基本定理：
   $$\phi(s) = \phi(a) + \int_a^s (-1) , dt = \phi(a) - (s - a)$$
   令常数$e = \phi(a) + a$，则$\phi(s) = e - s$，代入得：
   $$f(s) = g(e - s)$$
   验证端点：$\phi(b) = e - b = d$，可得$e = d + b$，同样满足所有$s \in I$的要求。

呼应你的直觉 #

你之前的理解完全到位：两种弧长参数化的差异只能是起点平移（同向遍历）或反向遍历，本质原因就是弧长参数化的“单位速度”特性——参数每增加1，曲线就前进单位弧长，所以只能有这两种对齐方式。

备注：内容来源于stack exchange，提问作者Madhav10612