Let be a locally Euclidean
coordinate system. Then
|
(1)
|
Now plug in
|
(2)
|
|
(3)
|
to obtain
|
(4)
|
Reading off the coefficients from
|
(5)
|
gives
|
(6)
| |||
|
(7)
| |||
|
(8)
|
Making a change of coordinates gives
|
(9)
| |||
|
(10)
| |||
|
(11)
| |||
|
(12)
| |||
|
(13)
| |||
|
(14)
|