Suppose CC is a piecewise smooth curve, parameterized by a function φ.φ.
Continuing to think like a physicist, we might guess that
the length of this curve could be computed as follows.
The particle is moving with velocity φ'(t).φ'(t). This velocity is
thought of as a vector in R2,R2, and as such it has a direction and a magnitude or speed.
The speed is just the absolute value |φ'(t)||φ'(t)| of the velocity vector φ'(t).φ'(t). Now distance is
speed multiplied by time, and so a good guess for the formula for the
length LL of the curve CC would be
L
=
∫
a
b
|
φ
'
(
t
)
|
d
t
.
L
=
∫
a
b
|
φ
'
(
t
)
|
d
t
.
(1)Two questions immediately present themselves. First, and of primary interest,
is whether the function |φ'||φ'| is improperly-integrable on (a,b)?(a,b)?
We know by (Reference) that φ'φ' itself is improperly-integrable, but
we also know from (Reference) that a function can be improperly-integrable on an open interval
and yet its absolute value is not.
In fact, the answer to this first question is no (See Exercise 1.).
We know only that |φ'||φ'| exists and is continuous on the open subintervals of a partition of [a,b].[a,b].
The second question is more subtle.
What if we parameterize a curve in two different ways, i.e., with
two different functions φ1φ1 and φ2?φ2? How do we know that the two
integral formulas for the length have to agree?
Of course, maybe most important of all to us, we also must justify the physicist's intuition.
That is, we must give a rigorous mathematical definition of the length of a smooth curve and show
that Formula (Equation 1) above does in fact give the length of the curve.
First we deal with the independence of parameterization question.
Let CC be a smooth curve joining (distinct) points z1z1 to z2z2 in C,C,
and let φ1:[a,b]→Cφ1:[a,b]→C and φ2:[c,d]→Cφ2:[c,d]→C
be two parameterizations of C.C.
Suppose |φ2'||φ2'| is improperly-integrable on (c,d).(c,d). Then
|φ1'||φ1'|is improperly-integrable on (a,b),(a,b), and
∫
a
b
∥
φ
1
'
(
t
)
∥
d
t
=
∫
c
d
∥
φ
2
'
(
s
)
∥
d
s
.
∫
a
b
∥
φ
1
'
(
t
)
∥
d
t
=
∫
c
d
∥
φ
2
'
(
s
)
∥
d
s
.
(2)We will use (Reference). Thus, let g=φ1-1∘φ2,g=φ1-1∘φ2,
and recall that gg is continuous on [c,d][c,d] and continuously differentiable on each open subinterval of a certain partition of [c,d].[c,d].
Therefore, by part (d) of (Reference), g'g' is
improperly-integrable on (c,d).(c,d).
Let {x0<x1<...<xp}{x0<x1<...<xp} be a partition of [a,b][a,b] for which φ1'φ1' is continuous
and nonzero
on the subintervals (xj-1,xj).(xj-1,xj).
To show that |φ1'||φ1'| is improperly-integrable on (a,b),(a,b),
it will suffice to show this integrability on each subinterval (xj-1,xj).(xj-1,xj).
Thus, fix a closed interval [a',b']⊂(xj-1,xj),[a',b']⊂(xj-1,xj),
and let [c',d'][c',d'] be the closed subinterval of [c,d][c,d] such that gg maps [c',d'][c',d'] 1-1 and onto [a',b'].[a',b'].
Hence, by part (e) of (Reference), we have
∫
a
'
b
'
|
φ
1
'
(
t
)
|
d
t
=
∫
c
'
d
'
|
φ
1
'
(
g
(
s
)
)
|
g
'
(
s
)
d
s
=
∫
c
'
d
'
|
φ
1
'
(
g
(
s
)
)
|
|
g
'
(
)
s
)
|
d
s
=
∫
c
'
d
'
|
φ
1
'
(
g
(
s
)
)
g
'
(
s
)
|
d
s
=
∫
c
'
d
'
|
(
φ
1
∘
g
)
'
(
s
)
|
d
s
=
∫
c
'
d
'
|
φ
2
'
(
s
)
|
d
s
≤
∫
c
d
|
φ
2
'
(
s
)
|
d
s
,
∫
a
'
b
'
|
φ
1
'
(
t
)
|
d
t
=
∫
c
'
d
'
|
φ
1
'
(
g
(
s
)
)
|
g
'
(
s
)
d
s
=
∫
c
'
d
'
|
φ
1
'
(
g
(
s
)
)
|
|
g
'
(
)
s
)
|
d
s
=
∫
c
'
d
'
|
φ
1
'
(
g
(
s
)
)
g
'
(
s
)
|
d
s
=
∫
c
'
d
'
|
(
φ
1
∘
g
)
'
(
s
)
|
d
s
=
∫
c
'
d
'
|
φ
2
'
(
s
)
|
d
s
≤
∫
c
d
|
φ
2
'
(
s
)
|
d
s
,
(3)which, by taking limits as a'a' goes to xj-1xj-1 and b'b' goes to xj,xj,
shows that
|φ1'||φ1'| is improperly-integrable over (xj-1,xj)(xj-1,xj) for every j,j, and hence integrable over all of (a,b).(a,b).
Using part (e) of (Reference) again, and a calculation similar
to the one above, we deduce the equality
∫
a
b
|
φ
1
'
|
=
∫
c
d
|
φ
2
'
|
,
∫
a
b
|
φ
1
'
|
=
∫
c
d
|
φ
2
'
|
,
(4)and the theorem is proved.
Let φ:[0,1]:R2φ:[0,1]:R2 be defined by
φ(0)=(0,0),φ(0)=(0,0), and for t>0,t>0,φ(t)=(t,tsin(1/t)).φ(t)=(t,tsin(1/t)). Let CC be the smooth
curve that is the range of φ.φ.
- Graph this curve.
- Show that
|φ'(t)|=1+sin2(1/t)-sin(2/t)t+cos2(1/t)t2=1tt2+t2sin2(1/t)-tsin(2/t)+cos2(1/t).|φ'(t)|=1+sin2(1/t)-sin(2/t)t+cos2(1/t)t2=1tt2+t2sin2(1/t)-tsin(2/t)+cos2(1/t).
(5) - Show that
∫δ1|φ'(t)|dt=∫11/δ1t1t2+sin2(t)t2-sin(2t)t+cos2(t)dt.∫δ1|φ'(t)|dt=∫11/δ1t1t2+sin2(t)t2-sin(2t)t+cos2(t)dt.
(6) - Show that there exists an ϵ>0ϵ>0 so that
for each positive integer nn we have cos2(t)-sin(2t)/t>1/2cos2(t)-sin(2t)/t>1/2
for all tt such that |t-nπ|<ϵ.|t-nπ|<ϵ.
- Conclude that |φ'||φ'| is not improperly-integrable on (0,1).(0,1).
Deduce that, if Formula (Equation 1) is correct for the length of a curve, then this curve has infinite length.
Next we develop a definition of the length of a parameterized curve
from a purely mathematical or geometric point of view.
Happily, it will turn out to coincide with the physically intuitive definition discussed above.
Let CC be a piecewise smooth curve joining the points z1z1 and z2,z2, and let φ:[a,b]→Cφ:[a,b]→C
be a parameterization of C.C.
Let P={a=t0<t1<...<tn=b}P={a=t0<t1<...<tn=b} be a partition of the interval [a,b].[a,b].
For each 0≤j≤n0≤j≤n write zj=φ(tj),zj=φ(tj), and
think about the polygonal trajectory joining these points {zj}{zj} in order.
The length LPφLPφ of this polygonal trajectory is given by the formula
L
P
φ
=
∑
j
=
1
n
|
z
j
-
z
j
-
1
|
,
L
P
φ
=
∑
j
=
1
n
|
z
j
-
z
j
-
1
|
,
(7)and this length is evidently an approximation to the length of the curve C.C.
Indeed, since the straight line joining two points is the shortest curve joining those points, these polygonal trajectories
all should have a length smaller than or equal to the length of the curve.
These remarks motivate the following definition.
- Definition 1:
Let φ:[a,b]→Cφ:[a,b]→C be a parameterization of a piecewise smooth curve C⊂C.C⊂C.
By the lengthLφLφ of CC, relative to the parameterization φ,φ,
we mean the number Lφ=supPLPφ,Lφ=supPLPφ,
where the supremum is taken over all partitions PP of [a,b].[a,b].
Of course, the supremum in the definition above could well
equal infinity in some cases.
Though it is possible for a curve to have an infinite length,
the ones we will study here will have finite lengths.
This is another subtlety of this subject. After all, every smooth curve is a compact
subset of R2,R2, since it is the continuous image of a closed and bounded interval, and
we think of compact sets as being “finite” in various ways.
However, this finiteness does not necessarily extend to the length of a curve.
Let φ:[a,b]→R2φ:[a,b]→R2 be a parameterization of a piecewise smooth curve C,C,
and let PP and QQ be two partitions of [a,b].[a,b].
- If PP is finer than Q,Q, i.e., Q⊆P,Q⊆P,
show that LQφ≤LPφ.LQφ≤LPφ.
- If φ(t)=u(t)+iv(t),φ(t)=u(t)+iv(t), express LPφLPφ
in terms of the numbers u(tj)u(tj) and v(tj).v(tj).
Of course, we again face the annoying possibility that the definition
of length of a curve will depend on the parameterization we are using.
However, the next theorem, taken together with Theorem 1, will show that this is not the case.
If CC is a piecewise smooth curve parameterized by φ:[a,b]→C,φ:[a,b]→C,
then
L
φ
=
∫
a
b
|
φ
'
(
t
)
|
d
t
,
L
φ
=
∫
a
b
|
φ
'
(
t
)
|
d
t
,
(8)specifically meaning that one of these quantities is infinite if and only if the other one is infinite.
We prove this theorem for the case when CC is a smooth curve, leaving the
general argument for a piecewise smooth curve to the exercises.
We also only treat here the case when LφLφ is finite, also leaving the
argument for the infinite case to the exercises.
Hence, assume that φ=u+ivφ=u+iv is a smooth function on [a,b][a,b] and that Lφ<∞.Lφ<∞.
Let ϵ>0ϵ>0 be given. Choose a partition P={t0<t1<...<tn}P={t0<t1<...<tn} of [a,b][a,b] for which
L
φ
-
L
P
φ
=
L
φ
-
∑
j
=
1
n
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
<
ϵ
.
L
φ
-
L
P
φ
=
L
φ
-
∑
j
=
1
n
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
<
ϵ
.
(9)Because φφ is continuous, we may assume by making a finer partition if necessary that the tjtj's
are such that |φ(t1)-φ(t0)|<ϵ|φ(t1)-φ(t0)|<ϵ and |φ(tn)-φ(tn-1)|<ϵ.|φ(tn)-φ(tn-1)|<ϵ.
This means that
L
φ
-
∑
j
=
2
n
-
1
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
<
3
ϵ
.
L
φ
-
∑
j
=
2
n
-
1
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
<
3
ϵ
.
(10)The point of this step (trick) is that
we know that φ'φ' is continuous on the open interval (a,b),(a,b), but we will use that
it is uniformly continuous on the compact set [t1,tn-1].[t1,tn-1].
Of course that means that |φ'||φ'| is integrable on that closed interval, and in fact one of the
things we need to prove is that |φ'||φ'| is improperly-integrable on the open interval (a,b).(a,b).
Now, because φ'φ' is uniformly continuous on the closed interval [t1,tn-1],[t1,tn-1], there exists a δ>0δ>0
such that |φ'(t)-φ'(s)|<ϵ|φ'(t)-φ'(s)|<ϵ if |t-s|<δ|t-s|<δ and tt and ss are in the interval [t1,tn-1].[t1,tn-1].
We may assume, again by taking a finer partition if necessary, that the mesh size of PPis less than this δ.δ.
Then, using part (f) of (Reference), we may also assume that
the partition PP is such that
|
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
-
∑
j
=
2
n
-
1
|
φ
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
|
<
ϵ
|
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
-
∑
j
=
2
n
-
1
|
φ
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
|
<
ϵ
(11)no matter what points sjsj in the interval (tj-1,tj)(tj-1,tj) are chosen.
So, we have the following calculation, in the middle of which we use the Mean Value Theorem on the two functions uu and v.v.
0
≤
|
L
φ
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
≤
|
L
φ
-
∑
j
=
2
n
-
1
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
+
|
∑
j
=
2
n
-
1
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
≤
3
ϵ
+
|
∑
j
=
2
n
-
1
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
-
∫
t
1
g
n
-
1
|
φ
'
(
t
)
|
d
t
|
=
3
ϵ
+
|
∑
j
=
2
n
-
1
|
u
(
t
j
)
-
u
(
t
j
-
1
)
+
i
(
v
(
t
j
)
-
v
(
t
j
-
1
)
|
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
=
3
ϵ
+
|
∑
j
=
2
n
-
1
(
u
(
t
j
)
-
u
(
t
j
-
1
)
)
2
+
(
v
(
t
j
)
-
v
(
t
j
-
1
)
)
2
-
∫
t
1
g
n
-
1
|
φ
'
(
t
)
|
d
t
|
=
3
ϵ
+
|
∑
j
=
2
n
-
1
(
u
'
(
s
j
)
)
2
+
(
v
'
(
r
j
)
)
2
(
t
j
-
t
j
-
1
)
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
≤
3
ϵ
+
|
∑
j
=
2
n
-
1
(
u
'
(
s
j
)
)
2
+
(
v
'
(
s
j
)
)
2
(
t
j
-
t
j
-
1
)
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
+
∑
j
=
2
n
-
1
|
(
u
(
s
j
)
)
2
+
(
v
'
(
r
j
)
)
2
-
(
u
(
s
j
)
)
2
+
(
v
'
(
s
j
)
)
2
|
(
t
j
-
t
j
-
1
)
=
3
ϵ
+
|
∑
j
=
2
n
-
1
|
φ
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
+
∑
j
=
2
n
-
1
|
(
u
(
s
j
)
)
2
+
(
v
'
(
r
j
)
)
2
-
(
u
(
s
j
)
)
2
+
(
v
'
(
s
j
)
)
2
|
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
|
(
v
'
(
r
j
)
)
2
-
(
v
'
(
s
j
)
)
2
|
(
u
'
(
s
j
)
)
2
+
(
v
'
(
r
j
)
)
2
+
(
u
'
(
s
j
)
)
2
+
(
v
'
(
s
j
)
)
2
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
|
v
'
(
r
j
)
-
v
'
(
s
j
)
|
|
v
'
(
r
j
)
+
v
'
(
s
j
)
|
|
v
'
(
r
j
)
|
+
|
v
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
|
v
'
(
r
j
)
-
v
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
|
φ
'
(
r
j
)
-
φ
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
ϵ
(
t
j
-
t
j
-
1
)
=
4
ϵ
+
ϵ
(
t
n
-
1
-
t
1
)
<
ϵ
(
4
+
b
-
a
)
.
0
≤
|
L
φ
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
≤
|
L
φ
-
∑
j
=
2
n
-
1
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
+
|
∑
j
=
2
n
-
1
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
≤
3
ϵ
+
|
∑
j
=
2
n
-
1
|
φ
(
t
j
)
-
φ
(
t
j
-
1
)
|
-
∫
t
1
g
n
-
1
|
φ
'
(
t
)
|
d
t
|
=
3
ϵ
+
|
∑
j
=
2
n
-
1
|
u
(
t
j
)
-
u
(
t
j
-
1
)
+
i
(
v
(
t
j
)
-
v
(
t
j
-
1
)
|
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
=
3
ϵ
+
|
∑
j
=
2
n
-
1
(
u
(
t
j
)
-
u
(
t
j
-
1
)
)
2
+
(
v
(
t
j
)
-
v
(
t
j
-
1
)
)
2
-
∫
t
1
g
n
-
1
|
φ
'
(
t
)
|
d
t
|
=
3
ϵ
+
|
∑
j
=
2
n
-
1
(
u
'
(
s
j
)
)
2
+
(
v
'
(
r
j
)
)
2
(
t
j
-
t
j
-
1
)
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
≤
3
ϵ
+
|
∑
j
=
2
n
-
1
(
u
'
(
s
j
)
)
2
+
(
v
'
(
s
j
)
)
2
(
t
j
-
t
j
-
1
)
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
+
∑
j
=
2
n
-
1
|
(
u
(
s
j
)
)
2
+
(
v
'
(
r
j
)
)
2
-
(
u
(
s
j
)
)
2
+
(
v
'
(
s
j
)
)
2
|
(
t
j
-
t
j
-
1
)
=
3
ϵ
+
|
∑
j
=
2
n
-
1
|
φ
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
-
∫
t
1
t
n
-
1
|
φ
'
(
t
)
|
d
t
|
+
∑
j
=
2
n
-
1
|
(
u
(
s
j
)
)
2
+
(
v
'
(
r
j
)
)
2
-
(
u
(
s
j
)
)
2
+
(
v
'
(
s
j
)
)
2
|
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
|
(
v
'
(
r
j
)
)
2
-
(
v
'
(
s
j
)
)
2
|
(
u
'
(
s
j
)
)
2
+
(
v
'
(
r
j
)
)
2
+
(
u
'
(
s
j
)
)
2
+
(
v
'
(
s
j
)
)
2
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
|
v
'
(
r
j
)
-
v
'
(
s
j
)
|
|
v
'
(
r
j
)
+
v
'
(
s
j
)
|
|
v
'
(
r
j
)
|
+
|
v
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
|
v
'
(
r
j
)
-
v
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
|
φ
'
(
r
j
)
-
φ
'
(
s
j
)
|
(
t
j
-
t
j
-
1
)
≤
4
ϵ
+
∑
j
=
2
n
-
1
ϵ
(
t
j
-
t
j
-
1
)
=
4
ϵ
+
ϵ
(
t
n
-
1
-
t
1
)
<
ϵ
(
4
+
b
-
a
)
.
(12)This implies that
L
φ
-
ϵ
(
4
+
b
-
a
)
≤
∫
t
1
t
n
-
1
|
φ
'
|
≤
L
φ
+
ϵ
(
4
+
b
-
a
)
.
L
φ
-
ϵ
(
4
+
b
-
a
)
≤
∫
t
1
t
n
-
1
|
φ
'
|
≤
L
φ
+
ϵ
(
4
+
b
-
a
)
.
(13)If we now let t1t1 approach aa and tn-1tn-1 approach b,b, we get
L
φ
-
ϵ
(
4
+
b
-
a
)
≤
∫
a
b
|
φ
'
|
≤
L
φ
+
ϵ
(
4
+
b
-
a
)
,
L
φ
-
ϵ
(
4
+
b
-
a
)
≤
∫
a
b
|
φ
'
|
≤
L
φ
+
ϵ
(
4
+
b
-
a
)
,
(14)which completes the proof, since ϵϵ is arbitrary.
- Take care of the piecewise case in the preceding theorem.
- Take care of the case when LφLφ is infinite in the preceding theorem.
We now have all the ingredients necessary to define the
length of a smooth curve.
- Definition 2:
Let CC be a piecewise smooth curve in the plane.
The length or arc lengthL≡L(C)L≡L(C) of CC is defined by the formula
L
(
C
)
=
L
φ
=
sup
P
L
P
φ
,
L
(
C
)
=
L
φ
=
sup
P
L
P
φ
,
(15)where φφ is any parameterization of C.C.
If zz and ww are two points on a piecewise smooth curve C,C,
we will denote by L(z,w)L(z,w) the arc length of the portion of the curve between zz and w.w.
REMARK
According to Theorem 1 and Theorem 2, we have the following formula for the length of a piecewise smooth curve:
L
=
∫
a
b
|
φ
'
(
t
)
|
d
t
,
L
=
∫
a
b
|
φ
'
(
t
)
|
d
t
,
(16)where φφ is any parameterization of C.C.
It should come as no surprise that the length of a curve CC from z1z1 to z2z2
is the same as the length of that same curve C,C, but thought of as joining z2z2 to z1.z1.
Nevertheless, let us make the calculation to verify this.
If φ:[a,b]→Cφ:[a,b]→C is a parameterization of this curve from z1z1 to z2,z2,
then we have seen in part (f) of exercise 6.1 that ψ:[a,b]→C,ψ:[a,b]→C, defined by ψ(t)=φ(a+b-t),ψ(t)=φ(a+b-t),
is a parameterization of CC from z2z2 to z1.z1.
We just need to check that the two integrals giving the lengths are equal. Thus,
∫
a
b
|
ψ
'
(
t
)
|
d
t
=
∫
a
b
|
φ
'
(
a
+
b
-
t
)
(
-
1
)
|
d
t
=
∫
a
b
|
φ
'
(
a
+
b
-
t
)
|
d
t
=
∫
a
b
|
φ
'
(
s
)
|
d
s
,
∫
a
b
|
ψ
'
(
t
)
|
d
t
=
∫
a
b
|
φ
'
(
a
+
b
-
t
)
(
-
1
)
|
d
t
=
∫
a
b
|
φ
'
(
a
+
b
-
t
)
|
d
t
=
∫
a
b
|
φ
'
(
s
)
|
d
s
,
(17)where the last equality follows by changing variables, i.e., setting t=a+b-s.t=a+b-s.
We can now derive the formula for the circumference of a circle, which was one of our main goals.
TRUMPETS?
Let CC be a circle of radius rr in the plane.
Then the length of CC
is 2πr.2πr.
Let the center of the circle be denoted by (h,k).(h,k).
We can parameterize the top half of the circle by the function
φφ on the interval [0,π][0,π] by
φ(t)=h+rcos(t)+i(k+rsin(t)).φ(t)=h+rcos(t)+i(k+rsin(t)). So, the length of this half circle is given by
L
=
∫
0
π
|
φ
'
(
t
)
|
d
t
=
∫
0
π
|
-
r
sin
(
t
)
+
i
r
cos
(
t
)
|
d
t
=
∫
0
π
r
d
t
=
π
r
.
L
=
∫
0
π
|
φ
'
(
t
)
|
d
t
=
∫
0
π
|
-
r
sin
(
t
)
+
i
r
cos
(
t
)
|
d
t
=
∫
0
π
r
d
t
=
π
r
.
(18)The same kind of calculation would show that the lower half of the circle has length πr,πr,
and hence the total length is 2πr.2πr.
The integral formula for the length of a curve is frequently not much help,
especially if you really want to know how long a curve is.
The integrals that show up are frequently not easy to work out.
- Let CC be the portion of the graph of the function
y=x2y=x2 between x=0x=0 and x=1.x=1.
Let φ:[0,1]→Cφ:[0,1]→C be the parameterization of this curve given by
φ(t)=t+t2i.φ(t)=t+t2i.
Find the length of this curve.
- Define φ:[-0,π]→Cφ:[-0,π]→C by φ(t)=acos(t)+ibsin(t).φ(t)=acos(t)+ibsin(t).
What curve does φφ parameterize, and can you find its length?
