# General Investigations of Curved Surfaces

GENERAL INVESTIGATIONS
OF
CURVED SURFACES
BY
KARL FRIEDRICH GAUSS
PRESENTED TO THE ROYAL SOCIETY, OCTOBER 8, 1827
1.
Investigations, in which the directions of various straight lines in space are to be considered, attain a high degree of clearness and simplicity if we employ, as an auxiliary, a sphere of unit radius described about an arbitrary centre, and suppose the different points of the sphere to represent the directions of straight lines parallel to the radii ending at these points. As the position of every point in space is determined by three coordinates, that is to say, the distances of the point from three mutually perpendicular fixed planes, it is necessary to consider, first of all, the directions of the axes perpendicular to these planes. The points on the sphere, which represent these directions, we shall denote by (1), {\textstyle (1), } (2), {\textstyle (2), } (3).{\textstyle (3).} The distance of any one of these points from either of the other two will be a quadrant; and we shall suppose that the directions of the axes are those in which the corresponding coordinates increase.
2.
It will be advantageous to bring together here some propositions which are frequently used in questions of this kind.
I. The angle between two intersecting straight lines is measured by the arc between the points on the sphere which correspond to the directions of the lines.
II. The orientation of any plane whatever can be represented by the great circle on the sphere, the plane of which is parallel to the given plane.
​III. The angle between two planes is equal to the spherical angle between the great circles representing them, and, consequently, is also measured by the arc intercepted between the poles of these great circles. And, in like manner, the angle of inclination of a straight line to a plane is measured by the arc drawn from the point which corresponds to the direction of the line, perpendicular to the great circle which represents the orientation of the plane.
IV. Letting x, {\textstyle x, } y, {\textstyle y, } z;{\textstyle z;} x$^′$, {\textstyle x', } y$^′$, {\textstyle y', } z$^′${\textstyle z'} denote the coordinates of two points, r{\textstyle r} the distance between them, and L{\textstyle L} the point on the sphere which represents the direction of the line drawn from the first point to the second, we shall have
${\begin{aligned}x'&=x+r\cos(1)L\\y'&=y+r\cos(2)L\\z'&=z+r\cos(3)L\end{aligned}}$
V. From this it follows at once that, generally,
$\cos ^{2}(1)L+\cos ^{2}(2)L+\cos ^{2}(3)L=1$
and also, if L$^′${\textstyle L'} denote any other point on the sphere,
$\cos(1)L.\cos(1)L'+\cos(2)L.\cos(2)L'+\cos(3)L.\cos(3)L'=\cos LL'.$
VI. Theorem. If L, {\textstyle L, } L$^′$, {\textstyle L', } L$^″$, {\textstyle L'', } L$^‴${\textstyle L'''} denote four points on the sphere, and A{\textstyle A} the angle which the arcs LL$^′$, {\textstyle LL', } L$^″$L$^‴${\textstyle L''L'''} make at their point of intersection, then we shall have
$\cos LL''.\cos L'L'''-\cos LL'''.\cos L'L''=\sin LL'.\sin L''L'''.\cos A$
Demonstration. Let A{\textstyle A} denote also the point of intersection itself, and set $AL=t,\quad AL'=t',\quad AL''=t'',\quad AL'''=t'''.$ Then we shall have
${\begin{alignedat}{3}&\cos LL''&&=\cos t.&&\cos t''&&+\sin t&&\sin t''&&\cos A\\&\cos L'L'''&&=\cos t'&&\cos t'''&&+\sin t'&&\sin t'''&&\cos A\\&\cos LL'''&&=\cos t&&\cos t'''&&+\sin t&&\sin t'''&&\cos A\\&\cos L'L''&&=\cos t'&&\cos t''&&+\sin t'&&\sin t''&&\cos A\end{alignedat}}$
and consequently,
${\begin{aligned}&\cos LL''.\cos L'L'''-\cos LL'''.\cos L'L''\\&\quad {\begin{aligned}&=\cos A(\cos t\cos t''\sin t'\sin t'''+\cos t'\cos t'''\sin t\sin t''\\&\qquad -\cos t\cos t'''\sin t'\sin t''-\cos t'\cos t''\sin t\sin t''')\\&=\cos A(\cos t\sin t'-\sin t\cos t')(\cos t''\sin t'''-\sin t''\cos t''')\\&=\cos A.\sin(t'-t).\sin(t'''-t'')\\&=\cos A.\sin LL'.\sin L''L'''\end{aligned}}\end{aligned}}$
But as there are for each great circle two branches going out from the point A, {\textstyle A, } these two branches form at this point two angles whose sum is 180$^∘$.{\textstyle 180^{\circ }.} But our analysis shows that those branches are to be taken whose directions are in the sense from the point L{\textstyle L} to L$^′$, {\textstyle L', } and from the point L$^″${\textstyle L''} to L$^‴$;{\textstyle L''';} and since great circles intersect in two points, it is clear that either of the two points can be chosen arbitrarily. Also, instead of the angle A, {\textstyle A, } we can take the arc between the poles of the great circles of which the arcs LL$^′$, {\textstyle LL', } L$^″$L$^‴${\textstyle L''L'''} are parts. But it is evident that those poles are to be chosen which are similarly placed with respect to these arcs; that is to say, when we go from L{\textstyle L} to L$^′${\textstyle L'} and from L$^″${\textstyle L''} to L$^‴$, {\textstyle L''', } both of the two poles are to be on the right, or both on the left.
VII. Let L, {\textstyle L, } L$^′$, {\textstyle L', } L$^″${\textstyle L''} be the three points on the sphere and set, for brevity,
${\begin{alignedat}{3}&\cos(1)L&&=x,\quad &&\cos(2)L&&=y,\quad &&\cos(3)L&&=z\\&\cos(1)L'&&=x',&&\cos(2)L'&&=y',&&\cos(3)L'&&=z'\\&\cos(1)L''&&=x'',&&\cos(2)L''&&=y'',&&\cos(3)L''&&=z''\\\end{alignedat}}$ and also
$xy'z''+x'y''z+x''yz'-xy''z'-x'yz''-x''y'z=\Delta$
Let λ{\textstyle \lambda } denote the pole of the great circle of which LL$^′${\textstyle LL'} is a part, this pole being the one that is placed in the same position with respect to this arc as the point (1){\textstyle (1)} is with respect to the arc (2)(3).{\textstyle (2)(3).} Then we shall have, by the preceding theorem,
$yz'-y'z=\cos(1)\lambda .\sin(2)(3).\sin LL',$
or, because (2)(3)=90$^∘$, {\textstyle (2)(3)=90^{\circ }, }
${\begin{aligned}yz'-y'z&=\cos(1)\lambda .\sin LL',\end{aligned}}$
and similarly,
${\begin{aligned}zx'-z'x&=\cos(2)\lambda .\sin LL'\\xy'-x'y&=\cos(3)\lambda .\sin LL'\end{aligned}}$
Multiplying these equations by x$^″$, {\textstyle x'', } y$^″$, {\textstyle y'', } z$^″${\textstyle z''} respectively, and adding, we obtain, by means of the second of the theorems deduced in V,
$\Delta =\cos \lambda L''.\sin LL'$
Now there are three cases to be distinguished. First, when L$^″${\textstyle L''} lies on the great circle of which the arc LL$^′${\textstyle LL'} is a part, we shall have λL$^″$=90$^∘$, {\textstyle \lambda L''=90^{\circ }, } and consequently, Δ=0.{\textstyle \Delta =0.} If L$^″${\textstyle L''} does not lie on that great circle, the second case will be when L$^″${\textstyle L''} is on the same side as λ;{\textstyle \lambda ;} the third case when they are on opposite sides. In the last two cases the points L, {\textstyle L, } L$^′$, {\textstyle L', } L$^″${\textstyle L''} will form a spherical triangle, and in the second case these points will lie in the same order as the points (1), {\textstyle (1), } (2), {\textstyle (2), } (3), {\textstyle (3), } and in the opposite order in the third case. ​Denoting the angles of this triangle simply by L, {\textstyle L, } L$^′$, {\textstyle L', } L$^″${\textstyle L''} and the perpendicular drawn on the sphere from the point L$^″${\textstyle L''} to the side LL$^′${\textstyle LL'} by p, {\textstyle p, } we shall have
$\sin p=\sin L.\sin LL''=\sin L'.\sin L'L'',$
and
$\lambda L''=90^{\circ }\mp p,$
the upper sign being taken for the second case, the lower for the third. From this it follows that
${\begin{aligned}\pm \Delta &=\sin L.\sin LL'.\sin LL''=\sin L'.\sin LL'.\sin L'L''\\&=\sin L''.\sin LL''.\sin L'L''\end{aligned}}$
Moreover, it is evident that the first case can be regarded as contained in the second or third, and it is easily seen that the expression ±Δ{\textstyle \pm \Delta } represents six times the volume of the pyramid formed by the points L, {\textstyle L, } L$^′$, {\textstyle L', } L$^″${\textstyle L''} and the centre of the sphere. Whence, finally, it is clear that the expression ± 1/6 Δ{\textstyle \pm {\frac {1}{6}}\Delta } expresses generally the volume of any pyramid contained between the origin of coordinates and the three points whose coordinates are x, {\textstyle x, } y, {\textstyle y, } z;{\textstyle z;} x$^′$, {\textstyle x', } y$^′$, {\textstyle y', } z$^′$;{\textstyle z';} x$^″$, {\textstyle x'', } y$^″$, {\textstyle y'', } z$^″$.{\textstyle z''.}
3.
A curved surface is said to possess continuous curvature at one of its points A, {\textstyle A, } if the directions of all the straight lines drawn from A{\textstyle A} to points of the surface at an infinitely small distance from A{\textstyle A} are deflected infinitely little from one and the same plane passing through A.{\textstyle A.} This plane is said to touch the surface at the point A.{\textstyle A.} If this condition is not satisfied for any point, the continuity of the curvature is here interrupted, as happens, for example, at the vertex of a cone. The following investigations will be restricted to such surfaces, or to such parts of surfaces, as have the continuity of their curvature nowhere interrupted. We shall only observe now that the methods used to determine the position of the tangent plane lose their meaning at singular points, in which the continuity of the curvature is interrupted, and must lead to indeterminate solutions.
4.
The orientation of the tangent plane is most conveniently studied by means of the direction of the straight line normal to the plane at the point A, {\textstyle A, } which is also called the normal to the curved surface at the point A.{\textstyle A.} We shall represent the direction of this normal by the point L{\textstyle L} on the auxiliary sphere, and we shall set
$\cos(1)L=X,\quad \cos(2)L=Y,\quad \cos(3)L=Z;$
and denote the coordinates of the point A{\textstyle A} by x, {\textstyle x, } y, {\textstyle y, } z.{\textstyle z.} Also let x+dx, {\textstyle x+dx, } y+dy, {\textstyle y+dy, } z+dz{\textstyle z+dz} be the coordinates of another point A$^′${\textstyle A'} on the curved surface; ds{\textstyle ds} its distance from A, {\textstyle A, } ​which is infinitely small; and finally, let λ{\textstyle \lambda } be the point on the sphere representing the direction of the element AA$^′$.{\textstyle AA'.} Then we shall have
$dx=ds.\cos(1)\lambda ,\quad dy=ds.\cos(2)\lambda ,\quad dz=ds.\cos(3)\lambda$
and, since λL{\textstyle \lambda L} must be equal to 90$^∘$, {\textstyle 90^{\circ }, }
$X\cos(1)\lambda +Y\cos(2)\lambda +Z\cos(3)\lambda =0$
By combining these equations we obtain
$X\,dx+Y\,dy+Z\,dz=0.$
There are two general methods for defining the nature of a curved surface. The first uses the equation between the coordinates x, {\textstyle x, } y, {\textstyle y, } z, {\textstyle z, } which we may suppose reduced to the form W=0, {\textstyle W=0, } where W{\textstyle W} will be a function of the indeterminates x, {\textstyle x, } y, {\textstyle y, } z.{\textstyle z.} Let the complete differential of the function W{\textstyle W} be
$dW=P\,dx+Q\,dy+R\,dz$
and on the curved surface we shall have
$P\,dx+Q\,dy+R\,dz=0$
and consequently,
$P\cos(1)\lambda +Q\cos(2)\lambda +R\cos(3)\lambda =0$
Since this equation, as well as the one we have established above, must be true for the directions of all elements ds{\textstyle ds} on the curved surface, we easily see that X, {\textstyle X, } Y, {\textstyle Y, } Z{\textstyle Z} must be proportional to P, {\textstyle P, } Q, {\textstyle Q, } R{\textstyle R} respectively, and consequently, since
$X^{2}+Y^{2}+Z^{2}=1,$
we shall have either
${\begin{aligned}X&={\frac {P}{\sqrt {P^{2}+Q^{2}+R^{2}}}},&Y&={\frac {Q}{\sqrt {P^{2}+Q^{2}+R^{2}}}},&Z&={\frac {R}{\sqrt {P^{2}+Q^{2}+R^{2}}}}\end{aligned}}$
or
${\begin{aligned}X&={\frac {-P}{\sqrt {P^{2}+Q^{2}+R^{2}}}},&Y&={\frac {-Q}{\sqrt {P^{2}+Q^{2}+R^{2}}}},&Z&={\frac {-R}{\sqrt {P^{2}+Q^{2}+R^{2}}}}\end{aligned}}$
The second method expresses the coordinates in the form of functions of two variables, p, {\textstyle p, } q.{\textstyle q.} Suppose that differentiation of these functions gives
${\begin{alignedat}{2}dx&=a\,dp&&+a'\,dq\\dy&=b\,dp&&+b'\,dq\\dz&=c\,dp&&+c'\,dq\end{alignedat}}$ ​ Substituting these values in the formula given above, we obtain
$(aX+bY+cZ)\,dp+(a'X+b'Y+c'Z)\,dq=0$
Since this equation must hold independently of the values of the differentials dp, {\textstyle dp, } dq, {\textstyle dq, } we evidently shall have
$aX+bY+cZ=0,\quad a'X+b'Y+c'Z=0$
From this we see that X, {\textstyle X, } Y, {\textstyle Y, } Z{\textstyle Z} will be proportioned to the quantities
$bc'-cb',\quad ca'-ac',\quad ab'-ba'$
Hence, on setting, for brevity,
${\sqrt {(bc'-cb')^{2}+(ca'-ac')^{2}+(ab'-ba')^{2}}}=\Delta$
we shall have either
${\begin{aligned}X&={\frac {bc'-cb'}{\Delta }},\quad &Y&={\frac {ca'-ac'}{\Delta }},\quad &Z&={\frac {ab'-ba'}{\Delta }}\end{aligned}}$
or
${\begin{aligned}X&={\frac {cb'-bc'}{\Delta }},\quad &Y&={\frac {ac'-ca'}{\Delta }},\quad &Z&={\frac {ba'-ab'}{\Delta }}\end{aligned}}$
With these two general methods is associated a third, in which one of the coordinates, z, {\textstyle z, } say, is expressed in the form of a function of the other two, x, {\textstyle x, } y.{\textstyle y.} This method is evidently only a particular case either of the first method, or of the second. If we set
$dz=t\,dx+u\,dy$
we shall have either
${\begin{aligned}X&={\frac {-t}{\sqrt {1+t^{2}+u^{2}}}},&Y&={\frac {-u}{\sqrt {1+t^{2}+u^{2}}}},&Z&={\frac {1}{\sqrt {1+t^{2}+u^{2}}}}\end{aligned}}$
or
${\begin{aligned}X&={\frac {t}{\sqrt {1+t^{2}+u^{2}}}},&Y&={\frac {u}{\sqrt {1+t^{2}+u^{2}}}},&Z&={\frac {-1}{\sqrt {1+t^{2}+u^{2}}}}\end{aligned}}$
5.
​In the first method, such a criterion is to be drawn from the sign of the quantity W.{\textstyle W.} Indeed, generally speaking, the curved surface divides those regions of space in which W{\textstyle W} keeps a positive value from those in which the value of W{\textstyle W} becomes negative. In fact, it is easily seen from this theorem that, if W{\textstyle W} takes a positive value toward the exterior region, and if the normal is supposed to be drawn outwardly, the first solution is to be taken. Moreover, it will be easy to decide in any case whether the same rule for the sign of W{\textstyle W} is to hold throughout the entire surface, or whether for different parts there will be different rules. As long as the coefficients P, {\textstyle P, } Q, {\textstyle Q, } R{\textstyle R} have finite values and do not all vanish at the same time, the law of continuity will prevent any change.
If we follow the second method, we can imagine two systems of curved lines on the curved surface, one system for which p{\textstyle p} is variable, q{\textstyle q} constant; the other for which q{\textstyle q} is variable, p{\textstyle p} constant. The respective positions of these lines with reference to the exterior region will decide which of the two solutions must be taken. In fact, whenever the three lines, namely, the branch of the line of the former system going out from the point A{\textstyle A} as p{\textstyle p} increases, the branch of the line of the latter system going out from the point A{\textstyle A} as q{\textstyle q} increases, and the normal drawn toward the exterior region, are similarly placed as the x, {\textstyle x, } y, {\textstyle y, } z{\textstyle z} axes respectively from the origin of abscissas (e.g., if, both for the former three lines and for the latter three, we can conceive the first directed to the left, the second to the right, and the third upward), the first solution is to be taken. But whenever the relative position of the three lines is opposite to the relative position of the x, {\textstyle x, } y, {\textstyle y, } z{\textstyle z} axes, the second solution will hold.
In the third method, it is to be seen whether, when z{\textstyle z} receives a positive increment, x{\textstyle x} and y{\textstyle y} remaining constant, the point crosses toward the exterior or the interior region. In the former case, for the normal drawn outward, the first solution holds; in the latter case, the second.
6.
Just as each definite point on the curved surface is made to correspond to a definite point on the sphere, by the direction of the normal to the curved surface which is transferred to the surface of the sphere, so also any line whatever, or any figure whatever, on the latter will be represented by a corresponding line or figure on the former. In the comparison of two figures corresponding to one another in this way, one of which will be as the map of the other, two important points are to be considered, one when quantity alone is considered, the other when, disregarding quantitative relations, position alone is considered.
The first of these important points will be the basis of some ideas which it seems judicious to introduce into the theory of curved surfaces. Thus, to each part of a curved ​surface inclosed within definite limits we assign a total or integral curvature, which is represented by the area of the figure on the sphere corresponding to it. From this integral curvature must be distinguished the somewhat more specific curvature which we shall call the measure of curvature. The latter refers to a point of the surface, and shall denote the quotient obtained when the integral curvature of the surface element about a point is divided by the area of the element itself; and hence it denotes the ratio of the infinitely small areas which correspond to one another on the curved surface and on the sphere. The use of these innovations will be abundantly justified, as we hope, by what we shall explain below. As for the terminology, we have thought it especially desirable that all ambiguity be avoided. For this reason we have not thought it advantageous to follow strictly the analogy of the terminology commonly adopted (though not approved by all) in the theory of plane curves, according to which the measure of curvature should be called simply curvature, but the total curvature, the amplitude. But why not be free in the choice of words, provided they are not meaningless and not liable to a misleading interpretation?
The position of a figure on the sphere can be either similar to the position of the corresponding figure on the curved surface, or opposite (inverse). The former is the case when two lines going out on the curved surface from the same point in different, but not opposite directions, are represented on the sphere by lines similarly placed, that is, when the map of the line to the right is also to the right; the latter is the case when the contrary holds. We shall distinguish these two cases by the positive or negative sign of the measure of curvature. But evidently this distinction can hold only when on each surface we choose a definite face on which we suppose the figure to lie. On the auxiliary sphere we shall use always the exterior face, that is, that turned away from the centre; on the curved surface also there may be taken for the exterior face the one already considered, or rather that face from which the normal is supposed to be drawn. For, evidently, there is no change in regard to the similitude of the figures, if on the curved surface both the figure and the normal be transferred to the opposite side, so long as the image itself is represented on the same side of the sphere.
The positive or negative sign, which we assign to the measure of curvature according to the position of the infinitely small figure, we extend also to the integral curvature of a finite figure on the curved surface. However, if we wish to discuss the general case, some explanations will be necessary, which we can only touch here briefly. So long as the figure on the curved surface is such that to distinct points on itself there correspond distinct points on the sphere, the definition needs no further explanation. But whenever this condition is not satisfied, it will be necessary to take into account twice or several times certain parts of the figure on the sphere. Whence for a similar, or ​inverse position, may arise an accumulation of areas, or the areas may partially or wholly destroy each other. In such a case, the simplest way is to suppose the curved surface divided into parts, such that each part, considered separately, satisfies the above condition; to assign to each of the parts its integral curvature, determining this magnitude by the area of the corresponding figure on the sphere, and the sign by the position of this figure; and, finally, to assign to the total figure the integral curvature arising from the addition of the integral curvatures which correspond to the single parts. So, generally, the integral curvature of a figure is equal to ∫kdσ, {\textstyle \int k\, d\sigma , } dσ{\textstyle d\sigma } denoting the element of area of the figure, and k{\textstyle k} the measure of curvature at any point. The principal points concerning the geometric representation of this integral reduce to the following. To the perimeter of the figure on the curved surface (under the restriction of Art. 3) will correspond always a closed line on the sphere. If the latter nowhere intersect itself, it will divide the whole surface of the sphere into two parts, one of which will correspond to the figure on the curved surface; and its area (taken as positive or negative according as, with respect to its perimeter, its position is similar, or inverse, to the position of the figure on the curved surface) will represent the integral curvature of the figure on the curved surface. But whenever this line intersects itself once or several times, it will give a complicated figure, to which, however, it is possible to assign a definite area as legitimately as in the case of a figure without nodes; and this area, properly interpreted, will give always an exact value for the integral curvature. However, we must reserve for another occasion the more extended exposition of the theory of these figures viewed from this very general standpoint.
7.
We shall now find a formula which will express the measure of curvature for any point of a curved surface. Let dσ{\textstyle d\sigma } denote the area of an element of this surface; then Zdσ{\textstyle Z\, d\sigma } will be the area of the projection of this element on the plane of the coordinates x, {\textstyle x, } y;{\textstyle y;} and consequently, if dΣ{\textstyle d\Sigma } is the area of the corresponding element on the sphere, ZdΣ{\textstyle Z\, d\Sigma } will be the area of its projection on the same plane. The positive or negative sign of Z{\textstyle Z} will, in fact, indicate that the position of the projection is similar or inverse to that of the projected element. Evidently these projections have the same ratio as to quantity and the same relation as to position as the elements themselves. Let us consider now a triangular element on the curved surface, and let us suppose that the coordinates of the three points which form its projection are
${\begin{aligned}&x,&&y\\&x+dx,\quad &&y+dy\\&x+\delta x,\quad &&y+\delta y\end{aligned}}$ ​The double area of this triangle will be expressed by the formula
$dx.\delta y-dy.\delta x$
and this will be in a positive or negative form according as the position of the side from the first point to the third, with respect to the side from the first point to the second, is similar or opposite to the position of the y{\textstyle y}-axis of coordinates with respect to the x{\textstyle x}-axis of coordinates.
In like manner, if the coordinates of the three points which form the projection of the corresponding element on the sphere, from the centre of the sphere as origin, are
${\begin{aligned}&X,&&Y\\&X+dX,\quad &&Y+dY\\&X+\delta X,\quad &&Y+\delta Y\end{aligned}}$
the double area of this projection will be expressed by
$dX.\delta Y-dY.\delta X$
and the sign of this expression is determined in the same manner as above. Wherefore the measure of curvature at this point of the curved surface will be
$k={\frac {dX.\delta Y-dY.\delta X}{dx.\delta y-dy.\delta x}}$
If now we suppose the nature of the curved surface to be defined according to the third method considered in Art. 4, X{\textstyle X} and Y{\textstyle Y} will be in the form of functions of the quantities x, {\textstyle x, } y.{\textstyle y.} We shall have, therefore,
${\begin{aligned}dX&={\frac {\partial X}{\partial x}}\,dx&&+{\frac {\partial X}{\partial y}}\,dy\\\delta X&={\frac {\partial X}{\partial x}}\,\delta x&&+{\frac {\partial X}{\partial y}}\,\delta y\\dY&={\frac {\partial Y}{\partial x}}\,dx&&+{\frac {\partial Y}{\partial y}}\,dy\\\delta Y&={\frac {\partial Y}{\partial x}}\,\delta x&&+{\frac {\partial Y}{\partial y}}\,\delta y\end{aligned}}$
When these values have been substituted, the above expression becomes
$k={\frac {\partial X}{\partial x}}.{\frac {\partial Y}{\partial y}}-{\frac {\partial X}{\partial y}}.{\frac {\partial Y}{\partial x}}$ ​Setting, as above,
${\frac {\partial z}{\partial x}}=t,\quad {\frac {\partial z}{\partial y}}=u$
and also
${\frac {\partial ^{2}z}{\partial x^{2}}}=T,\quad {\frac {\partial ^{2}z}{\partial x.\partial y}}=U,\quad {\frac {\partial ^{2}z}{\partial y^{2}}}=V$
or
$dt=T\,dx+U\,dy,\quad du=U\,dx+V\,dy$
we have from the formulæ given above
$X=-tZ,\quad Y=-uZ,\quad (1-t^{2}-u^{2})Z^{2}=1$
and hence
${\begin{array}{c}{\begin{alignedat}{2}dX&=-Z\,dt&&-t\,dZ\\dY&=-Z\,du&&-u\,dZ\end{alignedat}}\\(1+t^{2}+u^{2})\,dZ+Z(t\,dt+u\,du)=0\end{array}}$
or
${\begin{aligned}dZ&=-Z^{3}(t\,dt+u\,du)\\dX&=-Z^{3}(1+u^{2})\,dt+Z^{3}tu\,du\\dY&=+Z^{3}tu\,dt-Z^{3}(1+t^{2})\,du\end{aligned}}$
and so
${\begin{aligned}{\frac {\partial X}{\partial x}}&=Z^{3}{\bigl-(1+u^{2})T+tuU{\bigr )}\\{\frac {\partial X}{\partial y}}&=Z^{3}{\bigl-(1+u^{2})U+tuV{\bigr )}\\{\frac {\partial Y}{\partial x}}&=Z^{3}{\bigltuT-(1+t^{2})U{\bigr )}\\{\frac {\partial Y}{\partial y}}&=Z^{3}{\bigltuU-(1+t^{2})V{\bigr )}\end{aligned}}$
Substituting these values in the above expression, it becomes
${\begin{aligned}k&=Z^{6}(TV-U^{2})(1+t^{2}+u^{2})=Z^{4}(TV-U^{2})\\&={\frac {TV-U^{2}}{(1+t^{2}+u^{2})^{2}}}\end{aligned}}$
8.
By a suitable choice of origin and axes of coordinates, we can easily make the values of the quantities t, {\textstyle t, } u, {\textstyle u, } U{\textstyle U} vanish for a definite point A.{\textstyle A.} Indeed, the first two ​conditions will be fulfilled at once if the tangent plane at this point be taken for the xy{\textstyle xy}-plane. If, further, the origin is placed at the point A{\textstyle A} itself, the expression for the coordinate z{\textstyle z} evidently takes the form
$z={\frac {1}{2}}T^{\circ }x^{2}+U^{\circ }xy+{\tfrac {1}{2}}V^{\circ }y^{2}+\Omega$
where Ω{\textstyle \Omega } will be of higher degree than the second. Turning now the axes of x{\textstyle x} and y{\textstyle y} through an angle M{\textstyle M} such that
$\tan 2M={\frac {2U^{\circ }}{T^{\circ }-V^{\circ }}}$
it is easily seen that there must result an equation of the form
$z={\tfrac {1}{2}}Tx^{2}+{\tfrac {1}{2}}Vy^{2}+\Omega$
In this way the third condition is also satisfied. When this has been done, it is evident that
I. If the curved surface be cut by a plane passing through the normal itself and through the x{\textstyle x}-axis, a plane curve will be obtained, the radius of curvature of which at the point A{\textstyle A} will be equal to 1/T, {\textstyle {\frac {1}{T}}, } the positive or negative sign indicating that the curve is concave or convex toward that region toward which the coordinates z{\textstyle z} are positive.
II. In like manner 1/V {\textstyle {\frac {1}{V}}} will be the radius of curvature at the point A{\textstyle A} of the plane curve which is the intersection of the surface and the plane through the y{\textstyle y}-axis and the z{\textstyle z}-axis.
III. Setting z=rcos⁡ϕ, {\textstyle z=r\cos \phi , } y=rsin⁡ϕ, {\textstyle y=r\sin \phi , } the equation becomes
$z={\tfrac {1}{2}}(T\cos ^{2}\phi +V\sin ^{2}\phi )r^{2}+\Omega$
from which we see that if the section is made by a plane through the normal at A{\textstyle A} and making an angle ϕ{\textstyle \phi } with the x{\textstyle x}-axis, we shall have a plane curve whose radius of curvature at the point A{\textstyle A} will be
${\frac {1}{T\cos ^{2}\phi +V\sin ^{2}\phi }}$
IV. Therefore, whenever we have T=V, {\textstyle T=V, } the radii of curvature in all the normal planes will be equal. But if T{\textstyle T} and V{\textstyle V} are not equal, it is evident that, since for any value whatever of the angle ϕ, {\textstyle \phi , } Tcos$^2$⁡ϕ+Vsin$^2$⁡ϕ{\textstyle T\cos ^{2}\phi +V\sin ^{2}\phi } falls between T{\textstyle T} and V, {\textstyle V, } the radii of curvature in the principal sections considered in I. and II. refer to the extreme curvatures; that is to say, the one to the maximum curvature, the other to the minimum, ​if T{\textstyle T} and V{\textstyle V} have the same sign. On the other hand, one has the greatest convex curvature, the other the greatest concave curvature, if T{\textstyle T} and V{\textstyle V} have opposite signs. These conclusions contain almost all that the illustrious Euler was the first to prove on the curvature of curved surfaces.
V. The measure of curvature at the point A{\textstyle A} on the curved surface takes the very simple form
$k=TV,$ whence we have the
Theorem. The measure of curvature at any point whatever of the surface is equal to a fraction whose numerator is unity, and whose denominator is the product of the two extreme radii of curvature of the sections by normal planes.
At the same time it is clear that the measure of curvature is positive for concavo-concave or convexo-convex surfaces (which distinction is not essential), but negative for concavo-convex surfaces. If the surface consists of parts of each kind, then on the lines separating the two kinds the measure of curvature ought to vanish. Later we shall make a detailed study of the nature of curved surfaces for which the measure of curvature everywhere vanishes.
9.
The general formula for the measure of curvature given at the end of Art. 7 is the most simple of all, since it involves only five elements. We shall arrive at a more complicated formula, indeed, one involving nine elements, if we wish to use the first method of representing a curved surface. Keeping the notation of Art. 4, let us set also
${\begin{aligned}{\frac {\partial ^{2}W}{\partial x^{2}}}&=P',&{\frac {\partial ^{2}W}{\partial y^{2}}}&=Q',&{\frac {\partial ^{2}W}{\partial z^{2}}}&=R'\\{\frac {\partial ^{2}W}{\partial y.\partial z}}&=P'',&{\frac {\partial ^{2}W}{\partial x.\partial z}}&=Q'',&{\frac {\partial ^{2}W}{\partial x.\partial y}}&=R''\end{aligned}}$
so that
${\begin{alignedat}{3}dP&=P'\,&&dx+R''\,&&dy+Q''\,&&dz\\dQ&=R''\,&&dx+Q'\,&&dy+P''\,&&dz\\dR&=Q''\,&&dx+P''\,&&dy+R'\,&&dz\end{alignedat}}$
Now since t=−P/R, {\textstyle t=-{\frac {P}{R}}, } we find through differentiation
$R^{2}\,dt=-R\,dP+P\,dR=(PQ''-RP')\,dx+(PP''-RR'')\,dy+(PR'-RQ'')\,dz$ ​or, eliminating dz{\textstyle dz} by means of the equation
${\begin{array}{c}P\,dx+Q\,dy+R\,dz=0,\\R^{3}\,dt=(-R^{2}P'+2PRQ''-P^{2}R')\,dx+(PRP''+QRQ''-PQR'-R^{2}R'')\,dy.\end{array}}$
In like manner we obtain
$R^{3}\,du=(PRP''+QRQ''-PQR'-R^{2}R'')\,dx+(-R^{2}Q'+2QRP''-Q^{2}R')\,dy$
From this we conclude that
${\begin{aligned}R^{3}T&=-R^{2}P'+2PRQ''-P^{2}R'\\R^{3}U&=PRP''+QRQ''-PQR'-R^{2}R''\\R^{3}V&=-R^{2}Q'+2QRP''-Q^{2}R'\end{aligned}}$
Substituting these values in the formula of Art. 7, we obtain for the measure of curvature k{\textstyle k} the following symmetric expression:
${\begin{array}{c}(P^{2}+Q^{2}+R^{2})^{2}k=P^{2}(Q'R'-P''^{2})+Q^{2}(P'R'-Q''^{2})+R^{2}(P'Q'-R''^{2})\\+2QR(Q''R''-P'P'')+2PR(P''R''-Q'Q'')+2PQ(P''Q''-R'R'')\end{array}}$
10.
We obtain a still more complicated formula, indeed, one involving fifteen elements, if we follow the second general method of defining the nature of a curved surface. It is, however, very important that we develop this formula also. Retaining the notations of Art. 4, let us put also
${\begin{aligned}{\frac {\partial ^{2}x}{\partial p^{2}}}&=\alpha ,&{\frac {\partial ^{2}x}{\partial p.\partial q}}&=\alpha ',&{\frac {\partial ^{2}x}{\partial q^{2}}}&=\alpha ''\\{\frac {\partial ^{2}y}{\partial p^{2}}}&=\beta ,&{\frac {\partial ^{2}y}{\partial p.\partial q}}&=\beta ',&{\frac {\partial ^{2}y}{\partial q^{2}}}&=\beta ''\\{\frac {\partial ^{2}z}{\partial p^{2}}}&=\gamma ,&{\frac {\partial ^{2}z}{\partial p.\partial q}}&=\gamma ',&{\frac {\partial ^{2}z}{\partial q^{2}}}&=\gamma ''\\\end{aligned}}$
and let us put, for brevity,
${\begin{aligned}bc'-cb'&=A\\ca'-ac'&=B\\ab'-ba'&=C\end{aligned}}$
First we see that
$A\,dx+B\,dy+C\,dz=0,$
or
$dz=-{\frac {A}{C}}\,dx-{\frac {B}{C}}\,dy.$ ​Thus, inasmuch as z{\textstyle z} may be regarded as a function of x, {\textstyle x, } y, {\textstyle y, } we have
${\begin{aligned}{\frac {\partial z}{\partial x}}&=t=-{\frac {A}{C}}\\{\frac {\partial z}{\partial y}}&=u=-{\frac {B}{C}}\end{aligned}}$
Then from the formulæ
$dx=a\,dp+a'\,dq,\quad dy=b\,dp+b'\,dq,$
we have
${\begin{alignedat}{4}&C\,dp=&&b'\,&&dx-a'\,&&dy\\&C\,dq=-&&b\,&&dx+a\,&&dy\end{alignedat}}$
Thence we obtain for the total differentials of t, {\textstyle t, } u{\textstyle u}
${\begin{aligned}C^{3}\,dt&=\left(A\,{\frac {\partial C}{\partial p}}-C\,{\frac {\partial A}{\partial p}}\right)(b'\,dx-a'\,dy)+\left(C\,{\frac {\partial A}{\partial q}}-A\,{\frac {\partial C}{\partial q}}\right)(b\,dx-a\,dy)\\C^{3}\,du&=\left(B\,{\frac {\partial C}{\partial p}}-C\,{\frac {\partial B}{\partial p}}\right)(b'\,dx-a'\,dy)+\left(C\,{\frac {\partial B}{\partial q}}-B\,{\frac {\partial C}{\partial q}}\right)(b\,dx-a\,dy)\end{aligned}}$
If now we substitute in these formulæ
${\begin{alignedat}{4}{\frac {\partial A}{\partial p}}&=c'\beta &&+b\gamma '&&-c\beta '&&-b'\gamma \\{\frac {\partial A}{\partial q}}&=c'\beta '&&+b\gamma ''&&-c\beta ''&&-b'\gamma '\\{\frac {\partial B}{\partial p}}&=a'\gamma &&+c\alpha '&&-a\gamma '&&-c'\alpha \\{\frac {\partial B}{\partial q}}&=a'\gamma '&&+c\alpha ''&&-a\gamma ''&&-c'\alpha '\\{\frac {\partial C}{\partial p}}&=b'\alpha &&+a\beta '&&-b\alpha '&&-a'\beta \\{\frac {\partial C}{\partial q}}&=b'\alpha '&&+a\beta ''&&-b\alpha ''&&-a'\beta '\end{alignedat}}$
and if we note that the values of the differentials dt, {\textstyle dt, } du{\textstyle du} thus obtained must be equal, independently of the differentials dx, {\textstyle dx, } dy, {\textstyle dy, } to the quantities Tdx+Udy, {\textstyle T\, dx+U\, dy, } Udx+Vdy{\textstyle U\, dx+V\, dy} respectively, we shall find, after some sufficiently obvious transformations,
${\begin{aligned}C^{3}T&=\alpha Ab'^{2}+\beta Bb'^{2}+\gamma Cb'^{2}\\&\quad -2\alpha 'Abb'-2\beta 'Bbb'-2\gamma 'Cbb'{\phantom {(ba'-a'b)(ba'-a'b}}\\&\quad +\alpha ''Ab^{2}+\beta ''Bb^{2}+\gamma ''Cb^{2}\end{aligned}}$ ​${\begin{aligned}C^{3}U&=-\alpha Aa'b'-\beta Ba'b'-\gamma Ca'b'\\&\quad +\alpha 'A(ab'+ba')+\beta 'B(ab'+ba')+\gamma 'C(ab'+ba')\\&\quad -\alpha ''Aab-\beta ''Bab-\gamma ''Cab\\C^{3}V&=\alpha Aa'^{2}+\beta Ba'^{2}+\gamma Ca'^{2}\\&\quad -2\alpha 'Aaa'-2\beta 'Baa'-2\gamma 'Caa'\\&\quad +\alpha ''Aa^{2}+\beta ''Ba^{2}+\gamma ''Ca^{2}\end{aligned}}$
Hence, if we put, for the sake of brevity,
${\begin{alignedat}{4}&A\alpha &&+B\beta &&+C\gamma &&=&D&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(1)}\\&A\alpha '&&+B\beta '&&+C\gamma '&&=&D'&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(2)}\\&A\alpha ''&&+B\beta ''&&+C\gamma ''&&=&D''&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(3)}\end{alignedat}}$
we shall have
${\begin{aligned}C^{3}T&=Db'^{2}-2D'bb'+D''b^{2}\\C^{3}U&=-Da'b'+D'(ab'+ba')-D''ab\\C^{3}V&=Da'^{2}-2D'aa'+D''a^{2}\end{aligned}}$
From this we find, after the reckoning has been carried out,
$C^{6}(TV-U^{2})=(DD''-D'^{2})(ab'-ba')^{2}=(DD''-D'^{2})C^{2}$
and therefore the formula for the measure of curvature
$k={\frac {DD''-D'^{2}}{(A^{2}+B^{2}+C^{2})^{2}}}$
11.
By means of the formula just found we are going to establish another, which may be counted among the most productive theorems in the theory of curved surfaces. Let us introduce the following notation:
${\begin{aligned}&{\begin{alignedat}{4}&a^{2}&&+b^{2}&&+c^{2}&&=E\\&aa'&&+bb'&&+cc'&&=F\\&a'^{2}&&+b'^{2}&&+c'^{2}&&=G\end{alignedat}}\\&{\begin{alignedat}{7}&a&&\alpha &&+b&&\beta &&+c&&\gamma &&=m&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(4)}\\&a&&\alpha '&&+b&&\beta '&&+c&&\gamma '&&=m'&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(5)}\\&a&&\alpha ''&&+b&&\beta ''&&+c&&\gamma ''&&=m''&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(6)}\\&a'\,&&\alpha &&+b'\,&&\beta &&+c'\,&&\gamma &&=n&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(7)}\\&a'&&\alpha '&&+b'&&\beta '&&+c'&&\gamma '&&=n'&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(8)}\\&a'&&\alpha ''&&+b'&&\beta ''&&+c'&&\gamma ''&&=n''&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(9)}\end{alignedat}}\\&A^{2}+B^{2}+C^{2}=EG-F^{2}=\Delta \end{aligned}}$
Let us eliminate from the equations 1, 4, 7 the quantities β, {\textstyle \beta , } γ, {\textstyle \gamma , } which is done by multiplying them by bc$^′$−cb$^′$, {\textstyle bc'-cb', } b$^′$C−c$^′$B, {\textstyle b'C-c'B, } cB−bC{\textstyle cB-bC} respectively and adding. In this way we obtain
${\begin{array}{c}\mathbf { A(bc'-cb')+a(b'C-c'B)+a'(cB-bC)\mathbf} \alpha \\=D(bc'-cb')+m(b'C-c'B)+n(cB-bC)\end{array}}$
an equation which is easily transformed into
$AD=\alpha \Delta +a(nF-mG)+a'(mF-nE)$
Likewise the elimination of α, {\textstyle \alpha , } γ{\textstyle \gamma } or α, {\textstyle \alpha , } β{\textstyle \beta } from the same equations gives
${\begin{alignedat}{4}&BD&&=\beta \Delta &&+b(nF-mG)&&+b'(mF-nE)\\&CD&&=\gamma \Delta &&+c(nF-mG)&&+c'(mF-nE)\end{alignedat}}$
Multiplying these three equations by α$^″$, {\textstyle \alpha '', } β$^″$, {\textstyle \beta '', } γ$^″${\textstyle \gamma ''} respectively and adding, we obtain
$DD''=(\alpha \alpha ''+\beta \beta ''+\gamma \gamma '')\Delta +m''(nF-mG)+n''(mF-nE)\quad .\quad .\quad .{(10)}$
If we treat the equations 2, 5, 8 in the same way, we obtain
${\begin{alignedat}{4}{4}&AD'&&=\alpha '\Delta &&+a(n'F-m'G)&&+a'(m'F-n'E)\\&BD'&&=\beta '\Delta &&+b(n'F-m'G)&&+b'(m'F-n'E)\\&CD'&&=\gamma '\Delta &&+c(n'F-m'G)&&+c'(m'F-n'E)\end{alignedat}}$
and after these equations are multiplied by α$^′$, {\textstyle \alpha ', } β$^′$, {\textstyle \beta ', } γ$^′${\textstyle \gamma '} respectively, addition gives
$D'^{2}=(\alpha '^{2}+\beta '^{2}+\gamma '^{2})\Delta +m'(n'F-m'G)+n'(m'F-n'E)$
A combination of this equation with equation (10) gives
${\begin{alignedat}{1}DD''-D'^{2}=(&\alpha \alpha ''+\beta \beta ''+\gamma \gamma ''-\alpha '^{2}-\beta '^{2}-\gamma '^{2})\Delta \\&+E(n'^{2}-nn'')+F(nm''-2m'n'+mn'')+G(m'^{2}-mm'')\end{alignedat}}$
It is clear that we have
${\frac {\partial E}{\partial p}}=2m,\;{\frac {\partial E}{\partial q}}=2m',\;{\frac {\partial F}{\partial p}}=m'+n,\;{\frac {\partial F}{\partial q}}=m''+n',\;{\frac {\partial G}{\partial p}}=2n',\;{\frac {\partial G}{\partial q}}=2n'',$
or
${\begin{aligned}m&={\tfrac {1}{2}}\,{\frac {\partial E}{\partial p}},&m'&={\tfrac {1}{2}}\,{\frac {\partial E}{\partial q}},&m''&={\frac {\partial F}{\partial q}}-{\tfrac {1}{2}}\,{\frac {\partial G}{\partial p}}\\n&={\frac {\partial F}{\partial p}}-{\tfrac {1}{2}}\,{\frac {\partial E}{\partial q}},&n'&={\tfrac {1}{2}}\,{\frac {\partial G}{\partial p}},&n''&={\tfrac {1}{2}}\,{\frac {\partial G}{\partial q}}\end{aligned}}$
Moreover, it is easily shown that we shall have
${\begin{array}{c}\displaystyle \alpha \alpha ''+\beta \beta ''+\gamma \gamma ''-\alpha '^{2}-\beta '^{2}-\gamma '^{2}={\frac {\partial n}{\partial q}}-{\frac {\partial n'}{\partial p}}={\frac {\partial m''}{\partial p}}-{\frac {\partial m'}{\partial q}}\\\displaystyle =-{\tfrac {1}{2}}\cdot {\frac {\partial ^{2}E}{\partial q^{2}}}+{\frac {\partial ^{2}F}{\partial p.\partial q}}-{\tfrac {1}{2}}\cdot {\frac {\partial ^{2}G}{\partial p^{2}}}\end{array}}$ ​If we substitute these different expressions in the formula for the measure of curvature derived at the end of the preceding article, we obtain the following formula, which involves only the quantities E, {\textstyle E, } F, {\textstyle F, } G{\textstyle G} and their differential quotients of the first and second orders:
${\begin{aligned}\displaystyle &\qquad 4(EG-F^{2})k=E\left({\frac {\partial E}{\partial q}}.{\frac {\partial G}{\partial q}}-2{\frac {\partial F}{\partial p}}.{\frac {\partial G}{\partial q}}+{\biggl{\frac {\partial G}{\partial p}}{\biggr )}^{2}\right)\\&+F\left({\frac {\partial E}{\partial p}}.{\frac {\partial G}{\partial q}}-{\frac {\partial E}{\partial q}}.{\frac {\partial G}{\partial p}}-2{\frac {\partial E}{\partial q}}.{\frac {\partial F}{\partial q}}+4{\frac {\partial F}{\partial p}}.{\frac {\partial F}{\partial q}}-2{\frac {\partial F}{\partial p}}.{\frac {\partial G}{\partial p}}\right)\\&+G\left({\frac {\partial E}{\partial p}}.{\frac {\partial G}{\partial p}}-2{\frac {\partial E}{\partial p}}.{\frac {\partial F}{\partial q}}+{\biggl{\frac {\partial E}{\partial q}}{\biggr )}^{2}\right)-2(EG-F^{2})\left({\frac {\partial ^{2}E}{\partial q^{2}}}-2{\frac {\partial ^{2}F}{\partial p.\partial q}}+{\frac {\partial ^{2}G}{\partial p^{2}}}\right)\end{aligned}}$
12.
Since we always have
$dx^{2}+dy^{2}+dz^{2}=E\,dp^{2}+2F\,dp.dq+G\,dq^{2},$
it is clear that
${\sqrt {E\,dp^{2}+2F\,dp.dq+G\,dq^{2}}}$
is the general expression for the linear element on the curved surface. The analysis developed in the preceding article thus shows us that for finding the measure of curvature there is no need of finite formulæ, which express the coordinates x, {\textstyle x, } y, {\textstyle y, } z{\textstyle z} as functions of the indeterminates p, {\textstyle p, } q;{\textstyle q;} but that the general expression for the magnitude of any linear element is sufficient. Let us proceed to some applications of this very important theorem.
Suppose that our surface can be developed upon another surface, curved or plane, so that to each point of the former surface, determined by the coordinates x, {\textstyle x, } y, {\textstyle y, } z, {\textstyle z, } will correspond a definite point of the latter surface, whose coordinates are x$^′$, {\textstyle x', } y$^′$, {\textstyle y', } z$^′$.{\textstyle z'.} Evidently x$^′$, {\textstyle x', } y$^′$, {\textstyle y', } z$^′${\textstyle z'} can also be regarded as functions of the indeterminates p, {\textstyle p, } q, {\textstyle q, } and therefore for the element √(dx$^{′2}$+dy$^{′2}$+dz$^{′2}$){\textstyle {\sqrt {dx'^{2}+dy'^{2}+dz'^{2}}}} we shall have an expression of the form
${\sqrt {E'\,dp^{2}+2F'\,dp.dq+G'\,dq^{2}}}$
where E$^′$, {\textstyle E', } F$^′$, {\textstyle F', } G$^′${\textstyle G'} also denote functions of p, {\textstyle p, } q.{\textstyle q.} But from the very notion of the development of one surface upon another it is clear that the elements corresponding to one another on the two surfaces are necessarily equal. Therefore we shall have identically
$E=E',\quad F=F',\quad G=G'.$
Thus the formula of the preceding article leads of itself to the remarkable
Theorem. If a curved surface is developed upon any other surface whatever, the measure of curvature in each point remains unchanged.
​ Also it is evident that any finite part whatever of the curved surface will retain the same integral curvature after development upon another surface.
Surfaces developable upon a plane constitute the particular case to which geometers have heretofore restricted their attention. Our theory shows at once that the measure of curvature at every point of such surfaces is equal to zero. Consequently, if the nature of these surfaces is defined according to the third method, we shall have at every point
${\frac {\partial ^{2}z}{\partial x^{2}}}.{\frac {\partial ^{2}z}{\partial y^{2}}}-\left({\frac {\partial ^{2}z}{\partial x.\partial y}}\right)^{2}=0$
a criterion which, though indeed known a short time ago, has not, at least to our knowledge, commonly been demonstrated with as much rigor as is desirable.
13.
What we have explained in the preceding article is connected with a particular method of studying surfaces, a very worthy method which may be thoroughly developed by geometers. When a surface is regarded, not as the boundary of a solid, but as a flexible, though not extensible solid, one dimension of which is supposed to vanish, then the properties of the surface depend in part upon the form to which we can suppose it reduced, and in part are absolute and remain invariable, whatever may be the form into which the surface is bent. To these latter properties, the study of which opens to geometry a new and fertile field, belong the measure of curvature and the integral curvature, in the sense which we have given to these expressions. To these belong also the theory of shortest lines, and a great part of what we reserve to be treated later. From this point of view, a plane surface and a surface developable on a plane, e.g., cylindrical surfaces, conical surfaces, etc., are to be regarded as essentially identical; and the generic method of defining in a general manner the nature of the surfaces thus considered is always based upon the formula
${\sqrt {E\,dp^{2}+2F\,dp.dq+G\,dq^{2}}},$
which connects the linear element with the two indeterminates p, {\textstyle p, } q.{\textstyle q.} But before following this study further, we must introduce the principles of the theory of shortest lines on a given curved surface.
14.
The nature of a curved line in space is generally given in such a way that the coordinates x, {\textstyle x, } y, {\textstyle y, } z{\textstyle z} corresponding to the different points of it are given in the form of functions of a single variable, which we shall call w.{\textstyle w.} The length of such a line from ​an arbitrary initial point to the point whose coordinates are x, {\textstyle x, } y, {\textstyle y, } z, {\textstyle z, } is expressed by the integral
$\int dw.{\sqrt {\left({\frac {dx}{dw}}\right)^{2}+\left({\frac {dy}{dw}}\right)^{2}+\left({\frac {dz}{dw}}\right)^{2}}}$
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 δx, {\textstyle \delta x, } δy, {\textstyle \delta y, } δz, {\textstyle \delta z, } the variation of the whole length becomes
$\int {\frac {dx.d\,\delta x+dy.d\,\delta y+dz.d\,\delta z}{\sqrt {dx^{2}+dy^{2}+dz^{2}}}}$
which expression we can change into the form
${\begin{array}{c}\displaystyle {\frac {dx.\delta x+dy.\delta y+dz.\delta z}{\sqrt {dx^{2}+dy^{2}+dz^{2}}}}\\\displaystyle -\int {\Biggl\delta x.d{\frac {dx}{\sqrt {dx^{2}+dy^{2}+dz^{2}}}}+\delta y.d{\frac {dy}{\sqrt {dx^{2}+dy^{2}+dz^{2}}}}+\delta z.d{\frac {dz}{\sqrt {dx^{2}+dy^{2}+dz^{2}}}}{\Biggr )}\end{array}}$
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
$P\,dx+Q\,dy+R\,dz=0,$
the variations δx, {\textstyle \delta x, } δy, {\textstyle \delta y, } δz{\textstyle \delta z} also must satisfy the equation
$P\,\delta x+Q\,\delta y+R\,\delta z=0,$
and from this it follows at once, according to well-known rules, that the differentials
$d{\frac {dx}{\sqrt {dx^{2}+dy^{2}+dz^{2}}}},\quad d{\frac {dy}{\sqrt {dx^{2}+dy^{2}+dz^{2}}}},\quad d{\frac {dz}{\sqrt {dx^{2}+dy^{2}+dz^{2}}}}$
must be proportional to the quantities P, {\textstyle P, } Q, {\textstyle Q, } R{\textstyle R} respectively. Let dr{\textstyle dr} be the element of the curved line; λ{\textstyle \lambda } the point on the sphere representing the direction of this element; L{\textstyle L} the point on the sphere representing the direction of the normal to the curved surface; finally, let ξ, {\textstyle \xi , } η, {\textstyle \eta , } ζ{\textstyle \zeta } be the coordinates of the point λ, {\textstyle \lambda , } and X, {\textstyle X, } Y, {\textstyle Y, } Z{\textstyle Z} be those of the point L{\textstyle L} with reference to the centre of the sphere. We shall then have
$dx=\xi \,dr,\quad dy=\eta \,dr,\quad dz=\zeta \,dr$
from which we see that the above differentials become dξ, {\textstyle d\xi , } dη, {\textstyle d\eta , } dζ.{\textstyle d\zeta .} And since the quantities P, {\textstyle P, } Q, {\textstyle Q, } R{\textstyle R} are proportional to X, {\textstyle X, } Y, {\textstyle Y, } Z, {\textstyle Z, } the character of shortest lines is expressed by the equations
${\frac {d\xi }{X}}={\frac {d\eta }{Y}}={\frac {d\zeta }{Z}}$ ​Moreover, it is easily seen that
${\sqrt {d\xi ^{2}+d\eta ^{2}+d\zeta ^{2}}}$ is equal to the small arc on the sphere which measures the angle between the directions of the tangents at the beginning and at the end of the element dr, {\textstyle dr, } and is thus equal to dr/ρ, {\textstyle {\frac {dr}{\rho }}, } if ρ{\textstyle \rho } denotes the radius of curvature of the shortest line at this point. Thus we shall have
$\rho \,d\xi =X\,dr,\quad \rho \,d\eta =Y\,dr,\quad \rho \,d\zeta =Z\,dr$
15.
Suppose that an infinite number of shortest lines go out from a given point A{\textstyle A} on the curved surface, and suppose that we distinguish these lines from one another by the angle that the first element of each of them makes with the first element of one of them which we take for the first. Let ϕ{\textstyle \phi } be that angle, or, more generally, a function of that angle, and r{\textstyle r} the length of such a shortest line from the point A{\textstyle A} to the point whose coordinates are x, {\textstyle x, } y, {\textstyle y, } z.{\textstyle z.} Since to definite values of the variables r, {\textstyle r, } ϕ{\textstyle \phi } there correspond definite points of the surface, the coordinates x, {\textstyle x, } y, {\textstyle y, } z{\textstyle z} can be regarded as functions of r, {\textstyle r, } ϕ.{\textstyle \phi .} We shall retain for the notation λ, {\textstyle \lambda , } L, {\textstyle L, } ξ, {\textstyle \xi , } η, {\textstyle \eta , } ζ, {\textstyle \zeta , } X, {\textstyle X, } Y, {\textstyle Y, } Z{\textstyle Z} the same meaning as in the preceding article, this notation referring to any point whatever on any one of the shortest lines.
All the shortest lines that are of the same length r{\textstyle r} will end on another line whose length, measured from an arbitrary initial point, we shall denote by v.{\textstyle v.} Thus v{\textstyle v} can be regarded as a function of the indeterminates r, {\textstyle r, } ϕ, {\textstyle \phi , } and if λ$^′${\textstyle \lambda '} denotes the point on the sphere corresponding to the direction of the element dv, {\textstyle dv, } and also ξ$^′$, {\textstyle \xi ', } η$^′$, {\textstyle \eta ', } ζ$^′${\textstyle \zeta '} denote the coordinates of this point with reference to the centre of the sphere, we shall have
${\frac {\partial x}{\partial \phi }}=\xi '\cdot {\frac {\partial v}{\partial \phi }},\quad {\frac {\partial y}{\partial \phi }}=\eta '\cdot {\frac {\partial v}{\partial \phi }},\quad {\frac {\partial z}{\partial \phi }}=\zeta '\cdot {\frac {\partial v}{\partial \phi }}$
From these equations and from the equations
${\frac {\partial x}{\partial r}}=\xi ,\quad {\frac {\partial y}{\partial r}}=\eta ,\quad {\frac {\partial z}{\partial r}}=\zeta$
we have
${\frac {\partial x}{\partial r}}\cdot {\frac {\partial x}{\partial \phi }}+{\frac {\partial y}{\partial r}}\cdot {\frac {\partial y}{\partial \phi }}+{\frac {\partial z}{\partial r}}\cdot {\frac {\partial z}{\partial \phi }}=(\xi \xi '+\eta \eta '+\zeta \zeta ')\cdot {\frac {\partial v}{\partial \phi }}=\cos \lambda \lambda '\cdot {\frac {\partial v}{\partial \phi }}$ ​Let S{\textstyle S} denote the first member of this equation, which will also be a function of r, {\textstyle r, } ϕ.{\textstyle \phi .} Differentiation of S{\textstyle S} with respect to r{\textstyle r} gives
${\begin{aligned}{\frac {\partial S}{\partial r}}&={\frac {\partial ^{2}x}{\partial r^{2}}}.{\frac {\partial x}{\partial \phi }}+{\frac {\partial ^{2}y}{\partial r^{2}}}.{\frac {\partial y}{\partial \phi }}+{\frac {\partial ^{2}z}{\partial r^{2}}}.{\frac {\partial z}{\partial \phi }}+{\tfrac {1}{2}}.{\frac {\partial \left(\left({\tfrac {\partial x}{\partial r}}\right)^{2}+\left({\tfrac {\partial y}{\partial r}}\right)^{2}+\left({\tfrac {\partial z}{\partial r}}\right)^{2}\right)}{\partial \phi }}\\&={\frac {\partial \xi }{\partial r}}.{\frac {\partial x}{\partial \phi }}+{\frac {\partial \eta }{\partial r}}.{\frac {\partial y}{\partial \phi }}+{\frac {\partial \zeta }{\partial r}}.{\frac {\partial z}{\partial \phi }}+{\tfrac {1}{2}}.{\frac {\partial (\xi ^{2}+\eta ^{2}+\zeta ^{2})}{\partial \phi }}\end{aligned}}$
But
$\xi ^{2}+\eta ^{2}+\zeta ^{2}=1,$
and therefore its differential is equal to zero; and by the preceding article we have, if ρ{\textstyle \rho } denotes the radius of curvature of the line r, {\textstyle r, }
${\frac {\partial \xi }{\partial r}}={\frac {X}{\rho }},\quad {\frac {\partial \eta }{\partial r}}={\frac {Y}{\rho }},\quad {\frac {\partial \zeta }{\partial r}}={\frac {Z}{\rho }}$
Thus we have
${\frac {\partial S}{\partial r}}={\frac {1}{\rho }}.(X\xi '+Y\eta '+Z\zeta ').{\frac {\partial v}{\partial \phi }}={\frac {1}{\rho }}.\cos L\lambda '.{\frac {\partial v}{\partial \phi }}=0$
since λ$^′${\textstyle \lambda '} evidently lies on the great circle whose pole is L.{\textstyle L.} From this we see that S{\textstyle S} is independent of r, {\textstyle r, } and is, therefore, a function of ϕ{\textstyle \phi } alone. But for r=0{\textstyle r=0} we evidently have v=0, {\textstyle v=0, } consequently ∂v/∂ϕ=0, {\textstyle {\frac {\partial v}{\partial \phi }}=0, } and S=0{\textstyle S=0} independently of ϕ.{\textstyle \phi .} Thus, in general, we have necessarily S=0, {\textstyle S=0, } and so cos⁡λλ$^′$=0, {\textstyle \cos \lambda \lambda '=0, } i.e., λλ$^′$=90$^∘$.{\textstyle \lambda \lambda '=90^{\circ }.} From this follows the
Theorem. If on a curved surface an infinite number of shortest lines of equal length be drawn from the same initial point, the lines joining their extremities will be normal to each of the lines.
We have thought it worth while to deduce this theorem from the fundamental property of shortest lines; but the truth of the theorem can be made apparent without any calculation by means of the following reasoning. Let AB, {\textstyle AB, } AB$^′${\textstyle AB'} be two shortest lines of the same length including at A{\textstyle A} an infinitely small angle, and let us suppose that one of the angles made by the element BB$^′${\textstyle BB'} with the lines BA, {\textstyle BA, } B$^′$A{\textstyle B'A} differs from a right angle by a finite quantity. Then, by the law of continuity, one will be greater and the other less than a right angle. Suppose the angle at B{\textstyle B} is equal to 90$^∘$−ω, {\textstyle 90^{\circ }-\omega , } and take on the line AB{\textstyle AB} a point C, {\textstyle C, } such that
$BC=BB'.\operatorname {cosec} \omega .$
Then, since the infinitely small triangle BB$^′$C{\textstyle BB'C} may be regarded as plane, we shall have
$CB'=BC.\cos \omega ,$ ​and consequently
$AC+CB'=AC+BC.\cos \omega =AB-BC.(1-\cos \omega )=AB'-BC.(1-\cos \omega ),$
i.e., the path from A{\textstyle A} to B$^′${\textstyle B'} through the point C{\textstyle C} is shorter than the shortest line, Q.E.A.
16.
With the theorem of the preceding article we associate another, which we state as follows: If on a curved surface we imagine any line whatever, from the different points of which are drawn at right angles and toward the same side an infinite number of shortest lines of the same length, the curve which joins their other extremities will cut each of the lines at right angles. For the demonstration of this theorem no change need be made in the preceding analysis, except that ϕ{\textstyle \phi } must denote the length of the given curve measured from an arbitrary point; or rather, a function of this length. Thus all of the reasoning will hold here also, with this modification, that S=0{\textstyle S=0} for r=0{\textstyle r=0} is now implied in the hypothesis itself. Moreover, this theorem is more general than the preceding one, for we can regard it as including the first one if we take for the given line the infinitely small circle described about the centre A.{\textstyle A.} Finally, we may say that here also geometric considerations may take the place of the analysis, which, however, we shall not take the time to consider here, since they are sufficiently obvious.
17.
We return to the formula
${\sqrt {E\,dp^{2}+2F\,dp.dq+G\,dq^{2}}},$
which expresses generally the magnitude of a linear element on the curved surface, and investigate, first of all, the geometric meaning of the coefficients E, {\textstyle E, } F, {\textstyle F, } G.{\textstyle G.} We have already said in Art. 5 that two systems of lines may be supposed to lie on the curved surface, p{\textstyle p} being variable, q{\textstyle q} constant along each of the lines of the one system; and q{\textstyle q} variable, p{\textstyle p} constant along each of the lines of the other system. Any point whatever on the surface can be regarded as the intersection of a line of the first system with a line of the second; and then the element of the first line adjacent to this point and corresponding to a variation dp{\textstyle dp} will be equal to √E.dp, {\textstyle {\sqrt {E}}.dp, } and the element of the second line corresponding to the variation dq{\textstyle dq} will be equal to √G.dq.{\textstyle {\sqrt {G}}.dq.} Finally, denoting by ω{\textstyle \omega } the angle between these elements, it is easily seen that we shall have
$\cos \omega ={\frac {F}{\sqrt {EG}}}.$ ​Furthermore, the area of the surface element in the form of a parallelogram between the two lines of the first system, to which correspond q, {\textstyle q, } q+dq, {\textstyle q+dq, } and the two lines of the second system, to which correspond p, {\textstyle p, } p+dp, {\textstyle p+dp, } will be
${\sqrt {EG-F^{2}}}\,dp.dq.$
Any line whatever on the curved surface belonging to neither of the two systems is determined when p{\textstyle p} and q{\textstyle q} are supposed to be functions of a new variable, or one of them is supposed to be a function of the other. Let s{\textstyle s} be the length of such a curve, measured from an arbitrary initial point, and in either direction chosen as positive. Let θ{\textstyle \theta } denote the angle which the element
$ds={\sqrt {E\,dp^{2}+2F\,dp.dq+G\,dq^{2}}}$
makes with the line of the first system drawn through the initial point of the element, and, in order that no ambiguity may arise, let us suppose that this angle is measured from that branch of the first line on which the values of p{\textstyle p} increase, and is taken as positive toward that side toward which the values of q{\textstyle q} increase. These conventions being made, it is easily seen that
${\begin{aligned}\cos \theta .ds&={\sqrt {E}}.dp+{\sqrt {G}}.\cos \omega .dq={\frac {E\,dp+F\,dq}{\sqrt {E}}}\\\sin \theta .ds&={\sqrt {G}}.\sin \omega .dq={\frac {{\sqrt {(EG-F^{2})}}.dq}{\sqrt {E}}}\end{aligned}}$
18.
We shall now investigate the condition that this line be a shortest line. Since its length s{\textstyle s} is expressed by the integral
$s=\int {\sqrt {E\,dp^{2}+2F\,dp.dq+G\,dq^{2}}}$
the condition for a minimum requires that the variation of this integral arising from an infinitely small change in the position become equal to zero. The calculation, for our purpose, is more simply made in this case, if we regard p{\textstyle p} as a function of q.{\textstyle q.} When this is done, if the variation is denoted by the characteristic δ, {\textstyle \delta , } we have
${\begin{aligned}\delta s&=\int {\frac {\left({\frac {\partial E}{\partial p}}.dp^{2}+2{\frac {\partial F}{\partial p}}.dp.dq+{\frac {\partial G}{\partial p}}.dq^{2}\right)\delta p+(2E\,dp+2F\,dq)\,d\,\delta p}{2\,ds}}\\&={\frac {E\,dp+F\,dq}{ds}}.\delta p\,+\end{aligned}}$ ​${\begin{aligned}+\int \delta p\left({\frac {{\frac {\partial E}{\partial p}}.dp^{2}+2{\frac {\partial F}{\partial p}}.dp.dq+{\frac {\partial G}{\partial p}}.dq^{2}}{2\,ds}}-d.{\frac {E\,dp+F\,dq}{ds}}\right)\end{aligned}}$
and we know that what is included under the integral sign must vanish independently of δp.{\textstyle \delta p.} Thus we have
${\begin{aligned}{\frac {\partial E}{\partial p}}.dp^{2}&+2{\frac {\partial F}{\partial p}}.dp.dq+{\frac {\partial G}{\partial p}}.dq^{2}=2\,ds.d.{\frac {E\,dp+F\,dq}{ds}}\\&=2\,ds.d.{\sqrt {E}}.\cos \theta \\&={\frac {ds.dE.\cos \theta }{\sqrt {E}}}-2\,ds.d\theta .{\sqrt {E}}.\sin \theta \\&={\frac {(E\,dp+F\,dq)\,dE}{E}}-2{\sqrt {EG-F^{2}}}.dq.d\theta \\&=\left({\frac {E\,dp+F\,dq}{E}}\right).\left({\frac {\partial E}{\partial p}}.dp+{\frac {\partial E}{\partial q}}.dq\right)-2{\sqrt {EG-F^{2}}}.dq.d\theta \end{aligned}}$
This gives the following conditional equation for a shortest line:
${\begin{array}{c}{\sqrt {EG-F^{2}}}.d\theta ={\frac {1}{2}}.{\frac {F}{E}}.{\frac {\partial E}{\partial p}}.dp+{\frac {1}{2}}.{\frac {F}{E}}.{\frac {\partial E}{\partial q}}.dq+{\frac {1}{2}}.{\frac {\partial E}{\partial q}}.dp\\-{\frac {\partial F}{\partial p}}.dp-{\frac {1}{2}}.{\frac {\partial G}{\partial p}}.dq\end{array}}$
which can also be written
${\sqrt {EG-F^{2}}}.d\theta ={\frac {1}{2}}.{\frac {F}{E}}.dE+{\frac {1}{2}}.{\frac {\partial E}{\partial q}}.dp-{\frac {\partial F}{\partial p}}.dp-{\frac {1}{2}}.{\frac {\partial G}{\partial p}}.dq$
From this equation, by means of the equation
$\cot \theta ={\frac {E}{\sqrt {EG-F^{2}}}}\cdot {\frac {dp}{dq}}+{\frac {F}{\sqrt {EG-F^{2}}}}$
it is also possible to eliminate the angle θ, {\textstyle \theta , } and to derive a differential equation of the second order between p{\textstyle p} and q, {\textstyle q, } which, however, would become more complicated and less useful for applications than the preceding.
19.
The general formulæ, which we have derived in Arts. 11, 18 for the measure of curvature and the variation in the direction of a shortest line, become much simpler if the quantities p, {\textstyle p, } q{\textstyle q} are so chosen that the lines of the first system cut everywhere ​orthogonally the lines of the second system; i.e., in such a way that we have generally ω=90$^∘$, {\textstyle \omega =90^{\circ }, } or F=0.{\textstyle F=0.} Then the formula for the measure of curvature becomes
$4E^{2}G^{2}k=E.{\frac {\partial E}{\partial q}}.{\frac {\partial G}{\partial q}}+E\left({\frac {\partial G}{\partial p}}\right)^{2}+G.{\frac {\partial E}{\partial p}}.{\frac {\partial G}{\partial p}}+G\left({\frac {\partial E}{\partial q}}\right)^{2}-2EG\left({\frac {\partial ^{2}E}{\partial q^{2}}}+{\frac {\partial ^{2}G}{\partial p^{2}}}\right),$
and for the variation of the angle θ{\textstyle \theta }
${\sqrt {EG}}.d\theta ={\frac {1}{2}}.{\frac {\partial E}{\partial q}}.dp-{\frac {1}{2}}.{\frac {\partial G}{\partial p}}.dq$
Among the various cases in which we have this condition of orthogonality, the most important is that in which all the lines of one of the two systems, e.g., the first, are shortest lines. Here for a constant value of q{\textstyle q} the angle θ{\textstyle \theta } becomes equal to zero, and therefore the equation for the variation of θ{\textstyle \theta } just given shows that we must have ∂E/∂q=0, {\textstyle {\frac {\partial E}{\partial q}}=0, } or that the coefficient E{\textstyle E} must be independent of q;{\textstyle q;} i.e., E{\textstyle E} must be either a constant or a function of p{\textstyle p} alone. It will be simplest to take for p{\textstyle p} the length of each line of the first system, which length, when all the lines of the first system meet in a point, is to be measured from this point, or, if there is no common intersection, from any line whatever of the second system. Having made these conventions, it is evident that p{\textstyle p} and q{\textstyle q} denote now the same quantities that were expressed in Arts. 15, 16 by r{\textstyle r} and ϕ, {\textstyle \phi , } and that E=1.{\textstyle E=1.} Thus the two preceding formulæ become:
${\begin{aligned}4G^{2}k&=\left({\frac {\partial G}{\partial p}}\right)^{2}-2G\,{\frac {\partial ^{2}G}{\partial p^{2}}}\\{\sqrt {G}}.d\theta &=-{\frac {1}{2}}.{\frac {\partial G}{\partial p}}.dq\end{aligned}}$
or, setting √G=m, {\textstyle {\sqrt {G}}=m, }
$k=-{\frac {1}{m}}.{\frac {\partial ^{2}m}{\partial p^{2}}},\quad d\theta =-{\frac {\partial m}{\partial p}}.dq$
m{\textstyle m}
p, {\textstyle p, }
q, {\textstyle q, }
mdq{\textstyle m\, dq}
p{\textstyle p}
m=0{\textstyle m=0}
p=0.{\textstyle p=0.}
q{\textstyle q}
p{\textstyle p}
p{\textstyle p}
pdq, {\textstyle p\, dq, }
p, {\textstyle p, }
m=p, {\textstyle m=p, }
p=0, {\textstyle p=0, }
m=0{\textstyle m=0}
∂m/∂p=1.{\textstyle {\frac {\partial m}{\partial p}}=1.}
20.
We pause to investigate the case in which we suppose that p{\textstyle p} denotes in a general manner the length of the shortest line drawn from a fixed point A{\textstyle A} to any other point whatever of the surface, and q{\textstyle q} the angle that the first element of this line makes with the first element of another given shortest line going out from A.{\textstyle A.} Let B{\textstyle B} be a definite point in the latter line, for which q=0, {\textstyle q=0, } and C{\textstyle C} another definite point of the surface, at which we denote the value of q{\textstyle q} simply by A.{\textstyle A.} Let us suppose the points B, {\textstyle B, } C{\textstyle C} joined by a shortest line, the parts of which, measured from B, {\textstyle B, } we denote in a general way, as in Art. 18, by s;{\textstyle s;} and, as in the same article, let us denote by θ{\textstyle \theta } the angle which any element ds{\textstyle ds} makes with the element dp;{\textstyle dp;} finally, let us denote by θ$^∘$, {\textstyle \theta ^{\circ }, } θ$^′${\textstyle \theta '} the values of the angle θ{\textstyle \theta } at the points B, {\textstyle B, } C.{\textstyle C.} We have thus on the curved surface a triangle formed by shortest lines. The angles of this triangle at B{\textstyle B} and C{\textstyle C} we shall denote simply by the same letters, and B{\textstyle B} will be equal to 180$^∘$−θ, {\textstyle 180^{\circ }-\theta , } C{\textstyle C} to θ$^′${\textstyle \theta '} itself. But, since it is easily seen from our analysis that all the angles are supposed to be expressed, not in degrees, but by numbers, in such a way that the angle 57$^∘$17$^′$45$^″$, {\textstyle 57^{\circ }\, 17'\, 45'', } to which corresponds an arc equal to the radius, is taken for the unit, we must set
$\theta ^{\circ }=\pi -B,\quad \theta '=C$
where 2π{\textstyle 2\pi } denotes the circumference of the sphere. Let us now examine the integral curvature of this triangle, which is equal to
$\int k\,d\sigma ,$
dσ{\textstyle d\sigma } denoting a surface element of the triangle. Wherefore, since this element is expressed by mdp.dq, {\textstyle m\, dp.dq, } we must extend the integral
$\iint km\,dp.dq$
over the whole surface of the triangle. Let us begin by integration with respect to p, {\textstyle p, } which, because
$k=-{\frac {1}{m}}.{\frac {\partial ^{2}m}{\partial p^{2}}},$
gives
$dq.\left({\text{const.}}-{\frac {\partial m}{\partial p}}\right),$
for the integral curvature of the area lying between the lines of the first system, to which correspond the values q, {\textstyle q, } q+dq{\textstyle q+dq} of the second indeterminate. Since this inte​gral curvature must vanish for p=0, {\textstyle p=0, } the constant introduced by integration must be equal to the value of ∂m/∂q {\textstyle {\frac {\partial m}{\partial q}}} for p=0, {\textstyle p=0, } i.e., equal to unity. Thus we have
$dq\left(1-{\frac {\partial m}{\partial p}}\right){,}$
where for ∂m/∂p {\textstyle {\frac {\partial m}{\partial p}}} must be taken the value corresponding to the end of this area on the line CB.{\textstyle CB.} But on this line we have, by the preceding article,
${\frac {\partial m}{\partial q}}.dq=-d\theta ,$
whence our expression is changed into dq+dθ.{\textstyle dq+d\theta .} Now by a second integration, taken from q=0{\textstyle q=0} to q=A, {\textstyle q=A, } we obtain for the integral curvature
$A+\theta '-\theta ^{\circ },$
or
$A+B+C-\pi .$
The integral curvature is equal to the area of that part of the sphere which corresponds to the triangle, taken with the positive or negative sign according as the curved surface on which the triangle lies is concavo-concave or concavo-convex. For unit area will be taken the square whose side is equal to unity (the radius of the sphere), and then the whole surface of the sphere becomes equal to 4π.{\textstyle 4\pi .} Thus the part of the surface of the sphere corresponding to the triangle is to the whole surface of the sphere as ±(A+B+C−π){\textstyle \pm (A+B+C-\pi )} is to 4π.{\textstyle 4\pi .} This theorem, which, if we mistake not, ought to be counted among the most elegant in the theory of curved surfaces, may also be stated as follows:
The excess over 180$^∘${\textstyle 180^{\circ }} of the sum of the angles of a triangle formed by shortest lines on a concavo-concave curved surface, or the deficit from 180$^∘${\textstyle 180^{\circ }} of the sum of the angles of a triangle formed by shortest lines on a concavo-convex curved surface, is measured by the area of the part of the sphere which corresponds, through the directions of the normals, to that triangle, if the whole surface of the sphere is set equal to 720{\textstyle 720} degrees.
n{\textstyle n}
(2n−4){\textstyle (2n-4)}
(2n−4){\textstyle (2n-4)}
720{\textstyle 720}
21.
Let us again give to the symbols p, {\textstyle p, } q, {\textstyle q, } E, {\textstyle E, } F, {\textstyle F, } G, {\textstyle G, } ω{\textstyle \omega } the general meanings which were given to them above, and let us further suppose that the nature of the curved surface is defined in a similar way by two other variables, p$^′$, {\textstyle p', } q$^′$, {\textstyle q', } in which case the general linear element is expressed by
${\sqrt {E'\,dp'^{2}+2F'\,dp'.dq'+G'\,dq'^{2}}}$
Thus to any point whatever lying on the surface and defined by definite values of the variables p, {\textstyle p, } q{\textstyle q} will correspond definite values of the variables p$^′$, {\textstyle p', } q$^′$, {\textstyle q', } which will therefore be functions of p, {\textstyle p, } q.{\textstyle q.} Let us suppose we obtain by differentiating them
${\begin{alignedat}{2}dp'&=\alpha \,dp&&+\beta \,dq\\dq'&=\gamma \,dp&&+\delta \,dq\end{alignedat}}$
We shall now investigate the geometric meaning of the coefficients α, {\textstyle \alpha , } β, {\textstyle \beta , } γ, {\textstyle \gamma , } δ.{\textstyle \delta .}
Now four systems of lines may thus be supposed to lie upon the curved surface, for which p, {\textstyle p, } q, {\textstyle q, } p$^′$, {\textstyle p', } q$^′${\textstyle q'} respectively are constants. If through the definite point to which correspond the values p, {\textstyle p, } q, {\textstyle q, } p$^′$, {\textstyle p', } q$^′${\textstyle q'} of the variables we suppose the four lines belonging to these different systems to be drawn, the elements of these lines, corresponding to the positive increments dp, {\textstyle dp, } dq, {\textstyle dq, } dp$^′$, {\textstyle dp', } dq$^′$, {\textstyle dq', } will be
${\sqrt {E}}.dp,\quad {\sqrt {G}}.dq,\quad {\sqrt {E'}}.dp',\quad {\sqrt {G'}}.dq'.$
The angles which the directions of these elements make with an arbitrary fixed direction we shall denote by M, {\textstyle M, } N, {\textstyle N, } M$^′$, {\textstyle M', } N$^′$, {\textstyle N', } measuring them in the sense in which the second is placed with respect to the first, so that sin⁡(N−M){\textstyle \sin(N-M)} is positive. Let us suppose (which is permissible) that the fourth is placed in the same sense with respect to the third, so that sin⁡(N$^′$−M$^′$){\textstyle \sin(N'-M')} also is positive. Having made these conventions, if we consider another point at an infinitely small distance from the first point, and to which correspond the values p+dp, {\textstyle p+dp, } q+dq, {\textstyle q+dq, } p$^′$+dp$^′$, {\textstyle p'+dp', } q$^′$+dq$^′${\textstyle q'+dq'} of the variables, we see without much difficulty that we shall have generally, i.e., independently of the values of the increments dp, {\textstyle dp, } dq, {\textstyle dq, } dp$^′$, {\textstyle dp', } dq$^′$, {\textstyle dq', }
${\sqrt {E}}.dp.\sin M+{\sqrt {G}}.dq.\sin N={\sqrt {E'}}.dp'.\sin M'+{\sqrt {G'}}.dq'.\sin N'$
since each of these expressions is merely the distance of the new point from the line from which the angles of the directions begin. But we have, by the notation introduced above,
$N-M=\omega .$
In like manner we set
$N'-M'=\omega ',$ ​and also
$N-M'=\psi .$ Then the equation just found can be thrown into the following form:
${\begin{alignedat}{1}{\sqrt {E}}.dp.\sin(M'&-\omega +\psi )+{\sqrt {G}}.dq.\sin(M'+\psi )\\&={\sqrt {E'}}.dp'.\sin M'+{\sqrt {G'}}.dq'.\sin(M'+\omega ')\end{alignedat}}$
or
${\begin{alignedat}{1}{\sqrt {E}}.dp.\sin(N'&-\omega -\omega '+\psi )-{\sqrt {G}}.dq.\sin(N'-\omega '+\psi )\\&={\sqrt {E'}}.dp'.\sin(N'-\omega ')+{\sqrt {G'}}.dq'.\sin N'\end{alignedat}}$
And since the equation evidently must be independent of the initial direction, this direction can be chosen arbitrarily. Then, setting in the second formula N$^′$=0, {\textstyle N'=0, } or in the first M$^′$=0, {\textstyle M'=0, } we obtain the following equations:
${\begin{aligned}{\sqrt {E'}}.\sin \omega '.dp'&={\sqrt {E}}.\sin(\omega +\omega '-\psi ).dp+{\sqrt {G}}.\sin(\omega '-\psi ).dq\\{\sqrt {G'}}.\sin \omega '.dq'&={\sqrt {E}}.\sin(\psi -\omega ).dp+{\sqrt {G}}.\sin \psi .dq\end{aligned}}$
and these equations, since they must be identical with
${\begin{alignedat}{2}dp'&=\alpha \,dp&&+\beta \,dq\\dq'&=\gamma \,dp&&+\delta \,dq\end{alignedat}}$
determine the coefficients α, {\textstyle \alpha , } β, {\textstyle \beta , } γ, {\textstyle \gamma , } δ.{\textstyle \delta .} We shall have
${\begin{aligned}\alpha &={\sqrt {\frac {E}{E'}}}.{\frac {\sin(\omega +\omega '-\psi )}{\sin \omega '}},&\beta &={\sqrt {\frac {G}{E'}}}.{\frac {\sin(\omega '-\psi )}{\sin \omega '}}\\\gamma &={\sqrt {\frac {E}{G'}}}.{\frac {\sin(\psi -\omega )}{\sin \omega '}},&\delta &={\sqrt {\frac {G}{G'}}}.{\frac {\sin \psi }{\sin \omega '}}\end{aligned}}$
These four equations, taken in connection with the equations
${\begin{aligned}\cos \omega &={\frac {F}{\sqrt {EG}}},&\cos \omega '&={\frac {F'}{\sqrt {E'G'}}},\\\sin \omega &={\sqrt {\frac {EG-F^{2}}{EG}}},&\sin \omega '&={\sqrt {\frac {E'G'-F'^{2}}{E'G'}}},\end{aligned}}$
may be written
${\begin{aligned}\alpha {\sqrt {E'G'-F'^{2}}}&={\sqrt {EG'}}.\sin(\omega +\omega '-\psi )\\\beta {\sqrt {E'G'-F'^{2}}}&={\sqrt {GG'}}.\sin(\omega '-\psi )\\\gamma {\sqrt {E'G'-F'^{2}}}&={\sqrt {EE'}}.\sin(\psi -\omega )\\\delta {\sqrt {E'G'-F'^{2}}}&={\sqrt {GE'}}.\sin \psi \end{aligned}}$
Since by the substitutions
${\begin{alignedat}{2}dp'&=\alpha \,dp&&+\beta \,dq,\\dq'&=\gamma \,dp&&+\delta \,dq\end{alignedat}}$ ​the trinomial
$E'\,dp'^{2}+2F'\,dp'.dq'+G'\,dq'^{2}$
is transformed into
$E\,dp^{2}+2F\,dp.dq+G\,dq^{2},$
we easily obtain
$EG-F^{2}=(E'G'-F'^{2})(\alpha \delta -\beta \gamma )^{2}$
and since, vice versa, the latter trinomial must be transformed into the former by the substitution
$(\alpha \delta -\beta \gamma )\,dp=\delta \,dp'-\beta \,dq',\quad (\alpha \delta -\beta \gamma )\,dq=-\gamma \,dp'+\alpha \,dq',$
we find
${\begin{alignedat}{1}&E\delta ^{2}-2F\gamma \delta +G\gamma ^{2}={\frac {EG-F^{2}}{E'G'-F'^{2}}}.E'\\-&E\beta \delta +F(\alpha \delta +\beta \gamma )-G\alpha \gamma ={\frac {EG-F^{2}}{E'G'-F'^{2}}}.F'\\&E\beta ^{2}-2F\alpha \beta +G\alpha ^{2}={\frac {EG-F^{2}}{E'G'-F'^{2}}}.G'\end{alignedat}}$
22.
From the general discussion of the preceding article we proceed to the very extended application in which, while keeping for p, {\textstyle p, } q{\textstyle q} their most general meaning, we take for p$^′$, {\textstyle p', } q$^′${\textstyle q'} the quantities denoted in Art. 15 by r, {\textstyle r, } ϕ.{\textstyle \phi .} We shall use r, {\textstyle r, } ϕ{\textstyle \phi } here also in such a way that, for any point whatever on the surface, r{\textstyle r} will be the shortest distance from a fixed point, and ϕ{\textstyle \phi } the angle at this point between the first element of r{\textstyle r} and a fixed direction. We have thus
$E'=1,\quad F'=0,\quad \omega '=90^{\circ }.$
Let us set also
${\sqrt {G'}}=m,$
so that any linear element whatever becomes equal to
${\sqrt {dr^{2}+m^{2}\,d\phi ^{2}}}.$
Consequently, the four equations deduced in the preceding article for α, {\textstyle \alpha , } β, {\textstyle \beta , } γ, {\textstyle \gamma , } δ{\textstyle \delta } give
${\begin{alignedat}{2}&{\sqrt {E}}.\cos(\omega -\psi )={\frac {\partial r}{\partial p}}\quad .&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(1)}\\&{\sqrt {G}}.\cos \psi ={\frac {\partial r}{\partial q}}\qquad .\quad .&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(2)}\end{alignedat}}$ ​${\begin{alignedat}{2}&{\sqrt {E}}.\sin(\psi -\omega )=m.{\frac {\partial \phi }{\partial p}}&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(3)}\\&{\sqrt {G}}.\sin \psi =m.{\frac {\partial \phi }{\partial q}}\quad .\quad .&\quad .\quad .\quad .\quad .\quad .\quad .\quad {(4)}\end{alignedat}}$
But the last and the next to the last equations of the preceding article give
${\begin{aligned}EG-F^{2}=E\left({\frac {\partial r}{\partial q}}\right)^{2}-2F.{\frac {\partial r}{\partial p}}.{\frac {\partial r}{\partial q}}+G\left({\frac {\partial r}{\partial p}}\right)^{2}.&\quad .\quad {(5)}\;\quad \qquad \\\left(E.{\frac {\partial r}{\partial q}}-F.{\frac {\partial r}{\partial p}}\right).{\frac {\partial \phi }{\partial q}}=\left(F.{\frac {\partial r}{\partial q}}-G.{\frac {\partial r}{\partial p}}\right).{\frac {\partial \phi }{\partial p}}&\quad .\quad {(6)}\;\quad \qquad \end{aligned}}$
From these equations must be determined the quantities r, {\textstyle r, } ϕ, {\textstyle \phi , } ψ{\textstyle \psi } and (if need be) m, {\textstyle m, } as functions of p{\textstyle p} and q.{\textstyle q.} Indeed, integration of equation (5) will give r;{\textstyle r;} r{\textstyle r} being found, integration of equation (6) will give ϕ;{\textstyle \phi ;} and one or other of equations (1), (2) will give ψ{\textstyle \psi } itself. Finally, m{\textstyle m} is obtained from one or other of equations (3), (4).
The general integration of equations (5), (6) must necessarily introduce two arbitrary functions. We shall easily understand what their meaning is, if we remember that these equations are not limited to the case we are here considering, but are equally valid if r{\textstyle r} and ϕ{\textstyle \phi } are taken in the more general sense of Art. 16, so that r{\textstyle r} is the length of the shortest line drawn normal to a fixed but arbitrary line, and ϕ{\textstyle \phi } is an arbitrary function of the length of that part of the fixed line which is intercepted between any shortest line and an arbitrary fixed point. The general solution must embrace all this in a general way, and the arbitrary functions must go over into definite functions only when the arbitrary line and the arbitrary functions of its parts, which ϕ{\textstyle \phi } must represent, are themselves defined. In our case an infinitely small circle may be taken, having its centre at the point from which the distances r{\textstyle r} are measured, and ϕ{\textstyle \phi } will denote the parts themselves of this circle, divided by the radius. Whence it is easily seen that the equations (5), (6) are quite sufficient for our case, provided that the functions which they leave undefined satisfy the condition which r{\textstyle r} and ϕ{\textstyle \phi } satisfy for the initial point and for points at an infinitely small distance from this point.
Moreover, in regard to the integration itself of the equations (5), (6), we know that it can be reduced to the integration of ordinary differential equations, which, however, often happen to be so complicated that there is little to be gained by the reduction. On the contrary, the development in series, which are abundantly sufficient for practical requirements, when only a finite portion of the surface is under consideration, presents no difficulty; and the formulæ thus derived open a fruitful source for ​the solution of many important problems. But here we shall develop only a single example in order to show the nature of the method.
23.
We shall now consider the case where all the lines for which p{\textstyle p} is constant are shortest lines cutting orthogonally the line for which ϕ=0, {\textstyle \phi =0, } which line we can regard as the axis of abscissas. Let A{\textstyle A} be the point for which r=0, {\textstyle r=0, } D{\textstyle D} any point whatever on the axis of abscissas, AD=p, {\textstyle AD=p, } B{\textstyle B} any point whatever on the shortest line normal to AD{\textstyle AD} at D, {\textstyle D, } and BD=q, {\textstyle BD=q, } so that p{\textstyle p} can be regarded as the abscissa, q{\textstyle q} the ordinate of the point B.{\textstyle B.} The abscissas we assume positive on the branch of the axis of abscissas to which ϕ=0{\textstyle \phi =0} corresponds, while we always regard r{\textstyle r} as positive. We take the ordinates positive in the region in which ϕ{\textstyle \phi } is measured between 0{\textstyle 0} and 180$^∘$.{\textstyle 180^{\circ }.}
By the theorem of Art. 16 we shall have
$\omega =90^{\circ },\quad F=0,\quad G=1,$
and we shall set also
${\sqrt {E}}=n.$
Thus n{\textstyle n} will be a function of p, {\textstyle p, } q, {\textstyle q, } such that for q=0{\textstyle q=0} it must become equal to unity. The application of the formula of Art. 18 to our case shows that on any shortest line whatever we must have
$d\theta ={\frac {\partial n}{\partial q}}.dp,$
where θ{\textstyle \theta } denotes the angle between the element of this line and the element of the line for which q{\textstyle q} is constant. Now since the axis of abscissas is itself a shortest line, and since, for it, we have everywhere θ=0, {\textstyle \theta =0, } we see that for q=0{\textstyle q=0} we must have everywhere
${\frac {\partial n}{\partial q}}=0.$
Therefore we conclude that, if n{\textstyle n} is developed into a series in ascending powers of q, {\textstyle q, } this series must have the following form:
$n=1+fq^{2}+gq^{3}+hq^{4}+{\text{etc.}}$
where f, {\textstyle f, } g, {\textstyle g, } h, {\textstyle h, } etc., will be functions of p, {\textstyle p, } and we set
${\begin{alignedat}{4}f&=f^{\circ }&&+f'p&&+f''p^{2}&&+{\text{etc.}}\\g&=g^{\circ }&&+g'p&&+g''p^{2}&&+{\text{etc.}}\\h&=h^{\circ }&&+h'p&&+h''p^{2}&&+{\text{etc.}}\end{alignedat}}$ ​or
${\begin{alignedat}{2}n=1+f^{\circ }q^{2}&+f'pq^{2}&&+f''p^{2}q^{2}+{\text{etc.}}\\&+g^{\circ }q^{3}&&+g'pq^{3}+{\text{etc.}}\\&&&+h^{\circ }q^{4}+{\text{etc. etc.}}\end{alignedat}}$
24.
The equations of Art. 22 give, in our case,
${\begin{aligned}&n\sin \psi ={\frac {\partial r}{\partial p}},\quad \cos \psi ={\frac {\partial r}{\partial q}},\quad -n\cos \psi =m.{\frac {\partial \phi }{\partial r}},\quad \sin \psi =m.{\frac {\partial \phi }{\partial q}},\\&n^{2}=n^{2}\left({\frac {\partial r}{\partial q}}\right)^{2}+\left({\frac {\partial r}{\partial p}}\right)^{2},\quad n^{2}.{\frac {\partial r}{\partial q}}.{\frac {\partial \phi }{\partial q}}+{\frac {\partial r}{\partial p}}.{\frac {\partial \phi }{\partial p}}=0\end{aligned}}$
By the aid of these equations, the fifth and sixth of which are contained in the others, series can be developed for r, {\textstyle r, } ϕ, {\textstyle \phi , } ψ, {\textstyle \psi , } m, {\textstyle m, } or for any functions whatever of these quantities. We are going to establish here those series that are especially worthy of attention.
Since for infinitely small values of p, {\textstyle p, } q{\textstyle q} we must have
$r^{2}=p^{2}+q^{2},$
the series for r$^2${\textstyle r^{2}} will begin with the terms p$^2$+q$^2$.{\textstyle p^{2}+q^{2}.} We obtain the terms of higher order by the method of undetermined coefficients, by means of the equation
$\left({\frac {1}{n}}.{\frac {\partial (r^{2})}{\partial p}}\right)^{2}+\left({\frac {\partial (r^{2})}{\partial q}}\right)^{2}=4r^{2}$
Thus we have
r$^2$=p$^2$+2/3 f$^∘$p$^2$q$^2$+1/2 f$^′$p$^3$q$^2$+(2/5 f$^″$−4/45 f$^∘$$^2$)p$^4$q$^2$etc.+q$^2$+1/2 g$^∘$p$^2$q$^3$+2/5 g$^′$p$^3$q$^3$+(2/5 h$^∘$−7/45 f$^∘$$^2$)p$^2$q$^4${\textstyle \displaystyle {\begin{alignedat}{3}r^{2}&=p^{2}+{\tfrac {2}{3}}f^{\circ }p^{2}q^{2}&&+{\tfrac {1}{2}}f'p^{3}q^{2}&&+({\tfrac {2}{5}}f''-{\tfrac {4}{45}}{f^{\circ }}^{2})p^{4}q^{2}\quad {\text{etc.}}\\&+q^{2}&&+{\tfrac {1}{2}}g^{\circ }p^{2}q^{3}&&+{\tfrac {2}{5}}g'p^{3}q^{3}\\&&&&&+({\tfrac {2}{5}}h^{\circ }-{\tfrac {7}{45}}{f^{\circ }}^{2})p^{2}q^{4}\end{alignedat}}}
Then we have, from the formula
$r\sin \psi ={\frac {1}{2n}}.{\frac {\partial (r^{2})}{\partial p}},$
rsin⁡ψ=p−1/3 f$^∘$pq$^2$−1/4 f$^′$p$^2$q$^2$−(1/5 f$^″$+8/45 f$^∘$$^2$)p$^3$q$^2$etc.−1/2 g$^∘$pq$^3$−2/5 g$^′$p$^2$q$^3$−(3/5 h$^∘$−8/45 f$^∘$$^2$)pq$^4${\textstyle \displaystyle {\begin{alignedat}{2}r\sin \psi =p-{\tfrac {1}{3}}f^{\circ }pq^{2}&-{\tfrac {1}{4}}f'p^{2}q^{2}&&-({\tfrac {1}{5}}f''+{\tfrac {8}{45}}{f^{\circ }}^{2})p^{3}q^{2}\quad {\text{etc.}}\\&-{\tfrac {1}{2}}g^{\circ }pq^{3}&&-{\tfrac {2}{5}}g'p^{2}q^{3}\\&&&-({\tfrac {3}{5}}h^{\circ }-{\tfrac {8}{45}}{f^{\circ }}^{2})pq^{4}\end{alignedat}}}
$r\cos \psi ={\tfrac {1}{2}}\,{\frac {\partial (r^{2})}{\partial q}}$
${\begin{alignedat}{2}r\cos \psi =q+{\tfrac {2}{3}}f^{\circ }p^{2}q&+{\tfrac {1}{2}}f'p^{3}q&&+({\tfrac {2}{5}}f''-{\tfrac {4}{45}}{f^{\circ }}^{2})p^{4}q\quad {\text{etc.}}\\&+{\tfrac {3}{4}}g^{\circ }p^{2}q^{2}&&+{\tfrac {3}{5}}g'p^{3}q^{2}\\&&&+({\tfrac {4}{5}}h^{\circ }-{\tfrac {14}{45}}{f^{\circ }}^{2})p^{2}q^{3}\end{alignedat}}$
These formulæ give the angle ψ.{\textstyle \psi .} In like manner, for the calculation of the angle ϕ, {\textstyle \phi , } series for rcos⁡ϕ{\textstyle r\cos \phi } and rsin⁡ϕ{\textstyle r\sin \phi } are very elegantly developed by means of the partial differential equations
${\begin{aligned}&{\frac {\partial .r\cos \phi }{\partial p}}=n\cos \phi .\sin \psi -r\sin \phi .{\frac {\partial \phi }{\partial p}}\\&{\frac {\partial .r\cos \phi }{\partial q}}={\phantom {0}}\cos \phi .\cos \psi -r\sin \phi .{\frac {\partial \phi }{\partial q}}\\&{\frac {\partial .r\sin \phi }{\partial p}}=n\sin \phi .\sin \psi +r\cos \phi .{\frac {\partial \phi }{\partial p}}\\&{\frac {\partial .r\sin \phi }{\partial q}}={\phantom {0}}\sin \phi .\cos \psi +r\cos \phi .{\frac {\partial \phi }{\partial q}}\\&n\cos \psi .{\frac {\partial \phi }{\partial q}}+\sin \psi .{\frac {\partial \phi }{\partial p}}=0\end{aligned}}$ A combination of these equations gives
${\begin{alignedat}{3}&{\frac {r\sin \psi }{n}}.{\frac {\partial .r\cos \phi }{\partial p}}&&+r\cos \psi .{\frac {\partial .r\cos \phi }{\partial q}}&&=r\cos \phi \\&{\frac {r\sin \psi }{n}}.{\frac {\partial .r\sin \phi }{\partial p}}&&+r\cos \psi .{\frac {\partial .r\sin \phi }{\partial q}}&&=r\sin \phi \end{alignedat}}$
From these two equations series for rcos⁡ϕ, {\textstyle r\cos \phi , } rsin⁡ϕ{\textstyle r\sin \phi } are easily developed, whose first terms must evidently be p, {\textstyle p, } q{\textstyle q} respectively. The series are
${\begin{alignedat}{3}r\cos \phi &=p+{\tfrac {2}{3}}f^{\circ }pq^{2}&&+{\tfrac {5}{12}}f'p^{2}q^{2}&&+({\tfrac {3}{10}}f''-{\tfrac {8}{45}}{f^{\circ }}^{2})p^{3}q^{2}\quad {\text{etc.}}\\&&&+{\tfrac {1}{2}}g^{\circ }pq^{3}&&+{\tfrac {7}{20}}g'p^{2}q^{3}\\&&&&&+({\tfrac {2}{5}}h^{\circ }-{\tfrac {7}{45}}{f^{\circ }}^{2})pq^{4}\end{alignedat}}$
rsin⁡ϕ=q−1/3 f$^∘$p$^2$q−1/6 f$^′$p$^3$q−(1/10 f$^″$−7/90 f$^∘$$^2$)p$^4$qetc.−1/4 g$^∘$p$^2$q$^2$−3/20 g$^′$p$^3$q$^2$−(1/5 h$^∘$+13/90 f$^∘$$^2$)p$^2$q$^3${\textstyle {\begin{alignedat}{3}r\sin \phi &=q-{\tfrac {1}{3}}f^{\circ }p^{2}q&&-{\tfrac {1}{6}}f'p^{3}q&&-({\tfrac {1}{10}}f''-{\tfrac {7}{90}}{f^{\circ }}^{2})p^{4}q\quad {\text{etc.}}\\&&&-{\tfrac {1}{4}}g^{\circ }p^{2}q^{2}&&-{\tfrac {3}{20}}g'p^{3}q^{2}\\&&&&&-({\tfrac {1}{5}}h^{\circ }+{\tfrac {13}{90}}{f^{\circ }}^{2})p^{2}q^{3}\end{alignedat}}}
From a combination of equations [2], [3], [4], [5] a series for r$^2$cos⁡(ψ+ϕ), {\textstyle r^{2}\cos(\psi +\phi ), } may be derived, and from this, dividing by the series [1], a series for cos⁡(ψ+ϕ), {\textstyle \cos(\psi +\phi ), } from ​which may be found a series for the angle ψ+ϕ{\textstyle \psi +\phi } itself. However, the same series can be obtained more elegantly in the following manner. By differentiating the first and second of the equations introduced at the beginning of this article, we obtain
$\sin \psi .{\frac {\partial n}{\partial q}}+n\cos \psi .{\frac {\partial \psi }{\partial q}}+\sin \psi .{\frac {\partial \psi }{\partial p}}=0$
and this combined with the equation
$n\cos \psi .{\frac {\partial \phi }{\partial q}}+\sin \psi .{\frac {\partial \phi }{\partial p}}=0$
gives
${\frac {r\sin \psi }{n}}.{\frac {\partial n}{\partial q}}+{\frac {r\sin \psi }{n}}.{\frac {\partial (\psi +\phi )}{\partial p}}+r\cos \psi .{\frac {\partial (\psi +\phi )}{\partial q}}=0$
From this equation, by aid of the method of undetermined coefficients, we can easily derive the series for ψ+ϕ, {\textstyle \psi +\phi , } if we observe that its first term must be 1/2 π, {\textstyle {\frac {1}{2}}\pi , } the radius being taken equal to unity and 2π{\textstyle 2\pi } denoting the circumference of the circle,
ψ+ϕ=1/2 π−f$^∘$pq−2/3 f$^′$p$^2$q−(1/2 f$^″$−1/6 f$^∘$$^2$)p$^3$qetc.−g$^∘$pq$^2$−3/4 g$^′$p$^2$q$^2$−(h$^∘$−1/3 f$^∘$$^2$)pq$^3${\textstyle \displaystyle {\begin{alignedat}{2}\psi +\phi ={\tfrac {1}{2}}\pi -f^{\circ }pq&-{\tfrac {2}{3}}f'p^{2}q&&-({\tfrac {1}{2}}f''-{\tfrac {1}{6}}{f^{\circ }}^{2})p^{3}q\quad {\text{etc.}}\\&-g^{\circ }pq^{2}&&-{\tfrac {3}{4}}g'p^{2}q^{2}\\&&&-(h^{\circ }-{\tfrac {1}{3}}{f^{\circ }}^{2})pq^{3}\end{alignedat}}}
It seems worth while also to develop the area of the triangle ABD{\textstyle ABD} into a series. For this development we may use the following conditional equation, which is easily derived from sufficiently obvious geometric considerations, and in which S{\textstyle S} denotes the required area:
${\frac {r\sin \psi }{n}}.{\frac {\partial S}{\partial p}}+r\cos \psi .{\frac {\partial S}{\partial q}}={\frac {r\sin \psi }{n}}.\int n\,dq$
the integration beginning with q=0.{\textstyle q=0.} From this equation we obtain, by the method of undetermined coefficients,
S=1/2 pq−1/12 f$^∘$p$^3$q−1/20 f$^′$p$^4$q−(1/30 f$^″$−1/60 f$^∘$$^2$)p$^5$qetc.−1/12 f$^∘$pq$^3$−3/40 g$^∘$p$^3$q$^2$−1/20 g$^′$p$^4$q$^2$−7/120 f$^′$p$^2$q$^3$−(1/15 h$^∘$+2/45 f$^″$+1/60 f$^∘$$^2$)p$^3$q$^3$−1/10 g$^∘$pq$^4$−3/40 g$^′$p$^2$q$^4$−(1/10 h$^∘$−1/30 f$^∘$$^2$)pq$^5${\textstyle \displaystyle {\begin{alignedat}{4}S={\tfrac {1}{2}}pq&-{\tfrac {1}{12}}f^{\circ }p^{3}q&&-{\tfrac {1}{20}}f'p^{4}q&&-({\tfrac {1}{30}}f''-{\tfrac {1}{60}}{f^{\circ }}^{2})p^{5}q\quad {\text{etc.}}\\&-{\tfrac {1}{12}}f^{\circ }pq^{3}&&-{\tfrac {3}{40}}g^{\circ }p^{3}q^{2}&&-{\tfrac {1}{20}}g'p^{4}q^{2}\\&&&-{\tfrac {7}{120}}f'p^{2}q^{3}&&-({\tfrac {1}{15}}h^{\circ }+{\tfrac {2}{45}}f''+{\tfrac {1}{60}}{f^{\circ }}^{2})p^{3}q^{3}\\&&&-{\tfrac {1}{10}}g^{\circ }pq^{4}&&-{\tfrac {3}{40}}g'p^{2}q^{4}\\&&&&&-({\tfrac {1}{10}}h^{\circ }-{\tfrac {1}{30}}{f^{\circ }}^{2})pq^{5}\end{alignedat}}}
25.
From the formulæ of the preceding article, which refer to a right triangle formed by shortest lines, we proceed to the general case. Let C{\textstyle C} be another point on the same shortest line DB, {\textstyle DB, } for which point p{\textstyle p} remains the same as for the point B, {\textstyle B, } and q$^′$, {\textstyle q', } r$^′$, {\textstyle r', } ϕ$^′$, {\textstyle \phi ', } ψ$^′$, {\textstyle \psi ', } S$^′${\textstyle S'} have the same meanings as q, {\textstyle q, } r, {\textstyle r, } ϕ, {\textstyle \phi , } ψ, {\textstyle \psi , } S{\textstyle S} have for the point B.{\textstyle B.} There will thus be a triangle between the points A, {\textstyle A, } B, {\textstyle B, } C, {\textstyle C, } whose angles we denote by A, {\textstyle A, } B, {\textstyle B, } C, {\textstyle C, } the sides opposite these angles by a, {\textstyle a, } b, {\textstyle b, } c, {\textstyle c, } and the area by σ.{\textstyle \sigma .} We represent the measure of curvature at the points A, {\textstyle A, } B, {\textstyle B, } C{\textstyle C} by α, {\textstyle \alpha , } β, {\textstyle \beta , } γ{\textstyle \gamma } respectively. And then supposing (which is permissible) that the quantities p, {\textstyle p, } q, {\textstyle q, } q−q$^′${\textstyle q-q'} are positive, we shall have
${\begin{aligned}A&=\phi -\phi ',&B&=\psi ,&C&=\pi -\psi ',&&\\a&=q-q',&b&=r',&c&=r,&\sigma &=S-S'.\end{aligned}}$
We shall first express the area σ{\textstyle \sigma } by a series. By changing in [7] each of the quantities that refer to B{\textstyle B} into those that refer to C, {\textstyle C, } we obtain a formula for S$^′$.{\textstyle S'.} Whence we have, exact to quantities of the sixth order,
${\begin{aligned}\sigma ={\tfrac {1}{2}}p(q-q'){\bigl1&-{\tfrac {1}{6}}f^{\circ }(p^{2}+q^{2}+qq'+q'^{2})\\&-{\tfrac {1}{60}}f'p(6p^{2}+7q^{2}+7qq'+7q'^{2})\\&-{\tfrac {1}{20}}g^{\circ }(q+q')(3p^{2}+4q^{2}+4q'^{2}){\bigr )}\end{aligned}}$
This formula, by aid of series [2], namely,
$c\sin B=p(1-{\tfrac {1}{3}}f^{\circ }q^{2}-{\tfrac {1}{4}}f'pq^{2}-{\tfrac {1}{2}}g^{\circ }q^{3}-{\text{etc.}})$
can be changed into the following:
${\begin{aligned}\sigma ={\tfrac {1}{2}}ac\sin B{\bigl1&-{\tfrac {1}{6}}f^{\circ }(p^{2}-q^{2}+qq'+q'^{2})\\&-{\tfrac {1}{60}}f'p(6p^{2}-8q^{2}+7qq'+7q'^{2})\\&-{\tfrac {1}{20}}g^{\circ }(3p^{2}q+3p^{2}q'-6p^{3}+4q^{2}q'+4qq'^{2}+4q'^{3}){\bigr )}\end{aligned}}$
The measure of curvature for any point whatever of the surface becomes (by Art. 19, where m, {\textstyle m, } p, {\textstyle p, } q{\textstyle q} were what n, {\textstyle n, } q, {\textstyle q, } p{\textstyle p} are here)
${\begin{aligned}k&=-{\frac {1}{n}}.{\frac {\partial ^{2}n}{\partial q^{2}}}=-{\frac {2f+6gq+12hq^{2}+{\text{etc.}}}{1+fq^{2}+{\text{etc.}}}}\\&=-2f-6gq-(12h-2f^{2})q^{2}-{\text{etc.}}\end{aligned}}$
Therefore we have, when p, {\textstyle p, } q{\textstyle q} refer to the point B, {\textstyle B, }
$\beta =-2f^{\circ }-2f'p-6g^{\circ }q-2f''p^{2}-6g'pq-(12h^{\circ }-2{f^{\circ }}^{2})q^{2}-{\text{etc.}}$ ​Also
${\begin{aligned}\gamma &=-2f^{\circ }-2f'p-6g^{\circ }q'-2f''p^{2}-6g'pq'-(12h^{\circ }-2{f^{\circ }}^{2})q'^{2}-{\text{etc.}}\\\alpha &=-2f^{\circ }\end{aligned}}$
Introducing these measures of curvature into the expression for σ, {\textstyle \sigma , } we obtain the following expression, exact to quantities of the sixth order (exclusive):
${\begin{aligned}\quad \;\sigma ={\tfrac {1}{2}}ac\sin B{\bigl1&+{\tfrac {1}{120}}\alpha (4p^{2}-2q^{2}+3qq'+3q'^{2})\\&+{\tfrac {1}{120}}\beta (3p^{2}-6q^{2}+6qq'+3q'^{2})\\&+{\tfrac {1}{120}}\gamma (3p^{2}-2q^{2}+{\phantom {0}}qq'+4q'^{2}){\bigr )}\end{aligned}}$
The same precision will remain, if for p, {\textstyle p, } q, {\textstyle q, } q$^′${\textstyle q'} we substitute csin⁡B, {\textstyle c\sin B, } ccos⁡B, {\textstyle c\cos B, } ccos⁡B−a.{\textstyle c\cos B-a.} This gives
${\begin{aligned}\sigma ={\tfrac {1}{2}}ac\sin B{\bigl1&+{\tfrac {1}{120}}\alpha (3a^{2}+4c^{2}-{\phantom {0}}9ac\cos B)\\&+{\tfrac {1}{120}}\beta (3a^{2}+3c^{2}-12ac\cos B)\\&+{\tfrac {1}{120}}\gamma (4a^{2}+3c^{2}-{\phantom {0}}9ac\cos B){\bigr )}\end{aligned}}$
Since all expressions which refer to the line AD{\textstyle AD} drawn normal to BC{\textstyle BC} have disappeared from this equation, we may permute among themselves the points A, {\textstyle A, } B, {\textstyle B, } C{\textstyle C} and the expressions that refer to them. Therefore we shall have, with the same precision,
${\begin{aligned}\sigma ={\tfrac {1}{2}}bc\sin A{\bigl1&+{\tfrac {1}{120}}\alpha (3b^{2}+3c^{2}-12bc\cos A)\\&+{\tfrac {1}{120}}\beta (3b^{2}+4c^{2}-{\phantom {0}}9bc\cos A)\\&+{\tfrac {1}{120}}\gamma (4b^{2}+3c^{2}-{\phantom {0}}9bc\cos A){\bigr )}\\\end{aligned}}$
${\begin{aligned}\sigma ={\tfrac {1}{2}}ab\sin C{\bigl1&+{\tfrac {1}{120}}\alpha (3a^{2}+4b^{2}-{\phantom {0}}9ab\cos C)\\&+{\tfrac {1}{120}}\beta (4a^{2}+3b^{2}-{\phantom {0}}9ab\cos C)\\&+{\tfrac {1}{120}}\gamma (3a^{2}+3b^{2}-12ab\cos C){\bigr )}\end{aligned}}$
26.
The consideration of the rectilinear triangle whose sides are equal to a, {\textstyle a, } b, {\textstyle b, } c{\textstyle c} is of great advantage. The angles of this triangle, which we shall denote by A$^∗$, {\textstyle A^{*}, } B$^∗$, {\textstyle B^{*}, } C$^∗$, {\textstyle C^{*}, } differ from the angles of the triangle on the curved surface, namely, from A, {\textstyle A, } B, {\textstyle B, } C, {\textstyle C, } by quantities of the second order; and it will be worth while to develop these differences accurately. However, it will be sufficient to show the first steps in these more tedious than difficult calculations.
B{\textstyle B}
C, {\textstyle C, }
r$^{′2}$, {\textstyle r'^{2}, }
r$^′$cos⁡ϕ$^′$, {\textstyle r'\cos \phi ', }
r$^′$sin⁡ϕ$^′$.{\textstyle r'\sin \phi '.}
​ ${\begin{aligned}r^{2}+r'^{2}&-(q-q')^{2}-2r\cos \phi .r'\cos \phi '-2r\sin \phi .r'\sin \phi '\\&\quad =b^{2}+c^{2}-a^{2}-2bc\cos A\\&\quad =2bc(\cos A^{*}-\cos A),\end{aligned}}$
combined with the development of the expression
$r\sin \phi .r'\cos \phi '-r\cos \phi .r'\sin \phi '=bc\sin A,$
gives the following formula:
${\begin{aligned}\cos A^{*}-\cos A=-(q-q')p\sin A{\bigl{\tfrac {1}{3}}f^{\circ }&+{\tfrac {1}{6}}f'p+{\tfrac {1}{4}}g^{\circ }(q+q')\\&+({\tfrac {1}{10}}f''-{\tfrac {1}{45}}{f^{\circ }}^{2})p^{2}+{\tfrac {3}{20}}g'p(q+q')\\&+({\tfrac {1}{5}}h^{\circ }-{\tfrac {7}{90}}{f^{\circ }}^{2})(q^{2}+qq'+q'^{2})+{\text{etc.}}{\bigr )}\end{aligned}}$
From this we have, to quantities of the fifth order,
${\begin{aligned}A^{*}-A=+(q-q')p{\bigl{\tfrac {1}{3}}f^{\circ }&+{\tfrac {1}{6}}f'p+{\tfrac {1}{4}}g^{\circ }(q+q')+{\tfrac {1}{10}}f''p^{2}\\&+{\tfrac {3}{20}}g'p(q+q')+{\tfrac {1}{5}}h^{\circ }(q^{2}+qq'+q'^{2})\\&-{\tfrac {1}{90}}{f^{\circ }}^{2}(7p^{2}+7q^{2}+12qq'+7q'^{2}){\bigr )}\end{aligned}}$
Combining this formula with
$2\sigma =ap{\bigl1-{\tfrac {1}{6}}f^{\circ }(p^{2}+q^{2}+qq'+q'^{2})-{\text{etc.}}{\bigr )}$ and with the values of the quantities α, {\textstyle \alpha , } β, {\textstyle \beta , } γ{\textstyle \gamma } found in the preceding article, we obtain, to quantities of the fifth order,
${\begin{aligned}A^{*}=A-\sigma {\bigl{\tfrac {1}{6}}\alpha &+{\tfrac {1}{12}}\beta +{\tfrac {1}{12}}\gamma +{\tfrac {2}{15}}f''p^{2}+{\tfrac {1}{5}}g'p(q+q')\\&+{\tfrac {1}{5}}h^{\circ }(3q^{2}-2qq'+3q'^{2})\\&+{\tfrac {1}{90}}{f^{\circ }}^{2}(4p^{2}-11q^{2}+14qq'-11q'^{2}){\bigr )}\end{aligned}}$
By precisely similar operations we derive
${\begin{aligned}B^{*}=B-\sigma {\bigl{\tfrac {1}{12}}\alpha &+{\tfrac {1}{6}}\beta +{\tfrac {1}{12}}\gamma +{\tfrac {1}{10}}f''p^{2}+{\tfrac {1}{10}}g'p(2q+q')\\&+{\tfrac {1}{5}}h^{\circ }(4q^{2}-4qq'+3q'^{2})\\&-{\tfrac {1}{90}}{f^{\circ }}^{2}(2p^{2}+8q^{2}-8qq'+11q'^{2}){\bigr )}\\\end{aligned}}$
${\begin{aligned}C^{*}=C-\sigma {\bigl{\tfrac {1}{12}}\alpha &+{\tfrac {1}{12}}\beta +{\tfrac {1}{6}}\gamma +{\tfrac {1}{10}}f''p^{2}+{\tfrac {1}{10}}g'p(q+2q')\\&+{\tfrac {1}{5}}h^{\circ }(3q^{2}-4qq'+4q'^{2})\\&-{\tfrac {1}{90}}{f^{\circ }}^{2}(2p^{2}+11q^{2}-8qq'+8q'^{2}){\bigr )}\end{aligned}}$
From these formulæ we deduce, since the sum A$^∗$+B$^∗$+C$^∗${\textstyle A^{*}+B^{*}+C^{*}} is equal to two right angles, the excess of the sum A+B+C{\textstyle A+B+C} over two right angles, namely,
${\begin{aligned}A+B+C=\pi +\sigma {\bigl{\tfrac {1}{3}}\alpha &+{\tfrac {1}{3}}\beta +{\tfrac {1}{3}}\gamma +{\tfrac {1}{3}}f''p^{2}+{\tfrac {1}{2}}g'p(q+q')\\&+(2h^{\circ }-{\tfrac {1}{3}}{f^{\circ }}^{2})(q^{2}-qq'+q'^{2}){\bigr )}\end{aligned}}$
27.
If the curved surface is a sphere of radius R, {\textstyle R, } we shall have
$\alpha =\beta =\gamma =-2f^{\circ }={\frac {1}{R^{2}}};\quad f''=0,\quad g'=0,\quad 6h^{\circ }-{f^{\circ }}^{2}=0,$
or
$h^{\circ }={\frac {1}{24R^{4}}}.$
Consequently, formula [14] becomes
$A+B+C=\pi +{\frac {\sigma }{R^{2}}},$
which is absolutely exact. But formulæ [11], [12], [13] give
${\begin{aligned}A^{*}&=A-{\frac {\sigma }{3R^{2}}}-{\frac {\sigma }{180R^{4}}}(2p^{2}-q^{2}+4qq'-q'^{2})\\B^{*}&=B-{\frac {\sigma }{3R^{2}}}+{\frac {\sigma }{180R^{4}}}(p^{2}-2q^{2}+2qq'+q'^{2})\\C^{*}&=C-{\frac {\sigma }{3R^{2}}}+{\frac {\sigma }{180R^{4}}}(p^{2}+q^{2}+2qq'-2q'^{2})\end{aligned}}$
or, with equal exactness,
${\begin{aligned}A^{*}&=A-{\frac {\sigma }{3R^{2}}}-{\frac {\sigma }{180R^{4}}}(b^{2}+c^{2}-2a^{2})\\B^{*}&=B-{\frac {\sigma }{3R^{2}}}-{\frac {\sigma }{180R^{4}}}(a^{2}+c^{2}-2b^{2})\\C^{*}&=C-{\frac {\sigma }{3R^{2}}}-{\frac {\sigma }{180R^{4}}}(a^{2}+b^{2}-2c^{2})\end{aligned}}$
Neglecting quantities of the fourth order, we obtain from the above the well-known theorem first established by the illustrious Legendre.
28.
Our general formulæ, if we neglect terms of the fourth order, become extremely simple, namely:
${\begin{aligned}A^{*}&=A-{\tfrac {1}{12}}\sigma (2\alpha +\beta +\gamma )\\B^{*}&=B-{\tfrac {1}{12}}\sigma (\alpha +2\beta +\gamma )\\C^{*}&=C-{\tfrac {1}{12}}\sigma (\alpha +\beta +2\gamma )\end{aligned}}$
Thus to the angles A, {\textstyle A, } B, {\textstyle B, } C{\textstyle C} on a non-spherical surface, unequal reductions must be applied, so that the sines of the changed angles become proportional to the sides opposite. The inequality, generally speaking, will be of the third order; but if the surface differs little from a sphere, the inequality will be of a higher order. Even in the greatest triangles on the earth’s surface, whose angles it is possible to measure, the difference can always be regarded as insensible. Thus, e.g., in the greatest of the triangles which we have measured in recent years, namely, that between the points Hohehagen, Brocken, Inselberg, where the excess of the sum of the angles was 14$^″$.85348, {\textstyle 14''.85348, } the calculation gave the following reductions to be applied to the angles:
Hohehagen ......−4$^″$.95113{\textstyle \quad .\quad .\quad .\quad .\quad .\quad .-4''{.}95113}
Brocken ......−4$^″$.95104{\textstyle \quad .\quad .\quad .\quad .\quad .\quad .-4''{.}95104}
Inselberg ......−4$^″$.95131{\textstyle \quad .\quad .\quad .\quad .\quad .\quad .-4''{.}95131}
29.
We shall conclude this study by comparing the area of a triangle on a curved surface with the area of the rectilinear triangle whose sides are a, {\textstyle a, } b, {\textstyle b, } c.{\textstyle c.} We shall denote the area of the latter by σ$^∗$;{\textstyle \sigma ^{*};} hence
$\sigma ^{*}={\tfrac {1}{2}}bc\sin A^{*}={\tfrac {1}{2}}ac\sin B^{*}={\tfrac {1}{2}}ab\sin C^{*}$
We have, to quantities of the fourth order,
$\sin A^{*}=\sin A-{\tfrac {1}{12}}\sigma \cos A.(2\alpha +\beta +\gamma )$
or, with equal exactness,
$\sin A=\sin A^{*}.{\bigl1+{\tfrac {1}{24}}bc\cos A.(2\alpha +\beta +\gamma ){\bigr )}$
Substituting this value in formula [9], we shall have, to quantities of the sixth order,
${\begin{aligned}\sigma ={\tfrac {1}{2}}bc\sin A^{*}.{\bigl1&+{\tfrac {1}{120}}\alpha (3b^{2}+3c^{2}-2bc\cos A)\\&+{\tfrac {1}{120}}\beta (3b^{2}+4c^{2}-4bc\cos A)\\&+{\tfrac {1}{120}}\gamma (4b^{2}+3c^{2}-4bc\cos A){\bigr )},\end{aligned}}$
or, with equal exactness,
$\sigma =\sigma ^{*}{\bigl1+{\tfrac {1}{120}}\alpha (a^{2}+2b^{2}+2c^{2})+{\tfrac {1}{120}}\beta (2a^{2}+b^{2}+2c^{2})+{\tfrac {1}{120}}\gamma (2a^{2}+2b^{2}+c^{2})$
For the sphere this formula goes over into the following form:
$\sigma =\sigma ^{*}{\bigl1+{\tfrac {1}{24}}\alpha (a^{2}+b^{2}+c^{2}){\bigr )}.$ ​It is easily verified that, with the same precision, the following formula may be taken instead of the above:
$\sigma =\sigma ^{*}{\sqrt {\frac {\sin A.\sin B.\sin C}{\sin A^{*}.\sin B^{*}.\sin C^{*}}}}$
If this formula is applied to triangles on non-spherical curved surfaces, the error, generally speaking, will be of the fifth order, but will be insensible in all triangles such as may be measured on the earth’s surface.
This work is a translation and has a separate copyright status to the applicable copyright protections of the original content.