Analytic geometry

“ The study of pure analysis is unquestionably the most abstruse branch of mathematics, but it is now advancing with rapid strides and demands less and less the aid of geometry. The results of the analytic method in geometry, however, are too fruitful for it to be either desirable or possible for us to go back to a condition of complete separation of these two methods.
Amongst the distinctly modern developments of geometry is what is known as hyper-geometry, the geometry of space of more than three dimensions. ”

“ While we may be certain that any geometrical problem may always be stated in analytic form, it does not follow that that statement will be simple or easily interpreted. For many mathematicians the geometric intuitions are weak, and for such the method will have little attraction. ”

“ If we can, out of empirical material, construct a logical structure, no matter how complicated, which will satisfy our geometrical axioms, that structure may legitimately be called a "point." We must not say that there is nothing else that could legitimately be called a "point"; we must only say: "This object we have constructed is sufficient for the geometer; it may be one of many objects, any of which would be sufficient, but that is no concern of ours, since this object is enough to vindicate the empirical truth of geometry, in so far as geometry is not a matter of definition." ”

“ The equation 3x2 + 4y2 = 25 represents an ellipse; and in general every algebraic equation that can be written down, provided it involve only two variables, x and y, represents some curve in a plane; a curve moreover that can be drawn, or its properties completely investigated without drawing, from the equation. Thus algebra is wedded to geometry, and the investigation of geometric relations by means of algebraic equations is called analytical geometry, as opposed to the old Euclidian or synthetic mode of treating the subject by reasoning consciously directed to the subject by help of figures. ”

“ On the contrary, there are minds which, though highly gifted, and of a philosophical turn, yet lack the sort of subordinate attention that is necessary in order, for instance, to carry out a long trigonometrical calculation, and which find themselves much more at ease in analytical geometry. The fact that analytical geometry prepares the way through the differential and integral calculus to the last and highest aims of mathematics, and hence to their most difficult portion, should only form one reason more for beginning the study of it in the gymnasium. ”

“ Another indication that geometers have too much overlooked the character of a natural science which is necessarily inherent in geometry, appears from their vain attempts, so long made, to demonstrate rigorously, not by the aid of the calculus, but by means of certain constructions, several fundamental propositions of elementary geometry. Whatever may be effected, it will evidently be impossible to avoid sometimes recurring to simple and direct observation in geometry as a means of establishing various results. ”

“ We may, however, ignore the accented letters in translating theorems, for a configuration of lines and its polar with respect to a linear complex have the same projective properties. In Lie’s transformation a linear complex corresponds to the totality of spheres cutting a given sphere at a given angle. A most remarkable result is that lines of curvature in the sphere geometry become asymptotic lines in the line geometry. ”

“ We should be led into still greater difficulties if we wished to represent a three-dimensional non-Euclidean space possessing various degrees of non-Euclideanism from place to place. Reasoning by analogy, we should be tempted to say that just as an irregularly curved surface embedded in three-dimensional Euclidean space yielded a two-dimensional geometry of varying degrees of non-Euclideanism, so now all we should have to do would be to conceive of an irregularly curved three-dimensional surface embedded in a four-dimensional Euclidean space. ”

“ If we say that a tangent to a circle is an unlimited straight line that touches the circle in one point, and only one, we do not assert that it is possible to have such a line; that is a matter for proof. Not in all cases, however, can this proof be given, as in the existence of the simplest concepts. We cannot, for example, prove that a point or a straight line exists after we have defined these concepts. We therefore tacitly or explicitly assume (postulate) the existence of these fundamentals of geometry. ”

“ The one-to-one correspondence between geometric forms and algebraic analysis is subject to many and important exceptions. The field of analysis is much more general than the field of geometry, and while there may be a clear notion in analysis to, correspond to every notion in geometry, the opposite is not true. Thus, in analysis we can deal with four coördinates as well as with three, but the existence of a space of four dimensions [pg 116] to correspond to it does not therefore follow. ”

“ It should always be remembered that mental discipline, whatever the phrase may mean, can as readily be obtained from a genuine application of a theorem as from a mere geometric puzzle. On the other hand, it is evident that not more than 25 per cent of propositions have any genuine applications outside of geometry, and that if we are to attempt any applications at all, these must be sought mainly in the field of pure geometry. ”

“ There exists, however, another imperfection of less importance, which must really be viewed as proceeding from the manner in which we conceive analytical geometry. It consists in the evident incompleteness of our present representation of equations of two or of three variables by lines or surfaces, inasmuch as in the construction of the geometric locus we pay regard only to the real solutions of equations, without at all noticing any imaginary solutions. ”

“ But if the doctrine means that, assuming some sort of objective reality for the material universe, beings can be imagined, to whom either all congruence-groups are equally important, or some other congruence-group is specially important, the doctrine appears to be an immediate deduction from the mathematical facts. Assuming a definite congruence-group, the investigation of surfaces (or three-dimensional loci in space of four dimensions) with geodesic geometries of the form of metrical geometries of other types of congruence-groups forms an important chapter of non-Euclidean geometry. ”

“ A similar formal freedom marks the development of any other theory in the realm of pure mathematics. Pure geometry, from the modern point of view, is neither a doctrine forced upon the human mind by the constitution of any primal form of intuition, nor yet a branch of physical science, limited to describing the spatial arrangement of phenomena in the external world. Pure geometry is the theory of the consequences of certain postulates which the geometer is at liberty consistently to make ”

“ To these two-dimensioned geometers geodesies would possess many of the attributes of straight lines in ordinary space. If the surface to which the beings were confined were actually a plane, then the geometry would be the same as our geometry. They would find that only one straight line could be drawn between two points, that through a point only one parallel to a given line could be drawn, and that the ends of a line would never meet even though the line be prolonged to infinity.
We might also suppose that intelligent beings could exist on the surface of a sphere. ”

“ In modern analytical geometry we find methods in use which are exceedingly ingenious, and give forms curiously like those of multiple algebra, but which, at least if logically carried out very far, are excessively artificial, and that for the expression of the simplest things. The simplest conceptions of the geometry of three dimensions are points and planes, and the simplest relation between these is that a point lies in a plane. ”

“ In projective geometry any two straight lines in a plane intersect, and the straight lines are closed series which return into themselves, like the circumference of a circle. In descriptive geometry two straight lines in a plane do not necessarily intersect, and a straight line is an open series without beginning or end. Ordinary Euclidean geometry is a descriptive geometry; it becomes a projective geometry when the so-called “points at infinity” are added. ”

“ Thus the geometer leaves to the man of science to decide, as best he may, what axioms are most nearly true in the actual world. The geometer takes any set of axioms that seem interesting, and deduces their consequences. What defines Geometry, in this sense, is that the axioms must give rise to a series of more than one dimension. ”

“ I have gone at length into this very simple point in order to illustrate the fact, which I think is a general one, that the modern geometry is not only tending to results which are appropriately expressed in multiple algebra, but that it is actually striving to clothe itself in forms which are remarkably similar to the notations of multiple algebra, only less simple and general and far less amenable to analytical treatment, and therefore, that a certain logical necessity calls for throwing off the yoke under which analytical geometry has so long labored. ”

“ Mathematicians know him as the reputed discoverer of the famous theorem about the square on the hypotenuse of a right-angled triangle (= Euclid I. 47) ; but he was also the first to make geometry a part of a liberal education and to explore its first principles (definitions, etc.) ”

“ The science of geometry having to consider all imaginable figures which admit of an exact definition, it necessarily results from this, as we have remarked, that questions relating to any figures presented by nature are always implicitly comprised in this abstract geometry, supposed to have attained its perfection. But when it is necessary to actually pass to concrete geometry, we constantly meet with a fundamental difficulty, that of knowing to which of the different abstract types we are to refer, with sufficient approximation, the real lines or surfaces which we have to study. ”

“ Of course if, as in the hypothetical world discussed previously, material bodies behaved like non-Euclidean solids and if light rays followed appropriate courses, we should have to abandon Euclidean geometry for reasons of practical convenience. But since, in the world we live in, our habitual solids behave to a high order of approximation as do Euclidean solids, our preference for Euclidean geometry seems perfectly legitimate even from the standpoint of physics. ”

“ Purely synthetic methods have been used with marked success in the study of the straight line in space. The struggle between analysis and pure geometry has long since come to an end. Each has its distinct advantages, and the mathematician who cultivates one at the expense of the other will never attain the results that he would attain if both methods were equally ready to his hand. Pure geometry has to its credit some of the finest discoveries in mathematics, and need not apologize for having been born. ”

“ While it is true that to a boy or girl a solid is more concrete than a plane, it is not true that a geometric solid is more concrete than a geometric plane. Just as the world developed its solid geometry, as a science, long after it had developed its plane geometry, so the human mind grasps the ideas of plane figures earlier than those of the geometric solid. ”

“ We thus see that the geometry of the ancients will always have, by its nature, a primary part, absolutely necessary and more or less extensive, in the complete system of geometrical knowledge. It forms a rigorously indispensable introduction to general geometry. ”

“ The more reason that we have here to consider geometry as being at the present day essentially analytical, the more necessary was it to guard against this abusive exaggeration of mathematical analysis, according to which all geometrical observation would be dispensed with, in establishing upon pure algebraical abstractions the very foundations of this natural science. ”

“ Just so, pure mathematical science has no logical dependence upon physics. Yet we have all heard how largely physical science has influenced the lines of investigation followed by the modern mathematicians. Within the mathematical realm itself, pure Algebra, when once abstractly defined, is not logically dependent upon Geometry for its principles or for its theories, yet some theories of modern Algebra have actually developed largely under the spell, as it were, of ideas of an unquestionable geometrical origin. ”

“ And the ordinary so-called axioms of metrical geometry, considered as principles about the constitution of the physical world, are of course generalizations from physical experience. On the other hand, the purely mathematical portion of geometry, that is, the purely deductive portion, consists in the discovery, not that the geometrical axioms are self-evident or otherwise certain, and not that the physical world has any properties whatever, but that certain assumed geometrical principles which can be stated wholly in symbols, actually imply certain geometrical conclusions. ”

“ It is nevertheless evident, to any one who examines with attention the character of geometrical reasonings, even in the present state of abstract geometry, that, although the facts which are considered in it are much more closely united than those relating to any other science, still there always exists, with respect to every body studied by geometers, a certain number of primitive phenomena, which, since they are not established by any [Pg 180] reasoning, must be founded on observation alone, and which form the necessary basis of all the deductions. ”