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 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 denote the coordinates of two points, the distance between them, and the point on the sphere which represents the direction of the line drawn from the first point to the second, we shall have
V. From this it follows at once that, generally,
and also, if denote any other point on the sphere,
VI.Theorem.If denote four points on the sphere, and the angle which the arcs make at their point of intersection, then we shall have
Demonstration. Let denote also the point of intersection itself, and set
Then we shall have
and consequently,
But as there are for each great circle two branches going out from the point these two branches form at this point two angles whose sum is But our analysis shows that those branches are to be taken whose directions are in the sense from the point to and from the point to 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 we can take the arc between the poles of the great circles of which the arcs 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 to and from to both of the two poles are to be on the right, or both on the left.
VII. Let be the three points on the sphere and set, for brevity,
and also
Let denote the pole of the great circle of which is a part, this pole being the one that is placed in the same position with respect to this arc as the point is with respect to the arc Then we shall have, by the preceding theorem,
or, because
and similarly,
Multiplying these equations by respectively, and adding, we obtain, by means of the second of the theorems deduced in V,
Now there are three cases to be distinguished. First, when lies on the great circle of which the arc is a part, we shall have and consequently, If does not lie on that great circle, the second case will be when is on the same side as the third case when they are on opposite sides. In the last two cases the points will form a spherical triangle, and in the second case these points will lie in the same order as the points and in the opposite order in the third case. Denoting the angles of this triangle simply by and the perpendicular drawn on the sphere from the point to the side by we shall have
and
the upper sign being taken for the second case, the lower for the third. From this it follows that
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 represents six times the volume of the pyramid formed by the points and the centre of the sphere. Whence, finally, it is clear that the expression expresses generally the volume of any pyramid contained between the origin of coordinates and the three points whose coordinates are
3.
A curved surface is said to possess continuous curvature at one of its points if the directions of all the straight lines drawn from to points of the surface at an infinitely small distance from are deflected infinitely little from one and the same plane passing through This plane is said to touch the surface at the point 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 which is also called the normal to the curved surface at the point We shall represent the direction of this normal by the point on the auxiliary sphere, and we shall set
and denote the coordinates of the point by Also let be the coordinates of another point on the curved surface; its distance from which is infinitely small; and finally, let be the point on the sphere representing the direction of the element Then we shall have
and, since must be equal to
By combining these equations we obtain
There are two general methods for defining the nature of a curved surface. The first uses the equation between the coordinates which we may suppose reduced to the form where will be a function of the indeterminates Let the complete differential of the function be
and on the curved surface we shall have
and consequently,
Since this equation, as well as the one we have established above, must be true for the directions of all elements on the curved surface, we easily see that must be proportional to respectively, and consequently, since
we shall have either
or
The second method expresses the coordinates in the form of functions of two variables, Suppose that differentiation of these functions gives
Substituting these values in the formula given above, we obtain
Since this equation must hold independently of the values of the differentials we evidently shall have
From this we see that will be proportioned to the quantities
Hence, on setting, for brevity,
we shall have either
or
With these two general methods is associated a third, in which one of the coordinates, say, is expressed in the form of a function of the other two, This method is evidently only a particular case either of the first method, or of the second. If we set
we shall have either
or
5.
The two solutions found in the preceding article evidently refer to opposite points of the sphere, or to opposite directions, as one would expect, since the normal may be drawn toward either of the two sides of the curved surface. If we wish to distinguish between the two regions bordering upon the surface, and call one the exterior region and the other the interior region, we can then assign to each of the two normals its appropriate solution by aid of the theorem derived in Art. 2 (VII), and at the same time establish a criterion for distinguishing the one region from the other.
In the first method, such a criterion is to be drawn from the sign of the quantity Indeed, generally speaking, the curved surface divides those regions of space in which keeps a positive value from those in which the value of becomes negative. In fact, it is easily seen from this theorem that, if 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 is to hold throughout the entire surface, or whether for different parts there will be different rules. As long as the coefficients 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 is variable, constant; the other for which is variable, 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 as increases, the branch of the line of the latter system going out from the point as increases, and the normal drawn toward the exterior region, are similarly placed as the 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 axes, the second solution will hold.
In the third method, it is to be seen whether, when receives a positive increment, and 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 denoting the element of area of the figure, and 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 denote the area of an element of this surface; then will be the area of the projection of this element on the plane of the coordinates and consequently, if is the area of the corresponding element on the sphere, will be the area of its projection on the same plane. The positive or negative sign of 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
The double area of this triangle will be expressed by the formula
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 -axis of coordinates with respect to the -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
the double area of this projection will be expressed by
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
If now we suppose the nature of the curved surface to be defined according to the third method considered in Art. 4, and will be in the form of functions of the quantities We shall have, therefore,
When these values have been substituted, the above expression becomes
Setting, as above,
and also
or
we have from the formulæ given above
and hence
or
and so
Substituting these values in the above expression, it becomes
8.
By a suitable choice of origin and axes of coordinates, we can easily make the values of the quantities vanish for a definite point Indeed, the first two conditions will be fulfilled at once if the tangent plane at this point be taken for the -plane. If, further, the origin is placed at the point itself, the expression for the coordinate evidently takes the form
where will be of higher degree than the second. Turning now the axes of and through an angle such that
it is easily seen that there must result an equation of the form
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 -axis, a plane curve will be obtained, the radius of curvature of which at the point will be equal to the positive or negative sign indicating that the curve is concave or convex toward that region toward which the coordinates are positive.
II. In like manner will be the radius of curvature at the point of the plane curve which is the intersection of the surface and the plane through the -axis and the -axis.
III. Setting the equation becomes
from which we see that if the section is made by a plane through the normal at and making an angle with the -axis, we shall have a plane curve whose radius of curvature at the point will be
IV. Therefore, whenever we have the radii of curvature in all the normal planes will be equal. But if and are not equal, it is evident that, since for any value whatever of the angle falls between and 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 and have the same sign. On the other hand, one has the greatest convex curvature, the other the greatest concave curvature, if and 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 on the curved surface takes the very simple form
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
so that
Now since we find through differentiation
or, eliminating by means of the equation
In like manner we obtain
From this we conclude that
Substituting these values in the formula of Art. 7, we obtain for the measure of curvature the following symmetric expression:
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
and let us put, for brevity,
First we see that
or
Thus, inasmuch as may be regarded as a function of we have
Then from the formulæ
we have
Thence we obtain for the total differentials of
If now we substitute in these formulæ
and if we note that the values of the differentials thus obtained must be equal, independently of the differentials to the quantities respectively, we shall find, after some sufficiently obvious transformations,
Hence, if we put, for the sake of brevity,
we shall have
From this we find, after the reckoning has been carried out,
and therefore the formula for the measure of curvature
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:
Let us eliminate from the equations 1, 4, 7 the quantities which is done by multiplying them by respectively and adding. In this way we obtain
an equation which is easily transformed into
Likewise the elimination of or from the same equations gives
Multiplying these three equations by respectively and adding, we obtain
If we treat the equations 2, 5, 8 in the same way, we obtain
and after these equations are multiplied by respectively, addition gives
A combination of this equation with equation (10) gives
It is clear that we have
or
Moreover, it is easily shown that we shall have
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 and their differential quotients of the first and second orders:
12.
Since we always have
it is clear that
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 as functions of the indeterminates 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 will correspond a definite point of the latter surface, whose coordinates are Evidently can also be regarded as functions of the indeterminates and therefore for the element we shall have an expression of the form
where also denote functions of 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
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
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
which connects the linear element with the two indeterminates 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 corresponding to the different points of it are given in the form of functions of a single variable, which we shall call The length of such a line from an arbitrary initial point to the point whose coordinates are is expressed by the integral
If we suppose that the position of the line undergoes an infinitely small variation, so that the coordinates of the different points receive the variations the variation of the whole length becomes
which expression we can change into the form
We know that, in case the line is to be the shortest between its end points, all that stands under the integral sign must vanish. Since the line must lie on the given surface, whose nature is defined by the equation
the variations also must satisfy the equation
and from this it follows at once, according to well-known rules, that the differentials
must be proportional to the quantities respectively. Let be the element of the curved line; the point on the sphere representing the direction of this element; the point on the sphere representing the direction of the normal to the curved surface; finally, let be the coordinates of the point and be those of the point with reference to the centre of the sphere. We shall then have
from which we see that the above differentials become And since the quantities are proportional to the character of shortest lines is expressed by the equations
Moreover, it is easily seen that
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 and is thus equal to if denotes the radius of curvature of the shortest line at this point. Thus we shall have
15.
Suppose that an infinite number of shortest lines go out from a given point 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 be that angle, or, more generally, a function of that angle, and the length of such a shortest line from the point to the point whose coordinates are Since to definite values of the variables there correspond definite points of the surface, the coordinates can be regarded as functions of We shall retain for the notation 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 will end on another line whose length, measured from an arbitrary initial point, we shall denote by Thus can be regarded as a function of the indeterminates and if denotes the point on the sphere corresponding to the direction of the element and also denote the coordinates of this point with reference to the centre of the sphere, we shall have
From these equations and from the equations
we have
Let denote the first member of this equation, which will also be a function of Differentiation of with respect to gives
But
and therefore its differential is equal to zero; and by the preceding article we have, if denotes the radius of curvature of the line
Thus we have
since evidently lies on the great circle whose pole is From this we see that is independent of and is, therefore, a function of alone. But for we evidently have consequently and independently of Thus, in general, we have necessarily and so i.e., 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 be two shortest lines of the same length including at an infinitely small angle, and let us suppose that one of the angles made by the element with the lines 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 is equal to and take on the line a point such that
Then, since the infinitely small triangle may be regarded as plane, we shall have
and consequently
i.e., the path from to through the point 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 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 for 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 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
which expresses generally the magnitude of a linear element on the curved surface, and investigate, first of all, the geometric meaning of the coefficients We have already said in Art. 5 that two systems of lines may be supposed to lie on the curved surface, being variable, constant along each of the lines of the one system; and variable, 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 will be equal to and the element of the second line corresponding to the variation will be equal to Finally, denoting by the angle between these elements, it is easily seen that we shall have
Furthermore, the area of the surface element in the form of a parallelogram between the two lines of the first system, to which correspond and the two lines of the second system, to which correspond will be
Any line whatever on the curved surface belonging to neither of the two systems is determined when and are supposed to be functions of a new variable, or one of them is supposed to be a function of the other. Let be the length of such a curve, measured from an arbitrary initial point, and in either direction chosen as positive. Let denote the angle which the element
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 increase, and is taken as positive toward that side toward which the values of increase. These conventions being made, it is easily seen that
18.
We shall now investigate the condition that this line be a shortest line. Since its length is expressed by the integral
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 as a function of When this is done, if the variation is denoted by the characteristic we have
and we know that what is included under the integral sign must vanish independently of Thus we have
This gives the following conditional equation for a shortest line:
which can also be written
From this equation, by means of the equation
it is also possible to eliminate the angle and to derive a differential equation of the second order between and 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 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 or Then the formula for the measure of curvature becomes
and for the variation of the angle
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 the angle becomes equal to zero, and therefore the equation for the variation of just given shows that we must have or that the coefficient must be independent of i.e., must be either a constant or a function of alone. It will be simplest to take for 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 and denote now the same quantities that were expressed in Arts. 15, 16 by and and that Thus the two preceding formulæ become:
or, setting
Generally speaking, will be a function of and the expression for the element of any line whatever of the second system. But in the particular case where all the lines go out from the same point, evidently we must have for Furthermore, in the case under discussion we will take for the angle itself which the first element of any line whatever of the first system makes with the element of any one of the lines chosen arbitrarily. Then, since for an infinitely small value of the element of a line of the second system (which can be regarded as a circle described with radius ) is equal to we shall have for an infinitely small value of and consequently, for at the same time, and
20.
We pause to investigate the case in which we suppose that denotes in a general manner the length of the shortest line drawn from a fixed point to any other point whatever of the surface, and the angle that the first element of this line makes with the first element of another given shortest line going out from Let be a definite point in the latter line, for which and another definite point of the surface, at which we denote the value of simply by Let us suppose the points joined by a shortest line, the parts of which, measured from we denote in a general way, as in Art. 18, by and, as in the same article, let us denote by the angle which any element makes with the element finally, let us denote by the values of the angle at the points We have thus on the curved surface a triangle formed by shortest lines. The angles of this triangle at and we shall denote simply by the same letters, and will be equal to to 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 to which corresponds an arc equal to the radius, is taken for the unit, we must set
where denotes the circumference of the sphere. Let us now examine the integral curvature of this triangle, which is equal to
denoting a surface element of the triangle. Wherefore, since this element is expressed by we must extend the integral
over the whole surface of the triangle. Let us begin by integration with respect to which, because
gives
for the integral curvature of the area lying between the lines of the first system, to which correspond the values of the second indeterminate. Since this integral curvature must vanish for the constant introduced by integration must be equal to the value of for i.e., equal to unity. Thus we have
where for must be taken the value corresponding to the end of this area on the line But on this line we have, by the preceding article,
whence our expression is changed into Now by a second integration, taken from to we obtain for the integral curvature
or
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 Thus the part of the surface of the sphere corresponding to the triangle is to the whole surface of the sphere as is to 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 of the sum of the angles of a triangle formed by shortest lines on a concavo-concave curved surface, or the deficit from 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 degrees.
More generally, in any polygon whatever of sides, each formed by a shortest line, the excess of the sum of the angles over right angles, or the deficit from right angles (according to the nature of the curved surface), is equal to the area of the corresponding polygon on the sphere, if the whole surface of the sphere is set equal to degrees. This follows at once from the preceding theorem by dividing the polygon into triangles.
21.
Let us again give to the symbols 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, in which case the general linear element is expressed by
Thus to any point whatever lying on the surface and defined by definite values of the variables will correspond definite values of the variables which will therefore be functions of Let us suppose we obtain by differentiating them
We shall now investigate the geometric meaning of the coefficients
Now four systems of lines may thus be supposed to lie upon the curved surface, for which respectively are constants. If through the definite point to which correspond the values 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 will be
The angles which the directions of these elements make with an arbitrary fixed direction we shall denote by measuring them in the sense in which the second is placed with respect to the first, so that is positive. Let us suppose (which is permissible) that the fourth is placed in the same sense with respect to the third, so that 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 of the variables, we see without much difficulty that we shall have generally, i.e., independently of the values of the increments
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,
In like manner we set
and also
Then the equation just found can be thrown into the following form:
or
And since the equation evidently must be independent of the initial direction, this direction can be chosen arbitrarily. Then, setting in the second formula or in the first we obtain the following equations:
and these equations, since they must be identical with
determine the coefficients We shall have
These four equations, taken in connection with the equations
may be written
Since by the substitutions
the trinomial
is transformed into
we easily obtain
and since, vice versa, the latter trinomial must be transformed into the former by the substitution
we find
22.
From the general discussion of the preceding article we proceed to the very extended application in which, while keeping for their most general meaning, we take for the quantities denoted in Art. 15 by We shall use here also in such a way that, for any point whatever on the surface, will be the shortest distance from a fixed point, and the angle at this point between the first element of and a fixed direction. We have thus
Let us set also
so that any linear element whatever becomes equal to
Consequently, the four equations deduced in the preceding article for give
But the last and the next to the last equations of the preceding article give
From these equations must be determined the quantities and (if need be) as functions of and Indeed, integration of equation (5) will give being found, integration of equation (6) will give and one or other of equations (1), (2) will give itself. Finally, 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 and are taken in the more general sense of Art. 16, so that is the length of the shortest line drawn normal to a fixed but arbitrary line, and 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 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 are measured, and 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 and 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 is constant are shortest lines cutting orthogonally the line for which which line we can regard as the axis of abscissas. Let be the point for which any point whatever on the axis of abscissas, any point whatever on the shortest line normal to at and so that can be regarded as the abscissa, the ordinate of the point The abscissas we assume positive on the branch of the axis of abscissas to which corresponds, while we always regard as positive. We take the ordinates positive in the region in which is measured between and
By the theorem of Art. 16 we shall have
and we shall set also
Thus will be a function of such that for 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
where denotes the angle between the element of this line and the element of the line for which is constant. Now since the axis of abscissas is itself a shortest line, and since, for it, we have everywhere we see that for we must have everywhere
Therefore we conclude that, if is developed into a series in ascending powers of this series must have the following form:
where etc., will be functions of and we set
or
24.
The equations of Art. 22 give, in our case,
By the aid of these equations, the fifth and sixth of which are contained in the others, series can be developed for 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 we must have
the series for will begin with the terms We obtain the terms of higher order by the method of undetermined coefficients,[1] by means of the equation
Thus we have
[1]
Then we have, from the formula
[2]
and from the formula
[3]
These formulæ give the angle In like manner, for the calculation of the angle series for and are very elegantly developed by means of the partial differential equations
A combination of these equations gives
From these two equations series for are easily developed, whose first terms must evidently be respectively. The series are
[4]
[5]
From a combination of equations [2], [3], [4], [5] a series for may be derived, and from this, dividing by the series [1], a series for from which may be found a series for the angle 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
and this combined with the equation
gives
From this equation, by aid of the method of undetermined coefficients, we can easily derive the series for if we observe that its first term must be the radius being taken equal to unity and denoting the circumference of the circle,
[6]
It seems worth while also to develop the area of the triangle 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 denotes the required area:
the integration beginning with From this equation we obtain, by the method of undetermined coefficients,
[7]
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 be another point on the same shortest line for which point remains the same as for the point and have the same meanings as have for the point There will thus be a triangle between the points whose angles we denote by the sides opposite these angles by and the area by We represent the measure of curvature at the points by respectively. And then supposing (which is permissible) that the quantities are positive, we shall have
We shall first express the area by a series. By changing in [7] each of the quantities that refer to into those that refer to we obtain a formula for Whence we have, exact to quantities of the sixth order,
This formula, by aid of series [2], namely,
can be changed into the following:
The measure of curvature for any point whatever of the surface becomes (by Art. 19, where were what are here)
Therefore we have, when refer to the point
Also
Introducing these measures of curvature into the expression for we obtain the following expression, exact to quantities of the sixth order (exclusive):
The same precision will remain, if for we substitute This gives
[8]
Since all expressions which refer to the line drawn normal to have disappeared from this equation, we may permute among themselves the points and the expressions that refer to them. Therefore we shall have, with the same precision,
[9]
[10]
26.
The consideration of the rectilinear triangle whose sides are equal to is of great advantage. The angles of this triangle, which we shall denote by differ from the angles of the triangle on the curved surface, namely, from 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.
Replacing in formulæ [1], [4], [5] the quantities that refer to by those that refer to we get formulæ for Then the development of the expression
combined with the development of the expression
gives the following formula:
From this we have, to quantities of the fifth order,
Combining this formula with
and with the values of the quantities found in the preceding article, we obtain, to quantities of the fifth order,
[11]
By precisely similar operations we derive
[12]
[13]
From these formulæ we deduce, since the sum is equal to two right angles, the excess of the sum over two right angles, namely,
[14]
This last equation could also have been derived from formula [6].
27.
If the curved surface is a sphere of radius we shall have
or
Consequently, formula [14] becomes
which is absolutely exact. But formulæ [11], [12], [13] give
or, with equal exactness,
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:
Thus to the angles 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 the calculation gave the following reductions to be applied to the angles:
Hohehagen
Brocken
Inselberg
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 We shall denote the area of the latter by hence
We have, to quantities of the fourth order,
or, with equal exactness,
Substituting this value in formula [9], we shall have, to quantities of the sixth order,
or, with equal exactness,
For the sphere this formula goes over into the following form:
It is easily verified that, with the same precision, the following formula may be taken instead of the above:
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.
Original:
This work was published before January 1, 1929, and is in the public domain worldwide because the author died at least 100 years ago.
Public domainPublic domainfalsefalse
Translation:
This work was published before January 1, 1929, and is in the public domain worldwide because the author died at least 100 years ago.
Public domainPublic domainfalsefalse
↑We have thought it useless to give the calculation here, which can be somewhat abridged by certain artifices.