This process resembles, as we have said, tracing a river to its sources. As we ascend the stream, we perpetually meet with bifurcations; and some sagacity is needed to enable us to see which, in each case, is the main stream: but if we proceed in our research, we [150] exhaust the unexplored valleys, and finally obtain a clear knowledge of the place whence the waters flow. Analytical is sometimes confounded with symbolical reasoning, on which subject we shall make a remark in the next chapter. The object of that chapter is to notice certain other fundamental principles and ideas, not included in those hitherto spoken of, which we find thrown in our way as we proceed in our mathematical speculations. It would detain us too long, and involve us in subtle and technical disquisitions, to examine fully the grounds of these principles; but the Mathematics hold so important a place in relation to the inductive sciences, that I shall briefly notice the leading ideas which the ulterior progress of the subject involves.
CHAPTER XII.
Of the Foundations of the Higher Mathematics.
1. The Idea of a Limit.—The general truths concerning relations of space which depend upon the axioms and definitions contained in Euclid’s Elements, and which involve only properties of straight lines and circles, are termed Elementary Geometry: all beyond this belongs to the Higher Geometry. To this latter province appertain, for example, all propositions respecting the lengths of any portions of curve lines; for these cannot be obtained by means of the principles of the Elements alone. Here then we must ask to what other principles the geometer has recourse, and from what source these are drawn. Is there any origin of geometrical truth which we have not yet explored?
The Idea of a Limit supplies a new mode of establishing mathematical truths. Thus with regard to the length of any portion of a curve, a problem which we have just mentioned; a curve is not made up of straight lines, and therefore we cannot by means of any of the doctrines of elementary geometry measure the length of any curve. But we may make up a figure nearly resembling any curve by putting together many short straight lines, just as a polygonal building of very many sides may nearly resemble a circular room. And in order to approach nearer and nearer to the curve, we may make the sides more and more small, more and more numerous. We may then possibly find some mode of measurement, some relation of these small lines to other lines, which is not disturbed by the multiplication of the sides, however far it be carried. And thus, we may do what is equivalent to measuring the curve itself; for by multiplying the [152] sides we may approach more and more closely to the curve till no appreciable difference remains. The curve line is the Limit of the polygon; and in this process we proceed on the Axiom, that ‘What is true up to the Limit is true at the Limit.’
This mode of conceiving mathematical magnitudes is of wide extent and use; for every curve may be considered as the limit of some polygon; every varied magnitude, as the limit of some aggregate of simpler forms; and thus the relations of the elementary figures enable us to advance to the properties of the most complex cases.
A Limit is a peculiar and fundamental conception, the use of which in proving the propositions of the Higher Geometry cannot be superseded by any combination of other hypotheses and definitions[14]. The axiom just noticed, that what is true up to the limit is true at the limit, is involved in the very conception of a Limit: and this principle, with its consequences, leads to all the results which form the subject of the higher mathematics, whether proved by the consideration of evanescent triangles, by the processes of the Differential Calculus, or in any other way.
[14] This assertion cannot be fully proved and illustrated without a reference to mathematical reasonings which would not be generally intelligible. I have shown the truth of the assertion in my Thoughts on the Study of Mathematics, annexed to the Principles of English University Education. The proof is of this kind:—The ultimate equality of an arc of a curve and the corresponding periphery of a polygon, when the sides of the polygon are indefinitely increased in number, is evident. But this truth cannot be proved from any other axiom. For if we take the supposed axiom, that a curve is always less than the including broken line, this is not true, except with a condition; and in tracing the import of this condition, we find its necessity becomes evident only when we introduce a reference to a Limit. And the same is the case if we attempt to supersede the notion of a Limit in proving any other simple and evident proposition in which that notion is involved. Therefore these evident truths are self-evident, in virtue of the Idea of a Limit.
The ancients did not expressly introduce this conception of a Limit into their mathematical reasonings; although in the application of what is termed the [153] Method of Exhaustions, (in which they show how to exhaust the difference between a polygon and a curve, or the like,) they were in fact proceeding upon an obscure apprehension of principles equivalent to those of the Method of Limits. Yet the necessary fundamental principle not having, in their time, been clearly developed, their reasonings were both needlessly intricate and imperfectly satisfactory. Moreover they were led to put in the place of axioms, assumptions which were by no means self-evident; as when Archimedes assumed, for the basis of his measure of the circumference of the circle, the proposition that a circular arc is necessarily less than two lines which inclose it, joining its extremities. The reasonings of the older mathematicians, which professed to proceed upon such assumptions, led to true results in reality, only because they were guided by a latent reference to the limiting case of such assumptions. And this latent employment of the conception of a Limit, reappeared in various forms during the early period of modern mathematics; as for example, in the Method of Indivisibles of Cavalleri, and the Characteristic Triangle of Barrow; till at last, Newton distinctly referred such reasonings to the conception of a Limit, and established the fundamental principles and processes which that conception introduces, with a distinctness and exactness which required little improvement to make it as unimpeachable as the demonstrations of geometry. And when such processes as Newton thus deduced from the conception of a Limit, are represented by means of general algebraical symbols instead of geometrical diagrams, we have then before us the Method of Fluxions, or the Differential Calculus; a mode of treating mathematical problems justly considered as the principal weapon by which the splendid triumphs of modern mathematics have been achieved.