an arbitrary initial point to the point whose coordinates are is expressed by the integral
If we suppose that the position of the line undergoes an infinitely small variation, so that the coordinates of the different points receive the variations the variation of the whole length becomes
which expression we can change into the form
We know that, in case the line is to be the shortest between its end points, all that stands under the integral sign must vanish. Since the line must lie on the given surface, whose nature is defined by the equation
the variations also must satisfy the equation
and from this it follows at once, according to well-known rules, that the differentials
must be proportional to the quantities respectively. Let be the element of the curved line; the point on the sphere representing the direction of this element; the point on the sphere representing the direction of the normal to the curved surface; finally, let be the coordinates of the point and be those of the point with reference to the centre of the sphere. We shall then have
from which we see that the above differentials become And since the quantities are proportional to the character of shortest lines is expressed by the equations