Finding the coefficients of the first form when in polar cohordinates with the exponential map

29 Views Asked by At

In "Differential Geometry of Curves and Surfaces: Revised and Updated Second Edition" Di Manfredo P. do Carmo I found the following theorem:

enter image description here

When it comes to proving that $F=0$ the following argument is used:

enter image description here

It is assuming the convergence of $\frac{\mathrm{d} \alpha}{ \mathrm{d} \sigma}$ given the convergence of $\alpha$, which is not true in general, am I wrong? Do you know if this proof can be fixed or if a correct proof can be found somewhere else?

Thank you in advance