This page has been proofread, but needs to be validated.
712
GEOMETRY
[ANALYTICAL

of equations, with the object of basing the algebraical proof of a geometrical fact on other facts of a more obvious character, the same logic is utilized, and the name “analytical geometry” is thus in part explained.

4. In algebra real positive number was alone at first dealt with, and in geometry actual signless distance. But in algebra it became of importance to say that every equation of the first degree has a root, and the notion of negative number was introduced. The negative unit had to be defined as what can be added to the positive unit and produce the sum zero. The corresponding notion was readily at hand in geometry, where it was clear that a unit distance can be measured to the left or down from the farther end of a unit distance already measured to the right or up from a point O, with the result of reaching O again. Thus, to give full interpretation in geometry to the algebraically negative, it was only necessary to associate distinctness of sign with oppositeness of direction. Later it was discovered that algebraical reasoning would be much facilitated, and that conclusions as to the real would retain all their soundness, if a pair of imaginary units ±√−1 of what might be called number were allowed to be contemplated, the pair being defined, though not separately, by the two properties of having the real sum 0 and the real product 1. Only in these two real combinations do they enter in conclusions as to the real. An advantage gained was that every quadratic equation, and not some quadratics only, could be spoken of as having two roots. These admissions of new units into algebra were final, as it admitted of proof that all equations of degrees higher than two have the full numbers of roots possible for their respective degrees in any case, and that every root has a value included in the form a + b √−1, with a, b, real. The corresponding enrichment could be given to geometry, with corresponding advantages and the same absence of danger, and this was done. On a line of measurement of distance we contemplate as existing, not only an infinite continuum of points at real distances from an origin of measurement O, but a doubly infinite continuum of points, all but the singly infinite continuum of real ones imaginary, and imaginary in conjugate pairs, a conjugate pair being at imaginary distances from O, which have a real arithmetic and a real geometric mean. To geometry enriched with this conception all algebra has its application.

5. Actual geometry is one, two or three-dimensional, i.e. lineal, plane or solid. In one-dimensional geometry positions and measurements in a single line only are admitted. Now descriptive constructions for points in a line are impossible without going out of the line. It has therefore been held that there is a sense in which no science of geometry strictly confined to one dimension exists. But an algebra of one variable can be applied to the study of distances along a line measured from a chosen point on it, so that the idea of construction as distinct from measurement is not essential to a one-dimensional geometry aided by algebra. In geometry of two dimensions, the flat of the land-measurer, the passage from one point O to any other point, can be effected by two successive marches, one east or west and one north or south, and, as will be seen, an algebra of two variables suffices for geometrical exploitation. In geometry of three dimensions, that of space, any point can be reached from a chosen one by three marches, one east or west, one north or south, and one up or down; and we shall see that an algebra of three variables is all that is necessary. With three dimensions actual geometry stops; but algebra can supply any number of variables. Four or more variables have been used in ways analogous to those in which one, two and three variables are used for the purposes of one, two and three-dimensional geometry, and the results have been expressed in quasi-geometrical language on the supposition that a higher space can be conceived of, though not realized, in which four independent directions exist, such that no succession of marches along three of them can effect the same displacement of a point as a march along the fourth; and similarly for higher numbers than four. Thus analytical, though not actual, geometries exist for four and more dimensions. They are in fact algebras furnished with nomenclature of a geometrical cast, suggested by convenient forms of expression which actual geometry has, in return for benefits received, conferred on algebras of one, two and three variables.

We will confine ourselves to the dimensions of actual geometry, and will devote no space to the one-dimensional, except incidentally as existing within the two-dimensional. The analytical method will now be explained for the cases of two and three dimensions in succession. The form of it originated by Descartes, and thence known as Cartesian, will alone be considered in much detail.


I. Plane Analytical Geometry.
Fig. 48. Fig. 49.

6. Coordinates.—It is assumed that the points, lines and figures considered lie in one and the same plane, which plane therefore need not be in any way referred to. In the plane a point O, and two lines x′Ox, y ′Oy, intersecting in O, are taken once for all, and regarded as fixed. O is called the origin, and x′Ox, y ′Oy the axes of x and y respectively. Other positions in the plane are specified in relation to this fixed origin and these fixed axes. From any point P we suppose PM drawn parallel to the axis of y to meet the axis of x in M, and may also suppose PN drawn parallel to the axis of x to meet the axis of y in N, so that OMPN is a parallelogram. The position of P is determined when we know OM (= NP) and MP (= ON). If OM is x times the unit of a scale of measurement chosen at pleasure, and MP is y times the unit, so that x and y have numerical values, we call x and y the (Cartesian) coordinates of P. To distinguish them we often speak of y as the ordinate, and of x as the abscissa.

It is necessary to attend to signs; x has one sign or the other according as the point P is on one side or the other of the axis of y, and y one sign or the other according as P is on one side or the other of the axis of x. Using the letters N, E, S, W, as in a map, and considering the plane as divided into four quadrants by the axes, the signs are usually taken to be:

x y For quadrant
+ + N   E
+ S   E
+ N   W
S   W

A point is referred to as the point (a, b), when its coordinates are x = a, y = b. A point may be fixed, or it may be variable, i.e. be regarded for the time being as free to move in the plane. The coordinates (x, y) of a variable point are algebraic variables, and are said to be “current coordinates.”

The axes of x and y are usually (as in fig. 48) taken at right angles to one another, and we then speak of them as rectangular axes, and of x and y as “rectangular coordinates” of a point P; OMPN is then a rectangle. Sometimes, however, it is convenient to use axes which are oblique to one another, so that (as in fig. 49) the angle xOy between their positive directions is some known angle ω distinct from a right angle, and OMPN is always an oblique parallelogram with given angles; and we then speak of x and y as “oblique coordinates.” The coordinates are as a rule taken to be rectangular in what follows.

7. Equations and loci. If (x, y) is the point P, and if we are given that x = 0, we are told that, in fig. 48 or fig. 49, the point M lies at O, whatever value y may have, i.e. we are told the one fact that P lies on the axis of y. Conversely, if P lies anywhere on the axis of y, we have always OM = 0, i.e. x = 0. Thus the equation x = 0 is one satisfied by the coordinates (x, y) of every point in the axis of y, and not by those of any other point. We say that x = 0 is the equation of the axis of y, and that the axis of y is the locus represented by the equation x = 0. Similarly y = 0 is the equation of the axis of x. An equation x = a, where a is a constant, expresses that P lies on a parallel to the axis of y through a point M on the axis of x such that OM = a. Every line parallel to the axis of y has an equation of this form. Similarly, every line parallel to the axis of x has an equation of the form y = b, where b is some definite constant.

These are simple cases of the fact that a single equation in the current coordinates of a variable point (x, y) imposes one limitation on the freedom of that point to vary. The coordinates of a point