α(s) 가 주기 a>0 인 폐곡선 β(t) 에 대한 현의 길이 재매개변수화라고 하면, α 는 주기 L=∫0a∣dβ/dt∣dt 를 가지는 페곡선이다. 다시 말해, 폐곡선 β 의 길이는 L 이다.
유도
s(t+a)====∫0t+adtdβdt∫0adtdβdt+∫at+adtdβdtL+∫0tdtdβdtL+s(t)
정리하면 s(t+a)=s(t)+L 이고,
α(s+L)======α(s(t)+L)α(s(t+a))β(t+a)β(t)α(s(t))α(s)
따라서 α(s) 는 폐곡선이다. a>0 가
β(t+a)=β(t),∀t
를 만족시키는 가장 작은 양수이므로, L>0 역시
α(s+L)=α(s),∀s
를 만족시키는 가장 작은 양수여야한다. 다시 말해, β 의 길이는 L 이다.
■
Millman. (1977). Elements of Differential Geometry: p53. ↩︎