Eq. (8.41):
Eq. (8.42):
Integrating on Eq. (8.42) gives Eq. (8.43):
.
The definition of pathlength along the curve is given by Eq. (8.16):
.
Previously to Exercise 8.5.2., the metric tensor is given by Eq. (8.40):
.
Eq. (8.45) begins:
and this is Eq. (8.46).
