diff options
Diffstat (limited to '39702-0.txt')
| -rw-r--r-- | 39702-0.txt | 7853 |
1 files changed, 7853 insertions, 0 deletions
diff --git a/39702-0.txt b/39702-0.txt new file mode 100644 index 0000000..ad3a451 --- /dev/null +++ b/39702-0.txt @@ -0,0 +1,7853 @@ +Project Gutenberg's The philosophy of mathematics, by Auguste Comte + +This eBook is for the use of anyone anywhere at no cost and with +almost no restrictions whatsoever. You may copy it, give it away or +re-use it under the terms of the Project Gutenberg License included +with this eBook or online at www.gutenberg.org/license + + +Title: The philosophy of mathematics + +Author: Auguste Comte + +Translator: W. M. Gillespie + +Release Date: May 15, 2012 [EBook #39702] + +Language: English + +Character set encoding: UTF-8 + +*** START OF THIS PROJECT GUTENBERG EBOOK THE PHILOSOPHY OF MATHEMATICS *** + + + + +Produced by Anna Hall, Albert László and the Online +Distributed Proofreading Team at http://www.pgdp.net (This +file was produced from images generously made available +by The Internet Archive) + + + + + + + + + +THE + +PHILOSOPHY + +OF + +MATHEMATICS. + + + THE SCIENCE OF MATHEMATICS. + | + +----------------------+-------------------+ + | | + | | + ABSTRACT MATHEMATICS. CONCRETE MATHEMATICS. + | | + | | + | +-------+------+ + | | | + ANALYSIS; _or_, _The Calculus_. GEOMETRY. MECHANICS. + | | + | | + +-------+----------+ +-------+---------+ + | | | | + =Ordinary =Transcendental =Synthetic= =Analytic= + Analysis=; Analysis=; _or Special_ _or General_ + _or_, _Calculus _or_, _Calculus =Geometry=. =Geometry=. + of Direct of Indirect | | + Functions_. Functions_. | | + | | | | + +--+--+ +-----+--+ +----+----+ +---+---+ + | | | | | | | | + | | | | | | | | + | | | | | | | | + | | | | | | | | + | Algebra. | Calculus | Algebraic. | Of three + | | of | Trigonometry. | dimensions. + | | Variations. | | + | | | | + Arithmetic. Differential Graphical. Of two + and Integral Descriptive dimensions. + Calculus. Geometry. + + + + +THE +PHILOSOPHY +OF +MATHEMATICS; + +TRANSLATED FROM THE +COURS DE PHILOSOPHIE POSITIVE +OF +AUGUSTE COMTE, +BY +W. M. GILLESPIE, +PROFESSOR OF CIVIL ENGINEERING & ADJ. PROF. OF MATHEMATICS +IN UNION COLLEGE. + +NEW YORK: +HARPER & BROTHERS, PUBLISHERS, +82 CLIFF STREET +1851. + + +Entered, according to Act of Congress, in the year one thousand +eight hundred and fifty-one, by + +HARPER & BROTHERS. + +in the Clerk's Office of the District Court of the Southern District +of New York. + + + + +PREFACE. + + +The pleasure and profit which the translator has received from the great +work here presented, have induced him to lay it before his +fellow-teachers and students of Mathematics in a more accessible form +than that in which it has hitherto appeared. The want of a comprehensive +map of the wide region of mathematical science--a bird's-eye view of its +leading features, and of the true bearings and relations of all its +parts--is felt by every thoughtful student. He is like the visitor to a +great city, who gets no just idea of its extent and situation till he +has seen it from some commanding eminence. To have a panoramic view of +the whole district--presenting at one glance all the parts in due +co-ordination, and the darkest nooks clearly shown--is invaluable to +either traveller or student. It is this which has been most perfectly +accomplished for mathematical science by the author whose work is here +presented. + +Clearness and depth, comprehensiveness and precision, have never, +perhaps, been so remarkably united as in AUGUSTE COMTE. He views his +subject from an elevation which gives to each part of the complex whole +its true position and value, while his telescopic glance loses none of +the needful details, and not only itself pierces to the heart of the +matter, but converts its opaqueness into such transparent crystal, that +other eyes are enabled to see as deeply into it as his own. + +Any mathematician who peruses this volume will need no other +justification of the high opinion here expressed; but others may +appreciate the following endorsements of well-known authorities. _Mill_, +in his "Logic," calls the work of M. Comte "by far the greatest yet +produced on the Philosophy of the sciences;" and adds, "of this +admirable work, one of the most admirable portions is that in which he +may truly be said to have created the Philosophy of the higher +Mathematics:" _Morell_, in his "Speculative Philosophy of Europe," says, +"The classification given of the sciences at large, and their regular +order of development, is unquestionably a master-piece of scientific +thinking, as simple as it is comprehensive;" and _Lewes_, in his +"Biographical History of Philosophy," names Comte "the Bacon of the +nineteenth century," and says, "I unhesitatingly record my conviction +that this is the greatest work of our age." + +The complete work of M. Comte--his "_Cours de Philosophie +Positive_"--fills six large octavo volumes, of six or seven hundred +pages each, two thirds of the first volume comprising the purely +mathematical portion. The great bulk of the "Course" is the probable +cause of the fewness of those to whom even this section of it is known. +Its presentation in its present form is therefore felt by the translator +to be a most useful contribution to mathematical progress in this +country. The comprehensiveness of the style of the author--grasping all +possible forms of an idea in one Briarean sentence, armed at all points +against leaving any opening for mistake or forgetfulness--occasionally +verges upon cumbersomeness and formality. The translator has, therefore, +sometimes taken the liberty of breaking up or condensing a long +sentence, and omitting a few passages not absolutely necessary, or +referring to the peculiar "Positive philosophy" of the author; but he +has generally aimed at a conscientious fidelity to the original. It has +often been difficult to retain its fine shades and subtile distinctions +of meaning, and, at the same time, replace the peculiarly appropriate +French idioms by corresponding English ones. The attempt, however, has +always been made, though, when the best course has been at all doubtful, +the language of the original has been followed as closely as possible, +and, when necessary, smoothness and grace have been unhesitatingly +sacrificed to the higher attributes of clearness and precision. + +Some forms of expression may strike the reader as unusual, but they have +been retained because they were characteristic, not of the mere language +of the original, but of its spirit. When a great thinker has clothed his +conceptions in phrases which are singular even in his own tongue, he who +professes to translate him is bound faithfully to preserve such forms of +speech, as far as is practicable; and this has been here done with +respect to such peculiarities of expression as belong to the author, +not as a foreigner, but as an individual--not because he writes in +French, but because he is Auguste Comte. + +The young student of Mathematics should not attempt to read the whole of +this volume at once, but should peruse each portion of it in connexion +with the temporary subject of his special study: the first chapter of +the first book, for example, while he is studying Algebra; the first +chapter of the second book, when he has made some progress in Geometry; +and so with the rest. Passages which are obscure at the first reading +will brighten up at the second; and as his own studies cover a larger +portion of the field of Mathematics, he will see more and more clearly +their relations to one another, and to those which he is next to take +up. For this end he is urgently recommended to obtain a perfect +familiarity with the "Analytical Table of Contents," which maps out the +whole subject, the grand divisions of which are also indicated in the +Tabular View facing the title-page. Corresponding heads will be found in +the body of the work, the principal divisions being in SMALL CAPITALS, +and the subdivisions in _Italics_. For these details the translator +alone is responsible. + + + + + ANALYTICAL TABLE OF CONTENTS. + + INTRODUCTION. + + Page + + GENERAL CONSIDERATIONS ON MATHEMATICAL SCIENCE 17 + + THE OBJECT OF MATHEMATICS 18 + Measuring Magnitudes 18 + Difficulties 19 + General Method 20 + Illustrations 21 + 1. Falling Bodies 21 + 2. Inaccessible Distances 23 + 3. Astronomical Facts 24 + + TRUE DEFINITION OF MATHEMATICS 25 + A Science, not an Art 25 + + ITS TWO FUNDAMENTAL DIVISIONS 26 + Their different Objects 27 + Their different Natures 29 + _Concrete Mathematics_ 31 + Geometry and Mechanics 32 + _Abstract Mathematics_ 33 + The Calculus, or Analysis 33 + + EXTENT OF ITS FIELD 35 + Its Universality 36 + Its Limitations 37 + + + BOOK I. + + ANALYSIS. + + + CHAPTER I. + + Page + + GENERAL VIEW OF MATHEMATICAL ANALYSIS 45 + + THE TRUE IDEA OF AN EQUATION 46 + Division of Functions into Abstract and + Concrete 47 + Enumeration of Abstract Functions 50 + + DIVISIONS OF THE CALCULUS 53 + _The Calculus of Values, or Arithmetic_ 57 + Its Extent 57 + Its true Nature 59 + _The Calculus of Functions_ 61 + Two Modes of obtaining Equations 61 + 1. By the Relations between the given + Quantities 61 + 2. By the Relations between auxiliary + Quantities 64 + Corresponding Divisions of the Calculus of + Functions 67 + + + CHAPTER II. + + ORDINARY ANALYSIS; OR, ALGEBRA. 69 + + Its Object 69 + Classification of Equations 70 + + ALGEBRAIC EQUATIONS 71 + Their Classification 71 + + ALGEBRAIC RESOLUTION OF EQUATIONS 72 + Its Limits 72 + General Solution 72 + What we know in Algebra 74 + + NUMERICAL RESOLUTION OF EQUATIONS 75 + Its limited Usefulness 76 + Different Divisions of the two Systems 78 + + THE THEORY OF EQUATIONS 79 + + THE METHOD OF INDETERMINATE COEFFICIENTS 80 + + IMAGINARY QUANTITIES 81 + + NEGATIVE QUANTITIES 81 + + THE PRINCIPLE OF HOMOGENEITY 84 + + + CHAPTER III. + + TRANSCENDENTAL ANALYSIS: + + Page + + ITS DIFFERENT CONCEPTIONS 88 + + Preliminary Remarks 88 + Its early History 89 + + METHOD OF LEIBNITZ 91 + Infinitely small Elements 91 + _Examples_: + 1. Tangents 93 + 2. Rectification of an Arc 94 + 3. Quadrature of a Curve 95 + 4. Velocity in variable Motion 95 + 5. Distribution of Heat 96 + Generality of the Formulas 97 + Demonstration of the Method 98 + Illustration by Tangents 102 + + METHOD OF NEWTON 103 + Method of Limits 103 + _Examples_: + 1. Tangents 104 + 2. Rectifications 105 + Fluxions and Fluents 106 + + METHOD OF LAGRANGE 108 + Derived Functions 108 + An extension of ordinary Analysis 108 + _Example_: Tangents 109 + _Fundamental Identity of the three Methods_ 110 + _Their comparative Value_ 113 + That of Leibnitz 113 + That of Newton 115 + That of Lagrange 117 + + + CHAPTER IV. + + Page + + THE DIFFERENTIAL AND INTEGRAL CALCULUS 120 + + ITS TWO FUNDAMENTAL DIVISIONS 120 + + THEIR RELATIONS TO EACH OTHER 121 + 1. Use of the Differential Calculus as + preparatory to that of the Integral 123 + 2. Employment of the Differential + Calculus alone 125 + 3. Employment of the Integral Calculus + alone 125 + Three Classes of Questions hence + resulting 126 + + THE DIFFERENTIAL CALCULUS 127 + Two Cases: Explicit and Implicit Functions 127 + Two sub-Cases: a single Variable or + several 129 + Two other Cases: Functions separate or + combined 130 + Reduction of all to the Differentiation of + the ten elementary Functions 131 + Transformation of derived Functions for + new Variables 132 + Different Orders of Differentiation 133 + Analytical Applications 133 + + THE INTEGRAL CALCULUS 135 + Its fundamental Division: Explicit and + Implicit Functions 135 + Subdivisions: a single Variable or several 136 + Calculus of partial Differences 137 + Another Subdivision: different Orders of + Differentiation 138 + Another equivalent Distinction 140 + _Quadratures_ 142 + Integration of Transcendental Functions 143 + Integration by Parts 143 + Integration of Algebraic Functions 143 + Singular Solutions 144 + Definite Integrals 146 + Prospects of the Integral Calculus 148 + + + CHAPTER V. + + Page + + THE CALCULUS OF VARIATIONS 151 + + PROBLEMS GIVING RISE TO IT 151 + Ordinary Questions of Maxima and Minima 151 + A new Class of Questions 152 + Solid of least Resistance; + Brachystochrone; Isoperimeters 153 + + ANALYTICAL NATURE OF THESE QUESTIONS 154 + + METHODS OF THE OLDER GEOMETERS 155 + + METHOD OF LAGRANGE 156 + Two Classes of Questions 157 + 1. Absolute Maxima and Minima 157 + Equations of Limits 159 + A more general Consideration 159 + 2. Relative Maxima and Minima 160 + Other Applications of the Method of + Variations 162 + + ITS RELATIONS TO THE ORDINARY CALCULUS 163 + + + CHAPTER VI. + + THE CALCULUS OF FINITE DIFFERENCES 167 + + Its general Character 167 + Its true Nature 168 + + GENERAL THEORY OF SERIES 170 + Its Identity with this Calculus 172 + + PERIODIC OR DISCONTINUOUS FUNCTIONS 173 + + APPLICATIONS OF THIS CALCULUS 173 + Series 173 + Interpolation 173 + Approximate Rectification, &c. 174 + + + BOOK II. + + GEOMETRY. + + CHAPTER I. + + Page + + A GENERAL VIEW OF GEOMETRY 179 + + The true Nature of Geometry 179 + Two fundamental Ideas 181 + 1. The Idea of Space 181 + 2. Different kinds of Extension 182 + + THE FINAL OBJECT OF GEOMETRY 184 + Nature of Geometrical Measurement 185 + Of Surfaces and Volumes 185 + Of curve Lines 187 + Of right Lines 189 + + THE INFINITE EXTENT OF ITS FIELD 190 + Infinity of Lines 190 + Infinity of Surfaces 191 + Infinity of Volumes 192 + Analytical Invention of Curves, &c. 193 + + EXPANSION OF ORIGINAL DEFINITION 193 + Properties of Lines and Surfaces 195 + Necessity of their Study 195 + 1. To find the most suitable Property 195 + 2. To pass from the Concrete to the + Abstract 197 + Illustrations: + Orbits of the Planets 198 + Figure of the Earth 199 + + THE TWO GENERAL METHODS OF GEOMETRY 202 + Their fundamental Difference 203 + 1°. Different Questions with respect to + the same Figure 204 + 2°. Similar Questions with respect to + different Figures 204 + Geometry of the Ancients 204 + Geometry of the Moderns 206 + Superiority of the Modern 207 + The Ancient the base of the Modern 209 + + + CHAPTER II. + + ANCIENT OR SYNTHETIC GEOMETRY + + Page + + ITS PROPER EXTENT 212 + Lines; Polygons; Polyhedrons 212 + Not to be farther restricted 213 + Improper Application of Analysis 214 + Attempted Demonstrations of Axioms 216 + + GEOMETRY OF THE RIGHT LINE 217 + + GRAPHICAL SOLUTIONS 218 + _Descriptive Geometry_ 220 + + ALGEBRAICAL SOLUTIONS 224 + _Trigonometry_ 225 + Two Methods of introducing Angles 226 + 1. By Arcs 226 + 2. By trigonometrical Lines 226 + Advantages of the latter 226 + Its Division of trigonometrical Questions 227 + 1. Relations between Angles and + trigonometrical Lines 228 + 2. Relations between trigonometrical + Lines and Sides 228 + Increase of trigonometrical Lines 228 + Study of the Relations between them 230 + + + CHAPTER III. + + MODERN OR ANALYTICAL GEOMETRY + + Page + + THE ANALYTICAL REPRESENTATION OF FIGURES 232 + Reduction of Figure to Position 233 + Determination of the position of a Point 234 + + PLANE CURVES 237 + Expression of Lines by Equations 237 + Expression of Equations by Lines 238 + Any change in the Line changes the Equation 240 + Every "Definition" of a Line is an Equation 241 + _Choice of Co-ordinates_ 245 + Two different points of View 245 + 1. Representation of Lines by Equations 246 + 2. Representation of Equations by Lines 246 + Superiority of the rectilinear System 248 + Advantages of perpendicular Axes 249 + + SURFACES 251 + Determination of a Point in Space 251 + Expression of Surfaces by Equations 253 + Expression of Equations by Surfaces 253 + + CURVES IN SPACE 255 + + Imperfections of Analytical Geometry 258 + Relatively to Geometry 258 + Relatively to Analysis 258 + + + + +THE + +PHILOSOPHY OF MATHEMATICS. + +INTRODUCTION. + +GENERAL CONSIDERATIONS. + + +Although Mathematical Science is the most ancient and the most perfect +of all, yet the general idea which we ought to form of it has not yet +been clearly determined. Its definition and its principal divisions have +remained till now vague and uncertain. Indeed the plural name--"The +Mathematics"--by which we commonly designate it, would alone suffice to +indicate the want of unity in the common conception of it. + +In truth, it was not till the commencement of the last century that the +different fundamental conceptions which constitute this great science +were each of them sufficiently developed to permit the true spirit of +the whole to manifest itself with clearness. Since that epoch the +attention of geometers has been too exclusively absorbed by the special +perfecting of the different branches, and by the application which they +have made of them to the most important laws of the universe, to allow +them to give due attention to the general system of the science. + +But at the present time the progress of the special departments is no +longer so rapid as to forbid the contemplation of the whole. The science +of mathematics is now sufficiently developed, both in itself and as to +its most essential application, to have arrived at that state of +consistency in which we ought to strive to arrange its different parts +in a single system, in order to prepare for new advances. We may even +observe that the last important improvements of the science have +directly paved the way for this important philosophical operation, by +impressing on its principal parts a character of unity which did not +previously exist. + +To form a just idea of the object of mathematical science, we may start +from the indefinite and meaningless definition of it usually given, in +calling it "_The science of magnitudes_," or, which is more definite, +"_The science which has for its object the measurement of magnitudes._" +Let us see how we can rise from this rough sketch (which is singularly +deficient in precision and depth, though, at bottom, just) to a +veritable definition, worthy of the importance, the extent, and the +difficulty of the science. + + +THE OBJECT OF MATHEMATICS. + +_Measuring Magnitudes._ The question of _measuring_ a magnitude in +itself presents to the mind no other idea than that of the simple direct +comparison of this magnitude with another similar magnitude, supposed to +be known, which it takes for the _unit_ of comparison among all others +of the same kind. According to this definition, then, the science of +mathematics--vast and profound as it is with reason reputed to +be--instead of being an immense concatenation of prolonged mental +labours, which offer inexhaustible occupation to our intellectual +activity, would seem to consist of a simple series of mechanical +processes for obtaining directly the ratios of the quantities to be +measured to those by which we wish to measure them, by the aid of +operations of similar character to the superposition of lines, as +practiced by the carpenter with his rule. + +The error of this definition consists in presenting as direct an object +which is almost always, on the contrary, very indirect. The _direct_ +measurement of a magnitude, by superposition or any similar process, is +most frequently an operation quite impossible for us to perform; so that +if we had no other means for determining magnitudes than direct +comparisons, we should be obliged to renounce the knowledge of most of +those which interest us. + +_Difficulties._ The force of this general observation will be understood +if we limit ourselves to consider specially the particular case which +evidently offers the most facility--that of the measurement of one +straight line by another. This comparison, which is certainly the most +simple which we can conceive, can nevertheless scarcely ever be effected +directly. In reflecting on the whole of the conditions necessary to +render a line susceptible of a direct measurement, we see that most +frequently they cannot be all fulfilled at the same time. The first and +the most palpable of these conditions--that of being able to pass over +the line from one end of it to the other, in order to apply the unit of +measurement to its whole length--evidently excludes at once by far the +greater part of the distances which interest us the most; in the first +place, all the distances between the celestial bodies, or from any one +of them to the earth; and then, too, even the greater number of +terrestrial distances, which are so frequently inaccessible. But even if +this first condition be found to be fulfilled, it is still farther +necessary that the length be neither too great nor too small, which +would render a direct measurement equally impossible. The line must also +be suitably situated; for let it be one which we could measure with the +greatest facility, if it were horizontal, but conceive it to be turned +up vertically, and it becomes impossible to measure it. + +The difficulties which we have indicated in reference to measuring +lines, exist in a very much greater degree in the measurement of +surfaces, volumes, velocities, times, forces, &c. It is this fact which +makes necessary the formation of mathematical science, as we are going +to see; for the human mind has been compelled to renounce, in almost all +cases, the direct measurement of magnitudes, and to seek to determine +them _indirectly_, and it is thus that it has been led to the creation +of mathematics. + +_General Method._ The general method which is constantly employed, and +evidently the only one conceivable, to ascertain magnitudes which do not +admit of a direct measurement, consists in connecting them with others +which are susceptible of being determined immediately, and by means of +which we succeed in discovering the first through the relations which +subsist between the two. Such is the precise object of mathematical +science viewed as a whole. In order to form a sufficiently extended idea +of it, we must consider that this indirect determination of magnitudes +may be indirect in very different degrees. In a great number of cases, +which are often the most important, the magnitudes, by means of which +the principal magnitudes sought are to be determined, cannot themselves +be measured directly, and must therefore, in their turn, become the +subject of a similar question, and so on; so that on many occasions the +human mind is obliged to establish a long series of intermediates +between the system of unknown magnitudes which are the final objects of +its researches, and the system of magnitudes susceptible of direct +measurement, by whose means we finally determine the first, with which +at first they appear to have no connexion. + +_Illustrations._ Some examples will make clear any thing which may seem +too abstract in the preceding generalities. + +1. _Falling Bodies._ Let us consider, in the first place, a natural +phenomenon, very simple, indeed, but which may nevertheless give rise to +a mathematical question, really existing, and susceptible of actual +applications--the phenomenon of the vertical fall of heavy bodies. + +The mind the most unused to mathematical conceptions, in observing this +phenomenon, perceives at once that the two _quantities_ which it +presents--namely, the _height_ from which a body has fallen, and the +_time_ of its fall--are necessarily connected with each other, since +they vary together, and simultaneously remain fixed; or, in the language +of geometers, that they are "_functions_" of each other. The phenomenon, +considered under this point of view, gives rise then to a mathematical +question, which consists in substituting for the direct measurement of +one of these two magnitudes, when it is impossible, the measurement of +the other. It is thus, for example, that we may determine indirectly the +depth of a precipice, by merely measuring the time that a heavy body +would occupy in falling to its bottom, and by suitable procedures this +inaccessible depth will be known with as much precision as if it was a +horizontal line placed in the most favourable circumstances for easy and +exact measurement. On other occasions it is the height from which a body +has fallen which it will be easy to ascertain, while the time of the +fall could not be observed directly; then the same phenomenon would give +rise to the inverse question, namely, to determine the time from the +height; as, for example, if we wished to ascertain what would be the +duration of the vertical fall of a body falling from the moon to the +earth. + +In this example the mathematical question is very simple, at least when +we do not pay attention to the variation in the intensity of gravity, or +the resistance of the fluid which the body passes through in its fall. +But, to extend the question, we have only to consider the same +phenomenon in its greatest generality, in supposing the fall oblique, +and in taking into the account all the principal circumstances. Then, +instead of offering simply two variable quantities connected with each +other by a relation easy to follow, the phenomenon will present a much +greater number; namely, the space traversed, whether in a vertical or +horizontal direction; the time employed in traversing it; the velocity +of the body at each point of its course; even the intensity and the +direction of its primitive impulse, which may also be viewed as +variables; and finally, in certain cases (to take every thing into the +account), the resistance of the medium and the intensity of gravity. All +these different quantities will be connected with one another, in such a +way that each in its turn may be indirectly determined by means of the +others; and this will present as many distinct mathematical questions as +there may be co-existing magnitudes in the phenomenon under +consideration. Such a very slight change in the physical conditions of a +problem may cause (as in the above example) a mathematical research, at +first very elementary, to be placed at once in the rank of the most +difficult questions, whose complete and rigorous solution surpasses as +yet the utmost power of the human intellect. + +2. _Inaccessible Distances._ Let us take a second example from +geometrical phenomena. Let it be proposed to determine a distance which +is not susceptible of direct measurement; it will be generally conceived +as making part of a _figure_, or certain system of lines, chosen in such +a way that all its other parts may be observed directly; thus, in the +case which is most simple, and to which all the others may be finally +reduced, the proposed distance will be considered as belonging to a +triangle, in which we can determine directly either another side and two +angles, or two sides and one angle. Thence-forward, the knowledge of the +desired distance, instead of being obtained directly, will be the result +of a mathematical calculation, which will consist in deducing it from +the observed elements by means of the relation which connects it with +them. This calculation will become successively more and more +complicated, if the parts which we have supposed to be known cannot +themselves be determined (as is most frequently the case) except in an +indirect manner, by the aid of new auxiliary systems, the number of +which, in great operations of this kind, finally becomes very +considerable. The distance being once determined, the knowledge of it +will frequently be sufficient for obtaining new quantities, which will +become the subject of new mathematical questions. Thus, when we know at +what distance any object is situated, the simple observation of its +apparent diameter will evidently permit us to determine indirectly its +real dimensions, however inaccessible it may be, and, by a series of +analogous investigations, its surface, its volume, even its weight, and +a number of other properties, a knowledge of which seemed forbidden to +us. + +3. _Astronomical Facts._ It is by such calculations that man has been +able to ascertain, not only the distances from the planets to the earth, +and, consequently, from each other, but their actual magnitude, their +true figure, even to the inequalities of their surface; and, what seemed +still more completely hidden from us, their respective masses, their +mean densities, the principal circumstances of the fall of heavy bodies +on the surface of each of them, &c. + +By the power of mathematical theories, all these different results, and +many others relative to the different classes of mathematical phenomena, +have required no other direct measurements than those of a very small +number of straight lines, suitably chosen, and of a greater number of +angles. We may even say, with perfect truth, so as to indicate in a word +the general range of the science, that if we did not fear to multiply +calculations unnecessarily, and if we had not, in consequence, to +reserve them for the determination of the quantities which could not be +measured directly, the determination of all the magnitudes susceptible +of precise estimation, which the various orders of phenomena can offer +us, could be finally reduced to the direct measurement of a single +straight line and of a suitable number of angles. + + +TRUE DEFINITION OF MATHEMATICS. + +We are now able to define mathematical science with precision, by +assigning to it as its object the _indirect_ measurement of magnitudes, +and by saying it constantly proposes _to determine certain magnitudes +from others by means of the precise relations existing between them_. + +This enunciation, instead of giving the idea of only an _art_, as do all +the ordinary definitions, characterizes immediately a true _science_, +and shows it at once to be composed of an immense chain of intellectual +operations, which may evidently become very complicated, because of the +series of intermediate links which it will be necessary to establish +between the unknown quantities and those which admit of a direct +measurement; of the number of variables coexistent in the proposed +question; and of the nature of the relations between all these different +magnitudes furnished by the phenomena under consideration. According to +such a definition, the spirit of mathematics consists in always +regarding all the quantities which any phenomenon can present, as +connected and interwoven with one another, with the view of deducing +them from one another. Now there is evidently no phenomenon which cannot +give rise to considerations of this kind; whence results the naturally +indefinite extent and even the rigorous logical universality of +mathematical science. We shall seek farther on to circumscribe as +exactly as possible its real extension. + +The preceding explanations establish clearly the propriety of the name +employed to designate the science which we are considering. This +denomination, which has taken to-day so definite a meaning by itself +signifies simply _science_ in general. Such a designation, rigorously +exact for the Greeks, who had no other real science, could be retained +by the moderns only to indicate the mathematics as _the_ science, beyond +all others--the science of sciences. + +Indeed, every true science has for its object the determination of +certain phenomena by means of others, in accordance with the relations +which exist between them. Every _science_ consists in the co-ordination +of facts; if the different observations were entirely isolated, there +would be no science. We may even say, in general terms, that _science_ +is essentially destined to dispense, so far as the different phenomena +permit it, with all direct observation, by enabling us to deduce from +the smallest possible number of immediate data the greatest possible +number of results. Is not this the real use, whether in speculation or +in action, of the _laws_ which we succeed in discovering among natural +phenomena? Mathematical science, in this point of view, merely pushes to +the highest possible degree the same kind of researches which are +pursued, in degrees more or less inferior, by every real science in its +respective sphere. + + +ITS TWO FUNDAMENTAL DIVISIONS. + +We have thus far viewed mathematical science only as a whole, without +paying any regard to its divisions. We must now, in order to complete +this general view, and to form a just idea of the philosophical +character of the science, consider its fundamental division. The +secondary divisions will be examined in the following chapters. + +This principal division, which we are about to investigate, can be +truly rational, and derived from the real nature of the subject, only so +far as it spontaneously presents itself to us, in making the exact +analysis of a complete mathematical question. We will, therefore, having +determined above what is the general object of mathematical labours, now +characterize with precision the principal different orders of inquiries, +of which they are constantly composed. + +_Their different Objects._ The complete solution of every mathematical +question divides itself necessarily into two parts, of natures +essentially distinct, and with relations invariably determinate. We have +seen that every mathematical inquiry has for its object to determine +unknown magnitudes, according to the relations between them and known +magnitudes. Now for this object, it is evidently necessary, in the first +place, to ascertain with precision the relations which exist between the +quantities which we are considering. This first branch of inquiries +constitutes that which I call the _concrete_ part of the solution. When +it is finished, the question changes; it is now reduced to a pure +question of numbers, consisting simply in determining unknown numbers, +when we know what precise relations connect them with known numbers. +This second branch of inquiries is what I call the _abstract_ part of +the solution. Hence follows the fundamental division of general +mathematical science into _two_ great sciences--ABSTRACT MATHEMATICS, +and CONCRETE MATHEMATICS. + +This analysis may be observed in every complete mathematical question, +however simple or complicated it may be. A single example will suffice +to make it intelligible. + +Taking up again the phenomenon of the vertical fall of a heavy body, and +considering the simplest case, we see that in order to succeed in +determining, by means of one another, the height whence the body has +fallen, and the duration of its fall, we must commence by discovering +the exact relation of these two quantities, or, to use the language of +geometers, the _equation_ which exists between them. Before this first +research is completed, every attempt to determine numerically the value +of one of these two magnitudes from the other would evidently be +premature, for it would have no basis. It is not enough to know vaguely +that they depend on one another--which every one at once perceives--but +it is necessary to determine in what this dependence consists. This +inquiry may be very difficult, and in fact, in the present case, +constitutes incomparably the greater part of the problem. The true +scientific spirit is so modern, that no one, perhaps, before Galileo, +had ever remarked the increase of velocity which a body experiences in +its fall: a circumstance which excludes the hypothesis, towards which +our mind (always involuntarily inclined to suppose in every phenomenon +the most simple _functions_, without any other motive than its greater +facility in conceiving them) would be naturally led, that the height was +proportional to the time. In a word, this first inquiry terminated in +the discovery of the law of Galileo. + +When this _concrete_ part is completed, the inquiry becomes one of quite +another nature. Knowing that the spaces passed through by the body in +each successive second of its fall increase as the series of odd +numbers, we have then a problem purely numerical and _abstract_; to +deduce the height from the time, or the time from the height; and this +consists in finding that the first of these two quantities, according to +the law which has been established, is a known multiple of the second +power of the other; from which, finally, we have to calculate the value +of the one when that of the other is given. + +In this example the concrete question is more difficult than the +abstract one. The reverse would be the case if we considered the same +phenomenon in its greatest generality, as I have done above for another +object. According to the circumstances, sometimes the first, sometimes +the second, of these two parts will constitute the principal difficulty +of the whole question; for the mathematical law of the phenomenon may be +very simple, but very difficult to obtain, or it may be easy to +discover, but very complicated; so that the two great sections of +mathematical science, when we compare them as wholes, must be regarded +as exactly equivalent in extent and in difficulty, as well as in +importance, as we shall show farther on, in considering each of them +separately. + +_Their different Natures._ These two parts, essentially distinct in +their _object_, as we have just seen, are no less so with regard to the +_nature_ of the inquiries of which they are composed. + +The first should be called _concrete_, since it evidently depends on the +character of the phenomena considered, and must necessarily vary when we +examine new phenomena; while the second is completely independent of the +nature of the objects examined, and is concerned with only the +_numerical_ relations which they present, for which reason it should be +called _abstract_. The same relations may exist in a great number of +different phenomena, which, in spite of their extreme diversity, will +be viewed by the geometer as offering an analytical question +susceptible, when studied by itself, of being resolved once for all. +Thus, for instance, the same law which exists between the space and the +time of the vertical fall of a body in a vacuum, is found again in many +other phenomena which offer no analogy with the first nor with each +other; for it expresses the relation between the surface of a spherical +body and the length of its diameter; it determines, in like manner, the +decrease of the intensity of light or of heat in relation to the +distance of the objects lighted or heated, &c. The abstract part, common +to these different mathematical questions, having been treated in +reference to one of these, will thus have been treated for all; while +the concrete part will have necessarily to be again taken up for each +question separately, without the solution of any one of them being able +to give any direct aid, in that connexion, for the solution of the rest. + +The abstract part of mathematics is, then, general in its nature; the +concrete part, special. + +To present this comparison under a new point of view, we may say +concrete mathematics has a philosophical character, which is essentially +experimental, physical, phenomenal; while that of abstract mathematics +is purely logical, rational. The concrete part of every mathematical +question is necessarily founded on the consideration of the external +world, and could never be resolved by a simple series of intellectual +combinations. The abstract part, on the contrary, when it has been very +completely separated, can consist only of a series of logical +deductions, more or less prolonged; for if we have once found the +equations of a phenomenon, the determination of the quantities therein +considered, by means of one another, is a matter for reasoning only, +whatever the difficulties may be. It belongs to the understanding alone +to deduce from these equations results which are evidently contained in +them, although perhaps in a very involved manner, without there being +occasion to consult anew the external world; the consideration of which, +having become thenceforth foreign to the subject, ought even to be +carefully set aside in order to reduce the labour to its true peculiar +difficulty. The _abstract_ part of mathematics is then purely +instrumental, and is only an immense and admirable extension of natural +logic to a certain class of deductions. On the other hand, geometry and +mechanics, which, as we shall see presently, constitute the _concrete_ +part, must be viewed as real natural sciences, founded on observation, +like all the rest, although the extreme simplicity of their phenomena +permits an infinitely greater degree of systematization, which has +sometimes caused a misconception of the experimental character of their +first principles. + +We see, by this brief general comparison, how natural and profound is +our fundamental division of mathematical science. + +We have now to circumscribe, as exactly as we can in this first sketch, +each of these two great sections. + + +CONCRETE MATHEMATICS. + +_Concrete Mathematics_ having for its object the discovery of the +_equations_ of phenomena, it would seem at first that it must be +composed of as many distinct sciences as we find really distinct +categories among natural phenomena. But we are yet very far from having +discovered mathematical laws in all kinds of phenomena; we shall even +see, presently, that the greater part will very probably always hide +themselves from our investigations. In reality, in the present condition +of the human mind, there are directly but two great general classes of +phenomena, whose equations we constantly know; these are, firstly, +geometrical, and, secondly, mechanical phenomena. Thus, then, the +concrete part of mathematics is composed of GEOMETRY and RATIONAL +MECHANICS. + +This is sufficient, it is true, to give to it a complete character of +logical universality, when we consider all phenomena from the most +elevated point of view of natural philosophy. In fact, if all the parts +of the universe were conceived as immovable, we should evidently have +only geometrical phenomena to observe, since all would be reduced to +relations of form, magnitude, and position; then, having regard to the +motions which take place in it, we would have also to consider +mechanical phenomena. Hence the universe, in the statical point of view, +presents only geometrical phenomena; and, considered dynamically, only +mechanical phenomena. Thus geometry and mechanics constitute the two +fundamental natural sciences, in this sense, that all natural effects +may be conceived as simple necessary results, either of the laws of +extension or of the laws of motion. + +But although this conception is always logically possible, the +difficulty is to specialize it with the necessary precision, and to +follow it exactly in each of the general cases offered to us by the +study of nature; that is, to effectually reduce each principal question +of natural philosophy, for a certain determinate order of phenomena, to +the question of geometry or mechanics, to which we might rationally +suppose it should be brought. This transformation, which requires great +progress to have been previously made in the study of each class of +phenomena, has thus far been really executed only for those of +astronomy, and for a part of those considered by terrestrial physics, +properly so called. It is thus that astronomy, acoustics, optics, &c., +have finally become applications of mathematical science to certain +orders of observations.[1] But these applications not being by their +nature rigorously circumscribed, to confound them with the science would +be to assign to it a vague and indefinite domain; and this is done in +the usual division, so faulty in so many other respects, of the +mathematics into "Pure" and "Applied." + + [Footnote 1: The investigation of the mathematical phenomena of the + laws of heat by Baron Fourier has led to the establishment, in an + entirely direct manner, of Thermological equations. This great + discovery tends to elevate our philosophical hopes as to the future + extensions of the legitimate applications of mathematical analysis, + and renders it proper, in the opinion of author, to regard + _Thermology_ as a third principal branch of concrete mathematics.] + + +ABSTRACT MATHEMATICS. + +The nature of abstract mathematics (the general division of which will +be examined in the following chapter) is clearly and exactly determined. +It is composed of what is called the _Calculus_,[2] taking this word in +its greatest extent, which reaches from the most simple numerical +operations to the most sublime combinations of transcendental analysis. +The _Calculus_ has the solution of all questions relating to numbers +for its peculiar object. Its _starting point_ is, constantly and +necessarily, the knowledge of the precise relations, _i.e._, of the +_equations_, between the different magnitudes which are simultaneously +considered; that which is, on the contrary, the _stopping point_ of +concrete mathematics. However complicated, or however indirect these +relations may be, the final object of the calculus always is to obtain +from them the values of the unknown quantities by means of those which +are known. This _science_, although nearer perfection than any other, is +really little advanced as yet, so that this object is rarely attained in +a manner completely satisfactory. + + [Footnote 2: The translator has felt justified in employing this + very convenient word (for which our language has no precise + equivalent) as an English one, in its most extended sense, in spite + of its being often popularly confounded with its Differential and + Integral department.] + +Mathematical analysis is, then, the true rational basis of the entire +system of our actual knowledge. It constitutes the first and the most +perfect of all the fundamental sciences. The ideas with which it +occupies itself are the most universal, the most abstract, and the most +simple which it is possible for us to conceive. + +This peculiar nature of mathematical analysis enables us easily to +explain why, when it is properly employed, it is such a powerful +instrument, not only to give more precision to our real knowledge, which +is self-evident, but especially to establish an infinitely more perfect +co-ordination in the study of the phenomena which admit of that +application; for, our conceptions having been so generalized and +simplified that a single analytical question, abstractly resolved, +contains the _implicit_ solution of a great number of diverse physical +questions, the human mind must necessarily acquire by these means a +greater facility in perceiving relations between phenomena which at +first appeared entirely distinct from one another. We thus naturally see +arise, through the medium of analysis, the most frequent and the most +unexpected approximations between problems which at first offered no +apparent connection, and which we often end in viewing as identical. +Could we, for example, without the aid of analysis, perceive the least +resemblance between the determination of the direction of a curve at +each of its points and that of the velocity acquired by a body at every +instant of its variable motion? and yet these questions, however +different they may be, compose but one in the eyes of the geometer. + +The high relative perfection of mathematical analysis is as easily +perceptible. This perfection is not due, as some have thought, to the +nature of the signs which are employed as instruments of reasoning, +eminently concise and general as they are. In reality, all great +analytical ideas have been formed without the algebraic signs having +been of any essential aid, except for working them out after the mind +had conceived them. The superior perfection of the science of the +calculus is due principally to the extreme simplicity of the ideas which +it considers, by whatever signs they may be expressed; so that there is +not the least hope, by any artifice of scientific language, of +perfecting to the same degree theories which refer to more complex +subjects, and which are necessarily condemned by their nature to a +greater or less logical inferiority. + + +THE EXTENT OF ITS FIELD. + +Our examination of the philosophical character of mathematical science +would remain incomplete, if, after having viewed its object and +composition, we did not examine the real extent of its domain. + +_Its Universality_. For this purpose it is indispensable to perceive, +first of all, that, in the purely logical point of view, this science is +by itself necessarily and rigorously universal; for there is no question +whatever which may not be finally conceived as consisting in determining +certain quantities from others by means of certain relations, and +consequently as admitting of reduction, in final analysis, to a simple +question of numbers. In all our researches, indeed, on whatever subject, +our object is to arrive at numbers, at quantities, though often in a +very imperfect manner and by very uncertain methods. Thus, taking an +example in the class of subjects the least accessible to mathematics, +the phenomena of living bodies, even when considered (to take the most +complicated case) in the state of disease, is it not manifest that all +the questions of therapeutics may be viewed as consisting in determining +the _quantities_ of the different agents which modify the organism, and +which must act upon it to bring it to its normal state, admitting, for +some of these quantities in certain cases, values which are equal to +zero, or negative, or even contradictory? + +The fundamental idea of Descartes on the relation of the concrete to the +abstract in mathematics, has proven, in opposition to the superficial +distinction of metaphysics, that all ideas of quality may be reduced to +those of quantity. This conception, established at first by its immortal +author in relation to geometrical phenomena only, has since been +effectually extended to mechanical phenomena, and in our days to those +of heat. As a result of this gradual generalization, there are now no +geometers who do not consider it, in a purely theoretical sense, as +capable of being applied to all our real ideas of every sort, so that +every phenomenon is logically susceptible of being represented by an +_equation_; as much so, indeed, as is a curve or a motion, excepting the +difficulty of discovering it, and then of _resolving_ it, which may be, +and oftentimes are, superior to the greatest powers of the human mind. + +_Its Limitations_. Important as it is to comprehend the rigorous +universality, in a logical point of view, of mathematical science, it is +no less indispensable to consider now the great real _limitations_, +which, through the feebleness of our intellect, narrow in a remarkable +degree its actual domain, in proportion as phenomena, in becoming +special, become complicated. + +Every question may be conceived as capable of being reduced to a pure +question of numbers; but the difficulty of effecting such a +transformation increases so much with the complication of the phenomena +of natural philosophy, that it soon becomes insurmountable. + +This will be easily seen, if we consider that to bring a question within +the field of mathematical analysis, we must first have discovered the +precise relations which exist between the quantities which are found in +the phenomenon under examination, the establishment of these equations +being the necessary starting point of all analytical labours. This must +evidently be so much the more difficult as we have to do with phenomena +which are more special, and therefore more complicated. We shall thus +find that it is only in _inorganic physics_, at the most, that we can +justly hope ever to obtain that high degree of scientific perfection. + +The _first_ condition which is necessary in order that phenomena may +admit of mathematical laws, susceptible of being discovered, evidently +is, that their different quantities should admit of being expressed by +fixed numbers. We soon find that in this respect the whole of _organic +physics_, and probably also the most complicated parts of inorganic +physics, are necessarily inaccessible, by their nature, to our +mathematical analysis, by reason of the extreme numerical variability of +the corresponding phenomena. Every precise idea of fixed numbers is +truly out of place in the phenomena of living bodies, when we wish to +employ it otherwise than as a means of relieving the attention, and when +we attach any importance to the exact relations of the values assigned. + +We ought not, however, on this account, to cease to conceive all +phenomena as being necessarily subject to mathematical laws, which we +are condemned to be ignorant of, only because of the too great +complication of the phenomena. The most complex phenomena of living +bodies are doubtless essentially of no other special nature than the +simplest phenomena of unorganized matter. If it were possible to isolate +rigorously each of the simple causes which concur in producing a single +physiological phenomenon, every thing leads us to believe that it would +show itself endowed, in determinate circumstances, with a kind of +influence and with a quantity of action as exactly fixed as we see it in +universal gravitation, a veritable type of the fundamental laws of +nature. + +There is a _second_ reason why we cannot bring complicated phenomena +under the dominion of mathematical analysis. Even if we could ascertain +the mathematical law which governs each agent, taken by itself, the +combination of so great a number of conditions would render the +corresponding mathematical problem so far above our feeble means, that +the question would remain in most cases incapable of solution. + +To appreciate this difficulty, let us consider how complicated +mathematical questions become, even those relating to the most simple +phenomena of unorganized bodies, when we desire to bring sufficiently +near together the abstract and the concrete state, having regard to all +the principal conditions which can exercise a real influence over the +effect produced. We know, for example, that the very simple phenomenon +of the flow of a fluid through a given orifice, by virtue of its gravity +alone, has not as yet any complete mathematical solution, when we take +into the account all the essential circumstances. It is the same even +with the still more simple motion of a solid projectile in a resisting +medium. + +Why has mathematical analysis been able to adapt itself with such +admirable success to the most profound study of celestial phenomena? +Because they are, in spite of popular appearances, much more simple than +any others. The most complicated problem which they present, that of the +modification produced in the motions of two bodies tending towards each +other by virtue of their gravitation, by the influence of a third body +acting on both of them in the same manner, is much less complex than the +most simple terrestrial problem. And, nevertheless, even it presents +difficulties so great that we yet possess only approximate solutions of +it. It is even easy to see that the high perfection to which solar +astronomy has been able to elevate itself by the employment of +mathematical science is, besides, essentially due to our having +skilfully profited by all the particular, and, so to say, accidental +facilities presented by the peculiarly favourable constitution of our +planetary system. The planets which compose it are quite few in number, +and their masses are in general very unequal, and much less than that of +the sun; they are, besides, very distant from one another; they have +forms almost spherical; their orbits are nearly circular, and only +slightly inclined to each other, and so on. It results from all these +circumstances that the perturbations are generally inconsiderable, and +that to calculate them it is usually sufficient to take into the +account, in connexion with the action of the sun on each particular +planet, the influence of only one other planet, capable, by its size and +its proximity, of causing perceptible derangements. + +If, however, instead of such a state of things, our solar system had +been composed of a greater number of planets concentrated into a less +space, and nearly equal in mass; if their orbits had presented very +different inclinations, and considerable eccentricities; if these bodies +had been of a more complicated form, such as very eccentric ellipsoids, +it is certain that, supposing the same law of gravitation to exist, we +should not yet have succeeded in subjecting the study of the celestial +phenomena to our mathematical analysis, and probably we should not even +have been able to disentangle the present principal law. + +These hypothetical conditions would find themselves exactly realized in +the highest degree in _chemical_ phenomena, if we attempted to calculate +them by the theory of general gravitation. + +On properly weighing the preceding considerations, the reader will be +convinced, I think, that in reducing the future extension of the great +applications of mathematical analysis, which are really possible, to +the field comprised in the different departments of inorganic physics, I +have rather exaggerated than contracted the extent of its actual domain. +Important as it was to render apparent the rigorous logical universality +of mathematical science, it was equally so to indicate the conditions +which limit for us its real extension, so as not to contribute to lead +the human mind astray from the true scientific direction in the study of +the most complicated phenomena, by the chimerical search after an +impossible perfection. + + * * * * * + +Having thus exhibited the essential object and the principal composition +of mathematical science, as well as its general relations with the whole +body of natural philosophy, we have now to pass to the special +examination of the great sciences of which it is composed. + + _Note._--ANALYSIS and GEOMETRY are the two great heads under which + the subject is about to be examined. To these _M. Comte_ adds + Rational MECHANICS; but as it is not comprised in the usual idea of + Mathematics, and as its discussion would be of but limited utility + and interest, it is not included in the present translation. + + + + +BOOK I. + +ANALYSIS. + + + + +BOOK I. + +ANALYSIS. + + + + +CHAPTER I. + +GENERAL VIEW OF MATHEMATICAL ANALYSIS. + + +In the historical development of mathematical science since the time of +Descartes, the advances of its abstract portion have always been +determined by those of its concrete portion; but it is none the less +necessary, in order to conceive the science in a manner truly logical, +to consider the Calculus in all its principal branches before proceeding +to the philosophical study of Geometry and Mechanics. Its analytical +theories, more simple and more general than those of concrete +mathematics, are in themselves essentially independent of the latter; +while these, on the contrary, have, by their nature, a continual need of +the former, without the aid of which they could make scarcely any +progress. Although the principal conceptions of analysis retain at +present some very perceptible traces of their geometrical or mechanical +origin, they are now, however, mainly freed from that primitive +character, which no longer manifests itself except in some secondary +points; so that it is possible (especially since the labours of +Lagrange) to present them in a dogmatic exposition, by a purely abstract +method, in a single and continuous system. It is this which will be +undertaken in the present and the five following chapters, limiting our +investigations to the most general considerations upon each principal +branch of the science of the calculus. + +The definite object of our researches in concrete mathematics being the +discovery of the _equations_ which express the mathematical laws of the +phenomenon under consideration, and these equations constituting the +true starting point of the calculus, which has for its object to obtain +from them the determination of certain quantities by means of others, I +think it indispensable, before proceeding any farther, to go more deeply +than has been customary into that fundamental idea of _equation_, the +continual subject, either as end or as beginning, of all mathematical +labours. Besides the advantage of circumscribing more definitely the +true field of analysis, there will result from it the important +consequence of tracing in a more exact manner the real line of +demarcation between the concrete and the abstract part of mathematics, +which will complete the general exposition of the fundamental division +established in the introductory chapter. + + + + +THE TRUE IDEA OF AN EQUATION. + + +We usually form much too vague an idea of what an _equation_ is, when we +give that name to every kind of relation of equality between _any_ two +functions of the magnitudes which we are considering. For, though every +equation is evidently a relation of equality, it is far from being true +that, reciprocally, every relation of equality is a veritable +_equation_, of the kind of those to which, by their nature, the methods +of analysis are applicable. + +This want of precision in the logical consideration of an idea which is +so fundamental in mathematics, brings with it the serious inconvenience +of rendering it almost impossible to explain, in general terms, the +great and fundamental difficulty which we find in establishing the +relation between the concrete and the abstract, and which stands out so +prominently in each great mathematical question taken by itself. If the +meaning of the word _equation_ was truly as extended as we habitually +suppose it to be in our definition of it, it is not apparent what great +difficulty there could really be, in general, in establishing the +equations of any problem whatsoever; for the whole would thus appear to +consist in a simple question of form, which ought never even to exact +any great intellectual efforts, seeing that we can hardly conceive of +any precise relation which is not immediately a certain relation of +equality, or which cannot be readily brought thereto by some very easy +transformations. + +Thus, when we admit every species of _functions_ into the definition of +_equations_, we do not at all account for the extreme difficulty which +we almost always experience in putting a problem into an equation, and +which so often may be compared to the efforts required by the analytical +elaboration of the equation when once obtained. In a word, the ordinary +abstract and general idea of an _equation_ does not at all correspond to +the real meaning which geometers attach to that expression in the actual +development of the science. Here, then, is a logical fault, a defect of +correlation, which it is very important to rectify. + + +_Division of Functions into Abstract and Concrete._ To succeed in doing +so, I begin by distinguishing two sorts of _functions_, _abstract_ or +analytical functions, and _concrete_ functions. The first alone can +enter into veritable _equations_. We may, therefore, henceforth define +every _equation_, in an exact and sufficiently profound manner, as a +relation of equality between two _abstract_ functions of the magnitudes +under consideration. In order not to have to return again to this +fundamental definition, I must add here, as an indispensable complement, +without which the idea would not be sufficiently general, that these +abstract functions may refer not only to the magnitudes which the +problem presents of itself, but also to all the other auxiliary +magnitudes which are connected with it, and which we will often be able +to introduce, simply as a mathematical artifice, with the sole object of +facilitating the discovery of the equations of the phenomena. I here +anticipate summarily the result of a general discussion of the highest +importance, which will be found at the end of this chapter. We will now +return to the essential distinction of functions as abstract and +concrete. + +This distinction may be established in two ways, essentially different, +but complementary of each other, _à priori_ and _à posteriori_; that is +to say, by characterizing in a general manner the peculiar nature of +each species of functions, and then by making the actual enumeration of +all the abstract functions at present known, at least so far as relates +to the elements of which they are composed. + +_À priori_, the functions which I call _abstract_ are those which +express a manner of dependence between magnitudes, which can be +conceived between numbers alone, without there being need of indicating +any phenomenon whatever in which it is realized. I name, on the other +hand, _concrete_ functions, those for which the mode of dependence +expressed cannot be defined or conceived except by assigning a +determinate case of physics, geometry, mechanics, &c., in which it +actually exists. + +Most functions in their origin, even those which are at present the most +purely _abstract_, have begun by being _concrete_; so that it is easy to +make the preceding distinction understood, by citing only the successive +different points of view under which, in proportion as the science has +become formed, geometers have considered the most simple analytical +functions. I will indicate powers, for example, which have in general +become abstract functions only since the labours of Vieta and Descartes. +The functions _x²_, _x³_, which in our present analysis are so well +conceived as simply _abstract_, were, for the geometers of antiquity, +perfectly _concrete_ functions, expressing the relation of the +superficies of a square, or the volume of a cube to the length of their +side. These had in their eyes such a character so exclusively, that it +was only by means of the geometrical definitions that they discovered +the elementary algebraic properties of these functions, relating to the +decomposition of the variable into two parts, properties which were at +that epoch only real theorems of geometry, to which a numerical meaning +was not attached until long afterward. + +I shall have occasion to cite presently, for another reason, a new +example, very suitable to make apparent the fundamental distinction +which I have just exhibited; it is that of circular functions, both +direct and inverse, which at the present time are still sometimes +concrete, sometimes abstract, according to the point of view under +which they are regarded. + +_À posteriori_, the general character which renders a function abstract +or concrete having been established, the question as to whether a +certain determinate function is veritably abstract, and therefore +susceptible of entering into true analytical equations, becomes a simple +question of fact, inasmuch as we are going to enumerate all the +functions of this species. + + +_Enumeration of Abstract Functions._ At first view this enumeration +seems impossible, the distinct analytical functions being infinite in +number. But when we divide them into _simple_ and _compound_, the +difficulty disappears; for, though the number of the different functions +considered in mathematical analysis is really infinite, they are, on the +contrary, even at the present day, composed of a very small number of +elementary functions, which can be easily assigned, and which are +evidently sufficient for deciding the abstract or concrete character of +any given function; which will be of the one or the other nature, +according as it shall be composed exclusively of these simple abstract +functions, or as it shall include others. + +We evidently have to consider, for this purpose, only the functions of a +single variable, since those relative to several independent variables +are constantly, by their nature, more or less _compound_. + +Let _x_ be the independent variable, _y_ the correlative variable which +depends upon it. The different simple modes of abstract dependence, +which we can now conceive between _y_ and _x_, are expressed by the ten +following elementary formulas, in which each function is coupled with +its _inverse_, that is, with that which would be obtained from the +direct function by referring _x_ to _y_, instead of referring _y_ to +_x_. + + FUNCTION. ITS NAME. + +1st couple {1° _y_ = _a_ + _x_ _Sum._ + {2° _y_ = _a_ - _x_ _Difference._ + +2d couple {1° _y_ = _ax_ _Product._ + {2° _y_ = _a/x_ _Quotient._ + +3d couple {1° _y_ = _x^a_ _Power._ + {2° _y_ = _[ath root]x_ _Root._ + +4th couple {1° _y_ = _a^x_ _Exponential._ + {2° _y_ = _[log a]x_ _Logarithmic._ + +5th couple {1° _y_ = sin. _x_ _Direct Circular._ + {2° _y_ = arc(sin. = _x_). _Inverse Circular._[3] + + [Footnote 3: With the view of increasing as much as possible the + resources and the extent (now so insufficient) of mathematical + analysis, geometers count this last couple of functions among the + analytical elements. Although this inscription is strictly + legitimate, it is important to remark that circular functions are + not exactly in the same situation as the other abstract elementary + functions. There is this very essential difference, that the + functions of the four first couples are at the same time simple and + abstract, while the circular functions, which may manifest each + character in succession, according to the point of view under which + they are considered and the manner in which they are employed, + never present these two properties simultaneously. + + Some other concrete functions may be usefully introduced into the + number of analytical elements, certain conditions being fulfilled. + It is thus, for example, that the labours of M. Legendre and of M. + Jacobi on _elliptical_ functions have truly enlarged the field of + analysis; and the same is true of some definite integrals obtained + by M. Fourier in the theory of heat.] + +Such are the elements, very few in number, which directly compose all +the abstract functions known at the present day. Few as they are, they +are evidently sufficient to give rise to an infinite number of +analytical combinations. + +No rational consideration rigorously circumscribes, _à priori_, the +preceding table, which is only the actual expression of the present +state of the science. Our analytical elements are at the present day +more numerous than they were for Descartes, and even for Newton and +Leibnitz: it is only a century since the last two couples have been +introduced into analysis by the labours of John Bernouilli and Euler. +Doubtless new ones will be hereafter admitted; but, as I shall show +towards the end of this chapter, we cannot hope that they will ever be +greatly multiplied, their real augmentation giving rise to very great +difficulties. + +We can now form a definite, and, at the same time, sufficiently extended +idea of what geometers understand by a veritable _equation_. This +explanation is especially suited to make us understand how difficult it +must be really to establish the _equations_ of phenomena, since we have +effectually succeeded in so doing only when we have been able to +conceive the mathematical laws of these phenomena by the aid of +functions entirely composed of only the mathematical elements which I +have just enumerated. It is clear, in fact, that it is then only that +the problem becomes truly abstract, and is reduced to a pure question of +numbers, these functions being the only simple relations which we can +conceive between numbers, considered by themselves. Up to this period of +the solution, whatever the appearances may be, the question is still +essentially concrete, and does not come within the domain of the +_calculus_. Now the fundamental difficulty of this passage from the +_concrete_ to the _abstract_ in general consists especially in the +insufficiency of this very small number of analytical elements which we +possess, and by means of which, nevertheless, in spite of the little +real variety which they offer us, we must succeed in representing all +the precise relations which all the different natural phenomena can +manifest to us. Considering the infinite diversity which must +necessarily exist in this respect in the external world, we easily +understand how far below the true difficulty our conceptions must +frequently be found, especially if we add that as these elements of our +analysis have been in the first place furnished to us by the +mathematical consideration of the simplest phenomena, we have, _à +priori_, no rational guarantee of their necessary suitableness to +represent the mathematical law of every other class of phenomena. I will +explain presently the general artifice, so profoundly ingenious, by +which the human mind has succeeded in diminishing, in a remarkable +degree, this fundamental difficulty which is presented by the relation +of the concrete to the abstract in mathematics, without, however, its +having been necessary to multiply the number of these analytical +elements. + + + + +THE TWO PRINCIPAL DIVISIONS OF THE CALCULUS. + + +The preceding explanations determine with precision the true object and +the real field of abstract mathematics. I must now pass to the +examination of its principal divisions, for thus far we have considered +the calculus as a whole. + +The first direct consideration to be presented on the composition of the +science of the _calculus_ consists in dividing it, in the first place, +into two principal branches, to which, for want of more suitable +denominations, I will give the names of _Algebraic calculus_, or +_Algebra_, and of _Arithmetical calculus_, or _Arithmetic_; but with +the caution to take these two expressions in their most extended logical +acceptation, in the place of the by far too restricted meaning which is +usually attached to them. + +The complete solution of every question of the _calculus_, from the most +elementary up to the most transcendental, is necessarily composed of two +successive parts, whose nature is essentially distinct. In the first, +the object is to transform the proposed equations, so as to make +apparent the manner in which the unknown quantities are formed by the +known ones: it is this which constitutes the _algebraic_ question. In +the second, our object is to _find the values_ of the formulas thus +obtained; that is, to determine directly the values of the numbers +sought, which are already represented by certain explicit functions of +given numbers: this is the _arithmetical_ question.[4] It is apparent +that, in every solution which is truly rational, it necessarily follows +the algebraical question, of which it forms the indispensable +complement, since it is evidently necessary to know the mode of +generation of the numbers sought for before determining their actual +values for each particular case. Thus the stopping-place of the +algebraic part of the solution becomes the starting point of the +arithmetical part. + + [Footnote 4: Suppose, for example, that a question gives the + following equation between an unknown magnitude x, and two known + magnitudes, _a_ and _b_, + + _x³_ + 3_ax_ = 2_b_, + + as is the case in the problem of the trisection of an angle. We see + at once that the dependence between _x_ on the one side, and _ab_ on + the other, is completely determined; but, so long as the equation + preserves its primitive form, we do not at all perceive in what + manner the unknown quantity is derived from the data. This must be + discovered, however, before we can think of determining its value. + Such is the object of the algebraic part of the solution. When, by a + series of transformations which have successively rendered that + derivation more and more apparent, we have arrived at presenting the + proposed equation under the form + + _x_ = ∛(_b_ + √(_b²_ + _a³_)) + ∛(_b_ - √(_b²_ + _a³_)), + + the work of _algebra_ is finished; and even if we could not perform + the arithmetical operations indicated by that formula, we would + nevertheless have obtained a knowledge very real, and often very + important. The work of _arithmetic_ will now consist in taking that + formula for its starting point, and finding the number _x_ when the + values of the numbers _a_ and _b_ are given.] + +We thus see that the _algebraic_ calculus and the _arithmetical_ +calculus differ essentially in their object. They differ no less in the +point of view under which they regard quantities; which are considered +in the first as to their _relations_, and in the second as to their +_values_. The true spirit of the calculus, in general, requires this +distinction to be maintained with the most severe exactitude, and the +line of demarcation between the two periods of the solution to be +rendered as clear and distinct as the proposed question permits. The +attentive observation of this precept, which is too much neglected, may +be of much assistance, in each particular question, in directing the +efforts of our mind, at any moment of the solution, towards the real +corresponding difficulty. In truth, the imperfection of the science of +the calculus obliges us very often (as will be explained in the next +chapter) to intermingle algebraic and arithmetical considerations in the +solution of the same question. But, however impossible it may be to +separate clearly the two parts of the labour, yet the preceding +indications will always enable us to avoid confounding them. + +In endeavouring to sum up as succinctly as possible the distinction just +established, we see that ALGEBRA may be defined, in general, as having +for its object the _resolution of equations_; taking this expression in +its full logical meaning, which signifies the transformation of +_implicit_ functions into equivalent _explicit_ ones. In the same way, +ARITHMETIC may be defined as destined to _the determination of the +values of functions_. Henceforth, therefore, we will briefly say that +ALGEBRA is the _Calculus of Functions_, and ARITHMETIC the _Calculus of +Values_. + +We can now perceive how insufficient and even erroneous are the ordinary +definitions. Most generally, the exaggerated importance attributed to +Signs has led to the distinguishing the two fundamental branches of the +science of the Calculus by the manner of designating in each the +subjects of discussion, an idea which is evidently absurd in principle +and false in fact. Even the celebrated definition given by Newton, +characterizing _Algebra_ as _Universal Arithmetic_, gives certainly a +very false idea of the nature of algebra and of that of arithmetic.[5] + + [Footnote 5: I have thought that I ought to specially notice this + definition, because it serves as the basis of the opinion which + many intelligent persons, unacquainted with mathematical science, + form of its abstract part, without considering that at the time of + this definition mathematical analysis was not sufficiently + developed to enable the general character of each of its principal + parts to be properly apprehended, which explains why Newton could + at that time propose a definition which at the present day he would + certainly reject.] + +Having thus established the fundamental division of the calculus into +two principal branches, I have now to compare in general terms the +extent, the importance, and the difficulty of these two sorts of +calculus, so as to have hereafter to consider only the _Calculus of +Functions_, which is to be the principal subject of our study. + + + + +THE CALCULUS OF VALUES, OR ARITHMETIC. + + +_Its Extent._ The _Calculus of Values, or Arithmetic_, would appear, at +first view, to present a field as vast as that of _algebra_, since it +would seem to admit as many distinct questions as we can conceive +different algebraic formulas whose values are to be determined. But a +very simple reflection will show the difference. Dividing functions into +_simple_ and _compound_, it is evident that when we know how to +determine the _value_ of simple functions, the consideration of compound +functions will no longer present any difficulty. In the algebraic point +of view, a compound function plays a very different part from that of +the elementary functions of which it consists, and from this, indeed, +proceed all the principal difficulties of analysis. But it is very +different with the Arithmetical Calculus. Thus the number of truly +distinct arithmetical operations is only that determined by the number +of the elementary abstract functions, the very limited list of which has +been given above. The determination of the values of these ten functions +necessarily gives that of all the functions, infinite in number, which +are considered in the whole of mathematical analysis, such at least as +it exists at present. There can be no new arithmetical operations +without the creation of really new analytical elements, the number of +which must always be extremely small. The field of _arithmetic_ is, +then, by its nature, exceedingly restricted, while that of algebra is +rigorously indefinite. + +It is, however, important to remark, that the domain of the _calculus of +values_ is, in reality, much more extensive than it is commonly +represented; for several questions truly _arithmetical_, since they +consist of determinations of values, are not ordinarily classed as such, +because we are accustomed to treat them only as incidental in the midst +of a body of analytical researches more or less elevated, the too high +opinion commonly formed of the influence of signs being again the +principal cause of this confusion of ideas. Thus not only the +construction of a table of logarithms, but also the calculation of +trigonometrical tables, are true arithmetical operations of a higher +kind. We may also cite as being in the same class, although in a very +distinct and more elevated order, all the methods by which we determine +directly the value of any function for each particular system of values +attributed to the quantities on which it depends, when we cannot express +in general terms the explicit form of that function. In this point of +view the _numerical_ solution of questions which we cannot resolve +algebraically, and even the calculation of "Definite Integrals," whose +general integrals we do not know, really make a part, in spite of all +appearances, of the domain of _arithmetic_, in which we must necessarily +comprise all that which has for its object the _determination of the +values of functions_. The considerations relative to this object are, in +fact, constantly homogeneous, whatever the _determinations_ in question, +and are always very distinct from truly _algebraic_ considerations. + +To complete a just idea of the real extent of the calculus of values, we +must include in it likewise that part of the general science of the +calculus which now bears the name of the _Theory of Numbers_, and which +is yet so little advanced. This branch, very extensive by its nature, +but whose importance in the general system of science is not very +great, has for its object the discovery of the properties inherent in +different numbers by virtue of their values, and independent of any +particular system of numeration. It forms, then, a sort of +_transcendental arithmetic_; and to it would really apply the definition +proposed by Newton for algebra. + +The entire domain of arithmetic is, then, much more extended than is +commonly supposed; but this _calculus of values_ will still never be +more than a point, so to speak, in comparison with the _calculus of +functions_, of which mathematical science essentially consists. This +comparative estimate will be still more apparent from some +considerations which I have now to indicate respecting the true nature +of arithmetical questions in general, when they are more profoundly +examined. + + +_Its true Nature._ In seeking to determine with precision in what +_determinations of values_ properly consist, we easily recognize that +they are nothing else but veritable _transformations_ of the functions +to be valued; transformations which, in spite of their special end, are +none the less essentially of the same nature as all those taught by +analysis. In this point of view, the _calculus of values_ might be +simply conceived as an appendix, and a particular application of the +_calculus of functions_, so that _arithmetic_ would disappear, so to +say, as a distinct section in the whole body of abstract mathematics. + +In order thoroughly to comprehend this consideration, we must observe +that, when we propose to determine the _value_ of an unknown number +whose mode of formation is given, it is, by the mere enunciation of the +arithmetical question, already defined and expressed under a certain +form; and that in _determining its value_ we only put its expression +under another determinate form, to which we are accustomed to refer the +exact notion of each particular number by making it re-enter into the +regular system of _numeration_. The determination of values consists so +completely of a simple _transformation_, that when the primitive +expression of the number is found to be already conformed to the regular +system of numeration, there is no longer any determination of value, +properly speaking, or, rather, the question is answered by the question +itself. Let the question be to add the two numbers _one_ and _twenty_, +we answer it by merely repeating the enunciation of the question,[6] and +nevertheless we think that we have _determined the value_ of the sum. +This signifies that in this case the first expression of the function +had no need of being transformed, while it would not be thus in adding +twenty-three and fourteen, for then the sum would not be immediately +expressed in a manner conformed to the rank which it occupies in the +fixed and general scale of numeration. + + + [Footnote 6: This is less strictly true in the English system of + numeration than in the French, since "twenty-one" is our more usual + mode of expressing this number.] + +To sum up as comprehensively as possible the preceding views, we may +say, that to determine the _value_ of a number is nothing else than +putting its primitive expression under the form + + _a_ + _bz_ + _cz²_ + _dz³_ + _ez⁴_ . . . . . + _pz^m_, + +_z_ being generally equal to 10, and the coefficients _a_, _b_, _c_, +_d_, &c., being subjected to the conditions of being whole numbers less +than _z_; capable of becoming equal to zero; but never negative. Every +arithmetical question may thus be stated as consisting in putting under +such a form any abstract function whatever of different quantities, +which are supposed to have themselves a similar form already. We might +then see in the different operations of arithmetic only simple +particular cases of certain algebraic transformations, excepting the +special difficulties belonging to conditions relating to the nature of +the coefficients. + +It clearly follows that abstract mathematics is essentially composed of +the _Calculus of Functions_, which had been already seen to be its most +important, most extended, and most difficult part. It will henceforth be +the exclusive subject of our analytical investigations. I will therefore +no longer delay on the _Calculus of Values_, but pass immediately to the +examination of the fundamental division of the _Calculus of Functions_. + + + + +THE CALCULUS OF FUNCTIONS, OR ALGEBRA. + + +_Principle of its Fundamental Division._ We have determined, at the +beginning of this chapter, wherein properly consists the difficulty +which we experience in putting mathematical questions into _equations_. +It is essentially because of the insufficiency of the very small number +of analytical elements which we possess, that the relation of the +concrete to the abstract is usually so difficult to establish. Let us +endeavour now to appreciate in a philosophical manner the general +process by which the human mind has succeeded, in so great a number of +important cases, in overcoming this fundamental obstacle to _The +establishment of Equations_. + + +1. _By the Creation of new Functions._ In looking at this important +question from the most general point of view, we are led at once to the +conception of one means of facilitating the establishment of the +equations of phenomena. Since the principal obstacle in this matter +comes from the too small number of our analytical elements, the whole +question would seem to be reduced to creating new ones. But this means, +though natural, is really illusory; and though it might be useful, it is +certainly insufficient. + +In fact, the creation of an elementary abstract function, which shall be +veritably new, presents in itself the greatest difficulties. There is +even something contradictory in such an idea; for a new analytical +element would evidently not fulfil its essential and appropriate +conditions, if we could not immediately _determine its value_. Now, on +the other hand, how are we to _determine the value_ of a new function +which is truly _simple_, that is, which is not formed by a combination +of those already known? That appears almost impossible. The introduction +into analysis of another elementary abstract function, or rather of +another couple of functions (for each would be always accompanied by its +_inverse_), supposes then, of necessity, the simultaneous creation of a +new arithmetical operation, which is certainly very difficult. + +If we endeavour to obtain an idea of the means which the human mind +employs for inventing new analytical elements, by the examination of the +procedures by the aid of which it has actually conceived those which we +already possess, our observations leave us in that respect in an entire +uncertainty, for the artifices which it has already made use of for that +purpose are evidently exhausted. To convince ourselves of it, let us +consider the last couple of simple functions which has been introduced +into analysis, and at the formation of which we have been present, so +to speak, namely, the fourth couple; for, as I have explained, the fifth +couple does not strictly give veritable new analytical elements. The +function _a^x_, and, consequently, its inverse, have been formed by +conceiving, under a new point of view, a function which had been a long +time known, namely, powers--when the idea of them had become +sufficiently generalized. The consideration of a power relatively to the +variation of its exponent, instead of to the variation of its base, was +sufficient to give rise to a truly novel simple function, the variation +following then an entirely different route. But this artifice, as simple +as ingenious, can furnish nothing more; for, in turning over in the same +manner all our present analytical elements, we end in only making them +return into one another. + +We have, then, no idea as to how we could proceed to the creation of new +elementary abstract functions which would properly satisfy all the +necessary conditions. This is not to say, however, that we have at +present attained the effectual limit established in that respect by the +bounds of our intelligence. It is even certain that the last special +improvements in mathematical analysis have contributed to extend our +resources in that respect, by introducing within the domain of the +calculus certain definite integrals, which in some respects supply the +place of new simple functions, although they are far from fulfilling all +the necessary conditions, which has prevented me from inserting them in +the table of true analytical elements. But, on the whole, I think it +unquestionable that the number of these elements cannot increase except +with extreme slowness. It is therefore not from these sources that the +human mind has drawn its most powerful means of facilitating, as much +as is possible, the establishment of equations. + + +2. _By the Conception of Equations between certain auxiliary +Quantities._ This first method being set aside, there remains evidently +but one other: it is, seeing the impossibility of finding directly the +equations between the quantities under consideration, to seek for +corresponding ones between other auxiliary quantities, connected with +the first according to a certain determinate law, and from the relation +between which we may return to that between the primitive magnitudes. +Such is, in substance, the eminently fruitful conception, which the +human mind has succeeded in establishing, and which constitutes its most +admirable instrument for the mathematical explanation of natural +phenomena; the _analysis_, called _transcendental_. + +As a general philosophical principle, the auxiliary quantities, which +are introduced in the place of the primitive magnitudes, or concurrently +with them, in order to facilitate the establishment of equations, might +be derived according to any law whatever from the immediate elements of +the question. This conception has thus a much more extensive reach than +has been commonly attributed to it by even the most profound geometers. +It is extremely important for us to view it in its whole logical extent, +for it will perhaps be by establishing a general mode of _derivation_ +different from that to which we have thus far confined ourselves +(although it is evidently very far from being the only possible one) +that we shall one day succeed in essentially perfecting mathematical +analysis as a whole, and consequently in establishing more powerful +means of investigating the laws of nature than our present processes, +which are unquestionably susceptible of becoming exhausted. + +But, regarding merely the present constitution of the science, the only +auxiliary quantities habitually introduced in the place of the primitive +quantities in the _Transcendental Analysis_ are what are called, 1⁰, +_infinitely small_ elements, the _differentials_ (of different orders) +of those quantities, if we regard this analysis in the manner of +LEIBNITZ; or, 2⁰, the _fluxions_, the limits of the ratios of the +simultaneous increments of the primitive quantities compared with one +another, or, more briefly, the _prime and ultimate ratios_ of these +increments, if we adopt the conception of NEWTON; or, 3⁰, the +_derivatives_, properly so called, of those quantities, that is, the +coefficients of the different terms of their respective increments, +according to the conception of LAGRANGE. + +These three principal methods of viewing our present transcendental +analysis, and all the other less distinctly characterized ones which +have been successively proposed, are, by their nature, necessarily +identical, whether in the calculation or in the application, as will be +explained in a general manner in the third chapter. As to their relative +value, we shall there see that the conception of Leibnitz has thus far, +in practice, an incontestable superiority, but that its logical +character is exceedingly vicious; while that the conception of Lagrange, +admirable by its simplicity, by its logical perfection, by the +philosophical unity which it has established in mathematical analysis +(till then separated into two almost entirely independent worlds), +presents, as yet, serious inconveniences in the applications, by +retarding the progress of the mind. The conception of Newton occupies +nearly middle ground in these various relations, being less rapid, but +more rational than that of Leibnitz; less philosophical, but more +applicable than that of Lagrange. + +This is not the place to explain the advantages of the introduction of +this kind of auxiliary quantities in the place of the primitive +magnitudes. The third chapter is devoted to this subject. At present I +limit myself to consider this conception in the most general manner, in +order to deduce therefrom the fundamental division of the _calculus of +functions_ into two systems essentially distinct, whose dependence, for +the complete solution of any one mathematical question, is invariably +determinate. + +In this connexion, and in the logical order of ideas, the transcendental +analysis presents itself as being necessarily the first, since its +general object is to facilitate the establishment of equations, an +operation which must evidently precede the _resolution_ of those +equations, which is the object of the ordinary analysis. But though it +is exceedingly important to conceive in this way the true relations of +these two systems of analysis, it is none the less proper, in conformity +with the regular usage, to study the transcendental analysis after +ordinary analysis; for though the former is, at bottom, by itself +logically independent of the latter, or, at least, may be essentially +disengaged from it, yet it is clear that, since its employment in the +solution of questions has always more or less need of being completed by +the use of the ordinary analysis, we would be constrained to leave the +questions in suspense if this latter had not been previously studied. + + +_Corresponding Divisions of the Calculus of Functions._ It follows from +the preceding considerations that the _Calculus of Functions_, or +_Algebra_ (taking this word in its most extended meaning), is composed +of two distinct fundamental branches, one of which has for its immediate +object the _resolution_ of equations, when they are directly established +between the magnitudes themselves which are under consideration; and the +other, starting from equations (generally much easier to form) between +quantities indirectly connected with those of the problem, has for its +peculiar and constant destination the deduction, by invariable +analytical methods, of the corresponding equations between the direct +magnitudes which we are considering; which brings the question within +the domain of the preceding calculus. + +The former calculus bears most frequently the name of _Ordinary +Analysis_, or of _Algebra_, properly so called. The second constitutes +what is called the _Transcendental Analysis_, which has been designated +by the different denominations of _Infinitesimal Calculus_, _Calculus of +Fluxions and of Fluents_, _Calculus of Vanishing Quantities_, the +_Differential and Integral Calculus_, &c., according to the point of +view in which it has been conceived. + +In order to remove every foreign consideration, I will propose to name +it CALCULUS OF INDIRECT FUNCTIONS, giving to ordinary analysis the title +of CALCULUS OF DIRECT FUNCTIONS. These expressions, which I form +essentially by generalizing and epitomizing the ideas of Lagrange, are +simply intended to indicate with precision the true general character +belonging to each of these two forms of analysis. + +Having now established the fundamental division of mathematical +analysis, I have next to consider separately each of its two parts, +commencing with the _Calculus of Direct Functions_, and reserving more +extended developments for the different branches of the _Calculus of +Indirect Functions_. + + + + +CHAPTER II. + +ORDINARY ANALYSIS, OR ALGEBRA. + + +The _Calculus of direct Functions_, or _Algebra_, is (as was shown at +the end of the preceding chapter) entirely sufficient for the solution +of mathematical questions, when they are so simple that we can form +directly the equations between the magnitudes themselves which we are +considering, without its being necessary to introduce in their place, or +conjointly with them, any system of auxiliary quantities _derived_ from +the first. It is true that in the greatest number of important cases its +use requires to be preceded and prepared by that of the _Calculus of +indirect Functions_, which is intended to facilitate the establishment +of equations. But, although algebra has then only a secondary office to +perform, it has none the less a necessary part in the complete solution +of the question, so that the _Calculus of direct Functions_ must +continue to be, by its nature, the fundamental base of all mathematical +analysis. We must therefore, before going any further, consider in a +general manner the logical composition of this calculus, and the degree +of development to which it has at the present day arrived. + + +_Its Object._ The final object of this calculus being the _resolution_ +(properly so called) of _equations_, that is, the discovery of the +manner in which the unknown quantities are formed from the known +quantities, in accordance with the _equations_ which exist between them, +it naturally presents as many different departments as we can conceive +truly distinct classes of equations. Its appropriate extent is +consequently rigorously indefinite, the number of analytical functions +susceptible of entering into equations being in itself quite unlimited, +although they are composed of only a very small number of primitive +elements. + + +_Classification of Equations._ The rational classification of equations +must evidently be determined by the nature of the analytical elements of +which their numbers are composed; every other classification would be +essentially arbitrary. Accordingly, analysts begin by dividing equations +with one or more variables into two principal classes, according as they +contain functions of only the first three couples (see the table in +chapter i., page 51), or as they include also exponential or circular +functions. The names of _Algebraic_ functions and _Transcendental_ +functions, commonly given to these two principal groups of analytical +elements, are undoubtedly very inappropriate. But the universally +established division between the corresponding equations is none the +less very real in this sense, that the resolution of equations +containing the functions called _transcendental_ necessarily presents +more difficulties than those of the equations called _algebraic_. Hence +the study of the former is as yet exceedingly imperfect, so that +frequently the resolution of the most simple of them is still unknown to +us,[7] and our analytical methods have almost exclusive reference to the +elaboration of the latter. + + [Footnote 7: Simple as may seem, for example, the equation + + _a^x_ + _b^x_ = _c^x_, + + we do not yet know how to resolve it, which may give some idea of + the extreme imperfection of this part of algebra.] + + + + +ALGEBRAIC EQUATIONS. + + +Considering now only these _Algebraic_ equations, we must observe, in +the first place, that although they may often contain _irrational_ +functions of the unknown quantities as well as _rational_ functions, we +can always, by more or less easy transformations, make the first case +come under the second, so that it is with this last that analysts have +had to occupy themselves exclusively in order to resolve all sorts of +_algebraic_ equations. + + +_Their Classification._ In the infancy of algebra, these equations were +classed according to the number of their terms. But this classification +was evidently faulty, since it separated cases which were really +similar, and brought together others which had nothing in common besides +this unimportant characteristic.[8] It has been retained only for +equations with two terms, which are, in fact, capable of being resolved +in a manner peculiar to themselves. + + [Footnote 8: The same error was afterward committed, in the infancy + of the infinitesimal calculus, in relation to the integration of + differential equations.] + +The classification of equations by what is called their _degrees_, is, +on the other hand, eminently natural, for this distinction rigorously +determines the greater or less difficulty of their _resolution_. This +gradation is apparent in the cases of all the equations which can be +resolved; but it may be indicated in a general manner independently of +the fact of the resolution. We need only consider that the most general +equation of each degree necessarily comprehends all those of the +different inferior degrees, as must also the formula which determines +the unknown quantity. Consequently, however slight we may suppose the +difficulty peculiar to the _degree_ which we are considering, since it +is inevitably complicated in the execution with those presented by all +the preceding degrees, the resolution really offers more and more +obstacles, in proportion as the degree of the equation is elevated. + + + + +ALGEBRAIC RESOLUTION OF EQUATIONS. + + +_Its Limits._ The resolution of algebraic equations is as yet known to +us only in the four first degrees, such is the increase of difficulty +noticed above. In this respect, algebra has made no considerable +progress since the labours of Descartes and the Italian analysts of the +sixteenth century, although in the last two centuries there has been +perhaps scarcely a single geometer who has not busied himself in trying +to advance the resolution of equations. The general equation of the +fifth degree itself has thus far resisted all attacks. + +The constantly increasing complication which the formulas for resolving +equations must necessarily present, in proportion as the degree +increases (the difficulty of using the formula of the fourth degree +rendering it almost inapplicable), has determined analysts to renounce, +by a tacit agreement, the pursuit of such researches, although they are +far from regarding it as impossible to obtain the resolution of +equations of the fifth degree, and of several other higher ones. + + +_General Solution._ The only question of this kind which would be really +of great importance, at least in its logical relations, would be the +general resolution of algebraic equations of any degree whatsoever. Now, +the more we meditate on this subject, the more we are led to think, with +Lagrange, that it really surpasses the scope of our intelligence. We +must besides observe that the formula which would express the _root_ of +an equation of the _m^{th}_ degree would necessarily include radicals of +the _m^{th}_ order (or functions of an equivalent multiplicity), because +of the _m_ determinations which it must admit. Since we have seen, +besides, that this formula must also embrace, as a particular case, that +formula which corresponds to every lower degree, it follows that it +would inevitably also contain radicals of the next lower degree, the +next lower to that, &c., so that, even if it were possible to discover +it, it would almost always present too great a complication to be +capable of being usefully employed, unless we could succeed in +simplifying it, at the same time retaining all its generality, by the +introduction of a new class of analytical elements of which we yet have +no idea. We have, then, reason to believe that, without having already +here arrived at the limits imposed by the feeble extent of our +intelligence, we should not be long in reaching them if we actively and +earnestly prolonged this series of investigations. + +It is, besides, important to observe that, even supposing we had +obtained the resolution of _algebraic_ equations of any degree whatever, +we would still have treated only a very small part of _algebra_, +properly so called, that is, of the calculus of direct functions, +including the resolution of all the equations which can be formed by the +known analytical functions. + +Finally, we must remember that, by an undeniable law of human nature, +our means for conceiving new questions being much more powerful than our +resources for resolving them, or, in other words, the human mind being +much more ready to inquire than to reason, we shall necessarily always +remain _below_ the difficulty, no matter to what degree of development +our intellectual labour may arrive. Thus, even though we should some day +discover the complete resolution of all the analytical equations at +present known, chimerical as the supposition is, there can be no doubt +that, before attaining this end, and probably even as a subsidiary +means, we would have already overcome the difficulty (a much smaller +one, though still very great) of conceiving new analytical elements, the +introduction of which would give rise to classes of equations of which, +at present, we are completely ignorant; so that a similar imperfection +in algebraic science would be continually reproduced, in spite of the +real and very important increase of the absolute mass of our knowledge. + + +_What we know in Algebra._ In the present condition of algebra, the +complete resolution of the equations of the first four degrees, of any +binomial equations, of certain particular equations of the higher +degrees, and of a very small number of exponential, logarithmic, or +circular equations, constitute the fundamental methods which are +presented by the calculus of direct functions for the solution of +mathematical problems. But, limited as these elements are, geometers +have nevertheless succeeded in treating, in a truly admirable manner, a +very great number of important questions, as we shall find in the course +of the volume. The general improvements introduced within a century into +the total system of mathematical analysis, have had for their principal +object to make immeasurably useful this little knowledge which we have, +instead of tending to increase it. This result has been so fully +obtained, that most frequently this calculus has no real share in the +complete solution of the question, except by its most simple parts; +those which have reference to equations of the two first degrees, with +one or more variables. + + + + +NUMERICAL RESOLUTION OF EQUATIONS. + + +The extreme imperfection of algebra, with respect to the resolution of +equations, has led analysts to occupy themselves with a new class of +questions, whose true character should be here noted. They have busied +themselves in filling up the immense gap in the resolution of algebraic +equations of the higher degrees, by what they have named the _numerical +resolution_ of equations. Not being able to obtain, in general, the +_formula_ which expresses what explicit function of the given quantities +the unknown one is, they have sought (in the absence of this kind of +resolution, the only one really _algebraic_) to determine, independently +of that formula, at least the _value_ of each unknown quantity, for +various designated systems of particular values attributed to the given +quantities. By the successive labours of analysts, this incomplete and +illegitimate operation, which presents an intimate mixture of truly +algebraic questions with others which are purely arithmetical, has been +rendered possible in all cases for equations of any degree and even of +any form. The methods for this which we now possess are sufficiently +general, although the calculations to which they lead are often so +complicated as to render it almost impossible to execute them. We have +nothing else to do, then, in this part of algebra, but to simplify the +methods sufficiently to render them regularly applicable, which we may +hope hereafter to effect. In this condition of the calculus of direct +functions, we endeavour, in its application, so to dispose the proposed +questions as finally to require only this numerical resolution of the +equations. + + +_Its limited Usefulness._ Valuable as is such a resource in the absence +of the veritable solution, it is essential not to misconceive the true +character of these methods, which analysts rightly regard as a very +imperfect algebra. In fact, we are far from being always able to reduce +our mathematical questions to depend finally upon only the _numerical_ +resolution of equations; that can be done only for questions quite +isolated or truly final, that is, for the smallest number. Most +questions, in fact, are only preparatory, and intended to serve as an +indispensable preparation for the solution of other questions. Now, for +such an object, it is evident that it is not the actual _value_ of the +unknown quantity which it is important to discover, but the _formula_, +which shows how it is derived from the other quantities under +consideration. It is this which happens, for example, in a very +extensive class of cases, whenever a certain question includes at the +same time several unknown quantities. We have then, first of all, to +separate them. By suitably employing the simple and general method so +happily invented by analysts, and which consists in referring all the +other unknown quantities to one of them, the difficulty would always +disappear if we knew how to obtain the algebraic resolution of the +equations under consideration, while the _numerical_ solution would then +be perfectly useless. It is only for want of knowing the _algebraic_ +resolution of equations with a single unknown quantity, that we are +obliged to treat _Elimination_ as a distinct question, which forms one +of the greatest special difficulties of common algebra. Laborious as are +the methods by the aid of which we overcome this difficulty, they are +not even applicable, in an entirely general manner, to the elimination +of one unknown quantity between two equations of any form whatever. + +In the most simple questions, and when we have really to resolve only a +single equation with a single unknown quantity, this _numerical_ +resolution is none the less a very imperfect method, even when it is +strictly sufficient. It presents, in fact, this serious inconvenience of +obliging us to repeat the whole series of operations for the slightest +change which may take place in a single one of the quantities +considered, although their relations to one another remain unchanged; +the calculations made for one case not enabling us to dispense with any +of those which relate to a case very slightly different. This happens +because of our inability to abstract and treat separately that purely +algebraic part of the question which is common to all the cases which +result from the mere variation of the given numbers. + +According to the preceding considerations, the calculus of direct +functions, viewed in its present state, divides into two very distinct +branches, according as its subject is the _algebraic_ resolution of +equations or their _numerical_ resolution. The first department, the +only one truly satisfactory, is unhappily very limited, and will +probably always remain so; the second, too often insufficient, has, at +least, the advantage of a much greater generality. The necessity of +clearly distinguishing these two parts is evident, because of the +essentially different object proposed in each, and consequently the +peculiar point of view under which quantities are therein considered. + + +_Different Divisions of the two Methods of Resolution._ If, moreover, we +consider these parts with reference to the different methods of which +each is composed, we find in their logical distribution an entirely +different arrangement. In fact, the first part must be divided according +to the nature of the equations which we are able to resolve, and +independently of every consideration relative to the _values_ of the +unknown quantities. In the second part, on the contrary, it is not +according to the _degrees_ of the equations that the methods are +naturally distinguished, since they are applicable to equations of any +degree whatever; it is according to the numerical character of the +_values_ of the unknown quantities; for, in calculating these numbers +directly, without deducing them from general formulas, different means +would evidently be employed when the numbers are not susceptible of +having their values determined otherwise than by a series of +approximations, always incomplete, or when they can be obtained with +entire exactness. This distinction of _incommensurable_ and of +_commensurable_ roots, which require quite different principles for +their determination, important as it is in the numerical resolution of +equations, is entirely insignificant in the algebraic resolution, in +which the _rational_ or _irrational_ nature of the numbers which are +obtained is a mere accident of the calculation, which cannot exercise +any influence over the methods employed; it is, in a word, a simple +arithmetical consideration. We may say as much, though in a less degree, +of the division of the commensurable roots themselves into _entire_ and +_fractional_. In fine, the case is the same, in a still greater degree, +with the most general classification of roots, as _real_ and +_imaginary_. All these different considerations, which are preponderant +as to the numerical resolution of equations, and which are of no +importance in their algebraic resolution, render more and more sensible +the essentially distinct nature of these two principal parts of algebra. + + + + +THE THEORY OF EQUATIONS. + + +These two departments, which constitute the immediate object of the +calculus of direct functions, are subordinate to a third one, purely +speculative, from which both of them borrow their most powerful +resources, and which has been very exactly designated by the general +name of _Theory of Equations_, although it as yet relates only to +_Algebraic_ equations. The numerical resolution of equations, because of +its generality, has special need of this rational foundation. + +This last and important branch of algebra is naturally divided into two +orders of questions, viz., those which refer to the _composition_ of +equations, and those which concern their _transformation_; these latter +having for their object to modify the roots of an equation without +knowing them, in accordance with any given law, providing that this law +is uniform in relation to all the parts.[9] + + [Footnote 9: The fundamental principle on which reposes the theory + of equations, and which is so frequently applied in all + mathematical analysis--the decomposition of algebraic, rational, + and entire functions, of any degree whatever, into factors of the + first degree--is never employed except for functions of a single + variable, without any one having examined if it ought to be + extended to functions of several variables. The general + impossibility of such a decomposition is demonstrated by the author + in detail, but more properly belongs to a special treatise.] + + + + +THE METHOD OF INDETERMINATE COEFFICIENTS. + + +To complete this rapid general enumeration of the different essential +parts of the calculus of direct functions, I must, lastly, mention +expressly one of the most fruitful and important theories of algebra +proper, that relating to the transformation of functions into series by +the aid of what is called the _Method of indeterminate Coefficients_. +This method, so eminently analytical, and which must be regarded as one +of the most remarkable discoveries of Descartes, has undoubtedly lost +some of its importance since the invention and the development of the +infinitesimal calculus, the place of which it might so happily take in +some particular respects. But the increasing extension of the +transcendental analysis, although it has rendered this method much less +necessary, has, on the other hand, multiplied its applications and +enlarged its resources; so that by the useful combination between the +two theories, which has finally been effected, the use of the method of +indeterminate coefficients has become at present much more extensive +than it was even before the formation of the calculus of indirect +functions. + + * * * * * + +Having thus sketched the general outlines of algebra proper, I have now +to offer some considerations on several leading points in the calculus +of direct functions, our ideas of which may be advantageously made more +clear by a philosophical examination. + + + + +IMAGINARY QUANTITIES. + + +The difficulties connected with several peculiar symbols to which +algebraic calculations sometimes lead, and especially to the expressions +called _imaginary_, have been, I think, much exaggerated through purely +metaphysical considerations, which have been forced upon them, in the +place of regarding these abnormal results in their true point of view as +simple analytical facts. Viewing them thus, we readily see that, since +the spirit of mathematical analysis consists in considering magnitudes +in reference to their relations only, and without any regard to their +determinate value, analysts are obliged to admit indifferently every +kind of expression which can be engendered by algebraic combinations. +The interdiction of even one expression because of its apparent +singularity would destroy the generality of their conceptions. The +common embarrassment on this subject seems to me to proceed essentially +from an unconscious confusion between the idea of _function_ and the +idea of _value_, or, what comes to the same thing, between the +_algebraic_ and the _arithmetical_ point of view. A thorough examination +would show mathematical analysis to be much more clear in its nature +than even mathematicians commonly suppose. + + + + +NEGATIVE QUANTITIES. + + +As to negative quantities, which have given rise to so many misplaced +discussions, as irrational as useless, we must distinguish between their +_abstract_ signification and their _concrete_ interpretation, which have +been almost always confounded up to the present day. Under the first +point of view, the theory of negative quantities can be established in a +complete manner by a single algebraical consideration. The necessity of +admitting such expressions is the same as for imaginary quantities, as +above indicated; and their employment as an analytical artifice, to +render the formulas more comprehensive, is a mechanism of calculation +which cannot really give rise to any serious difficulty. We may +therefore regard the abstract theory of negative quantities as leaving +nothing essential to desire; it presents no obstacles but those +inappropriately introduced by sophistical considerations. + +It is far from being so, however, with their concrete theory. This +consists essentially in that admirable property of the signs + and-, of +representing analytically the oppositions of directions of which certain +magnitudes are susceptible. This _general theorem_ on the relation of +the concrete to the abstract in mathematics is one of the most beautiful +discoveries which we owe to the genius of Descartes, who obtained it as +a simple result of properly directed philosophical observation. A great +number of geometers have since striven to establish directly its general +demonstration, but thus far their efforts have been illusory. Their vain +metaphysical considerations and heterogeneous minglings of the abstract +and the concrete have so confused the subject, that it becomes necessary +to here distinctly enunciate the general fact. It consists in this: if, +in any equation whatever, expressing the relation of certain quantities +which are susceptible of opposition of directions, one or more of those +quantities come to be reckoned in a direction contrary to that which +belonged to them when the equation was first established, it will not be +necessary to form directly a new equation for this second state of the +phenomena; it will suffice to change, in the first equation, the sign of +each of the quantities which shall have changed its direction; and the +equation, thus modified, will always rigorously coincide with that which +we would have arrived at in recommencing to investigate, for this new +case, the analytical law of the phenomenon. The general theorem consists +in this constant and necessary coincidence. Now, as yet, no one has +succeeded in directly proving this; we have assured ourselves of it only +by a great number of geometrical and mechanical verifications, which +are, it is true, sufficiently multiplied, and especially sufficiently +varied, to prevent any clear mind from having the least doubt of the +exactitude and the generality of this essential property, but which, in +a philosophical point of view, do not at all dispense with the research +for so important an explanation. The extreme extent of the theorem must +make us comprehend both the fundamental difficulties of this research +and the high utility for the perfecting of mathematical science which +would belong to the general conception of this great truth. This +imperfection of theory, however, has not prevented geometers from making +the most extensive and the most important use of this property in all +parts of concrete mathematics. + +It follows from the above general enunciation of the fact, independently +of any demonstration, that the property of which we speak must never be +applied to magnitudes whose directions are continually varying, without +giving rise to a simple opposition of direction; in that case, the sign +with which every result of calculation is necessarily affected is not +susceptible of any concrete interpretation, and the attempts sometimes +made to establish one are erroneous. This circumstance occurs, among +other occasions, in the case of a radius vector in geometry, and +diverging forces in mechanics. + + + + +PRINCIPLE OF HOMOGENEITY. + + +A second general theorem on the relation of the concrete to the abstract +is that which is ordinarily designated under the name of _Principle of +Homogeneity_. It is undoubtedly much less important in its applications +than the preceding, but it particularly merits our attention as having, +by its nature, a still greater extent, since it is applicable to all +phenomena without distinction, and because of the real utility which it +often possesses for the verification of their analytical laws. I can, +moreover, exhibit a direct and general demonstration of it which seems +to me very simple. It is founded on this single observation, which is +self-evident, that the exactitude of every relation between any concrete +magnitudes whatsoever is independent of the value of the _units_ to +which they are referred for the purpose of expressing them in numbers. +For example, the relation which exists between the three sides of a +right-angled triangle is the same, whether they are measured by yards, +or by miles, or by inches. + +It follows from this general consideration, that every equation which +expresses the analytical law of any phenomenon must possess this +property of being in no way altered, when all the quantities which are +found in it are made to undergo simultaneously the change corresponding +to that which their respective units would experience. Now this change +evidently consists in all the quantities of each sort becoming at once +_m_ times smaller, if the unit which corresponds to them becomes _m_ +times greater, or reciprocally. Thus every equation which represents any +concrete relation whatever must possess this characteristic of remaining +the same, when we make _m_ times greater all the quantities which it +contains, and which express the magnitudes between which the relation +exists; excepting always the numbers which designate simply the mutual +_ratios_ of these different magnitudes, and which therefore remain +invariable during the change of the units. It is this property which +constitutes the law of Homogeneity in its most extended signification, +that is, of whatever analytical functions the equations may be composed. + +But most frequently we consider only the cases in which the functions +are such as are called _algebraic_, and to which the idea of _degree_ is +applicable. In this case we can give more precision to the general +proposition by determining the analytical character which must be +necessarily presented by the equation, in order that this property may +be verified. It is easy to see, then, that, by the modification just +explained, all the _terms_ of the first degree, whatever may be their +form, rational or irrational, entire or fractional, will become _m_ +times greater; all those of the second degree, _m²_ times; those of the +third, _m³_ times, &c. Thus the terms of the same degree, however +different may be their composition, varying in the same manner, and the +terms of different degrees varying in an unequal proportion, whatever +similarity there may be in their composition, it will be necessary, to +prevent the equation from being disturbed, that all the terms which it +contains should be of the same degree. It is in this that properly +consists the ordinary theorem of _Homogeneity_, and it is from this +circumstance that the general law has derived its name, which, however, +ceases to be exactly proper for all other functions. + +In order to treat this subject in its whole extent, it is important to +observe an essential condition, to which attention must be paid in +applying this property when the phenomenon expressed by the equation +presents magnitudes of different natures. Thus it may happen that the +respective units are completely independent of each other, and then the +theorem of Homogeneity will hold good, either with reference to all the +corresponding classes of quantities, or with regard to only a single one +or more of them. But it will happen on other occasions that the +different units will have fixed relations to one another, determined by +the nature of the question; then it will be necessary to pay attention +to this subordination of the units in verifying the homogeneity, which +will not exist any longer in a purely algebraic sense, and the precise +form of which will vary according to the nature of the phenomena. Thus, +for example, to fix our ideas, when, in the analytical expression of +geometrical phenomena, we are considering at once lines, areas, and +volumes, it will be necessary to observe that the three corresponding +units are necessarily so connected with each other that, according to +the subordination generally established in that respect, when the first +becomes _m_ times greater, the second becomes _m²_ times, and the third +_m³_ times. It is with such a modification that homogeneity will exist +in the equations, in which, if they are _algebraic_, we will have to +estimate the degree of each term by doubling the exponents of the +factors which correspond to areas, and tripling those of the factors +relating to volumes. + + * * * * * + +Such are the principal general considerations relating to the _Calculus +of Direct Functions_. We have now to pass to the philosophical +examination of the _Calculus of Indirect Functions_, the much superior +importance and extent of which claim a fuller development. + + + + +CHAPTER III. + +TRANSCENDENTAL ANALYSIS: + +DIFFERENT MODES OF VIEWING IT. + + +We determined, in the second chapter, the philosophical character of the +transcendental analysis, in whatever manner it may be conceived, +considering only the general nature of its actual destination as a part +of mathematical science. This analysis has been presented by geometers +under several points of view, really distinct, although necessarily +equivalent, and leading always to identical results. They may be reduced +to three principal ones; those of LEIBNITZ, of NEWTON, and of LAGRANGE, +of which all the others are only secondary modifications. In the present +state of science, each of these three general conceptions offers +essential advantages which pertain to it exclusively, without our having +yet succeeded in constructing a single method uniting all these +different characteristic qualities. This combination will probably be +hereafter effected by some method founded upon the conception of +Lagrange when that important philosophical labour shall have been +accomplished, the study of the other conceptions will have only a +historic interest; but, until then, the science must be considered as in +only a provisional state, which requires the simultaneous consideration +of all the various modes of viewing this calculus. Illogical as may +appear this multiplicity of conceptions of one identical subject, still, +without them all, we could form but a very insufficient idea of this +analysis, whether in itself, or more especially in relation to its +applications. This want of system in the most important part of +mathematical analysis will not appear strange if we consider, on the one +hand, its great extent and its superior difficulty, and, on the other, +its recent formation. + + + + +ITS EARLY HISTORY. + + +If we had to trace here the systematic history of the successive +formation of the transcendental analysis, it would be necessary +previously to distinguish carefully from the _calculus of indirect +functions_, properly so called, the original idea of the _infinitesimal +method_, which can be conceived by itself, independently of any +_calculus_. We should see that the first germ of this idea is found in +the procedure constantly employed by the Greek geometers, under the name +of the _Method of Exhaustions_, as a means of passing from the +properties of straight lines to those of curves, and consisting +essentially in substituting for the curve the auxiliary consideration of +an inscribed or circumscribed polygon, by means of which they rose to +the curve itself, taking in a suitable manner the limits of the +primitive ratios. Incontestable as is this filiation of ideas, it would +be giving it a greatly exaggerated importance to see in this method of +exhaustions the real equivalent of our modern methods, as some geometers +have done; for the ancients had no logical and general means for the +determination of these limits, and this was commonly the greatest +difficulty of the question; so that their solutions were not subjected +to abstract and invariable rules, the uniform application of which would +lead with certainty to the knowledge sought; which is, on the contrary, +the principal characteristic of our transcendental analysis. In a word, +there still remained the task of generalizing the conceptions used by +the ancients, and, more especially, by considering it in a manner purely +abstract, of reducing it to a complete system of calculation, which to +them was impossible. + +The first idea which was produced in this new direction goes back to the +great geometer Fermat, whom Lagrange has justly presented as having +blocked out the direct formation of the transcendental analysis by his +method for the determination of _maxima_ and _minima_, and for the +finding of _tangents_, which consisted essentially in introducing the +auxiliary consideration of the correlative increments of the proposed +variables, increments afterward suppressed as equal to zero when the +equations had undergone certain suitable transformations. But, although +Fermat was the first to conceive this analysis in a truly abstract +manner, it was yet far from being regularly formed into a general and +distinct calculus having its own notation, and especially freed from the +superfluous consideration of terms which, in the analysis of Fermat, +were finally not taken into the account, after having nevertheless +greatly complicated all the operations by their presence. This is what +Leibnitz so happily executed, half a century later, after some +intermediate modifications of the ideas of Fermat introduced by Wallis, +and still more by Barrow; and he has thus been the true creator of the +transcendental analysis, such as we now employ it. This admirable +discovery was so ripe (like all the great conceptions of the human +intellect at the moment of their manifestation), that Newton, on his +side, had arrived, at the same time, or a little earlier, at a method +exactly equivalent, by considering this analysis under a very different +point of view, which, although more logical in itself, is really less +adapted to give to the common fundamental method all the extent and the +facility which have been imparted to it by the ideas of Leibnitz. +Finally, Lagrange, putting aside the heterogeneous considerations which +had guided Leibnitz and Newton, has succeeded in reducing the +transcendental analysis, in its greatest perfection, to a purely +algebraic system, which only wants more aptitude for its practical +applications. + +After this summary glance at the general history of the transcendental +analysis, we will proceed to the dogmatic exposition of the three +principal conceptions, in order to appreciate exactly their +characteristic properties, and to show the necessary identity of the +methods which are thence derived. Let us begin with that of Leibnitz. + + + + +METHOD OF LEIBNITZ. + + +_Infinitely small Elements._ This consists in introducing into the +calculus, in order to facilitate the establishment of equations, the +infinitely small elements of which all the quantities, the relations +between which are sought, are considered to be composed. These elements +or _differentials_ will have certain relations to one another, which are +constantly and necessarily more simple and easy to discover than those +of the primitive quantities, and by means of which we will be enabled +(by a special calculus having for its peculiar object the elimination of +these auxiliary infinitesimals) to go back to the desired equations, +which it would have been most frequently impossible to obtain directly. +This indirect analysis may have different degrees of indirectness; for, +when there is too much difficulty in forming immediately the equation +between the differentials of the magnitudes under consideration, a +second application of the same general artifice will have to be made, +and these differentials be treated, in their turn, as new primitive +quantities, and a relation be sought between their infinitely small +elements (which, with reference to the final objects of the question, +will be _second differentials_), and so on; the same transformation +admitting of being repeated any number of times, on the condition of +finally eliminating the constantly increasing number of infinitesimal +quantities introduced as auxiliaries. + +A person not yet familiar with these considerations does not perceive at +once how the employment of these auxiliary quantities can facilitate the +discovery of the analytical laws of phenomena; for the infinitely small +increments of the proposed magnitudes being of the same species with +them, it would seem that their relations should not be obtained with +more ease, inasmuch as the greater or less value of a quantity cannot, +in fact, exercise any influence on an inquiry which is necessarily +independent, by its nature, of every idea of value. But it is easy, +nevertheless, to explain very clearly, and in a quite general manner, +how far the question must be simplified by such an artifice. For this +purpose, it is necessary to begin by distinguishing _different orders_ +of infinitely small quantities, a very precise idea of which may be +obtained by considering them as being either the successive powers of +the same primitive infinitely small quantity, or as being quantities +which may be regarded as having finite ratios with these powers; so +that, to take an example, the second, third, &c., differentials of any +one variable are classed as infinitely small quantities of the second +order, the third, &c., because it is easy to discover in them finite +multiples of the second, third, &c., powers of a certain first +differential. These preliminary ideas being established, the spirit of +the infinitesimal analysis consists in constantly neglecting the +infinitely small quantities in comparison with finite quantities, and +generally the infinitely small quantities of any order whatever in +comparison with all those of an inferior order. It is at once apparent +how much such a liberty must facilitate the formation of equations +between the differentials of quantities, since, in the place of these +differentials, we can substitute such other elements as we may choose, +and as will be more simple to consider, only taking care to conform to +this single condition, that the new elements differ from the preceding +ones only by quantities infinitely small in comparison with them. It is +thus that it will be possible, in geometry, to treat curved lines as +composed of an infinity of rectilinear elements, curved surfaces as +formed of plane elements, and, in mechanics, variable motions as an +infinite series of uniform motions, succeeding one another at infinitely +small intervals of time. + + +EXAMPLES. Considering the importance of this admirable conception, I +think that I ought here to complete the illustration of its fundamental +character by the summary indication of some leading examples. + + +1. _Tangents._ Let it be required to determine, for each point of a +plane curve, the equation of which is given, the direction of its +tangent; a question whose general solution was the primitive object of +the inventors of the transcendental analysis. We will consider the +tangent as a secant joining two points infinitely near to each other; +and then, designating by _dy_ and _dx_ the infinitely small differences +of the co-ordinates of those two points, the elementary principles of +geometry will immediately give the equation _t_ = _dy_/_dx_ for the +trigonometrical tangent of the angle which is made with the axis of the +abscissas by the desired tangent, this being the most simple way of +fixing its position in a system of rectilinear co-ordinates. This +equation, common to all curves, being established, the question is +reduced to a simple analytical problem, which will consist in +eliminating the infinitesimals _dx_ and _dy_, which were introduced as +auxiliaries, by determining in each particular case, by means of the +equation of the proposed curve, the ratio of _dy_ to _dx_, which will be +constantly done by uniform and very simple methods. + + +2. _Rectification of an Arc._ In the second place, suppose that we wish +to know the length of the arc of any curve, considered as a function of +the co-ordinates of its extremities. It would be impossible to establish +directly the equation between this arc s and these co-ordinates, while +it is easy to find the corresponding relation between the differentials +of these different magnitudes. The most simple theorems of elementary +geometry will in fact give at once, considering the infinitely small arc +_ds_ as a right line, the equations + + _ds²_ = _dy²_ + _dx²_, or _ds²_ = _dx²_ + _dy²_ + _dz²_, + +according as the curve is of single or double curvature. In either case, +the question is now entirely within the domain of analysis, which, by +the elimination of the differentials (which is the peculiar object of +the calculus of indirect functions), will carry us back from this +relation to that which exists between the finite quantities themselves +under examination. + + +3. _Quadrature of a Curve._ It would be the same with the quadrature of +curvilinear areas. If the curve is a plane one, and referred to +rectilinear co-ordinates, we will conceive the area A comprised between +this curve, the axis of the abscissas, and two extreme co-ordinates, to +increase by an infinitely small quantity _d_A, as the result of a +corresponding increment of the abscissa. The relation between these two +differentials can be immediately obtained with the greatest facility by +substituting for the curvilinear element of the proposed area the +rectangle formed by the extreme ordinate and the element of the +abscissa, from which it evidently differs only by an infinitely small +quantity of the second order. This will at once give, whatever may be +the curve, the very simple differential equation + + _d_A = _ydx_, + +from which, when the curve is defined, the calculus of indirect +functions will show how to deduce the finite equation, which is the +immediate object of the problem. + + +4. _Velocity in Variable Motion._ In like manner, in Dynamics, when we +desire to know the expression for the velocity acquired at each instant +by a body impressed with a motion varying according to any law, we will +consider the motion as being uniform during an infinitely small element +of the time _t_, and we will thus immediately form the differential +equation _de_ = _vdt_, in which _v_ designates the velocity acquired +when the body has passed over the space _e_; and thence it will be easy +to deduce, by simple and invariable analytical procedures, the formula +which would give the velocity in each particular motion, in accordance +with the corresponding relation between the time and the space; or, +reciprocally, what this relation would be if the mode of variation of +the velocity was supposed to be known, whether with respect to the space +or to the time. + + +5. _Distribution of Heat._ Lastly, to indicate another kind of +questions, it is by similar steps that we are able, in the study of +thermological phenomena, according to the happy conception of M. +Fourier, to form in a very simple manner the general differential +equation which expresses the variable distribution of heat in any body +whatever, subjected to any influences, by means of the single and +easily-obtained relation, which represents the uniform distribution of +heat in a right-angled parallelopipedon, considering (geometrically) +every other body as decomposed into infinitely small elements of a +similar form, and (thermologically) the flow of heat as constant during +an infinitely small element of time. Henceforth, all the questions which +can be presented by abstract thermology will be reduced, as in geometry +and mechanics, to mere difficulties of analysis, which will always +consist in the elimination of the differentials introduced as +auxiliaries to facilitate the establishment of the equations. + +Examples of such different natures are more than sufficient to give a +clear general idea of the immense scope of the fundamental conception of +the transcendental analysis as formed by Leibnitz, constituting, as it +undoubtedly does, the most lofty thought to which the human mind has as +yet attained. + +It is evident that this conception was indispensable to complete the +foundation of mathematical science, by enabling us to establish, in a +broad and fruitful manner, the relation of the concrete to the abstract. +In this respect it must be regarded as the necessary complement of the +great fundamental idea of Descartes on the general analytical +representation of natural phenomena: an idea which did not begin to be +worthily appreciated and suitably employed till after the formation of +the infinitesimal analysis, without which it could not produce, even in +geometry, very important results. + + +_Generality of the Formulas._ Besides the admirable facility which is +given by the transcendental analysis for the investigation of the +mathematical laws of all phenomena, a second fundamental and inherent +property, perhaps as important as the first, is the extreme generality +of the differential formulas, which express in a single equation each +determinate phenomenon, however varied the subjects in relation to which +it is considered. Thus we see, in the preceding examples, that a single +differential equation gives the tangents of all curves, another their +rectifications, a third their quadratures; and in the same way, one +invariable formula expresses the mathematical law of every variable +motion; and, finally, a single equation constantly represents the +distribution of heat in any body and for any case. This generality, +which is so exceedingly remarkable, and which is for geometers the basis +of the most elevated considerations, is a fortunate and necessary +consequence of the very spirit of the transcendental analysis, +especially in the conception of Leibnitz. Thus the infinitesimal +analysis has not only furnished a general method for indirectly forming +equations which it would have been impossible to discover in a direct +manner, but it has also permitted us to consider, for the mathematical +study of natural phenomena, a new order of more general laws, which +nevertheless present a clear and precise signification to every mind +habituated to their interpretation. By virtue of this second +characteristic property, the entire system of an immense science, such +as geometry or mechanics, has been condensed into a small number of +analytical formulas, from which the human mind can deduce, by certain +and invariable rules, the solution of all particular problems. + + +_Demonstration of the Method._ To complete the general exposition of the +conception of Leibnitz, there remains to be considered the demonstration +of the logical procedure to which it leads, and this, unfortunately, is +the most imperfect part of this beautiful method. + +In the beginning of the infinitesimal analysis, the most celebrated +geometers rightly attached more importance to extending the immortal +discovery of Leibnitz and multiplying its applications than to +rigorously establishing the logical bases of its operations. They +contented themselves for a long time by answering the objections of +second-rate geometers by the unhoped-for solution of the most difficult +problems; doubtless persuaded that in mathematical science, much more +than in any other, we may boldly welcome new methods, even when their +rational explanation is imperfect, provided they are fruitful in +results, inasmuch as its much easier and more numerous verifications +would not permit any error to remain long undiscovered. But this state +of things could not long exist, and it was necessary to go back to the +very foundations of the analysis of Leibnitz in order to prove, in a +perfectly general manner, the rigorous exactitude of the procedures +employed in this method, in spite of the apparent infractions of the +ordinary rules of reasoning which it permitted. + +Leibnitz, urged to answer, had presented an explanation entirely +erroneous, saying that he treated infinitely small quantities as +_incomparables_, and that he neglected them in comparison with finite +quantities, "like grains of sand in comparison with the sea:" a view +which would have completely changed the nature of his analysis, by +reducing it to a mere approximative calculus, which, under this point of +view, would be radically vicious, since it would be impossible to +foresee, in general, to what degree the successive operations might +increase these first errors, which could thus evidently attain any +amount. Leibnitz, then, did not see, except in a very confused manner, +the true logical foundations of the analysis which he had created. His +earliest successors limited themselves, at first, to verifying its +exactitude by showing the conformity of its results, in particular +applications, to those obtained by ordinary algebra or the geometry of +the ancients; reproducing, according to the ancient methods, so far as +they were able, the solutions of some problems after they had been once +obtained by the new method, which alone was capable of discovering them +in the first place. + +When this great question was considered in a more general manner, +geometers, instead of directly attacking the difficulty, preferred to +elude it in some way, as Euler and D'Alembert, for example, have done, +by demonstrating the necessary and constant conformity of the conception +of Leibnitz, viewed in all its applications, with other fundamental +conceptions of the transcendental analysis, that of Newton especially, +the exactitude of which was free from any objection. Such a general +verification is undoubtedly strictly sufficient to dissipate any +uncertainty as to the legitimate employment of the analysis of Leibnitz. +But the infinitesimal method is so important--it offers still, in almost +all its applications, such a practical superiority over the other +general conceptions which have been successively proposed--that there +would be a real imperfection in the philosophical character of the +science if it could not justify itself, and needed to be logically +founded on considerations of another order, which would then cease to be +employed. + +It was, then, of real importance to establish directly and in a general +manner the necessary rationality of the infinitesimal method. After +various attempts more or less imperfect, a distinguished geometer, +Carnot, presented at last the true direct logical explanation of the +method of Leibnitz, by showing it to be founded on the principle of the +necessary compensation of errors, this being, in fact, the precise and +luminous manifestation of what Leibnitz had vaguely and confusedly +perceived. Carnot has thus rendered the science an essential service, +although, as we shall see towards the end of this chapter, all this +logical scaffolding of the infinitesimal method, properly so called, is +very probably susceptible of only a provisional existence, inasmuch as +it is radically vicious in its nature. Still, we should not fail to +notice the general system of reasoning proposed by Carnot, in order to +directly legitimate the analysis of Leibnitz. Here is the substance of +it: + +In establishing the differential equation of a phenomenon, we +substitute, for the immediate elements of the different quantities +considered, other simpler infinitesimals, which differ from them +infinitely little in comparison with them; and this substitution +constitutes the principal artifice of the method of Leibnitz, which +without it would possess no real facility for the formation of +equations. Carnot regards such an hypothesis as really producing an +error in the equation thus obtained, and which for this reason he calls +_imperfect_; only, it is clear that this error must be infinitely small. +Now, on the other hand, all the analytical operations, whether of +differentiation or of integration, which are performed upon these +differential equations, in order to raise them to finite equations by +eliminating all the infinitesimals which have been introduced as +auxiliaries, produce as constantly, by their nature, as is easily seen, +other analogous errors, so that an exact compensation takes place, and +the final equations, in the words of Carnot, become _perfect_. Carnot +views, as a certain and invariable indication of the actual +establishment of this necessary compensation, the complete elimination +of the various infinitely small quantities, which is always, in fact, +the final object of all the operations of the transcendental analysis; +for if we have committed no other infractions of the general rules of +reasoning than those thus exacted by the very nature of the +infinitesimal method, the infinitely small errors thus produced cannot +have engendered other than infinitely small errors in all the equations, +and the relations are necessarily of a rigorous exactitude as soon as +they exist between finite quantities alone, since the only errors then +possible must be finite ones, while none such can have entered. All this +general reasoning is founded on the conception of infinitesimal +quantities, regarded as indefinitely decreasing, while those from which +they are derived are regarded as fixed. + + +_Illustration by Tangents._ Thus, to illustrate this abstract exposition +by a single example, let us take up again the question of _tangents_, +which is the most easy to analyze completely. We will regard the +equation _t_ = _dy/dx_, obtained above, as being affected with an +infinitely small error, since it would be perfectly rigorous only for +the secant. Now let us complete the solution by seeking, according to +the equation of each curve, the ratio between the differentials of the +co-ordinates. If we suppose this equation to be _y_ = _ax²_, we shall +evidently have + + _dy_ = 2_axdx_ + _adx²_. + +In this formula we shall have to neglect the term _dx²_ as an infinitely +small quantity of the second order. Then the combination of the two +_imperfect_ equations. + + _t_ = _dy/dx_, _dy_ = 2_ax(dx)_, + +being sufficient to eliminate entirely the infinitesimals, the finite +result, _t_ = 2_ax_, will necessarily be rigorously correct, from the +effect of the exact compensation of the two errors committed; since, by +its finite nature, it cannot be affected by an infinitely small error, +and this is, nevertheless, the only one which it could have, according +to the spirit of the operations which have been executed. + +It would be easy to reproduce in a uniform manner the same reasoning +with reference to all the other general applications of the analysis of +Leibnitz. + +This ingenious theory is undoubtedly more subtile than solid, when we +examine it more profoundly; but it has really no other radical logical +fault than that of the infinitesimal method itself, of which it is, it +seems to me, the natural development and the general explanation, so +that it must be adopted for as long a time as it shall be thought proper +to employ this method directly. + + * * * * * + +I pass now to the general exposition of the two other fundamental +conceptions of the transcendental analysis, limiting myself in each to +its principal idea, the philosophical character of the analysis having +been sufficiently determined above in the examination of the conception +of Leibnitz, which I have specially dwelt upon because it admits of +being most easily grasped as a whole, and most rapidly described. + + + + +METHOD OF NEWTON. + + +Newton has successively presented his own method of conceiving the +transcendental analysis under several different forms. That which is at +present the most commonly adopted was designated by Newton, sometimes +under the name of the _Method of prime and ultimate Ratios_, sometimes +under that of the _Method of Limits_. + + +_Method of Limits._ The general spirit of the transcendental analysis, +from this point of view, consists in introducing as auxiliaries, in the +place of the primitive quantities, or concurrently with them, in order +to facilitate the establishment of equations, the _limits of the ratios_ +of the simultaneous increments of these quantities; or, in other words, +the _final ratios_ of these increments; limits or final ratios which can +be easily shown to have a determinate and finite value. A special +calculus, which is the equivalent of the infinitesimal calculus, is then +employed to pass from the equations between these limits to the +corresponding equations between the primitive quantities themselves. + +The power which is given by such an analysis, of expressing with more +ease the mathematical laws of phenomena, depends in general on this, +that since the calculus applies, not to the increments themselves of the +proposed quantities, but to the limits of the ratios of those +increments, we can always substitute for each increment any other +magnitude more easy to consider, provided that their final ratio is the +ratio of equality, or, in other words, that the limit of their ratio is +unity. It is clear, indeed, that the calculus of limits would be in no +way affected by this substitution. Starting from this principle, we find +nearly the equivalent of the facilities offered by the analysis of +Leibnitz, which are then merely conceived under another point of view. +Thus curves will be regarded as the _limits_ of a series of rectilinear +polygons, variable motions as the _limits_ of a collection of uniform +motions of constantly diminishing durations, and so on. + + +EXAMPLES. 1. _Tangents._ Suppose, for example, that we wish to determine +the direction of the tangent to a curve; we will regard it as the limit +towards which would tend a secant, which should turn about the given +point so that its second point of intersection should indefinitely +approach the first. Representing the differences of the co-ordinates of +the two points by Δ_y_ and Δ_x_, we would have at each instant, for the +trigonometrical tangent of the angle which the secant makes with the +axis of abscissas, + + _t_ = Δ_y_/Δ_x_; + +from which, taking the limits, we will obtain, relatively to the tangent +itself, this general formula of transcendental analysis, + + _t_ = _L_(Δ_y_/Δ_x_), + +the characteristic _L_ being employed to designate the limit. The +calculus of indirect functions will show how to deduce from this formula +in each particular case, when the equation of the curve is given, the +relation between _t_ and _x_, by eliminating the auxiliary quantities +which have been introduced. If we suppose, in order to complete the +solution, that the equation of the proposed curve is _y_ = _ax²_, we +shall evidently have + + Δ_y_ = 2_ax_Δ_x_ + _a_(Δ_x_)², + +from which we shall obtain + + Δ_y_/Δ_x_ = 2_ax_ + _a_Δ_x_. + +Now it is clear that the _limit_ towards which the second number tends, +in proportion as Δ_x_ diminishes, is 2_ax_. We shall therefore find, by +this method, _t_ = 2_ax_, as we obtained it for the same case by the +method of Leibnitz. + +2. _Rectifications._ In like manner, when the rectification of a curve +is desired, we must substitute for the increment of the arc s the chord +of this increment, which evidently has such a connexion with it that the +limit of their ratio is unity; and then we find (pursuing in other +respects the same plan as with the method of Leibnitz) this general +equation of rectifications: + + (_LΔs_/Δ_x_)² = 1 + (_LΔy_/Δ_x_)², + or (_LΔs_/Δ_x_)² = 1 + (_LΔy_/Δ_x_)² + (_LΔz_/Δ_x_)², + +according as the curve is plane or of double curvature. It will now be +necessary, for each particular curve, to pass from this equation to that +between the arc and the abscissa, which depends on the transcendental +calculus properly so called. + +We could take up, with the same facility, by the method of limits, all +the other general questions, the solution of which has been already +indicated according to the infinitesimal method. + +Such is, in substance, the conception which Newton formed for the +transcendental analysis, or, more precisely, that which Maclaurin and +D'Alembert have presented as the most rational basis of that analysis, +in seeking to fix and to arrange the ideas of Newton upon that subject. + + +_Fluxions and Fluents._ Another distinct form under which Newton has +presented this same method should be here noticed, and deserves +particularly to fix our attention, as much by its ingenious clearness in +some cases as by its having furnished the notation best suited to this +manner of viewing the transcendental analysis, and, moreover, as having +been till lately the special form of the calculus of indirect functions +commonly adopted by the English geometers. I refer to the calculus of +_fluxions_ and of _fluents_, founded on the general idea of +_velocities_. + +To facilitate the conception of the fundamental idea, let us consider +every curve as generated by a point impressed with a motion varying +according to any law whatever. The different quantities which the curve +can present, the abscissa, the ordinate, the arc, the area, &c., will be +regarded as simultaneously produced by successive degrees during this +motion. The _velocity_ with which each shall have been described will be +called the _fluxion_ of that quantity, which will be inversely named its +_fluent_. Henceforth the transcendental analysis will consist, according +to this conception, in forming directly the equations between the +fluxions of the proposed quantities, in order to deduce therefrom, by a +special calculus, the equations between the fluents themselves. What +has been stated respecting curves may, moreover, evidently be applied to +any magnitudes whatever, regarded, by the aid of suitable images, as +produced by motion. + +It is easy to understand the general and necessary identity of this +method with that of limits complicated with the foreign idea of motion. +In fact, resuming the case of the curve, if we suppose, as we evidently +always may, that the motion of the describing point is uniform in a +certain direction, that of the abscissa, for example, then the fluxion +of the abscissa will be constant, like the element of the time; for all +the other quantities generated, the motion cannot be conceived to be +uniform, except for an infinitely small time. Now the velocity being in +general according to its mechanical conception, the ratio of each space +to the time employed in traversing it, and this time being here +proportional to the increment of the abscissa, it follows that the +fluxions of the ordinate, of the arc, of the area, &c., are really +nothing else (rejecting the intermediate consideration of time) than the +final ratios of the increments of these different quantities to the +increment of the abscissa. This method of fluxions and fluents is, then, +in reality, only a manner of representing, by a comparison borrowed from +mechanics, the method of prime and ultimate ratios, which alone can be +reduced to a calculus. It evidently, then, offers the same general +advantages in the various principal applications of the transcendental +analysis, without its being necessary to present special proofs of +this. + + + + +METHOD OF LAGRANGE. + + +_Derived Functions._ The conception of Lagrange, in its admirable +simplicity, consists in representing the transcendental analysis as a +great algebraic artifice, by which, in order to facilitate the +establishment of equations, we introduce, in the place of the primitive +functions, or concurrently with them, their _derived_ functions; that +is, according to the definition of Lagrange, the coefficient of the +first term of the increment of each function, arranged according to the +ascending powers of the increment of its variable. The special calculus +of indirect functions has for its constant object, here as well as in +the conceptions of Leibnitz and of Newton, to eliminate these +_derivatives_ which have been thus employed as auxiliaries, in order to +deduce from their relations the corresponding equations between the +primitive magnitudes. + + +_An Extension of ordinary Analysis._ The transcendental analysis is, +then, nothing but a simple though very considerable extension of +ordinary analysis. Geometers have long been accustomed to introduce in +analytical investigations, in the place of the magnitudes themselves +which they wished to study, their different powers, or their logarithms, +or their sines, &c., in order to simplify the equations, and even to +obtain them more easily. This successive _derivation_ is an artifice of +the same nature, only of greater extent, and procuring, in consequence, +much more important resources for this common object. + +But, although we can readily conceive, _à priori_, that the auxiliary +consideration of these derivatives _may_ facilitate the establishment +of equations, it is not easy to explain why this _must_ necessarily +follow from this mode of derivation rather than from any other +transformation. Such is the weak point of the great idea of Lagrange. +The precise advantages of this analysis cannot as yet be grasped in an +abstract manner, but only shown by considering separately each principal +question, so that the verification is often exceedingly laborious. + + +EXAMPLE. _Tangents._ This manner of conceiving the transcendental +analysis may be best illustrated by its application to the most simple +of the problems above examined--that of tangents. + +Instead of conceiving the tangent as the prolongation of the infinitely +small element of the curve, according to the notion of Leibnitz--or as +the limit of the secants, according to the ideas of Newton--Lagrange +considers it, according to its simple geometrical character, analogous +to the definitions of the ancients, to be a right line such that no +other right line can pass through the point of contact between it and +the curve. Then, to determine its direction, we must seek the general +expression of its distance from the curve, measured in any direction +whatever--in that of the ordinate, for example--and dispose of the +arbitrary constant relating to the inclination of the right line, which +will necessarily enter into that expression, in such a way as to +diminish that separation as much as possible. Now this distance, being +evidently equal to the difference of the two ordinates of the curve and +of the right line, which correspond to the same new abscissa _x_ + _h_, +will be represented by the formula + + (_f'_(_x_) - _t_)_h_ + _qh²_ + _rh³_ + etc., + +in which _t_ designates, as above, the unknown trigonometrical tangent +of the angle which the required line makes with the axis of abscissas, +and _f'_(_x_) the derived function of the ordinate _f_(_x_). This being +understood, it is easy to see that, by disposing of _t_ so as to make +the first term of the preceding formula equal to zero, we will render +the interval between the two lines the least possible, so that any other +line for which _t_ did not have the value thus determined would +necessarily depart farther from the proposed curve. We have, then, for +the direction of the tangent sought, the general expression _t_ = +_f'_(_x_), a result exactly equivalent to those furnished by the +Infinitesimal Method and the Method of Limits. We have yet to find +_f'_(_x_) in each particular curve, which is a mere question of +analysis, quite identical with those which are presented, at this stage +of the operations, by the other methods. + +After these considerations upon the principal general conceptions, we +need not stop to examine some other theories proposed, such as Euler's +_Calculus of Vanishing Quantities_, which are really modifications--more +or less important, and, moreover, no longer used--of the preceding +methods. + +I have now to establish the comparison and the appreciation of these +three fundamental methods. Their _perfect and necessary conformity_ is +first to be proven in a general manner. + + + + +FUNDAMENTAL IDENTITY OF THE THREE METHODS. + + +It is, in the first place, evident from what precedes, considering these +three methods as to their actual destination, independently of their +preliminary ideas, that they all consist in the same general logical +artifice, which has been characterized in the first chapter; to wit, +the introduction of a certain system of auxiliary magnitudes, having +uniform relations to those which are the special objects of the inquiry, +and substituted for them expressly to facilitate the analytical +expression of the mathematical laws of the phenomena, although they have +finally to be eliminated by the aid of a special calculus. It is this +which has determined me to regularly define the transcendental analysis +as _the calculus of indirect functions_, in order to mark its true +philosophical character, at the same time avoiding any discussion upon +the best manner of conceiving and applying it. The general effect of +this analysis, whatever the method employed, is, then, to bring every +mathematical question much more promptly within the power of the +_calculus_, and thus to diminish considerably the serious difficulty +which is usually presented by the passage from the concrete to the +abstract. Whatever progress we may make, we can never hope that the +calculus will ever be able to grasp every question of natural +philosophy, geometrical, or mechanical, or thermological, &c., +immediately upon its birth, which would evidently involve a +contradiction. Every problem will constantly require a certain +preliminary labour to be performed, in which the calculus can be of no +assistance, and which, by its nature, cannot be subjected to abstract +and invariable rules; it is that which has for its special object the +establishment of equations, which form the indispensable starting point +of all analytical researches. But this preliminary labour has been +remarkably simplified by the creation of the transcendental analysis, +which has thus hastened the moment at which the solution admits of the +uniform and precise application of general and abstract methods; by +reducing, in each case, this special labour to the investigation of +equations between the auxiliary magnitudes; from which the calculus then +leads to equations directly referring to the proposed magnitudes, which, +before this admirable conception, it had been necessary to establish +directly and separately. Whether these indirect equations are +_differential_ equations, according to the idea of Leibnitz, or +equations of _limits_, conformably to the conception of Newton, or, +lastly, _derived_ equations, according to the theory of Lagrange, the +general procedure is evidently always the same. + +But the coincidence of these three principal methods is not limited to +the common effect which they produce; it exists, besides, in the very +manner of obtaining it. In fact, not only do all three consider, in the +place of the primitive magnitudes, certain auxiliary ones, but, still +farther, the quantities thus introduced as subsidiary are exactly +identical in the three methods, which consequently differ only in the +manner of viewing them. This can be easily shown by taking for the +general term of comparison any one of the three conceptions, especially +that of Lagrange, which is the most suitable to serve as a type, as +being the freest from foreign considerations. Is it not evident, by the +very definition of _derived functions_, that they are nothing else than +what Leibnitz calls _differential coefficients_, or the ratios of the +differential of each function to that of the corresponding variable, +since, in determining the first differential, we will be obliged, by the +very nature of the infinitesimal method, to limit ourselves to taking +the only term of the increment of the function which contains the first +power of the infinitely small increment of the variable? In the same +way, is not the derived function, by its nature, likewise the necessary +_limit_ towards which tends the ratio between the increment of the +primitive function and that of its variable, in proportion as this last +indefinitely diminishes, since it evidently expresses what that ratio +becomes when we suppose the increment of the variable to equal zero? +That which is designated by _dx_/_dy_ in the method of Leibnitz; that +which ought to be noted as _L_(Δ_y_/Δ_x_) in that of Newton; and that +which Lagrange has indicated by _f'_(_x_), is constantly one same +function, seen from three different points of view, the considerations +of Leibnitz and Newton properly consisting in making known two general +necessary properties of the derived function. The transcendental +analysis, examined abstractedly and in its principle, is then always the +same, whatever may be the conception which is adopted, and the +procedures of the calculus of indirect functions are necessarily +identical in these different methods, which in like manner must, for any +application whatever, lead constantly to rigorously uniform results. + + + + +COMPARATIVE VALUE OF THE THREE METHODS. + + +If now we endeavour to estimate the comparative value of these three +equivalent conceptions, we shall find in each advantages and +inconveniences which are peculiar to it, and which still prevent +geometers from confining themselves to any one of them, considered as +final. + + +_That of Leibnitz._ The conception of Leibnitz presents incontestably, +in all its applications, a very marked superiority, by leading in a much +more rapid manner, and with much less mental effort, to the formation +of equations between the auxiliary magnitudes. It is to its use that we +owe the high perfection which has been acquired by all the general +theories of geometry and mechanics. Whatever may be the different +speculative opinions of geometers with respect to the infinitesimal +method, in an abstract point of view, all tacitly agree in employing it +by preference, as soon as they have to treat a new question, in order +not to complicate the necessary difficulty by this purely artificial +obstacle proceeding from a misplaced obstinacy in adopting a less +expeditious course. Lagrange himself, after having reconstructed the +transcendental analysis on new foundations, has (with that noble +frankness which so well suited his genius) rendered a striking and +decisive homage to the characteristic properties of the conception of +Leibnitz, by following it exclusively in the entire system of his +_Méchanique Analytique_. Such a fact renders any comments unnecessary. + +But when we consider the conception of Leibnitz in itself and in its +logical relations, we cannot escape admitting, with Lagrange, that it is +radically vicious in this, that, adopting its own expressions, the +notion of infinitely small quantities is a _false idea_, of which it is +in fact impossible to obtain a clear conception, however we may deceive +ourselves in that matter. Even if we adopt the ingenious idea of the +compensation of errors, as above explained, this involves the radical +inconvenience of being obliged to distinguish in mathematics two classes +of reasonings, those which are perfectly rigorous, and those in which we +designedly commit errors which subsequently have to be compensated. A +conception which leads to such strange consequences is undoubtedly very +unsatisfactory in a logical point of view. + +To say, as do some geometers, that it is possible in every case to +reduce the infinitesimal method to that of limits, the logical character +of which is irreproachable, would evidently be to elude the difficulty +rather than to remove it; besides, such a transformation almost entirely +strips the conception of Leibnitz of its essential advantages of +facility and rapidity. + +Finally, even disregarding the preceding important considerations, the +infinitesimal method would no less evidently present by its nature the +very serious defect of breaking the unity of abstract mathematics, by +creating a transcendental analysis founded on principles so different +from those which form the basis of the ordinary analysis. This division +of analysis into two worlds almost entirely independent of each other, +tends to hinder the formation of truly general analytical conceptions. +To fully appreciate the consequences of this, we should have to go back +to the state of the science before Lagrange had established a general +and complete harmony between these two great sections. + + +_That of Newton._ Passing now to the conception of Newton, it is evident +that by its nature it is not exposed to the fundamental logical +objections which are called forth by the method of Leibnitz. The notion +of _limits_ is, in fact, remarkable for its simplicity and its +precision. In the transcendental analysis presented in this manner, the +equations are regarded as exact from their very origin, and the general +rules of reasoning are as constantly observed as in ordinary analysis. +But, on the other hand, it is very far from offering such powerful +resources for the solution of problems as the infinitesimal method. The +obligation which it imposes, of never considering the increments of +magnitudes separately and by themselves, nor even in their ratios, but +only in the limits of those ratios, retards considerably the operations +of the mind in the formation of auxiliary equations. We may even say +that it greatly embarrasses the purely analytical transformations. Thus +the transcendental analysis, considered separately from its +applications, is far from presenting in this method the extent and the +generality which have been imprinted upon it by the conception of +Leibnitz. It is very difficult, for example, to extend the theory of +Newton to functions of several independent variables. But it is +especially with reference to its applications that the relative +inferiority of this theory is most strongly marked. + +Several Continental geometers, in adopting the method of Newton as the +more logical basis of the transcendental analysis, have partially +disguised this inferiority by a serious inconsistency, which consists in +applying to this method the notation invented by Leibnitz for the +infinitesimal method, and which is really appropriate to it alone. In +designating by _dy_/_dx_ that which logically ought, in the theory of +limits, to be denoted by _L_(Δ_y_/Δ_x_), and in extending to all the +other analytical conceptions this displacement of signs, they intended, +undoubtedly, to combine the special advantages of the two methods; but, +in reality, they have only succeeded in causing a vicious confusion +between them, a familiarity with which hinders the formation of clear +and exact ideas of either. It would certainly be singular, considering +this usage in itself, that, by the mere means of signs, it could be +possible to effect a veritable combination between two theories so +distinct as those under consideration. + +Finally, the method of limits presents also, though in a less degree, +the greater inconvenience, which I have above noted in reference to the +infinitesimal method, of establishing a total separation between the +ordinary and the transcendental analysis; for the idea of _limits_, +though clear and rigorous, is none the less in itself, as Lagrange has +remarked, a foreign idea, upon which analytical theories ought not to be +dependent. + + +_That of Lagrange._ This perfect unity of analysis, and this purely +abstract character of its fundamental notions, are found in the highest +degree in the conception of Lagrange, and are found there alone; it is, +for this reason, the most rational and the most philosophical of all. +Carefully removing every heterogeneous consideration, Lagrange has +reduced the transcendental analysis to its true peculiar character, that +of presenting a very extensive class of analytical transformations, +which facilitate in a remarkable degree the expression of the conditions +of various problems. At the same time, this analysis is thus necessarily +presented as a simple extension of ordinary analysis; it is only a +higher algebra. All the different parts of abstract mathematics, +previously so incoherent, have from that moment admitted of being +conceived as forming a single system. + +Unhappily, this conception, which possesses such fundamental properties, +independently of its so simple and so lucid notation, and which is +undoubtedly destined to become the final theory of transcendental +analysis, because of its high philosophical superiority over all the +other methods proposed, presents in its present state too many +difficulties in its applications, as compared with the conception of +Newton, and still more with that of Leibnitz, to be as yet exclusively +adopted. Lagrange himself has succeeded only with great difficulty in +rediscovering, by his method, the principal results already obtained by +the infinitesimal method for the solution of the general questions of +geometry and mechanics; we may judge from that what obstacles would be +found in treating in the same manner questions which were truly new and +important. It is true that Lagrange, on several occasions, has shown +that difficulties call forth, from men of genius, superior efforts, +capable of leading to the greatest results. It was thus that, in trying +to adapt his method to the examination of the curvature of lines, which +seemed so far from admitting its application, he arrived at that +beautiful theory of contacts which has so greatly perfected that +important part of geometry. But, in spite of such happy exceptions, the +conception of Lagrange has nevertheless remained, as a whole, +essentially unsuited to applications. + +The final result of the general comparison which I have too briefly +sketched, is, then, as already suggested, that, in order to really +understand the transcendental analysis, we should not only consider it +in its principles according to the three fundamental conceptions of +Leibnitz, of Newton, and of Lagrange, but should besides accustom +ourselves to carry out almost indifferently, according to these three +principal methods, and especially according to the first and the last, +the solution of all important questions, whether of the pure calculus of +indirect functions or of its applications. This is a course which I +could not too strongly recommend to all those who desire to judge +philosophically of this admirable creation of the human mind, as well as +to those who wish to learn to make use of this powerful instrument with +success and with facility. In all the other parts of mathematical +science, the consideration of different methods for a single class of +questions may be useful, even independently of its historical interest, +but it is not indispensable; here, on the contrary, it is strictly +necessary. + +Having determined with precision, in this chapter, the philosophical +character of the calculus of indirect functions, according to the +principal fundamental conceptions of which it admits, we have next to +consider, in the following chapter, the logical division and the general +composition of this calculus. + + + + +CHAPTER IV. + + +THE DIFFERENTIAL AND INTEGRAL CALCULUS. + + +ITS TWO FUNDAMENTAL DIVISIONS. + + +The _calculus of indirect functions_, in accordance with the +considerations explained in the preceding chapter, is necessarily +divided into two parts (or, more properly, is decomposed into two +different _calculi_ entirely distinct, although intimately connected by +their nature), according as it is proposed to find the relations between +the auxiliary magnitudes (the introduction of which constitutes the +general spirit of this calculus) by means of the relations between the +corresponding primitive magnitudes; or, conversely, to try to discover +these direct equations by means of the indirect equations originally +established. Such is, in fact, constantly the double object of the +transcendental analysis. + +These two systems have received different names, according to the point +of view under which this analysis has been regarded. The infinitesimal +method, properly so called, having been the most generally employed for +the reasons which have been given, almost all geometers employ +habitually the denominations of _Differential Calculus_ and of _Integral +Calculus_, established by Leibnitz, and which are, in fact, very +rational consequences of his conception. Newton, in accordance with his +method, named the first the _Calculus of Fluxions_, and the second the +_Calculus of Fluents_, expressions which were commonly employed in +England. Finally, following the eminently philosophical theory founded +by Lagrange, one would be called the _Calculus of Derived Functions_, +and the other the _Calculus of Primitive Functions_. I will continue to +make use of the terms of Leibnitz, as being more convenient for the +formation of secondary expressions, although I ought, in accordance with +the suggestions made in the preceding chapter, to employ concurrently +all the different conceptions, approaching as nearly as possible to that +of Lagrange. + + + + +THEIR RELATIONS TO EACH OTHER. + + +The differential calculus is evidently the logical basis of the integral +calculus; for we do not and cannot know how to integrate directly any +other differential expressions than those produced by the +differentiation of the ten simple functions which constitute the general +elements of our analysis. The art of integration consists, then, +essentially in bringing all the other cases, as far as is possible, to +finally depend on only this small number of fundamental integrations. + +In considering the whole body of the transcendental analysis, as I have +characterized it in the preceding chapter, it is not at first apparent +what can be the peculiar utility of the differential calculus, +independently of this necessary relation with the integral calculus, +which seems as if it must be, by itself, the only one directly +indispensable. In fact, the elimination of the _infinitesimals_ or of +the _derivatives_, introduced as auxiliaries to facilitate the +establishment of equations, constituting, as we have seen, the final and +invariable object of the calculus of indirect functions, it is natural +to think that the calculus which teaches how to deduce from the +equations between these auxiliary magnitudes, those which exist between +the primitive magnitudes themselves, ought strictly to suffice for the +general wants of the transcendental analysis without our perceiving, at +the first glance, what special and constant part the solution of the +inverse question can have in such an analysis. It would be a real error, +though a common one, to assign to the differential calculus, in order to +explain its peculiar, direct, and necessary influence, the destination +of forming the differential equations, from which the integral calculus +then enables us to arrive at the finite equations; for the primitive +formation of differential equations is not and cannot be, properly +speaking, the object of any calculus, since, on the contrary, it forms +by its nature the indispensable starting point of any calculus whatever. +How, in particular, could the differential calculus, which in itself is +reduced to teaching the means of _differentiating_ the different +equations, be a general procedure for establishing them? That which in +every application of the transcendental analysis really facilitates the +formation of equations, is the infinitesimal _method_, and not the +infinitesimal _calculus_, which is perfectly distinct from it, although +it is its indispensable complement. Such a consideration would, then, +give a false idea of the special destination which characterizes the +differential calculus in the general system of the transcendental +analysis. + +But we should nevertheless very imperfectly conceive the real peculiar +importance of this first branch of the calculus of indirect functions, +if we saw in it only a simple preliminary labour, having no other +general and essential object than to prepare indispensable foundations +for the integral calculus. As the ideas on this matter are generally +confused, I think that I ought here to explain in a summary manner this +important relation as I view it, and to show that in every application +of the transcendental analysis a primary, direct, and necessary part is +constantly assigned to the differential calculus. + + +1. _Use of the Differential Calculus as preparatory to that of the +Integral._ In forming the differential equations of any phenomenon +whatever, it is very seldom that we limit ourselves to introduce +differentially only those magnitudes whose relations are sought. To +impose that condition would be to uselessly diminish the resources +presented by the transcendental analysis for the expression of the +mathematical laws of phenomena. Most frequently we introduce into the +primitive equations, through their differentials, other magnitudes whose +relations are already known or supposed to be so, and without the +consideration of which it would be frequently impossible to establish +equations. Thus, for example, in the general problem of the +rectification of curves, the differential equation, + + _ds_² = _dy_² + _dx_², or _ds_² = _dx_² + _dy_² + _dz_², + +is not only established between the desired function s and the +independent variable _x_, to which it is referred, but, at the same +time, there have been introduced, as indispensable intermediaries, the +differentials of one or two other functions, _y_ and _z_, which are +among the data of the problem; it would not have been possible to form +directly the equation between _ds_ and _dx_, which would, besides, be +peculiar to each curve considered. It is the same for most questions. +Now in these cases it is evident that the differential equation is not +immediately suitable for integration. It is previously necessary that +the differentials of the functions supposed to be known, which have +been employed as intermediaries, should be entirely eliminated, in order +that equations may be obtained between the differentials of the +functions which alone are sought and those of the really independent +variables, after which the question depends on only the integral +calculus. Now this preparatory elimination of certain differentials, in +order to reduce the infinitesimals to the smallest number possible, +belongs simply to the differential calculus; for it must evidently be +done by determining, by means of the equations between the functions +supposed to be known, taken as intermediaries, the relations of their +differentials, which is merely a question of differentiation. Thus, for +example, in the case of rectifications, it will be first necessary to +calculate _dy_, or _dy_ and _dz_, by differentiating the equation or the +equations of each curve proposed; after eliminating these expressions, +the general differential formula above enunciated will then contain only +_ds_ and _dx_; having arrived at this point, the elimination of the +infinitesimals can be completed only by the integral calculus. + +Such is, then, the general office necessarily belonging to the +differential calculus in the complete solution of the questions which +exact the employment of the transcendental analysis; to produce, as far +as is possible, the elimination of the infinitesimals, that is, to +reduce in each case the primitive differential equations so that they +shall contain only the differentials of the really independent +variables, and those of the functions sought, by causing to disappear, +by elimination, the differentials of all the other known functions which +may have been taken as intermediaries at the time of the formation of +the differential equations of the problem which is under consideration. + + +2. _Employment of the Differential Calculus alone._ For certain +questions, which, although few in number, have none the less, as we +shall see hereafter, a very great importance, the magnitudes which are +sought enter directly, and not by their differentials, into the +primitive differential equations, which then contain differentially only +the different known functions employed as intermediaries, in accordance +with the preceding explanation. These cases are the most favourable of +all; for it is evident that the differential calculus is then entirely +sufficient for the complete elimination of the infinitesimals, without +the question giving rise to any integration. This is what occurs, for +example, in the problem of _tangents_ in geometry; in that of +_velocities_ in mechanics, &c. + + +3. _Employment of the Integral Calculus alone._ Finally, some other +questions, the number of which is also very small, but the importance of +which is no less great, present a second exceptional case, which is in +its nature exactly the converse of the preceding. They are those in +which the differential equations are found to be immediately ready for +integration, because they contain, at their first formation, only the +infinitesimals which relate to the functions sought, or to the really +independent variables, without its being necessary to introduce, +differentially, other functions as intermediaries. If in these new cases +we introduce these last functions, since, by hypothesis, they will enter +directly and not by their differentials, ordinary algebra will suffice +to eliminate them, and to bring the question to depend on only the +integral calculus. The differential calculus will then have no special +part in the complete solution of the problem, which will depend entirely +upon the integral calculus. The general question of _quadratures_ offers +an important example of this, for the differential equation being then +_dA = ydx_, will become immediately fit for integration as soon as we +shall have eliminated, by means of the equation of the proposed curve, +the intermediary function _y_, which does not enter into it +differentially. The same circumstances exist in the problem of +_cubatures_, and in some others equally important. + + +_Three classes of Questions hence resulting._ As a general result of the +previous considerations, it is then necessary to divide into three +classes the mathematical questions which require the use of the +transcendental analysis; the _first_ class comprises the problems +susceptible of being entirely resolved by means of the differential +calculus alone, without any need of the integral calculus; the _second_, +those which are, on the contrary, entirely dependent upon the integral +calculus, without the differential calculus having any part in their +solution; lastly, in the _third_ and the most extensive, which +constitutes the normal case, the two others being only exceptional, the +differential and the integral calculus have each in their turn a +distinct and necessary part in the complete solution of the problem, the +former making the primitive differential equations undergo a preparation +which is indispensable for the application of the latter. Such are +exactly their general relations, of which too indefinite and inexact +ideas are generally formed. + + * * * * * + +Let us now take a general survey of the logical composition of each +calculus, beginning with the differential. + + + + +THE DIFFERENTIAL CALCULUS. + + +In the exposition of the transcendental analysis, it is customary to +intermingle with the purely analytical part (which reduces itself to the +treatment of the abstract principles of differentiation and integration) +the study of its different principal applications, especially those +which concern geometry. This confusion of ideas, which is a consequence +of the actual manner in which the science has been developed, presents, +in the dogmatic point of view, serious inconveniences in this respect, +that it makes it difficult properly to conceive either analysis or +geometry. Having to consider here the most rational co-ordination which +is possible, I shall include, in the following sketch, only the calculus +of indirect functions properly so called, reserving for the portion of +this volume which relates to the philosophical study of _concrete_ +mathematics the general examination of its great geometrical and +mechanical applications. + + +_Two Cases: explicit and implicit Functions._ The fundamental division +of the differential calculus, or of the general subject of +differentiation, consists in distinguishing two cases, according as the +analytical functions which are to be differentiated are _explicit_ or +_implicit_; from which flow two parts ordinarily designated by the names +of differentiation _of formulas_ and differentiation _of equations_. It +is easy to understand, _à priori_, the importance of this +classification. In fact, such a distinction would be illusory if the +ordinary analysis was perfect; that is, if we knew how to resolve all +equations algebraically, for then it would be possible to render every +_implicit_ function _explicit_; and, by differentiating it in that +state alone, the second part of the differential calculus would be +immediately comprised in the first, without giving rise to any new +difficulty. But the algebraical resolution of equations being, as we +have seen, still almost in its infancy, and as yet impossible for most +cases, it is plain that the case is very different, since we have, +properly speaking, to differentiate a function without knowing it, +although it is determinate. The differentiation of implicit functions +constitutes then, by its nature, a question truly distinct from that +presented by explicit functions, and necessarily more complicated. It is +thus evident that we must commence with the differentiation of formulas, +and reduce the differentiation of equations to this primary case by +certain invariable analytical considerations, which need not be here +mentioned. + +These two general cases of differentiation are also distinct in another +point of view equally necessary, and too important to be left unnoticed. +The relation which is obtained between the differentials is constantly +more indirect, in comparison with that of the finite quantities, in the +differentiation of implicit functions than in that of explicit +functions. We know, in fact, from the considerations presented by +Lagrange on the general formation of differential equations, that, on +the one hand, the same primitive equation may give rise to a greater or +less number of derived equations of very different forms, although at +bottom equivalent, depending upon which of the arbitrary constants is +eliminated, which is not the case in the differentiation of explicit +formulas; and that, on the other hand, the unlimited system of the +different primitive equations, which correspond to the same derived +equation, presents a much more profound analytical variety than that of +the different functions, which admit of one same explicit differential, +and which are distinguished from each other only by a constant term. +Implicit functions must therefore be regarded as being in reality still +more modified by differentiation than explicit functions. We shall again +meet with this consideration relatively to the integral calculus, where +it acquires a preponderant importance. + + +_Two Sub-cases: A single Variable or several Variables._ Each of the two +fundamental parts of the Differential Calculus is subdivided into two +very distinct theories, according as we are required to differentiate +functions of a single variable or functions of several independent +variables. This second case is, by its nature, quite distinct from the +first, and evidently presents more complication, even in considering +only explicit functions, and still more those which are implicit. As to +the rest, one of these cases is deduced from the other in a general +manner, by the aid of an invariable and very simple principle, which +consists in regarding the total differential of a function which is +produced by the simultaneous increments of the different independent +variables which it contains, as the sum of the partial differentials +which would be produced by the separate increment of each variable in +turn, if all the others were constant. It is necessary, besides, +carefully to remark, in connection with this subject, a new idea which +is introduced by the distinction of functions into those of one variable +and of several; it is the consideration of these different special +derived functions, relating to each variable separately, and the number +of which increases more and more in proportion as the order of the +derivation becomes higher, and also when the variables become more +numerous. It results from this that the differential relations belonging +to functions of several variables are, by their nature, both much more +indirect, and especially much more indeterminate, than those relating to +functions of a single variable. This is most apparent in the case of +implicit functions, in which, in the place of the simple arbitrary +constants which elimination causes to disappear when we form the proper +differential equations for functions of a single variable, it is the +arbitrary functions of the proposed variables which are then eliminated; +whence must result special difficulties when these equations come to be +integrated. + +Finally, to complete this summary sketch of the different essential +parts of the differential calculus proper, I should add, that in the +differentiation of implicit functions, whether of a single variable or +of several, it is necessary to make another distinction; that of the +case in which it is required to differentiate at once different +functions of this kind, _combined_ in certain primitive equations, from +that in which all these functions are _separate_. + +The functions are evidently, in fact, still more implicit in the first +case than in the second, if we consider that the same imperfection of +ordinary analysis, which forbids our converting every implicit function +into an equivalent explicit function, in like manner renders us unable +to separate the functions which enter simultaneously into any system of +equations. It is then necessary to differentiate, not only without +knowing how to resolve the primitive equations, but even without being +able to effect the proper eliminations among them, thus producing a new +difficulty. + + +_Reduction of the whole to the Differentiation of the ten elementary +Functions._ Such, then, are the natural connection and the logical +distribution of the different principal theories which compose the +general system of differentiation. Since the differentiation of implicit +functions is deduced from that of explicit functions by a single +constant principle, and the differentiation of functions of several +variables is reduced by another fixed principle to that of functions of +a single variable, the whole of the differential calculus is finally +found to rest upon the differentiation of explicit functions with a +single variable, the only one which is ever executed directly. Now it is +easy to understand that this first theory, the necessary basis of the +entire system, consists simply in the differentiation of the ten simple +functions, which are the uniform elements of all our analytical +combinations, and the list of which has been given in the first chapter, +on page 51; for the differentiation of compound functions is evidently +deduced, in an immediate and necessary manner, from that of the simple +functions which compose them. It is, then, to the knowledge of these ten +fundamental differentials, and to that of the two general principles +just mentioned, which bring under it all the other possible cases, that +the whole system of differentiation is properly reduced. We see, by the +combination of these different considerations, how simple and how +perfect is the entire system of the differential calculus. It certainly +constitutes, in its logical relations, the most interesting spectacle +which mathematical analysis can present to our understanding. + + +_Transformation of derived Functions for new Variables._ The general +sketch which I have just summarily drawn would nevertheless present an +important deficiency, if I did not here distinctly indicate a final +theory, which forms, by its nature, the indispensable complement of the +system of differentiation. It is that which has for its object the +constant transformation of derived functions, as a result of determinate +changes in the independent variables, whence results the possibility of +referring to new variables all the general differential formulas +primitively established for others. This question is now resolved in the +most complete and the most simple manner, as are all those of which the +differential calculus is composed. It is easy to conceive the general +importance which it must have in any of the applications of the +transcendental analysis, the fundamental resources of which it may be +considered as augmenting, by permitting us to choose (in order to form +the differential equations, in the first place, with more ease) that +system of independent variables which may appear to be the most +advantageous, although it is not to be finally retained. It is thus, for +example, that most of the principal questions of geometry are resolved +much more easily by referring the lines and surfaces to _rectilinear_ +co-ordinates, and that we may, nevertheless, have occasion to express +these lines, etc., analytically by the aid of _polar_ co-ordinates, or +in any other manner. We will then be able to commence the differential +solution of the problem by employing the rectilinear system, but only as +an intermediate step, from which, by the general theory here referred +to, we can pass to the final system, which sometimes could not have been +considered directly. + + +_Different Orders of Differentiation._ In the logical classification of +the differential calculus which has just been given, some may be +inclined to suggest a serious omission, since I have not subdivided each +of its four essential parts according to another general consideration, +which seems at first view very important; namely, that of the higher or +lower order of differentiation. But it is easy to understand that this +distinction has no real influence in the differential calculus, inasmuch +as it does not give rise to any new difficulty. If, indeed, the +differential calculus was not rigorously complete, that is, if we did +not know how to differentiate at will any function whatever, the +differentiation to the second or higher order of each determinate +function might engender special difficulties. But the perfect +universality of the differential calculus plainly gives us the assurance +of being able to differentiate, to any order whatever, all known +functions whatever, the question reducing itself to a constantly +repeated differentiation of the first order. This distinction, +unimportant as it is for the differential calculus, acquires, however, a +very great importance in the integral calculus, on account of the +extreme imperfection of the latter. + + +_Analytical Applications._ Finally, though this is not the place to +consider the various applications of the differential calculus, yet an +exception may be made for those which consist in the solution of +questions which are purely analytical, which ought, indeed, to be +logically treated in continuation of a system of differentiation, +because of the evident homogeneity of the considerations involved. These +questions may be reduced to three essential ones. + +Firstly, the _development into series_ of functions of one or more +variables, or, more generally, the transformation of functions, which +constitutes the most beautiful and the most important application of the +differential calculus to general analysis, and which comprises, besides +the fundamental series discovered by Taylor, the remarkable series +discovered by Maclaurin, John Bernouilli, Lagrange, &c.: + +Secondly, the general _theory of maxima and minima_ values for any +functions whatever, of one or more variables; one of the most +interesting problems which analysis can present, however elementary it +may now have become, and to the complete solution of which the +differential calculus naturally applies: + +Thirdly, the general determination of the true value of functions which +present themselves under an _indeterminate_ appearance for certain +hypotheses made on the values of the corresponding variables; which is +the least extensive and the least important of the three. + +The first question is certainly the principal one in all points of view; +it is also the most susceptible of receiving a new extension hereafter, +especially by conceiving, in a broader manner than has yet been done, +the employment of the differential calculus in the transformation of +functions, on which subject Lagrange has left some valuable hints. + + * * * * * + +Having thus summarily, though perhaps too briefly, considered the chief +points in the differential calculus, I now proceed to an equally rapid +exposition of a systematic outline of the Integral Calculus, properly so +called, that is, the abstract subject of integration. + + + + +THE INTEGRAL CALCULUS. + + +_Its Fundamental Division._ The fundamental division of the Integral +Calculus is founded on the same principle as that of the Differential +Calculus, in distinguishing the integration of _explicit_ differential +formulas, and the integration of _implicit_ differentials or of +differential equations. The separation of these two cases is even much +more profound in relation to integration than to differentiation. In the +differential calculus, in fact, this distinction rests, as we have seen, +only on the extreme imperfection of ordinary analysis. But, on the other +hand, it is easy to see that, even though all equations could be +algebraically resolved, differential equations would none the less +constitute a case of integration quite distinct from that presented by +the explicit differential formulas; for, limiting ourselves, for the +sake of simplicity, to the first order, and to a single function _y_ of +a single variable _x_, if we suppose any differential equation between +_x_, _y_, and _dy/dx_, to be resolved with reference to _dy/dx_, the +expression of the derived function being then generally found to contain +the primitive function itself, which is the object of the inquiry, the +question of integration will not have at all changed its nature, and the +solution will not really have made any other progress than that of +having brought the proposed differential equation to be of only the +first degree relatively to the derived function, which is in itself of +little importance. The differential would not then be determined in a +manner much less _implicit_ than before, as regards the integration, +which would continue to present essentially the same characteristic +difficulty. The algebraic resolution of equations could not make the +case which we are considering come within the simple integration of +explicit differentials, except in the special cases in which the +proposed differential equation did not contain the primitive function +itself, which would consequently permit us, by resolving it, to find +_dy/dx_ in terms of _x_ only, and thus to reduce the question to the +class of quadratures. Still greater difficulties would evidently be +found in differential equations of higher orders, or containing +simultaneously different functions of several independent variables. + +The integration of differential equations is then necessarily more +complicated than that of explicit differentials, by the elaboration of +which last the integral calculus has been created, and upon which the +others have been made to depend as far as it has been possible. All the +various analytical methods which have been proposed for integrating +differential equations, whether it be the separation of the variables, +the method of multipliers, &c., have in fact for their object to reduce +these integrations to those of differential formulas, the only one +which, by its nature, can be undertaken directly. Unfortunately, +imperfect as is still this necessary base of the whole integral +calculus, the art of reducing to it the integration of differential +equations is still less advanced. + + +_Subdivisions: one variable or several._ Each of these two fundamental +branches of the integral calculus is next subdivided into two others (as +in the differential calculus, and for precisely analogous reasons), +according as we consider functions with a _single variable_, or +functions with _several independent variables_. + +This distinction is, like the preceding one, still more important for +integration than for differentiation. This is especially remarkable in +reference to differential equations. Indeed, those which depend on +several independent variables may evidently present this characteristic +and much more serious difficulty, that the desired function may be +differentially defined by a simple relation between its different +special derivatives relative to the different variables taken +separately. Hence results the most difficult and also the most extensive +branch of the integral calculus, which is commonly named the _Integral +Calculus of partial differences_, created by D'Alembert, and in which, +according to the just appreciation of Lagrange, geometers ought to have +seen a really new calculus, the philosophical character of which has not +yet been determined with sufficient exactness. A very striking +difference between this case and that of equations with a single +independent variable consists, as has been already observed, in the +arbitrary functions which take the place of the simple arbitrary +constants, in order to give to the corresponding integrals all the +proper generality. + +It is scarcely necessary to say that this higher branch of +transcendental analysis is still entirely in its infancy, since, even in +the most simple case, that of an equation of the first order between the +partial derivatives of a single function with two independent variables, +we are not yet completely able to reduce the integration to that of the +ordinary differential equations. The integration of functions of several +variables is much farther advanced in the case (infinitely more simple +indeed) in which it has to do with only explicit differential formulas. +We can then, in fact, when these formulas fulfil the necessary +conditions of integrability, always reduce their integration to +quadratures. + + +_Other Subdivisions: different Orders of Differentiation._ A new general +distinction, applicable as a subdivision to the integration of explicit +or implicit differentials, with one variable or several, is drawn from +the _higher or lower order of the differentials_: a distinction which, +as we have above remarked, does not give rise to any special question in +the differential calculus. + +Relatively to _explicit differentials_, whether of one variable or of +several, the necessity of distinguishing their different orders belongs +only to the extreme imperfection of the integral calculus. In fact, if +we could always integrate every differential formula of the first order, +the integration of a formula of the second order, or of any other, would +evidently not form a new question, since, by integrating it at first in +the first degree, we would arrive at the differential expression of the +immediately preceding order, from which, by a suitable series of +analogous integrations, we would be certain of finally arriving at the +primitive function, the final object of these operations. But the little +knowledge which we possess on integration of even the first order causes +quite another state of affairs, so that a higher order of differentials +produces new difficulties; for, having differential formulas of any +order above the first, it may happen that we may be able to integrate +them, either once, or several times in succession, and that we may still +be unable to go back to the primitive functions, if these preliminary +labours have produced, for the differentials of a lower order, +expressions whose integrals are not known. This circumstance must occur +so much the oftener (the number of known integrals being still very +small), seeing that these successive integrals are generally very +different functions from the derivatives which have produced them. + +With reference to _implicit differentials_, the distinction of orders is +still more important; for, besides the preceding reason, the influence +of which is evidently analogous in this case, and is even greater, it is +easy to perceive that the higher order of the differential equations +necessarily gives rise to questions of a new nature. In fact, even if we +could integrate every equation of the first order relating to a single +function, that would not be sufficient for obtaining the final integral +of an equation of any order whatever, inasmuch as every differential +equation is not reducible to that of an immediately inferior order. +Thus, for example, if we have given any relation between _x_, _y_, +_dx/dy_, and _d_²_y_/_dx_², to determine a function _y_ of a variable +_x_, we shall not be able to deduce from it at once, after effecting a +first integration, the corresponding differential relation between _x_, +_y_, and _dy/dx_, from which, by a second integration, we could ascend +to the primitive equations. This would not necessarily take place, at +least without introducing new auxiliary functions, unless the proposed +equation of the second order did not contain the required function _y_, +together with its derivatives. As a general principle, differential +equations will have to be regarded as presenting cases which are more +and more _implicit_, as they are of a higher order, and which cannot be +made to depend on one another except by special methods, the +investigation of which consequently forms a new class of questions, with +respect to which we as yet know scarcely any thing, even for functions +of a single variable.[10] + + [Footnote 10: The only important case of this class which has thus + far been completely treated is the general integration of _linear_ + equations of any order whatever, with constant coefficients. Even + this case finally depends on the algebraic resolution of equations + of a degree equal to the order of differentiation.] + +_Another equivalent distinction._ Still farther, when we examine more +profoundly this distinction of different orders of differential +equations, we find that it can be always made to come under a final +general distinction, relative to differential equations, which remains +to be noticed. Differential equations with one or more independent +variables may contain simply a single function, or (in a case evidently +more complicated and more implicit, which corresponds to the +differentiation of simultaneous implicit functions) we may have to +determine at the same time several functions from the differential +equations in which they are found united, together with their different +derivatives. It is clear that such a state of the question necessarily +presents a new special difficulty, that of separating the different +functions desired, by forming for each, from the proposed differential +equations, an isolated differential equation which does not contain the +other functions or their derivatives. This preliminary labour, which is +analogous to the elimination of algebra, is evidently indispensable +before attempting any direct integration, since we cannot undertake +generally (except by special artifices which are very rarely applicable) +to determine directly several distinct functions at once. + +Now it is easy to establish the exact and necessary coincidence of this +new distinction with the preceding one respecting the order of +differential equations. We know, in fact, that the general method for +isolating functions in simultaneous differential equations consists +essentially in forming differential equations, separately in relation to +each function, and of an order equal to the sum of all those of the +different proposed equations. This transformation can always be +effected. On the other hand, every differential equation of any order in +relation to a single function might evidently always be reduced to the +first order, by introducing a suitable number of auxiliary differential +equations, containing at the same time the different anterior +derivatives regarded as new functions to be determined. This method has, +indeed, sometimes been actually employed with success, though it is not +the natural one. + +Here, then, are two necessarily equivalent orders of conditions in the +general theory of differential equations; the simultaneousness of a +greater or smaller number of functions, and the higher or lower order of +differentiation of a single function. By augmenting the order of the +differential equations, we can isolate all the functions; and, by +artificially multiplying the number of the functions, we can reduce all +the equations to the first order. There is, consequently, in both cases, +only one and the same difficulty from two different points of sight. +But, however we may conceive it, this new difficulty is none the less +real, and constitutes none the less, by its nature, a marked separation +between the integration of equations of the first order and that of +equations of a higher order. I prefer to indicate the distinction under +this last form as being more simple, more general, and more logical. + + +_Quadratures._ From the different considerations which have been +indicated respecting the logical dependence of the various principal +parts of the integral calculus, we see that the integration of explicit +differential formulas of the first order and of a single variable is the +necessary basis of all other integrations, which we never succeed in +effecting but so far as we reduce them to this elementary case, +evidently the only one which, by its nature, is capable of being treated +directly. This simple fundamental integration is often designated by the +convenient expression of _quadratures_, seeing that every integral of +this kind, S_f_(_x_)_dx_, may, in fact, be regarded as representing the +area of a curve, the equation of which in rectilinear co-ordinates would +be _y_ = _f_(_x_). Such a class of questions corresponds, in the +differential calculus, to the elementary case of the differentiation of +explicit functions of a single variable. But the integral question is, +by its nature, very differently complicated, and especially much more +extensive than the differential question. This latter is, in fact, +necessarily reduced, as we have seen, to the differentiation of the ten +simple functions, the elements of all which are considered in analysis. +On the other hand, the integration of compound functions does not +necessarily follow from that of the simple functions, each combination +of which may present special difficulties with respect to the integral +calculus. Hence results the naturally indefinite extent, and the so +varied complication of the question of _quadratures_, upon which, in +spite of all the efforts of analysts, we still possess so little +complete knowledge. + +In decomposing this question, as is natural, according to the different +forms which may be assumed by the derivative function, we distinguish +the case of _algebraic_ functions and that of _transcendental_ +functions. + +_Integration of Transcendental Functions._ The truly analytical +integration of transcendental functions is as yet very little advanced, +whether for _exponential_, or for _logarithmic_, or for _circular_ +functions. But a very small number of cases of these three different +kinds have as yet been treated, and those chosen from among the +simplest; and still the necessary calculations are in most cases +extremely laborious. A circumstance which we ought particularly to +remark in its philosophical connection is, that the different procedures +of quadrature have no relation to any general view of integration, and +consist of simple artifices very incoherent with each other, and very +numerous, because of the very limited extent of each. + +One of these artifices should, however, here be noticed, which, without +being really a method of integration, is nevertheless remarkable for its +generality; it is the procedure invented by John Bernouilli, and known +under the name of _integration by parts_, by means of which every +integral may be reduced to another which is sometimes found to be more +easy to be obtained. This ingenious relation deserves to be noticed for +another reason, as having suggested the first idea of that +transformation of integrals yet unknown, which has lately received a +greater extension, and of which M. Fourier especially has made so new +and important a use in the analytical questions produced by the theory +of heat. + +_Integration of Algebraic Functions._ As to the integration of algebraic +functions, it is farther advanced. However, we know scarcely any thing +in relation to irrational functions, the integrals of which have been +obtained only in extremely limited cases, and particularly by rendering +them rational. The integration of rational functions is thus far the +only theory of the integral calculus which has admitted of being treated +in a truly complete manner; in a logical point of view, it forms, then, +its most satisfactory part, but perhaps also the least important. It is +even essential to remark, in order to have a just idea of the extreme +imperfection of the integral calculus, that this case, limited as it is, +is not entirely resolved except for what properly concerns integration +viewed in an abstract manner; for, in the execution, the theory finds +its progress most frequently quite stopped, independently of the +complication of the calculations, by the imperfection of ordinary +analysis, seeing that it makes the integration finally depend upon the +algebraic resolution of equations, which greatly limits its use. + +To grasp in a general manner the spirit of the different procedures +which are employed in quadratures, we must observe that, by their +nature, they can be primitively founded only on the differentiation of +the ten simple functions. The results of this, conversely considered, +establish as many direct theorems of the integral calculus, the only +ones which can be directly known. All the art of integration afterwards +consists, as has been said in the beginning of this chapter, in reducing +all the other quadratures, so far as is possible, to this small number +of elementary ones, which unhappily we are in most cases unable to +effect. + +_Singular Solutions._ In this systematic enumeration of the various +essential parts of the integral calculus, considered in their logical +relations, I have designedly neglected (in order not to break the chain +of sequence) to consider a very important theory, which forms implicitly +a portion of the general theory of the integration of differential +equations, but which I ought here to notice separately, as being, so to +speak, outside of the integral calculus, and being nevertheless of the +greatest interest, both by its logical perfection and by the extent of +its applications. I refer to what are called _Singular Solutions_ of +differential equations, called sometimes, but improperly, _particular_ +solutions, which have been the subject of very remarkable investigations +by Euler and Laplace, and of which Lagrange especially has presented +such a beautiful and simple general theory. Clairaut, who first had +occasion to remark their existence, saw in them a paradox of the +integral calculus, since these solutions have the peculiarity of +satisfying the differential equations without being comprised in the +corresponding general integrals. Lagrange has since explained this +paradox in the most ingenious and most satisfactory manner, by showing +how such solutions are always derived from the general integral by the +variation of the arbitrary constants. He was also the first to suitably +appreciate the importance of this theory, and it is with good reason +that he devoted to it so full a development in his "Calculus of +Functions." In a logical point of view, this theory deserves all our +attention by the character of perfect generality which it admits of, +since Lagrange has given invariable and very simple procedures for +finding the _singular_ solution of any differential equation which is +susceptible of it; and, what is no less remarkable, these procedures +require no integration, consisting only of differentiations, and are +therefore always applicable. Differentiation has thus become, by a +happy artifice, a means of compensating, in certain circumstances, for +the imperfection of the integral calculus. Indeed, certain problems +especially require, by their nature, the knowledge of these _singular_ +solutions; such, for example, in geometry, are all the questions in +which a curve is to be determined from any property of its tangent or +its osculating circle. In all cases of this kind, after having expressed +this property by a differential equation, it will be, in its analytical +relations, the _singular_ equation which will form the most important +object of the inquiry, since it alone will represent the required curve; +the general integral, which thenceforth it becomes unnecessary to know, +designating only the system of the tangents, or of the osculating +circles of this curve. We may hence easily understand all the importance +of this theory, which seems to me to be not as yet sufficiently +appreciated by most geometers. + +_Definite Integrals._ Finally, to complete our review of the vast +collection of analytical researches of which is composed the integral +calculus, properly so called, there remains to be mentioned one theory, +very important in all the applications of the transcendental analysis, +which I have had to leave outside of the system, as not being really +destined for veritable integration, and proposing, on the contrary, to +supply the place of the knowledge of truly analytical integrals, which +are most generally unknown. I refer to the determination of _definite +integrals_. + +The expression, always possible, of integrals in infinite series, may at +first be viewed as a happy general means of compensating for the extreme +imperfection of the integral calculus. But the employment of such +series, because of their complication, and of the difficulty of +discovering the law of their terms, is commonly of only moderate utility +in the algebraic point of view, although sometimes very essential +relations have been thence deduced. It is particularly in the +arithmetical point of view that this procedure acquires a great +importance, as a means of calculating what are called _definite +integrals_, that is, the values of the required functions for certain +determinate values of the corresponding variables. + +An inquiry of this nature exactly corresponds, in transcendental +analysis, to the numerical resolution of equations in ordinary analysis. +Being generally unable to obtain the veritable integral--named by +opposition the _general_ or _indefinite_ integral; that is, the function +which, differentiated, has produced the proposed differential +formula--analysts have been obliged to employ themselves in determining +at least, without knowing this function, the particular numerical values +which it would take on assigning certain designated values to the +variables. This is evidently resolving the arithmetical question without +having previously resolved the corresponding algebraic one, which most +generally is the most important one. Such an analysis is, then, by its +nature, as imperfect as we have seen the numerical resolution of +equations to be. It presents, like this last, a vicious confusion of +arithmetical and algebraic considerations, whence result analogous +inconveniences both in the purely logical point of view and in the +applications. We need not here repeat the considerations suggested in +our third chapter. But it will be understood that, unable as we almost +always are to obtain the true integrals, it is of the highest importance +to have been able to obtain this solution, incomplete and necessarily +insufficient as it is. Now this has been fortunately attained at the +present day for all cases, the determination of the value of definite +integrals having been reduced to entirely general methods, which leave +nothing to desire, in a great number of cases, but less complication in +the calculations, an object towards which are at present directed all +the special transformations of analysts. Regarding now this sort of +_transcendental arithmetic_ as perfect, the difficulty in the +applications is essentially reduced to making the proposed research +depend, finally, on a simple determination of definite integrals, which +evidently cannot always be possible, whatever analytical skill may be +employed in effecting such a transformation. + + +_Prospects of the Integral Calculus._ From the considerations indicated +in this chapter, we see that, while the differential calculus +constitutes by its nature a limited and perfect system, to which nothing +essential remains to be added, the integral calculus, or the simple +system of integration, presents necessarily an inexhaustible field for +the activity of the human mind, independently of the indefinite +applications of which the transcendental analysis is evidently +susceptible. The general argument by which I have endeavoured, in the +second chapter, to make apparent the impossibility of ever discovering +the algebraic solution of equations of any degree and form whatsoever, +has undoubtedly infinitely more force with regard to the search for a +single method of integration, invariably applicable to all cases. "It +is," says Lagrange, "one of those problems whose general solution we +cannot hope for." The more we meditate on this subject, the more we +will be convinced that such a research is utterly chimerical, as being +far above the feeble reach of our intelligence; although the labours of +geometers must certainly augment hereafter the amount of our knowledge +respecting integration, and thus create methods of greater generality. +The transcendental analysis is still too near its origin--there is +especially too little time since it has been conceived in a truly +rational manner--for us now to be able to have a correct idea of what it +will hereafter become. But, whatever should be our legitimate hopes, let +us not forget to consider, before all, the limits which are imposed by +our intellectual constitution, and which, though not susceptible of a +precise determination, have none the less an incontestable reality. + +I am induced to think that, when geometers shall have exhausted the most +important applications of our present transcendental analysis, instead +of striving to impress upon it, as now conceived, a chimerical +perfection, they will rather create new resources by changing the mode +of derivation of the auxiliary quantities introduced in order to +facilitate the establishment of equations, and the formation of which +might follow an infinity of other laws besides the very simple relation +which has been chosen, according to the conception suggested in the +first chapter. The resources of this nature appear to me susceptible of +a much greater fecundity than those which would consist of merely +pushing farther our present calculus of indirect functions. It is a +suggestion which I submit to the geometers who have turned their +thoughts towards the general philosophy of analysis. + +Finally, although, in the summary exposition which was the object of +this chapter, I have had to exhibit the condition of extreme +imperfection which still belongs to the integral calculus, the student +would have a false idea of the general resources of the transcendental +analysis if he gave that consideration too great an importance. It is +with it, indeed, as with ordinary analysis, in which a very small amount +of fundamental knowledge respecting the resolution of equations has been +employed with an immense degree of utility. Little advanced as geometers +really are as yet in the science of integrations, they have nevertheless +obtained, from their scanty abstract conceptions, the solution of a +multitude of questions of the first importance in geometry, in +mechanics, in thermology, &c. The philosophical explanation of this +double general fact results from the necessarily preponderating +importance and grasp of _abstract_ branches of knowledge, the least of +which is naturally found to correspond to a crowd of _concrete_ +researches, man having no other resource for the successive extension of +his intellectual means than in the consideration of ideas more and more +abstract, and still positive. + + * * * * * + +In order to finish the complete exposition of the philosophical +character of the transcendental analysis, there remains to be considered +a final conception, by which the immortal Lagrange has rendered this +analysis still better adapted to facilitate the establishment of +equations in the most difficult problems, by considering a class of +equations still more _indirect_ than the ordinary differential +equations. It is the _Calculus_, or, rather, the _Method of Variations_; +the general appreciation of which will be our next subject. + + + + +CHAPTER V. + +THE CALCULUS OF VARIATIONS. + + +In order to grasp with more ease the philosophical character of the +_Method of Variations_, it will be well to begin by considering in a +summary manner the special nature of the problems, the general +resolution of which has rendered necessary the formation of this +hyper-transcendental analysis. It is still too near its origin, and its +applications have been too few, to allow us to obtain a sufficiently +clear general idea of it from a purely abstract exposition of its +fundamental theory. + + + + +PROBLEMS GIVING RISE TO IT. + + +The mathematical questions which have given birth to the _Calculus of +Variations_ consist generally in the investigation of the _maxima_ and +_minima_ of certain indeterminate integral formulas, which express the +analytical law of such or such a phenomenon of geometry or mechanics, +considered independently of any particular subject. Geometers for a long +time designated all the questions of this character by the common name +of _Isoperimetrical Problems_, which, however, is really suitable to +only the smallest number of them. + + +_Ordinary Questions of Maxima and Minima._ In the common theory of +_maxima_ and _minima_, it is proposed to discover, with reference to a +given function of one or more variables, what particular values must be +assigned to these variables, in order that the corresponding value of +the proposed function may be a _maximum_ or a _minimum_ with respect to +those values which immediately precede and follow it; that is, properly +speaking, we seek to know at what instant the function ceases to +increase and commences to decrease, or reciprocally. The differential +calculus is perfectly sufficient, as we know, for the general resolution +of this class of questions, by showing that the values of the different +variables, which suit either the maximum or minimum, must always reduce +to zero the different first derivatives of the given function, taken +separately with reference to each independent variable, and by +indicating, moreover, a suitable characteristic for distinguishing the +maximum from the minimum; consisting, in the case of a function of a +single variable, for example, in the derived function of the second +order taking a negative value for the maximum, and a positive value for +the minimum. Such are the well-known fundamental conditions belonging to +the greatest number of cases. + + +_A new Class of Questions._ The construction of this general theory +having necessarily destroyed the chief interest which questions of this +kind had for geometers, they almost immediately rose to the +consideration of a new order of problems, at once much more important +and of much greater difficulty--those of _isoperimeters_. It is, then, +no longer _the values of the variables_ belonging to the maximum or the +minimum of a given function that it is required to determine. It is _the +form of the function itself_ which is required to be discovered, from +the condition of the maximum or of the minimum of a certain definite +integral, merely indicated, which depends upon that function. + + +_Solid of least Resistance._ The oldest question of this nature is that +of _the solid of least resistance_, treated by Newton in the second book +of the Principia, in which he determines what ought to be the meridian +curve of a solid of revolution, in order that the resistance experienced +by that body in the direction of its axis may be the least possible. But +the course pursued by Newton, from the nature of his special method of +transcendental analysis, had not a character sufficiently simple, +sufficiently general, and especially sufficiently analytical, to attract +geometers to this new order of problems. To effect this, the application +of the infinitesimal method was needed; and this was done, in 1695, by +John Bernouilli, in proposing the celebrated problem of the +_Brachystochrone_. + +This problem, which afterwards suggested such a long series of analogous +questions, consists in determining the curve which a heavy body must +follow in order to descend from one point to another in the shortest +possible time. Limiting the conditions to the simple fall in a vacuum, +the only case which was at first considered, it is easily found that the +required curve must be a reversed cycloid with a horizontal base, and +with its origin at the highest point. But the question may become +singularly complicated, either by taking into account the resistance of +the medium, or the change in the intensity of gravity. + + +_Isoperimeters._ Although this new class of problems was in the first +place furnished by mechanics, it is in geometry that the principal +investigations of this character were subsequently made. Thus it was +proposed to discover which, among all the curves of the same contour +traced between two given points, is that whose area is a maximum or +minimum, whence has come the name of _Problem of Isoperimeters_; or it +was required that the maximum or minimum should belong to the surface +produced by the revolution of the required curve about an axis, or to +the corresponding volume; in other cases, it was the vertical height of +the center of gravity of the unknown curve, or of the surface and of the +volume which it might generate, which was to become a maximum or +minimum, &c. Finally, these problems were varied and complicated almost +to infinity by the Bernouillis, by Taylor, and especially by Euler, +before Lagrange reduced their solution to an abstract and entirely +general method, the discovery of which has put a stop to the enthusiasm +of geometers for such an order of inquiries. This is not the place for +tracing the history of this subject. I have only enumerated some of the +simplest principal questions, in order to render apparent the original +general object of the method of variations. + + +_Analytical Nature of these Problems._ We see that all these problems, +considered in an analytical point of view, consist, by their nature, in +determining what form a certain unknown function of one or more +variables ought to have, in order that such or such an integral, +dependent upon that function, shall have, within assigned limits, a +value which is a maximum or a minimum with respect to all those which it +would take if the required function had any other form whatever. + +Thus, for example, in the problem of the _brachystochrone_, it is well +known that if _y_ = _f(z)_, _x_ = π(_z_), are the rectilinear equations +of the required curve, supposing the axes of _x_ and of _y_ to be +horizontal, and the axis of _z_ to be vertical, the time of the fall of +a heavy body in that curve from the point whose ordinate is _z₁_, to +that whose ordinate is _z₂_, is expressed in general terms by the +definite integral + + ∫_{_z₂_}^{_z₁_}√(1 + (_f'(z))²_ + (π'(_z_))²/(2_gz_))_dz._ + +It is, then, necessary to find what the two unknown functions _f_ and π +must be, in order that this integral may be a minimum. + +In the same way, to demand what is the curve among all plane +isoperimetrical curves, which includes the greatest area, is the same +thing as to propose to find, among all the functions _f(x)_ which can +give a certain constant value to the integral + + ∫_dx_√(1 + (_f'(x)_ )²), + +that one which renders the integral ∫_f(x)dx_, taken between the same +limits, a maximum. It is evidently always so in other questions of this +class. + + +_Methods of the older Geometers._ In the solutions which geometers +before Lagrange gave of these problems, they proposed, in substance, to +reduce them to the ordinary theory of maxima and minima. But the means +employed to effect this transformation consisted in special simple +artifices peculiar to each case, and the discovery of which did not +admit of invariable and certain rules, so that every really new question +constantly reproduced analogous difficulties, without the solutions +previously obtained being really of any essential aid, otherwise than by +their discipline and training of the mind. In a word, this branch of +mathematics presented, then, the necessary imperfection which always +exists when the part common to all questions of the same class has not +yet been distinctly grasped in order to be treated in an abstract and +thenceforth general manner. + + + + +METHOD OF LAGRANGE. + + +Lagrange, in endeavouring to bring all the different problems of +isoperimeters to depend upon a common analysis, organized into a +distinct calculus, was led to conceive a new kind of differentiation, to +which he has applied the characteristic δ, reserving the characteristic +_d_ for the common differentials. These differentials of a new species, +which he has designated under the name of _Variations_, consist of the +infinitely small increments which the integrals receive, not by virtue +of analogous increments on the part of the corresponding variables, as +in the ordinary transcendental analysis, but by supposing that the +_form_ of the function placed under the sign of integration undergoes an +infinitely small change. This distinction is easily conceived with +reference to curves, in which we see the ordinate, or any other variable +of the curve, admit of two sorts of differentials, evidently very +different, according as we pass from one point to another infinitely +near it on the same curve, or to the corresponding point of the +infinitely near curve produced by a certain determinate modification of +the first curve.[11] It is moreover clear, that the relative +_variations_ of different magnitudes connected with each other by any +laws whatever are calculated, all but the characteristic, almost exactly +in the same manner as the differentials. Finally, from the general +notion of _variations_ are in like manner deduced the fundamental +principles of the algorithm proper to this method, consisting simply in +the evidently permissible liberty of transposing at will the +characteristics specially appropriated to variations, before or after +those which correspond to the ordinary differentials. + + [Footnote 11: Leibnitz had already considered the comparison of one + curve with an other infinitely near to it, calling it + "_Differentiatio de curva in curvam_." But this comparison had no + analogy with the conception of Lagrange, the curves of Leibnitz + being embraced in the same general equation, from which they were + deduced by the simple change of an arbitrary constant.] + +This abstract conception having been once formed, Lagrange was able to +reduce with ease, and in the most general manner, all the problems of +_Isoperimeters_ to the simple ordinary theory of _maxima_ and _minima_. +To obtain a clear idea of this great and happy transformation, we must +previously consider an essential distinction which arises in the +different questions of isoperimeters. + + +_Two Classes of Questions._ These investigations must, in fact, be +divided into two general classes, according as the maxima and minima +demanded are _absolute_ or _relative_, to employ the abridged +expressions of geometers. + + +_Questions of the first Class._ The _first case_ is that in which the +indeterminate definite integrals, the maximum or minimum of which is +sought, are not subjected, by the nature of the problem, to any +condition; as happens, for example, in the problem of the +_brachystochrone_, in which the choice is to be made between all +imaginable curves. The _second_ case takes place when, on the contrary, +the variable integrals can vary only according to certain conditions, +which usually consist in other definite integrals (which depend, in like +manner, upon the required functions) always retaining the same given +value; as, for example, in all the geometrical questions relating to +real _isoperimetrical_ figures, and in which, by the nature of the +problem, the integral relating to the length of the curve, or to the +area of the surface, must remain constant during the variation of that +integral which is the object of the proposed investigation. + +The _Calculus of Variations_ gives immediately the general solution of +questions of the former class; for it evidently follows, from the +ordinary theory of maxima and minima, that the required relation must +reduce to zero the _variation_ of the proposed integral with reference +to each independent variable; which gives the condition common to both +the maximum and the minimum: and, as a characteristic for distinguishing +the one from the other, that the variation of the second order of the +same integral must be negative for the maximum and positive for the +minimum. Thus, for example, in the problem of the brachystochrone, we +will have, in order to determine the nature of the curve sought, the +equation of condition + + δ∫_{_z₂_}^{_z₁_}√([1 + (_f'(z)_)² + (π'(_z_))²]/(2_gz_))_dz_ = 0, + +which, being decomposed into two, with respect to the two unknown +functions _f_ and π, which are independent of each other, will +completely express the analytical definition of the required curve. The +only difficulty peculiar to this new analysis consists in the +elimination of the characteristic δ, for which the calculus of +variations furnishes invariable and complete rules, founded, in general, +on the method of "integration by parts," from which Lagrange has thus +derived immense advantage. The constant object of this first analytical +elaboration (which this is not the place for treating in detail) is to +arrive at real differential equations, which can always be done; and +thereby the question comes under the ordinary transcendental analysis, +which furnishes the solution, at least so far as to reduce it to pure +algebra if the integration can be effected. The general object of the +method of variations is to effect this transformation, for which +Lagrange has established rules, which are simple, invariable, and +certain of success. + + +_Equations of Limits._ Among the greatest special advantages of the +method of variations, compared with the previous isolated solutions of +isoperimetrical problems, is the important consideration of what +Lagrange calls _Equations of Limits_, which were entirely neglected +before him, though without them the greater part of the particular +solutions remained necessarily incomplete. When the limits of the +proposed integrals are to be fixed, their variations being zero, there +is no occasion for noticing them. But it is no longer so when these +limits, instead of being rigorously invariable, are only subjected to +certain conditions; as, for example, if the two points between which the +required curve is to be traced are not fixed, and have only to remain +upon given lines or surfaces. Then it is necessary to pay attention to +the variation of their co-ordinates, and to establish between them the +relations which correspond to the equations of these lines or of these +surfaces. + + +_A more general consideration._ This essential consideration is only the +final complement of a more general and more important consideration +relative to the variations of different independent variables. If these +variables are really independent of one another, as when we compare +together all the imaginable curves susceptible of being traced between +two points, it will be the same with their variations, and, +consequently, the terms relating to each of these variations will have +to be separately equal to zero in the general equation which expresses +the maximum or the minimum. But if, on the contrary, we suppose the +variables to be subjected to any fixed conditions, it will be necessary +to take notice of the resulting relation between their variations, so +that the number of the equations into which this general equation is +then decomposed is always equal to only the number of the variables +which remain truly independent. It is thus, for example, that instead of +seeking for the shortest path between any two points, in choosing it +from among all possible ones, it may be proposed to find only what is +the shortest among all those which may be taken on any given surface; a +question the general solution of which forms certainly one of the most +beautiful applications of the method of variations. + +_Questions of the second Class._ Problems in which such modifying +conditions are considered approach very nearly, in their nature, to the +second general class of applications of the method of variations, +characterized above as consisting in the investigation of _relative_ +maxima and minima. There is, however, this essential difference between +the two cases, that in this last the modification is expressed by an +integral which depends upon the function sought, while in the other it +is designated by a finite equation which is immediately given. It is +hence apparent that the investigation of _relative_ maxima and minima is +constantly and necessarily more complicated than that of _absolute_ +maxima and minima. Luckily, a very important general theory, discovered +by the genius of the great Euler before the invention of the Calculus of +Variations, gives a uniform and very simple means of making one of +these two classes of questions dependent on the other. It consists in +this, that if we add to the integral which is to be a maximum or a +minimum, a constant and indeterminate multiple of that one which, by the +nature of the problem, is to remain constant, it will be sufficient to +seek, by the general method of Lagrange above indicated, the _absolute_ +maximum or minimum of this whole expression. It can be easily conceived, +indeed, that the part of the complete variation which would proceed from +the last integral must be equal to zero (because of the constant +character of this last) as well as the portion due to the first +integral, which disappears by virtue of the maximum or minimum state. +These two conditions evidently unite to produce, in that respect, +effects exactly alike. + +Such is a sketch of the general manner in which the method of variation +is applied to all the different questions which compose what is called +the _Theory of Isoperimeters_. It will undoubtedly have been remarked in +this summary exposition how much use has been made in this new analysis +of the second fundamental property of the transcendental analysis +noticed in the third chapter, namely, the generality of the +infinitesimal expressions for the representation of the same geometrical +or mechanical phenomenon, in whatever body it may be considered. Upon +this generality, indeed, are founded, by their nature, all the solutions +due to the method of variations. If a single formula could not express +the length or the area of any curve whatever; if another fixed formula +could not designate the time of the fall of a heavy body, according to +whatever line it may descend, &c., how would it have been possible to +resolve questions which unavoidably require, by their nature, the +simultaneous consideration of all the cases which can be determined in +each phenomenon by the different subjects which exhibit it. + + +_Other Applications of this Method._ Notwithstanding the extreme +importance of the theory of isoperimeters, and though the method of +variations had at first no other object than the logical and general +solution of this order of problems, we should still have but an +incomplete idea of this beautiful analysis if we limited its destination +to this. In fact, the abstract conception of two distinct natures of +differentiation is evidently applicable not only to the cases for which +it was created, but also to all those which present, for any reason +whatever, two different manners of making the same magnitudes vary. It +is in this way that Lagrange himself has made, in his "_Méchanique +Analytique_," an extensive and important application of his calculus of +variations, by employing it to distinguish the two sorts of changes +which are naturally presented by the questions of rational mechanics for +the different points which are considered, according as we compare the +successive positions which are occupied, in virtue of its motion, by the +same point of each body in two consecutive instants, or as we pass from +one point of the body to another in the same instant. One of these +comparisons produces ordinary differentials; the other gives rise to +_variations_, which, there as every where, are only differentials taken +under a new point of view. Such is the general acceptation in which we +should conceive the Calculus of Variations, in order suitably to +appreciate the importance of this admirable logical instrument, the +most powerful that the human mind has as yet constructed. + +The method of variations being only an immense extension of the general +transcendental analysis, I have no need of proving specially that it is +susceptible of being considered under the different fundamental points +of view which the calculus of indirect functions, considered as a whole, +admits of. Lagrange invented the Calculus of Variations in accordance +with the infinitesimal conception, and, indeed, long before he undertook +the general reconstruction of the transcendental analysis. When he had +executed this important reformation, he easily showed how it could also +be applied to the Calculus of Variations, which he expounded with all +the proper development, according to his theory of derivative functions. +But the more that the use of the method of variations is difficult of +comprehension, because of the higher degree of abstraction of the ideas +considered, the more necessary is it, in its application, to economize +the exertions of the mind, by adopting the most direct and rapid +analytical conception, namely, that of Leibnitz. Accordingly, Lagrange +himself has constantly preferred it in the important use which he has +made of the Calculus of Variations in his "Analytical Mechanics." In +fact, there does not exist the least hesitation in this respect among +geometers. + + + + +ITS RELATIONS TO THE ORDINARY CALCULUS. + + +In order to make as clear as possible the philosophical character of the +Calculus of Variations, I think that I should, in conclusion, briefly +indicate a consideration which seems to me important, and by which I can +approach it to the ordinary transcendental analysis in a higher degree +than Lagrange seems to me to have done.[12] + + [Footnote 12: I propose hereafter to develop this new + consideration, in a special work upon the _Calculus of Variations_, + intended to present this hyper-transcendental analysis in a new + point of view, which I think adapted to extend its general range.] + +We noticed in the preceding chapter the formation of the _calculus of +partial differences_, created by D'Alembert, as having introduced into +the transcendental analysis a new elementary idea; the notion of two +kinds of increments, distinct and independent of one another, which a +function of two variables may receive by virtue of the change of each +variable separately. It is thus that the vertical ordinate of a surface, +or any other magnitude which is referred to it, varies in two manners +which are quite distinct, and which may follow the most different laws, +according as we increase either the one or the other of the two +horizontal co-ordinates. Now such a consideration seems to me very +nearly allied, by its nature, to that which serves as the general basis +of the method of variations. This last, indeed, has in reality done +nothing but transfer to the independent variables themselves the +peculiar conception which had been already adopted for the functions of +these variables; a modification which has remarkably enlarged its use. I +think, therefore, that so far as regards merely the fundamental +conceptions, we may consider the calculus created by D'Alembert as +having established a natural and necessary transition between the +ordinary infinitesimal calculus and the calculus of variations; such a +derivation of which seems to be adapted to make the general notion more +clear and simple. + +According to the different considerations indicated in this chapter, the +method of variations presents itself as the highest degree of perfection +which the analysis of indirect functions has yet attained. In its +primitive state, this last analysis presented itself as a powerful +general means of facilitating the mathematical study of natural +phenomena, by introducing, for the expression of their laws, the +consideration of auxiliary magnitudes, chosen in such a manner that +their relations are necessarily more simple and more easy to obtain than +those of the direct magnitudes. But the formation of these differential +equations was not supposed to admit of any general and abstract rules. +Now the Analysis of Variations, considered in the most philosophical +point of view, may be regarded as essentially destined, by its nature, +to bring within the reach of the calculus the actual establishment of +the differential equations; for, in a great number of important and +difficult questions, such is the general effect of the _varied_ +equations, which, still more _indirect_ than the simple differential +equations with respect to the special objects of the investigation, are +also much more easy to form, and from which we may then, by invariable +and complete analytical methods, the object of which is to eliminate the +new order of auxiliary infinitesimals which have been introduced, deduce +those ordinary differential equations which it would often have been +impossible to establish directly. The method of variations forms, then, +the most sublime part of that vast system of mathematical analysis, +which, setting out from the most simple elements of algebra, organizes, +by an uninterrupted succession of ideas, general methods more and more +powerful, for the study of natural philosophy, and which, in its whole, +presents the most incomparably imposing and unequivocal monument of the +power of the human intellect. + +We must, however, also admit that the conceptions which are habitually +considered in the method of variations being, by their nature, more +indirect, more general, and especially more abstract than all others, +the employment of such a method exacts necessarily and continuously the +highest known degree of intellectual exertion, in order never to lose +sight of the precise object of the investigation, in following +reasonings which offer to the mind such uncertain resting-places, and in +which signs are of scarcely any assistance. We must undoubtedly +attribute in a great degree to this difficulty the little real use which +geometers, with the exception of Lagrange, have as yet made of such an +admirable conception. + + + + +CHAPTER VI. + +THE CALCULUS OF FINITE DIFFERENCES. + + +The different fundamental considerations indicated in the five preceding +chapters constitute, in reality, all the essential bases of a complete +exposition of mathematical analysis, regarded in the philosophical point +of view. Nevertheless, in order not to neglect any truly important +general conception relating to this analysis, I think that I should here +very summarily explain the veritable character of a kind of calculus +which is very extended, and which, though at bottom it really belongs to +ordinary analysis, is still regarded as being of an essentially distinct +nature. I refer to the _Calculus of Finite Differences_, which will be +the special subject of this chapter. + + +_Its general Character._ This calculus, created by Taylor, in his +celebrated work entitled _Methodus Incrementorum_, consists essentially +in the consideration of the finite increments which functions receive as +a consequence of analogous increments on the part of the corresponding +variables. These increments or _differences_, which take the +characteristic Δ, to distinguish them from _differentials_, or +infinitely small increments, may be in their turn regarded as new +functions, and become the subject of a second similar consideration, and +so on; from which results the notion of differences of various +successive orders, analogous, at least in appearance, to the consecutive +orders of differentials. Such a calculus evidently presents, like the +calculus of indirect functions, two general classes of questions: + +1°. To determine the successive differences of all the various +analytical functions of one or more variables, as the result of a +definite manner of increase of the independent variables, which are +generally supposed to augment in arithmetical progression. + +2°. Reciprocally, to start from these differences, or, more generally, +from any equations established between them, and go back to the +primitive functions themselves, or to their corresponding relations. + +Hence follows the decomposition of this calculus into two distinct ones, +to which are usually given the names of the _Direct_, and the _Inverse +Calculus of Finite Differences_, the latter being also sometimes called +the _Integral Calculus of Finite Differences_. Each of these would, +also, evidently admit of a logical distribution similar to that given in +the fourth chapter for the differential and the integral calculus. + + +_Its true Nature._ There is no doubt that Taylor thought that by such a +conception he had founded a calculus of an entirely new nature, +absolutely distinct from ordinary analysis, and more general than the +calculus of Leibnitz, although resting on an analogous consideration. It +is in this way, also, that almost all geometers have viewed the analysis +of Taylor; but Lagrange, with his usual profundity, clearly perceived +that these properties belonged much more to the forms and to the +notations employed by Taylor than to the substance of his theory. In +fact, that which constitutes the peculiar character of the analysis of +Leibnitz, and makes of it a truly distinct and superior calculus, is the +circumstance that the derived functions are in general of an entirely +different nature from the primitive functions, so that they may give +rise to more simple and more easily formed relations: whence result the +admirable fundamental properties of the transcendental analysis, which +have been already explained. But it is not so with the _differences_ +considered by Taylor; for these differences are, by their nature, +functions essentially similar to those which have produced them, a +circumstance which renders them unsuitable to facilitate the +establishment of equations, and prevents their leading to more general +relations. Every equation of finite differences is truly, at bottom, an +equation directly relating to the very magnitudes whose successive +states are compared. The scaffolding of new signs, which produce an +illusion respecting the true character of these equations, disguises it, +however, in a very imperfect manner, since it could always be easily +made apparent by replacing the _differences_ by the equivalent +combinations of the primitive magnitudes, of which they are really only +the abridged designations. Thus the calculus of Taylor never has +offered, and never can offer, in any question of geometry or of +mechanics, that powerful general aid which we have seen to result +necessarily from the analysis of Leibnitz. Lagrange has, moreover, very +clearly proven that the pretended analogy observed between the calculus +of differences and the infinitesimal calculus was radically vicious, in +this way, that the formulas belonging to the former calculus can never +furnish, as particular cases, those which belong to the latter, the +nature of which is essentially distinct. + +From these considerations I am led to think that the calculus of finite +differences is, in general, improperly classed with the transcendental +analysis proper, that is, with the calculus of indirect functions. I +consider it, on the contrary, in accordance with the views of Lagrange, +to be only a very extensive and very important branch of ordinary +analysis, that is to say, of that which I have named the calculus of +direct functions, the equations which it considers being always, in +spite of the notation, simple _direct_ equations. + + + + +GENERAL THEORY OF SERIES. + + +To sum up as briefly as possible the preceding explanation, the calculus +of Taylor ought to be regarded as having constantly for its true object +the general theory of _Series_, the most simple cases of which had alone +been considered before that illustrious geometer. I ought, properly, to +have mentioned this important theory in treating, in the second chapter, +of Algebra proper, of which it is such an extensive branch. But, in +order to avoid a double reference to it, I have preferred to notice it +only in the consideration of the calculus of finite differences, which, +reduced to its most simple general expression, is nothing but a complete +logical study of questions relating to _series_. + +Every _Series_, or succession of numbers deduced from one another +according to any constant law, necessarily gives rise to these two +fundamental questions: + +1°. The law of the series being supposed known, to find the expression +for its general term, so as to be able to calculate immediately any term +whatever without being obliged to form successively all the preceding +terms. + +2°. In the same circumstances, to determine the _sum_ of any number of +terms of the series by means of their places, so that it can be known +without the necessity of continually adding these terms together. + +These two fundamental questions being considered to be resolved, it may +be proposed, reciprocally, to find the law of a series from the form of +its general term, or the expression of the sum. Each of these different +problems has so much the more extent and difficulty, as there can be +conceived a greater number of different _laws_ for the series, according +to the number of preceding terms on which each term directly depends, +and according to the function which expresses that dependence. We may +even consider series with several variable indices, as Laplace has done +in his "Analytical Theory of Probabilities," by the analysis to which he +has given the name of _Theory of Generating Functions_, although it is +really only a new and higher branch of the calculus of finite +differences or of the general theory of series. + +These general views which I have indicated give only an imperfect idea +of the truly infinite extent and variety of the questions to which +geometers have risen by means of this single consideration of series, so +simple in appearance and so limited in its origin. It necessarily +presents as many different cases as the algebraic resolution of +equations, considered in its whole extent; and it is, by its nature, +much more complicated, so much, indeed, that it always needs this last +to conduct it to a complete solution. We may, therefore, anticipate what +must still be its extreme imperfection, in spite of the successive +labours of several geometers of the first order. We do not, indeed, +possess as yet the complete and logical solution of any but the most +simple questions of this nature. + + +_Its identity with this Calculus._ It is now easy to conceive the +necessary and perfect identity, which has been already announced, +between the calculus of finite differences and the theory of series +considered in all its bearings. In fact, every differentiation after the +manner of Taylor evidently amounts to finding the _law_ of formation of +a series with one or with several variable indices, from the expression +of its general term; in the same way, every analogous integration may be +regarded as having for its object the summation of a series, the general +term of which would be expressed by the proposed difference. In this +point of view, the various problems of the calculus of differences, +direct or inverse, resolved by Taylor and his successors, have really a +very great value, as treating of important questions relating to series. +But it is very doubtful if the form and the notation introduced by +Taylor really give any essential facility in the solution of questions +of this kind. It would be, perhaps, more advantageous for most cases, +and certainly more logical, to replace the _differences_ by the terms +themselves, certain combinations of which they represent. As the +calculus of Taylor does not rest on a truly distinct fundamental idea, +and has nothing peculiar to it but its system of signs, there could +never really be any important advantage in considering it as detached +from ordinary analysis, of which it is, in reality, only an immense +branch. This consideration of _differences_, most generally useless, +even if it does not cause complication, seems to me to retain the +character of an epoch in which, analytical ideas not being sufficiently +familiar to geometers, they were naturally led to prefer the special +forms suitable for simple numerical comparisons. + + + + +PERIODIC OR DISCONTINUOUS FUNCTIONS. + + +However that may be, I must not finish this general appreciation of the +calculus of finite differences without noticing a new conception to +which it has given birth, and which has since acquired a great +importance. It is the consideration of those periodic or discontinuous +functions which preserve the same value for an infinite series of values +of the corresponding variables, subjected to a certain law, and which +must be necessarily added to the integrals of the equations of finite +differences in order to render them sufficiently general, as simple +arbitrary constants are added to all quadratures in order to complete +their generality. This idea, primitively introduced by Euler, has since +been the subject of extended investigation by M. Fourier, who has made +new and important applications of it in his mathematical theory of heat. + + + + +APPLICATIONS OF THIS CALCULUS. + + +_Series._ Among the principal general applications which have been made +of the calculus of finite differences, it would be proper to place in +the first rank, as the most extended and the most important, the +solution of questions relating to series; if, as has been shown, the +general theory of series ought not to be considered as constituting, by +its nature, the actual foundation of the calculus of Taylor. + + +_Interpolations._ This great class of problems being then set aside, the +most essential of the veritable applications of the analysis of Taylor +is, undoubtedly, thus far, the general method of _interpolations_, so +frequently and so usefully employed in the investigation of the +empirical laws of natural phenomena. The question consists, as is well +known, in intercalating between certain given numbers other intermediate +numbers, subjected to the same law which we suppose to exist between the +first. We can abundantly verify, in this principal application of the +calculus of Taylor, how truly foreign and often inconvenient is the +consideration of _differences_ with respect to the questions which +depend on that analysis. Indeed, Lagrange has replaced the formulas of +interpolation, deduced from the ordinary algorithm of the calculus of +finite differences, by much simpler general formulas, which are now +almost always preferred, and which have been found directly, without +making any use of the notion of _differences_, which only complicates +the question. + + +_Approximate Rectification, &c._ A last important class of applications +of the calculus of finite differences, which deserves to be +distinguished from the preceding, consists in the eminently useful +employment made of it in geometry for determining by approximation the +length and the area of any curve, and in the same way the cubature of a +body of any form whatever. This procedure (which may besides be +conceived abstractly as depending on the same analytical investigation +as the question of interpolation) frequently offers a valuable +supplement to the entirely logical geometrical methods which often lead +to integrations, which we do not yet know how to effect, or to +calculations of very complicated execution. + + * * * * * + +Such are the various principal considerations to be noticed with respect +to the calculus of finite differences. This examination completes the +proposed philosophical outline of ABSTRACT MATHEMATICS. + + +CONCRETE MATHEMATICS will now be the subject of a similar labour. In it +we shall particularly devote ourselves to examining how it has been +possible (supposing the general science of the calculus to be perfect), +by invariable procedures, to reduce to pure questions of analysis all +the problems which can be presented by _Geometry_ and _Mechanics_, and +thus to impress on these two fundamental bases of natural philosophy a +degree of precision and especially of unity; in a word, a character of +high perfection, which could be communicated to them by such a course +alone. + + + + +BOOK II. + +GEOMETRY. + + + + +BOOK II. + +GEOMETRY. + + + + +CHAPTER I. + +GENERAL VIEW OF GEOMETRY. + + +_Its true Nature._ After the general exposition of the philosophical +character of concrete mathematics, compared with that of abstract +mathematics, given in the introductory chapter, it need not here be +shown in a special manner that geometry must be considered as a true +natural science, only much more simple, and therefore much more perfect, +than any other. This necessary perfection of geometry, obtained +essentially by the application of mathematical analysis, which it so +eminently admits, is apt to produce erroneous views of the real nature +of this fundamental science, which most minds at present conceive to be +a purely logical science quite independent of observation. 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 reasoning, must be founded on observation +alone, and which form the necessary basis of all the deductions. + +The scientific superiority of geometry arises from the phenomena which +it considers being necessarily the most universal and the most simple of +all. Not only may all the bodies of nature give rise to geometrical +inquiries, as well as mechanical ones, but still farther, geometrical +phenomena would still exist, even though all the parts of the universe +should be considered as immovable. Geometry is then, by its nature, more +general than mechanics. At the same time, its phenomena are more simple, +for they are evidently independent of mechanical phenomena, while these +latter are always complicated with the former. The same relations hold +good in comparing geometry with abstract thermology. + +For these reasons, in our classification we have made geometry the first +part of concrete mathematics; that part the study of which, in addition +to its own importance, serves as the indispensable basis of all the +rest. + +Before considering directly the philosophical study of the different +orders of inquiries which constitute our present geometry, we should +obtain a clear and exact idea of the general destination of that +science, viewed in all its bearings. Such is the object of this chapter. + + +_Definition._ Geometry is commonly defined in a very vague and entirely +improper manner, as being _the science of extension_. An improvement on +this would be to say that geometry has for its object the _measurement_ +of extension; but such an explanation would be very insufficient, +although at bottom correct, and would be far from giving any idea of the +true general character of geometrical science. + +To do this, I think that I should first explain _two fundamental ideas_, +which, very simple in themselves, have been singularly obscured by the +employment of metaphysical considerations. + + +_The Idea of Space._ The first is that of _Space_. This conception +properly consists simply in this, that, instead of considering extension +in the bodies themselves, we view it in an indefinite medium, which we +regard as containing all the bodies of the universe. This notion is +naturally suggested to us by observation, when we think of the +_impression_ which a body would leave in a fluid in which it had been +placed. It is clear, in fact, that, as regards its geometrical +relations, such an _impression_ may be substituted for the body itself, +without altering the reasonings respecting it. As to the physical nature +of this indefinite _space_, we are spontaneously led to represent it to +ourselves, as being entirely analogous to the actual medium in which we +live; so that if this medium was liquid instead of gaseous, our +geometrical _space_ would undoubtedly be conceived as liquid also. This +circumstance is, moreover, only very secondary, the essential object of +such a conception being only to make us view extension separately from +the bodies which manifest it to us. We can easily understand in advance +the importance of this fundamental image, since it permits us to study +geometrical phenomena in themselves, abstraction being made of all the +other phenomena which constantly accompany them in real bodies, without, +however, exerting any influence over them. The regular establishment of +this general abstraction must be regarded as the first step which has +been made in the rational study of geometry, which would have been +impossible if it had been necessary to consider, together with the form +and the magnitude of bodies, all their other physical properties. The +use of such an hypothesis, which is perhaps the most ancient +philosophical conception created by the human mind, has now become so +familiar to us, that we have difficulty in exactly estimating its +importance, by trying to appreciate the consequences which would result +from its suppression. + + +_Different Kinds of Extension._ The second preliminary geometrical +conception which we have to examine is that of the different kinds of +extension, designated by the words _volume_, _surface_, _line_, and even +_point_, and of which the ordinary explanation is so unsatisfactory.[13] + + [Footnote 13: Lacroix has justly criticised the expression of + _solid_, commonly used by geometers to designate a _volume_. It is + certain, in fact, that when we wish to consider separately a + certain portion of indefinite space, conceived as gaseous, we + mentally solidify its exterior envelope, so that a _line_ and a + _surface_ are habitually, to our minds, just as _solid_ as a + _volume_. It may also be remarked that most generally, in order + that bodies may penetrate one another with more facility, we are + obliged to imagine the interior of the _volumes_ to be hollow, + which renders still more sensible the impropriety of the word + _solid_.] + +Although it is evidently impossible to conceive any extension absolutely +deprived of any one of the three fundamental dimensions, it is no less +incontestable that, in a great number of occasions, even of immediate +utility, geometrical questions depend on only two dimensions, considered +separately from the third, or on a single dimension, considered +separately from the two others. Again, independently of this direct +motive, the study of extension with a single dimension, and afterwards +with two, clearly presents itself as an indispensable preliminary for +facilitating the study of complete bodies of three dimensions, the +immediate theory of which would be too complicated. Such are the two +general motives which oblige geometers to consider separately extension +with regard to one or to two dimensions, as well as relatively to all +three together. + +The general notions of _surface_ and of _line_ have been formed by the +human mind, in order that it may be able to think, in a permanent +manner, of extension in two directions, or in one only. The hyperbolical +expressions habitually employed by geometers to define these notions +tend to convey false ideas of them; but, examined in themselves, they +have no other object than to permit us to reason with facility +respecting these two kinds of extension, making complete abstraction of +that which ought not to be taken into consideration. Now for this it is +sufficient to conceive the dimension which we wish to eliminate as +becoming gradually smaller and smaller, the two others remaining the +same, until it arrives at such a degree of tenuity that it can no longer +fix the attention. It is thus that we naturally acquire the real idea of +a _surface_, and, by a second analogous operation, the idea of a _line_, +by repeating for breadth what we had at first done for thickness. +Finally, if we again repeat the same operation, we arrive at the idea of +a _point_, or of an extension considered only with reference to its +place, abstraction being made of all magnitude, and designed +consequently to determine positions. + +_Surfaces_ evidently have, moreover, the general property of exactly +circumscribing volumes; and in the same way, _lines_, in their turn, +circumscribe _surfaces_ and are limited by _points_. But this +consideration, to which too much importance is often given, is only a +secondary one. + +Surfaces and lines are, then, in reality, always conceived with three +dimensions; it would be, in fact, impossible to represent to one's self +a surface otherwise than as an extremely thin plate, and a line +otherwise than as an infinitely fine thread. It is even plain that the +degree of tenuity attributed by each individual to the dimensions of +which he wishes to make abstraction is not constantly identical, for it +must depend on the degree of subtilty of his habitual geometrical +observations. This want of uniformity has, besides, no real +inconvenience, since it is sufficient, in order that the ideas of +surface and of line should satisfy the essential condition of their +destination, for each one to represent to himself the dimensions which +are to be neglected as being smaller than all those whose magnitude his +daily experience gives him occasion to appreciate. + +We hence see how devoid of all meaning are the fantastic discussions of +metaphysicians upon the foundations of geometry. It should also be +remarked that these primordial ideas are habitually presented by +geometers in an unphilosophical manner, since, for example, they explain +the notions of the different sorts of extent in an order absolutely the +inverse of their natural dependence, which often produces the most +serious inconveniences in elementary instruction. + + + + +THE FINAL OBJECT OF GEOMETRY. + + +These preliminaries being established, we can proceed directly to the +general definition of geometry, continuing to conceive this science as +having for its final object the _measurement_ of extension. + +It is necessary in this matter to go into a thorough explanation, +founded on the distinction of the three kinds of extension, since the +notion of _measurement_ is not exactly the same with reference to +surfaces and volumes as to lines. + + +_Nature of Geometrical Measurement._ If we take the word _measurement_ +in its direct and general mathematical acceptation, which signifies +simply the determination of the value of the _ratios_ between any +homogeneous magnitudes, we must consider, in geometry, that the +_measurement_ of surfaces and of volumes, unlike that of lines, is never +conceived, even in the most simple and the most favourable cases, as +being effected directly. The comparison of two lines is regarded as +direct; that of two surfaces or of two volumes is, on the contrary, +always indirect. Thus we conceive that two lines may be superposed; but +the superposition of two surfaces, or, still more so, of two volumes, is +evidently impossible in most cases; and, even when it becomes rigorously +practicable, such a comparison is never either convenient or exact. It +is, then, very necessary to explain wherein properly consists the truly +geometrical measurement of a surface or of a volume. + + +_Measurement of Surfaces and of Volumes._ For this we must consider +that, whatever may be the form of a body, there always exists a certain +number of lines, more or less easy to be assigned, the length of which +is sufficient to define exactly the magnitude of its surface or of its +volume. Geometry, regarding these lines as alone susceptible of being +directly measured, proposes to deduce, from the simple determination of +them, the ratio of the surface or of the volume sought, to the unity of +surface, or to the unity of volume. Thus the general object of +geometry, with respect to surfaces and to volumes, is properly to reduce +all comparisons of surfaces or of volumes to simple comparisons of +lines. + +Besides the very great facility which such a transformation evidently +offers for the measurement of volumes and of surfaces, there results +from it, in considering it in a more extended and more scientific +manner, the general possibility of reducing to questions of lines all +questions relating to volumes and to surfaces, considered with reference +to their magnitude. Such is often the most important use of the +geometrical expressions which determine surfaces and volumes in +functions of the corresponding lines. + +It is true that direct comparisons between surfaces or between volumes +are sometimes employed; but such measurements are not regarded as +geometrical, but only as a supplement sometimes necessary, although too +rarely applicable, to the insufficiency or to the difficulty of truly +rational methods. It is thus that we often determine the volume of a +body, and in certain cases its surface, by means of its weight. In the +same way, on other occasions, when we can substitute for the proposed +volume an equivalent liquid volume, we establish directly the comparison +of the two volumes, by profiting by the property possessed by liquid +masses, of assuming any desired form. But all means of this nature are +purely mechanical, and rational geometry necessarily rejects them. + +To render more sensible the difference between these modes of +determination and true geometrical measurements, I will cite a single +very remarkable example; the manner in which Galileo determined the +ratio of the ordinary cycloid to that of the generating circle. The +geometry of his time was as yet insufficient for the rational solution +of such a problem. Galileo conceived the idea of discovering that ratio +by a direct experiment. Having weighed as exactly as possible two plates +of the same material and of equal thickness, one of them having the form +of a circle and the other that of the generated cycloid, he found the +weight of the latter always triple that of the former; whence he +inferred that the area of the cycloid is triple that of the generating +circle, a result agreeing with the veritable solution subsequently +obtained by Pascal and Wallis. Such a success evidently depends on the +extreme simplicity of the ratio sought; and we can understand the +necessary insufficiency of such expedients, even when they are actually +practicable. + +We see clearly, from what precedes, the nature of that part of geometry +relating to _volumes_ and that relating to _surfaces_. But the character +of the geometry of _lines_ is not so apparent, since, in order to +simplify the exposition, we have considered the measurement of lines as +being made directly. There is, therefore, needed a complementary +explanation with respect to them. + + +_Measurement of curved Lines._ For this purpose, it is sufficient to +distinguish between the right line and curved lines, the measurement of +the first being alone regarded as direct, and that of the other as +always indirect. Although superposition is sometimes strictly +practicable for curved lines, it is nevertheless evident that truly +rational geometry must necessarily reject it, as not admitting of any +precision, even when it is possible. The geometry of lines has, then, +for its general object, to reduce in every case the measurement of +curved lines to that of right lines; and consequently, in the most +extended point of view, to reduce to simple questions of right lines all +questions relating to the magnitude of any curves whatever. To +understand the possibility of such a transformation, we must remark, +that in every curve there always exist certain right lines, the length +of which must be sufficient to determine that of the curve. Thus, in a +circle, it is evident that from the length of the radius we must be able +to deduce that of the circumference; in the same way, the length of an +ellipse depends on that of its two axes; the length of a cycloid upon +the diameter of the generating circle, &c.; and if, instead of +considering the whole of each curve, we demand, more generally, the +length of any arc, it will be sufficient to add to the different +rectilinear parameters, which determine the whole curve, the chord of +the proposed arc, or the co-ordinates of its extremities. To discover +the relation which exists between the length of a curved line and that +of similar right lines, is the general problem of the part of geometry +which relates to the study of lines. + +Combining this consideration with those previously suggested with +respect to volumes and to surfaces, we may form a very clear idea of the +science of geometry, conceived in all its parts, by assigning to it, for +its general object, the final reduction of the comparisons of all kinds +of extent, volumes, surfaces, or lines, to simple comparisons of right +lines, the only comparisons regarded as capable of being made directly, +and which indeed could not be reduced to any others more easy to effect. +Such a conception, at the same time, indicates clearly the veritable +character of geometry, and seems suited to show at a single glance its +utility and its perfection. + + +_Measurement of right Lines._ In order to complete this fundamental +explanation, I have yet to show how there can be, in geometry, a special +section relating to the right line, which seems at first incompatible +with the principle that the measurement of this class of lines must +always be regarded as direct. + +It is so, in fact, as compared with that of curved lines, and of all the +other objects which geometry considers. But it is evident that the +estimation of a right line cannot be viewed as direct except so far as +the linear unit can be applied to it. Now this often presents +insurmountable difficulties, as I had occasion to show, for another +reason, in the introductory chapter. We must, then, make the measurement +of the proposed right line depend on other analogous measurements +capable of being effected directly. There is, then, necessarily a +primary distinct branch of geometry, exclusively devoted to the right +line; its object is to determine certain right lines from others by +means of the relations belonging to the figures resulting from their +assemblage. This preliminary part of geometry, which is almost +imperceptible in viewing the whole of the science, is nevertheless +susceptible of a great development. It is evidently of especial +importance, since all other geometrical measurements are referred to +those of right lines, and if they could not be determined, the solution +of every question would remain unfinished. + +Such, then, are the various fundamental parts of rational geometry, +arranged according to their natural dependence; the geometry of _lines_ +being first considered, beginning with the right line; then the geometry +of _surfaces_, and, finally, that of _solids_. + + + + +INFINITE EXTENT OF ITS FIELD. + + +Having determined with precision the general and final object of +geometrical inquiries, the science must now be considered with respect +to the field embraced by each of its three fundamental sections. + +Thus considered, geometry is evidently susceptible, by its nature, of an +extension which is rigorously infinite; for the measurement of lines, of +surfaces, or of volumes presents necessarily as many distinct questions +as we can conceive different figures subjected to exact definitions; and +their number is evidently infinite. + +Geometers limited themselves at first to consider the most simple +figures which were directly furnished them by nature, or which were +deduced from these primitive elements by the least complicated +combinations. But they have perceived, since Descartes, that, in order +to constitute the science in the most philosophical manner, it was +necessary to make it apply to all imaginable figures. This abstract +geometry will then inevitably comprehend as particular cases all the +different real figures which the exterior world could present. It is +then a fundamental principle in truly rational geometry to consider, as +far as possible, all figures which can be rigorously conceived. + +The most superficial examination is enough to convince us that these +figures present a variety which is quite infinite. + + +_Infinity of Lines._ With respect to curved _lines_, regarding them as +generated by the motion of a point governed by a certain law, it is +plain that we shall have, in general, as many different curves as we +conceive different laws for this motion, which may evidently be +determined by an infinity of distinct conditions; although it may +sometimes accidentally happen that new generations produce curves which +have been already obtained. Thus, among plane curves, if a point moves +so as to remain constantly at the same distance from a fixed point, it +will generate a _circle_; if it is the sum or the difference of its +distances from two fixed points which remains constant, the curve +described will be an _ellipse_ or an _hyperbola_; if it is their +product, we shall have an entirely different curve; if the point departs +equally from a fixed point and from a fixed line, it will describe a +_parabola_; if it revolves on a circle at the same time that this circle +rolls along a straight line, we shall have a _cycloid_; if it advances +along a straight line, while this line, fixed at one of its extremities, +turns in any manner whatever, there will result what in general terms +are called _spirals_, which of themselves evidently present as many +perfectly distinct curves as we can suppose different relations between +these two motions of translation and of rotation, &c. Each of these +different curves may then furnish new ones, by the different general +constructions which geometers have imagined, and which give rise to +evolutes, to epicycloids, to caustics, &c. Finally, there exists a still +greater variety among curves of double curvature. + + +_Infinity of Surfaces._ As to _surfaces_, the figures are necessarily +more different still, considering them as generated by the motion of +lines. Indeed, the figure may then vary, not only in considering, as in +curves, the different infinitely numerous laws to which the motion of +the generating line may be subjected, but also in supposing that this +line itself may change its nature; a circumstance which has nothing +analogous in curves, since the points which describe them cannot have +any distinct figure. Two classes of very different conditions may then +cause the figures of surfaces to vary, while there exists only one for +lines. It is useless to cite examples of this doubly infinite +multiplicity of surfaces. It would be sufficient to consider the extreme +variety of the single group of surfaces which may be generated by a +right line, and which comprehends the whole family of cylindrical +surfaces, that of conical surfaces, the most general class of +developable surfaces, &c. + + +_Infinity of Volumes._ With respect to _volumes_, there is no occasion +for any special consideration, since they are distinguished from each +other only by the surfaces which bound them. + +In order to complete this sketch, it should be added that surfaces +themselves furnish a new general means of conceiving new curves, since +every curve may be regarded as produced by the intersection of two +surfaces. It is in this way, indeed, that the first lines which we may +regard as having been truly invented by geometers were obtained, since +nature gave directly the straight line and the circle. We know that the +ellipse, the parabola, and the hyperbola, the only curves completely +studied by the ancients, were in their origin conceived only as +resulting from the intersection of a cone with circular base by a plane +in different positions. It is evident that, by the combined employment +of these different general means for the formation of lines and of +surfaces, we could produce a rigorously infinitely series of distinct +forms in starting from only a very small number of figures directly +furnished by observation. + + +_Analytical invention of Curves, &c._ Finally, all the various direct +means for the invention of figures have scarcely any farther importance, +since rational geometry has assumed its final character in the hands of +Descartes. Indeed, as we shall see more fully in chapter iii., the +invention of figures is now reduced to the invention of equations, so +that nothing is more easy than to conceive new lines and new surfaces, +by changing at will the functions introduced into the equations. This +simple abstract procedure is, in this respect, infinitely more fruitful +than all the direct resources of geometry, developed by the most +powerful imagination, which should devote itself exclusively to that +order of conceptions. It also explains, in the most general and the most +striking manner, the necessarily infinite variety of geometrical forms, +which thus corresponds to the diversity of analytical functions. Lastly, +it shows no less clearly that the different forms of surfaces must be +still more numerous than those of lines, since lines are represented +analytically by equations with two variables, while surfaces give rise +to equations with three variables, which necessarily present a greater +diversity. + +The preceding considerations are sufficient to show clearly the +rigorously infinite extent of each of the three general sections of +geometry. + + + + +EXPANSION OF ORIGINAL DEFINITION. + + +To complete the formation of an exact and sufficiently extended idea of +the nature of geometrical inquiries, it is now indispensable to return +to the general definition above given, in order to present it under a +new point of view, without which the complete science would be only very +imperfectly conceived. + +When we assign as the object of geometry the _measurement_ of all sorts +of lines, surfaces, and volumes, that is, as has been explained, the +reduction of all geometrical comparisons to simple comparisons of right +lines, we have evidently the advantage of indicating a general +destination very precise and very easy to comprehend. But if we set +aside every definition, and examine the actual composition of the +science of geometry, we will at first be induced to regard the preceding +definition as much too narrow; for it is certain that the greater part +of the investigations which constitute our present geometry do not at +all appear to have for their object the _measurement_ of extension. In +spite of this fundamental objection, I will persist in retaining this +definition; for, in fact, if, instead of confining ourselves to +considering the different questions of geometry isolatedly, we endeavour +to grasp the leading questions, in comparison with which all others, +however important they may be, must be regarded as only secondary, we +will finally recognize that the measurement of lines, of surfaces, and +of volumes, is the invariable object, sometimes _direct_, though most +often _indirect_, of all geometrical labours. + +This general proposition being fundamental, since it can alone give our +definition all its value, it is indispensable to enter into some +developments upon this subject. + + + + +PROPERTIES OF LINES AND SURFACES. + + +When we examine with attention the geometrical investigations which do +not seem to relate to the _measurement_ of extent, we find that they +consist essentially in the study of the different _properties_ of each +line or of each surface; that is, in the knowledge of the different +modes of generation, or at least of definition, peculiar to each figure +considered. Now we can easily establish in the most general manner the +necessary relation of such a study to the question of _measurement_, for +which the most complete knowledge of the properties of each form is an +indispensable preliminary. This is concurrently proven by two +considerations, equally fundamental, although quite distinct in their +nature. + + +NECESSITY OF THEIR STUDY: 1. _To find the most suitable Property._ The +_first_, purely scientific, consists in remarking that, if we did not +know any other characteristic property of each line or surface than that +one according to which geometers had first conceived it, in most cases +it would be impossible to succeed in the solution of questions relating +to its _measurement_. In fact, it is easy to understand that the +different definitions which each figure admits of are not all equally +suitable for such an object, and that they even present the most +complete oppositions in that respect. Besides, since the primitive +definition of each figure was evidently not chosen with this condition +in view, it is clear that we must not expect, in general, to find it the +most suitable; whence results the necessity of discovering others, that +is, of studying as far as is possible the _properties_ of the proposed +figure. Let us suppose, for example, that the circle is defined to be +"the curve which, with the same contour, contains the greatest area." +This is certainly a very characteristic property, but we would evidently +find insurmountable difficulties in trying to deduce from such a +starting point the solution of the fundamental questions relating to the +rectification or to the quadrature of this curve. It is clear, in +advance, that the property of having all its points equally distant from +a fixed point must evidently be much better adapted to inquiries of this +nature, even though it be not precisely the most suitable. In like +manner, would Archimedes ever have been able to discover the quadrature +of the parabola if he had known no other property of that curve than +that it was the section of a cone with a circular base, by a plane +parallel to its generatrix? The purely speculative labours of preceding +geometers, in transforming this first definition, were evidently +indispensable preliminaries to the direct solution of such a question. +The same is true, in a still greater degree, with respect to surfaces. +To form a just idea of this, we need only compare, as to the question of +cubature or quadrature, the common definition of the sphere with that +one, no less characteristic certainly, which would consist in regarding +a spherical body, as that one which, with the same area, contains the +greatest volume. + +No more examples are needed to show the necessity of knowing, so far as +is possible, all the properties of each line or of each surface, in +order to facilitate the investigation of rectifications, of quadratures, +and of cubatures, which constitutes the final object of geometry. We may +even say that the principal difficulty of questions of this kind +consists in employing in each case the property which is best adapted +to the nature of the proposed problem. Thus, while we continue to +indicate, for more precision, the measurement of extension as the +general destination of geometry, this first consideration, which goes to +the very bottom of the subject, shows clearly the necessity of including +in it the study, as thorough as possible, of the different generations +or definitions belonging to the same form. + + +2. _To pass from the Concrete to the Abstract._ A second consideration, +of at least equal importance, consists in such a study being +indispensable for organizing in a rational manner the relation of the +abstract to the concrete in geometry. + +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. Now it is for the purpose of +establishing such a relation that it is particularly indispensable to +know the greatest possible number of properties of each figure +considered in geometry. + +In fact, if we always confined ourselves to the single primitive +definition of a line or of a surface, supposing even that we could then +_measure_ it (which, according to the first order of considerations, +would generally be impossible), this knowledge would remain almost +necessarily barren in the application, since we should not ordinarily +know how to recognize that figure in nature when it presented itself +there; to ensure that, it would be necessary that the single +characteristic, according to which geometers had conceived it, should be +precisely that one whose verification external circumstances would +admit: a coincidence which would be purely fortuitous, and on which we +could not count, although it might sometimes take place. It is, then, +only by multiplying as much as possible the characteristic properties of +each abstract figure, that we can be assured, in advance, of recognizing +it in the concrete state, and of thus turning to account all our +rational labours, by verifying in each case the definition which is +susceptible of being directly proven. This definition is almost always +the only one in given circumstances, and varies, on the other hand, for +the same figure, with different circumstances; a double reason for its +previous determination. + + +_Illustration: Orbits of the Planets._ The geometry of the heavens +furnishes us with a very memorable example in this matter, well suited +to show the general necessity of such a study. We know that the ellipse +was discovered by Kepler to be the curve which the planets describe +about the sun, and the satellites about their planets. Now would this +fundamental discovery, which re-created astronomy, ever have been +possible, if geometers had been always confined to conceiving the +ellipse only as the oblique section of a circular cone by a plane? No +such definition, it is evident, would admit of such a verification. The +most general property of the ellipse, that the sum of the distances from +any of its points to two fixed points is a constant quantity, is +undoubtedly much more susceptible, by its nature, of causing the curve +to be recognized in this case, but still is not directly suitable. The +only characteristic which can here be immediately verified is that which +is derived from the relation which exists in the ellipse between the +length of the focal distances and their direction; the only relation +which admits of an astronomical interpretation, as expressing the law +which connects the distance from the planet to the sun, with the time +elapsed since the beginning of its revolution. It was, then, necessary +that the purely speculative labours of the Greek geometers on the +properties of the conic sections should have previously presented their +generation under a multitude of different points of view, before Kepler +could thus pass from the abstract to the concrete, in choosing from +among all these different characteristics that one which could be most +easily proven for the planetary orbits. + + +_Illustration: Figure of the Earth._ Another example of the same order, +but relating to surfaces, occurs in considering the important question +of the figure of the earth. If we had never known any other property of +the sphere than its primitive character of having all its points equally +distant from an interior point, how would we ever have been able to +discover that the surface of the earth was spherical? For this, it was +necessary previously to deduce from this definition of the sphere some +properties capable of being verified by observations made upon the +surface alone, such as the constant ratio which exists between the +length of the path traversed in the direction of any meridian of a +sphere going towards a pole, and the angular height of this pole above +the horizon at each point. Another example, but involving a much longer +series of preliminary speculations, is the subsequent proof that the +earth is not rigorously spherical, but that its form is that of an +ellipsoid of revolution. + +After such examples, it would be needless to give any others, which any +one besides may easily multiply. All of them prove that, without a very +extended knowledge of the different properties of each figure, the +relation of the abstract to the concrete, in geometry, would be purely +accidental, and that the science would consequently want one of its most +essential foundations. + +Such, then, are two general considerations which fully demonstrate the +necessity of introducing into geometry a great number of investigations +which have not the _measurement_ of extension for their direct object; +while we continue, however, to conceive such a measurement as being the +final destination of all geometrical science. In this way we can retain +the philosophical advantages of the clearness and precision of this +definition, and still include in it, in a very logical though indirect +manner, all known geometrical researches, in considering those which do +not seem to relate to the measurement of extension, as intended either +to prepare for the solution of the final questions, or to render +possible the application of the solutions obtained. + +Having thus recognized, as a general principle, the close and necessary +connexion of the study of the properties of lines and surfaces with +those researches which constitute the final object of geometry, it is +evident that geometers, in the progress of their labours, must by no +means constrain themselves to keep such a connexion always in view. +Knowing, once for all, how important it is to vary as much as possible +the manner of conceiving each figure, they should pursue that study, +without considering of what immediate use such or such a special +property may be for rectifications, quadratures, and cubatures. They +would uselessly fetter their inquiries by attaching a puerile importance +to the continued establishment of that co-ordination. + +This general exposition of the general object of geometry is so much the +more indispensable, since, by the very nature of the subject, this study +of the different properties of each line and of each surface necessarily +composes by far the greater part of the whole body of geometrical +researches. Indeed, the questions directly relating to rectifications, +to quadratures, and to cubatures, are evidently, by themselves, very few +in number for each figure considered. On the other hand, the study of +the properties of the same figure presents an unlimited field to the +activity of the human mind, in which it may always hope to make new +discoveries. Thus, although geometers have occupied themselves for +twenty centuries, with more or less activity undoubtedly, but without +any real interruption, in the study of the conic sections, they are far +from regarding that so simple subject as being exhausted; and it is +certain, indeed, that in continuing to devote themselves to it, they +would not fail to find still unknown properties of those different +curves. If labours of this kind have slackened considerably for a +century past, it is not because they are completed, but only, as will be +presently explained, because the philosophical revolution in geometry, +brought about by Descartes, has singularly diminished the importance of +such researches. + +It results from the preceding considerations that not only is the field +of geometry necessarily infinite because of the variety of figures to +be considered, but also in virtue of the diversity of the points of view +under the same figure may be regarded. This last conception is, indeed, +that which gives the broadest and most complete idea of the whole body +of geometrical researches. We see that studies of this kind consist +essentially, for each line or for each surface, in connecting all the +geometrical phenomena which it can present, with a single fundamental +phenomenon, regarded as the primitive definition. + + + + +THE TWO GENERAL METHODS OF GEOMETRY. + + +Having now explained in a general and yet precise manner the final +object of geometry, and shown how the science, thus defined, comprehends +a very extensive class of researches which did not at first appear +necessarily to belong to it, there remains to be considered the _method_ +to be followed for the formation of this science. This discussion is +indispensable to complete this first sketch of the philosophical +character of geometry. I shall here confine myself to indicating the +most general consideration in this matter, developing and summing up +this important fundamental idea in the following chapters. + +Geometrical questions may be treated according to _two methods_ so +different, that there result from them two sorts of geometry, so to say, +the philosophical character of which does not seem to me to have yet +been properly apprehended. The expressions of _Synthetical Geometry_ and +_Analytical Geometry_, habitually employed to designate them, give a +very false idea of them. I would much prefer the purely historical +denominations of _Geometry of the Ancients_ and _Geometry of the +Moderns_, which have at least the advantage of not causing their true +character to be misunderstood. But I propose to employ henceforth the +regular expressions of _Special Geometry_ and _General Geometry_, which +seem to me suited to characterize with precision the veritable nature of +the two methods. + + +_Their fundamental Difference._ The fundamental difference between the +manner in which we conceive Geometry since Descartes, and the manner in +which the geometers of antiquity treated geometrical questions, is not +the use of the Calculus (or Algebra), as is commonly thought to be the +case. On the one hand, it is certain that the use of the calculus was +not entirely unknown to the ancient geometers, since they used to make +continual and very extensive applications of the theory of proportions, +which was for them, as a means of deduction, a sort of real, though very +imperfect and especially extremely limited equivalent for our present +algebra. The calculus may even be employed in a much more complete +manner than they have used it, in order to obtain certain geometrical +solutions, which will still retain all the essential character of the +ancient geometry; this occurs very frequently with respect to those +problems of geometry of two or of three dimensions, which are commonly +designated under the name of _determinate_. On the other hand, important +as is the influence of the calculus in our modern geometry, various +solutions obtained without algebra may sometimes manifest the peculiar +character which distinguishes it from the ancient geometry, although +analysis is generally indispensable. I will cite, as an example, the +method of Roberval for tangents, the nature of which is essentially +modern, and which, however, leads in certain cases to complete +solutions, without any aid from the calculus. It is not, then, the +instrument of deduction employed which is the principal distinction +between the two courses which the human mind can take in geometry. + +The real fundamental difference, as yet imperfectly apprehended, seems +to me to consist in the very nature of the questions considered. In +truth, geometry, viewed as a whole, and supposed to have attained entire +perfection, must, as we have seen on the one hand, embrace all +imaginable figures, and, on the other, discover all the properties of +each figure. It admits, from this double consideration, of being treated +according to two essentially distinct plans; either, 1°, by grouping +together all the questions, however different they may be, which relate +to the same figure, and isolating those relating to different bodies, +whatever analogy there may exist between them; or, 2°, on the contrary, +by uniting under one point of view all similar inquiries, to whatever +different figures they may relate, and separating the questions relating +to the really different properties of the same body. In a word, the +whole body of geometry may be essentially arranged either with reference +to the _bodies_ studied or to the _phenomena_ to be considered. The +first plan, which is the most natural, was that of the ancients; the +second, infinitely more rational, is that of the moderns since +Descartes. + + +_Geometry of the Ancients._ Indeed, the principal characteristics of the +ancient geometry is that they studied, one by one, the different lines +and the different surfaces, not passing to the examination of a new +figure till they thought they had exhausted all that there was +interesting in the figures already known. In this way of proceeding, +when they undertook the study of a new curve, the whole of the labour +bestowed on the preceding ones could not offer directly any essential +assistance, otherwise than by the geometrical practice to which it had +trained the mind. Whatever might be the real similarity of the questions +proposed as to two different figures, the complete knowledge acquired +for the one could not at all dispense with taking up again the whole of +the investigation for the other. Thus the progress of the mind was never +assured; so that they could not be certain, in advance, of obtaining any +solution whatever, however analogous the proposed problem might be to +questions which had been already resolved. Thus, for example, the +determination of the tangents to the three conic sections did not +furnish any rational assistance for drawing the tangent to any other new +curve, such as the conchoid, the cissoid, &c. In a word, the geometry of +the ancients was, according to the expression proposed above, +essentially special. + + +_Geometry of the Moderns._ In the system of the moderns, geometry is, on +the contrary, eminently _general_, that is to say, relating to any +figures whatever. It is easy to understand, in the first place, that all +geometrical expressions of any interest may be proposed with reference +to all imaginable figures. This is seen directly in the fundamental +problems--of rectifications, quadratures, and cubatures--which +constitute, as has been shown, the final object of geometry. But this +remark is no less incontestable, even for investigations which relate to +the different _properties_ of lines and of surfaces, and of which the +most essential, such as the question of tangents or of tangent planes, +the theory of curvatures, &c., are evidently common to all figures +whatever. The very few investigations which are truly peculiar to +particular figures have only an extremely secondary importance. This +being understood, modern geometry consists essentially in abstracting, +in order to treat it by itself, in an entirely general manner, every +question relating to the same geometrical phenomenon, in whatever bodies +it may be considered. The application of the universal theories thus +constructed to the special determination of the phenomenon which is +treated of in each particular body, is now regarded as only a subaltern +labour, to be executed according to invariable rules, and the success of +which is certain in advance. This labour is, in a word, of the same +character as the numerical calculation of an analytical formula. There +can be no other merit in it than that of presenting in each case the +solution which is necessarily furnished by the general method, with all +the simplicity and elegance which the line or the surface considered can +admit of. But no real importance is attached to any thing but the +conception and the complete solution of a new question belonging to any +figure whatever. Labours of this kind are alone regarded as producing +any real advance in science. The attention of geometers, thus relieved +from the examination of the peculiarities of different figures, and +wholly directed towards general questions, has been thereby able to +elevate itself to the consideration of new geometrical conceptions, +which, applied to the curves studied by the ancients, have led to the +discovery of important properties which they had not before even +suspected. Such is geometry, since the radical revolution produced by +Descartes in the general system of the science. + + +_The Superiority of the modern Geometry._ The mere indication of the +fundamental character of each of the two geometries is undoubtedly +sufficient to make apparent the immense necessary superiority of modern +geometry. We may even say that, before the great conception of +Descartes, rational geometry was not truly constituted upon definitive +bases, whether in its abstract or concrete relations. In fact, as +regards science, considered speculatively, it is clear that, in +continuing indefinitely to follow the course of the ancients, as did the +moderns before Descartes, and even for a little while afterwards, by +adding some new curves to the small number of those which they had +studied, the progress thus made, however rapid it might have been, would +still be found, after a long series of ages, to be very inconsiderable +in comparison with the general system of geometry, seeing the infinite +variety of the forms which would still have remained to be studied. On +the contrary, at each question resolved according to the method of the +moderns, the number of geometrical problems to be resolved is then, once +for all, diminished by so much with respect to all possible bodies. +Another consideration is, that it resulted, from their complete want of +general methods, that the ancient geometers, in all their +investigations, were entirely abandoned to their own strength, without +ever having the certainty of obtaining, sooner or later, any solution +whatever. Though this imperfection of the science was eminently suited +to call forth all their admirable sagacity, it necessarily rendered +their progress extremely slow; we can form some idea of this by the +considerable time which they employed in the study of the conic +sections. Modern geometry, making the progress of our mind certain, +permits us, on the contrary, to make the greatest possible use of the +forces of our intelligence, which the ancients were often obliged to +waste on very unimportant questions. + +A no less important difference between the two systems appears when we +come to consider geometry in the concrete point of view. Indeed, we have +already remarked that the relation of the abstract to the concrete in +geometry can be founded upon rational bases only so far as the +investigations are made to bear directly upon all imaginable figures. In +studying lines, only one by one, whatever may be the number, always +necessarily very small, of those which we shall have considered, the +application of such theories to figures really existing in nature will +never have any other than an essentially accidental character, since +there is nothing to assure us that these figures can really be brought +under the abstract types considered by geometers. + +Thus, for example, there is certainly something fortuitous in the happy +relation established between the speculations of the Greek geometers +upon the conic sections and the determination of the true planetary +orbits. In continuing geometrical researches upon the same plan, there +was no good reason for hoping for similar coincidences; and it would +have been possible, in these special studies, that the researches of +geometers should have been directed to abstract figures entirely +incapable of any application, while they neglected others, susceptible +perhaps of an important and immediate application. It is clear, at +least, that nothing positively guaranteed the necessary applicability of +geometrical speculations. It is quite another thing in the modern +geometry. From the single circumstance that in it we proceed by general +questions relating to any figures whatever, we have in advance the +evident certainty that the figures really existing in the external world +could in no case escape the appropriate theory if the geometrical +phenomenon which it considers presents itself in them. + +From these different considerations, we see that the ancient system of +geometry wears essentially the character of the infancy of the science, +which did not begin to become completely rational till after the +philosophical resolution produced by Descartes. But it is evident, on +the other hand, that geometry could not be at first conceived except in +this _special_ manner. _General_ geometry would not have been possible, +and its necessity could not even have been felt, if a long series of +special labours on the most simple figures had not previously furnished +bases for the conception of Descartes, and rendered apparent the +impossibility of persisting indefinitely in the primitive geometrical +philosophy. + + +_The Ancient the Base of the Modern._ From this last consideration we +must infer that, although the geometry which I have called _general_ +must be now regarded as the only true dogmatical geometry, and that to +which we shall chiefly confine ourselves, the other having no longer +much more than an historical interest, nevertheless it is not possible +to entirely dispense with _special_ geometry in a rational exposition of +the science. We undoubtedly need not borrow directly from ancient +geometry all the results which it has furnished; but, from the very +nature of the subject, it is necessarily impossible entirely to dispense +with the ancient method, which will always serve as the preliminary +basis of the science, dogmatically as well as historically. The reason +of this is easy to understand. In fact, _general_ geometry being +essentially founded, as we shall soon establish, upon the employment of +the calculus in the transformation of geometrical into analytical +considerations, such a manner of proceeding could not take possession of +the subject immediately at its origin. We know that the application of +mathematical analysis, from its nature, can never commence any science +whatever, since evidently it cannot be employed until the science has +already been sufficiently cultivated to establish, with respect to the +phenomena considered, some _equations_ which can serve as starting +points for the analytical operations. These fundamental equations being +once discovered, analysis will enable us to deduce from them a multitude +of consequences which it would have been previously impossible even to +suspect; it will perfect the science to an immense degree, both with +respect to the generality of its conceptions and to the complete +co-ordination established between them. But mere mathematical analysis +could never be sufficient to form the bases of any natural science, not +even to demonstrate them anew when they have once been established. +Nothing can dispense with the direct study of the subject, pursued up to +the point of the discovery of precise relations. + +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. But it is to this that +it must be limited in a completely dogmatic exposition. I will consider, +then, directly, in the following chapter, this _special_ or +_preliminary_ geometry restricted to exactly its necessary limits, in +order to occupy myself thenceforth only with the philosophical +examination of _general_ or _definitive_ geometry, the only one which is +truly rational, and which at present essentially composes the science. + + + + +CHAPTER II. + +ANCIENT OR SYNTHETIC GEOMETRY. + + +The geometrical method of the ancients necessarily constituting a +preliminary department in the dogmatical system of geometry, designed to +furnish _general_ geometry with indispensable foundations, it is now +proper to begin with determining wherein strictly consists this +preliminary function of _special_ geometry, thus reduced to the +narrowest possible limits. + + + + +ITS PROPER EXTENT. + + +_Lines; Polygons; Polyhedrons._ In considering it under this point of +view, it is easy to recognize that we might restrict it to the study of +the right line alone for what concerns the geometry of _lines_; to the +_quadrature_ of rectilinear plane areas; and, lastly, to the _cubature_ +of bodies terminated by plane faces. The elementary propositions +relating to these three fundamental questions form, in fact, the +necessary starting point of all geometrical inquiries; they alone cannot +be obtained except by a direct study of the subject; while, on the +contrary, the complete theory of all other figures, even that of the +circle, and of the surfaces and volumes which are connected with it, may +at the present day be completely comprehended in the domain of _general_ +or _analytical_ geometry; these primitive elements at once furnishing +_equations_ which are sufficient to allow of the application of the +calculus to geometrical questions, which would not have been possible +without this previous condition. + +It results from this consideration that, in common practice, we give to +_elementary_ geometry more extent than would be rigorously necessary to +it; since, besides the right line, polygons, and polyhedrons, we also +include in it the circle and the "round" bodies; the study of which +might, however, be as purely analytical as that, for example, of the +conic sections. An unreflecting veneration for antiquity contributes to +maintain this defect in method; but the best reason which can be given +for it is the serious inconvenience for ordinary instruction which there +would be in postponing, to so distant an epoch of mathematical +education, the solution of several essential questions, which are +susceptible of a direct and continual application to a great number of +important uses. In fact, to proceed in the most rational manner, we +should employ the integral calculus in obtaining the interesting results +relating to the length or the area of the circle, or to the quadrature +of the sphere, &c., which have been determined by the ancients from +extremely simple considerations. This inconvenience would be of little +importance with regard to the persons destined to study the whole of +mathematical science, and the advantage of proceeding in a perfectly +logical order would have a much greater comparative value. But the +contrary case being the more frequent, theories so essential have +necessarily been retained in elementary geometry. Perhaps the conic +sections, the cycloid, &c., might be advantageously added in such cases. + + +_Not to be farther restricted._ While this preliminary portion of +geometry, which cannot be founded on the application of the calculus, +is reduced by its nature to a very limited series of fundamental +researches, relating to the right line, polygonal areas, and +polyhedrons, it is certain, on the other hand, that we cannot restrict +it any more; although, by a veritable abuse of the spirit of analysis, +it has been recently attempted to present the establishment of the +principal theorems of elementary geometry under an algebraical point of +view. Thus some have pretended to demonstrate, by simple abstract +considerations of mathematical analysis, the constant relation which +exists between the three angles of a rectilinear triangle, the +fundamental proposition of the theory of similar triangles, that of +parallelopipedons, &c.; in a word, precisely the only geometrical +propositions which cannot be obtained except by a direct study of the +subject, without the calculus being susceptible of having any part in +it. Such aberrations are the unreflecting exaggerations of that natural +and philosophical tendency which leads us to extend farther and farther +the influence of analysis in mathematical studies. In mechanics, the +pretended analytical demonstrations of the parallelogram of forces are +of similar character. + +The viciousness of such a manner of proceeding follows from the +principles previously presented. We have already, in fact, recognized +that, since the calculus is not, and cannot be, any thing but a means of +deduction, it would indicate a radically false idea of it to wish to +employ it in establishing the elementary foundations of any science +whatever; for on what would the analytical reasonings in such an +operation repose? A labour of this nature, very far from really +perfecting the philosophical character of a science, would constitute a +return towards the metaphysical age, in presenting real facts as mere +logical abstractions. + +When we examine in themselves these pretended analytical demonstrations +of the fundamental propositions of elementary geometry, we easily verify +their necessary want of meaning. They are all founded on a vicious +manner of conceiving the principle of _homogeneity_, the true general +idea of which was explained in the second chapter of the preceding book. +These demonstrations suppose that this principle does not allow us to +admit the coexistence in the same equation of numbers obtained by +different concrete comparisons, which is evidently false, and contrary +to the constant practice of geometers. Thus it is easy to recognize +that, by employing the law of homogeneity in this arbitrary and +illegitimate acceptation, we could succeed in "demonstrating," with +quite as much apparent rigour, propositions whose absurdity is manifest +at the first glance. In examining attentively, for example, the +procedure by the aid of which it has been attempted to prove +analytically that the sum of the three angles of any rectilinear +triangle is constantly equal to two right angles, we see that it is +founded on this preliminary principle that, if two triangles have two of +their angles respectively equal, the third angle of the one will +necessarily be equal to the third angle of the other. This first point +being granted, the proposed relation is immediately deduced from it in a +very exact and simple manner. Now the analytical consideration by which +this previous proposition has been attempted to be established, is of +such a nature that, if it could be correct, we could rigorously deduce +from it, in reproducing it conversely, this palpable absurdity, that two +sides of a triangle are sufficient, without any angle, for the entire +determination of the third side. We may make analogous remarks on all +the demonstrations of this sort, the sophisms of which will be thus +verified in a perfectly apparent manner. + +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. + + +_Attempted Demonstrations of Axioms, &c._ 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. While, in this science, the phenomena which are considered are, +by virtue of their extreme simplicity, much more closely connected with +one another than those relating to any other physical science, some must +still be found which cannot be deduced, and which, on the contrary, +serve as starting points. It may be admitted that the greatest logical +perfection of the science is to reduce these to the smallest number +possible, but it would be absurd to pretend to make them completely +disappear. I avow, moreover, that I find fewer real inconveniences in +extending, a little beyond what would be strictly necessary, the number +of these geometrical notions thus established by direct observation, +provided they are sufficiently simple, than in making them the subjects +of complicated and indirect demonstrations, even when these +demonstrations may be logically irreproachable. + +The true dogmatic destination of the geometry of the ancients, reduced +to its least possible indispensable developments, having thus been +characterized as exactly as possible, it is proper to consider summarily +each of the principal parts of which it must be composed. I think that I +may here limit myself to considering the first and the most extensive of +these parts, that which has for its object the study of _the right +line_; the two other sections, namely, the _quadrature of polygons_ and +the _cubature of polyhedrons_, from their limited extent, not being +capable of giving rise to any philosophical consideration of any +importance, distinct from those indicated in the preceding chapter with +respect to the measure of areas and of volumes in general. + + + + +GEOMETRY OF THE RIGHT LINE. + + +The final question which we always have in view in the study of the +right line, properly consists in determining, by means of one another, +the different elements of any right-lined figure whatever; which enables +us always to know indirectly the length and position of a right line, in +whatever circumstances it may be placed. This fundamental problem is +susceptible of two general solutions, the nature of which is quite +distinct, the one _graphical_, the other _algebraic_. The first, though +very imperfect, is that which must be first considered, because it is +spontaneously derived from the direct study of the subject; the second, +much more perfect in the most important respects, cannot be studied till +afterwards, because it is founded upon the previous knowledge of the +other. + + + + +GRAPHICAL SOLUTIONS. + + +The graphical solution consists in constructing at will the proposed +figure, either with the same dimensions, or, more usually, with +dimensions changed in any ratio whatever. The first mode need merely be +mentioned as being the most simple and the one which would first occur +to the mind, for it is evidently, by its nature, almost entirely +incapable of application. The second is, on the contrary, susceptible of +being most extensively and most usefully applied. We still make an +important and continual use of it at the present day, not only to +represent with exactness the forms of bodies and their relative +positions, but even for the actual determination of geometrical +magnitudes, when we do not need great precision. The ancients, in +consequence of the imperfection of their geometrical knowledge, employed +this procedure in a much more extensive manner, since it was for a long +time the only one which they could apply, even in the most important +precise determinations. It was thus, for example, that Aristarchus of +Samos estimated the relative distance from the sun and from the moon to +the earth, by making measurements on a triangle constructed as exactly +as possible, so as to be similar to the right-angled triangle formed by +the three bodies at the instant when the moon is in quadrature, and when +an observation of the angle at the earth would consequently be +sufficient to define the triangle. Archimedes himself, although he was +the first to introduce calculated determinations into geometry, several +times employed similar means. The formation of trigonometry did not +cause this method to be entirely abandoned, although it greatly +diminished its use; the Greeks and the Arabians continued to employ it +for a great number of researches, in which we now regard the use of the +calculus as indispensable. + +This exact reproduction of any figure whatever on a different scale +cannot present any great theoretical difficulty when all the parts of +the proposed figure lie in the same plane. But if we suppose, as most +frequently happens, that they are situated in different planes, we see, +then, a new order of geometrical considerations arise. The artificial +figure, which is constantly plane, not being capable, in that case, of +being a perfectly faithful image of the real figure, it is necessary +previously to fix with precision the mode of representation, which gives +rise to different systems of _Projection_. + +It then remains to be determined according to what laws the geometrical +phenomena correspond in the two figures. This consideration generates a +new series of geometrical investigations, the final object of which is +properly to discover how we can replace constructions in relief by plane +constructions. The ancients had to resolve several elementary questions +of this kind for various cases in which we now employ spherical +trigonometry, principally for different problems relating to the +celestial sphere. Such was the object of their _analemmas_, and of the +other plane figures which for a long time supplied the place of the +calculus. We see by this that the ancients really knew the elements of +what we now name _Descriptive Geometry_, although they did not conceive +it in a distinct and general manner. + +I think it proper briefly to indicate in this place the true +philosophical character of this "Descriptive Geometry;" although, being +essentially a science of application, it ought not to be included within +the proper domain of this work. + + + + +DESCRIPTIVE GEOMETRY. + + +All questions of geometry of three dimensions necessarily give rise, +when we consider their graphical solution, to a common difficulty which +is peculiar to them; that of substituting for the different +constructions in relief, which are necessary to resolve them directly, +and which it is almost always impossible to execute, simple equivalent +plane constructions, by means of which we finally obtain the same +results. Without this indispensable transformation, every solution of +this kind would be evidently incomplete and really inapplicable in +practice, although theoretically the constructions in space are usually +preferable as being more direct. It was in order to furnish general +means for always effecting such a transformation that _Descriptive +Geometry_ was created, and formed into a distinct and homogeneous +system, by the illustrious MONGE. He invented, in the first place, a +uniform method of representing bodies by figures traced on a single +plane, by the aid of _projections_ on two different planes, usually +perpendicular to each other, and one of which is supposed to turn about +their common intersection so as to coincide with the other produced; in +this system, or in any other equivalent to it, it is sufficient to +regard points and lines as being determined by their projections, and +surfaces by the projections of their generating lines. This being +established, Monge--analyzing with profound sagacity the various partial +labours of this kind which had before been executed by a number of +incongruous procedures, and considering also, in a general and direct +manner, in what any questions of that nature must consist--found that +they could always be reduced to a very small number of invariable +abstract problems, capable of being resolved separately, once for all, +by uniform operations, relating essentially some to the contacts and +others to the intersections of surfaces. Simple and entirely general +methods for the graphical solution of these two orders of problems +having been formed, all the geometrical questions which may arise in any +of the various arts of construction--stone-cutting, carpentry, +perspective, dialling, fortification, &c.--can henceforth be treated as +simple particular cases of a single theory, the invariable application +of which will always necessarily lead to an exact solution, which may be +facilitated in practice by profiting by the peculiar circumstances of +each case. + + * * * * * + +This important creation deserves in a remarkable degree to fix the +attention of those philosophers who consider all that the human species +has yet effected as a first step, and thus far the only really complete +one, towards that general renovation of human labours, which must +imprint upon all our arts a character of precision and of rationality, +so necessary to their future progress. Such a revolution must, in fact, +inevitably commence with that class of industrial labours, which is +essentially connected with that science which is the most simple, the +most perfect, and the most ancient. It cannot fail to extend hereafter, +though with less facility, to all other practical operations. Indeed +Monge himself, who conceived the true philosophy of the arts better than +any one else, endeavoured to sketch out a corresponding system for the +mechanical arts. + +Essential as the conception of descriptive geometry really is, it is +very important not to deceive ourselves with respect to its true +destination, as did those who, in the excitement of its first discovery, +saw in it a means of enlarging the general and abstract domain of +rational geometry. The result has in no way answered to these mistaken +hopes. And, indeed, is it not evident that descriptive geometry has no +special value except as a science of application, and as forming the +true special theory of the geometrical arts? Considered in its abstract +relations, it could not introduce any truly distinct order of +geometrical speculations. We must not forget that, in order that a +geometrical question should fall within the peculiar domain of +descriptive geometry, it must necessarily have been previously resolved +by speculative geometry, the solutions of which then, as we have seen, +always need to be prepared for practice in such a way as to supply the +place of constructions in relief by plane constructions; a substitution +which really constitutes the only characteristic function of descriptive +geometry. + +It is proper, however, to remark here, that, with regard to intellectual +education, the study of descriptive geometry possesses an important +philosophical peculiarity, quite independent of its high industrial +utility. This is the advantage which it so pre-eminently offers--in +habituating the mind to consider very complicated geometrical +combinations in space, and to follow with precision their continual +correspondence with the figures which are actually traced--of thus +exercising to the utmost, in the most certain and precise manner, that +important faculty of the human mind which is properly called +"imagination," and which consists, in its elementary and positive +acceptation, in representing to ourselves, clearly and easily, a vast +and variable collection of ideal objects, as if they were really before +us. + +Finally, to complete the indication of the general nature of descriptive +geometry by determining its logical character, we have to observe that, +while it belongs to the geometry of the ancients by the character of its +solutions, on the other hand it approaches the geometry of the moderns +by the nature of the questions which compose it. These questions are in +fact eminently remarkable for that generality which, as we saw in the +preceding chapter, constitutes the true fundamental character of modern +geometry; for the methods used are always conceived as applicable to any +figures whatever, the peculiarity of each having only a purely secondary +influence. The solutions of descriptive geometry are then graphical, +like most of those of the ancients, and at the same time general, like +those of the moderns. + + * * * * * + +After this important digression, we will pursue the philosophical +examination of _special_ geometry, always considered as reduced to its +least possible development, as an indispensable introduction to +_general_ geometry. We have now sufficiently considered the _graphical_ +solution of the fundamental problem relating to the right line--that +is, the determination of the different elements of any right-lined +figure by means of one another--and have now to examine in a special +manner the _algebraic_ solution. + + + + +ALGEBRAIC SOLUTIONS. + + +This kind of solution, the evident superiority of which need not here be +dwelt upon, belongs necessarily, by the very nature of the question, to +the system of the ancient geometry, although the logical method which is +employed causes it to be generally, but very improperly, separated from +it. We have thus an opportunity of verifying, in a very important +respect, what was established generally in the preceding chapter, that +it is not by the employment of the calculus that the modern geometry is +essentially to be distinguished from the ancient. The ancients are in +fact the true inventors of the present trigonometry, spherical as well +as rectilinear; it being only much less perfect in their hands, on +account of the extreme inferiority of their algebraical knowledge. It +is, then, really in this chapter, and not, as it might at first be +thought, in those which we shall afterwards devote to the philosophical +examination of _general_ geometry, that it is proper to consider the +character of this important preliminary theory, which is usually, though +improperly, included in what is called _analytical geometry_, but which +is really only a complement of _elementary geometry_ properly so called. + +Since all right-lined figures can be decomposed into triangles, it is +evidently sufficient to know how to determine the different elements of +a triangle by means of one another, which reduces _polygonometry_ to +simple _trigonometry_. + + + + +TRIGONOMETRY. + + +The difficulty in resolving algebraically such a question as the above, +consists essentially in forming, between the angles and the sides of a +triangle, three distinct equations; which, when once obtained, will +evidently reduce all trigonometrical problems to mere questions of +analysis. + + +_How to introduce Angles._ In considering the establishment of these +equations in the most general manner, we immediately meet with a +fundamental distinction with respect to the manner of introducing the +angles into the calculation, according as they are made to enter +_directly_, by themselves or by the circular arcs which are proportional +to them; or _indirectly_, by the chords of these arcs, which are hence +called their _trigonometrical lines_. Of these two systems of +trigonometry the second was of necessity the only one originally +adopted, as being the only practicable one, since the condition of +geometry made it easy enough to find exact relations between the sides +of the triangles and the trigonometrical lines which represent the +angles, while it would have been absolutely impossible at that epoch to +establish equations between the sides and the angles themselves. + + +_Advantages of introducing Trigonometrical Lines._ At the present day, +since the solution can be obtained by either system indifferently, that +motive for preference no longer exists; but geometers have none the less +persisted in following from choice the system primitively admitted from +necessity; for, the same reason which enabled these trigonometrical +equations to be obtained with much more facility, must, in like manner, +as it is still more easy to conceive _à priori_, render these equations +much more simple, since they then exist only between right lines, +instead of being established between right lines and arcs of circles. +Such a consideration has so much the more importance, as the question +relates to formulas which are eminently elementary, and destined to be +continually employed in all parts of mathematical science, as well as in +all its various applications. + +It may be objected, however, that when an angle is given, it is, in +reality, always given by itself, and not by its trigonometrical lines; +and that when it is unknown, it is its angular value which is properly +to be determined, and not that of any of its trigonometrical lines. It +seems, according to this, that such lines are only useless +intermediaries between the sides and the angles, which have to be +finally eliminated, and the introduction of which does not appear +capable of simplifying the proposed research. It is indeed important to +explain, with more generality and precision than is customary, the great +real utility of this manner of proceeding. + + +_Division of Trigonometry into two Parts._ It consists in the fact that +the introduction of these auxiliary magnitudes divides the entire +question of trigonometry into two others essentially distinct, one of +which has for its object to pass from the angles to their +trigonometrical lines, or the converse, and the other of which proposes +to determine the sides of the triangles by the trigonometrical lines of +their angles, or the converse. Now the first of these two fundamental +questions is evidently susceptible, by its nature, of being entirely +treated and reduced to numerical tables once for all, in considering all +possible angles, since it depends only upon those angles, and not at all +upon the particular triangles in which they may enter in each case; +while the solution of the second question must necessarily be renewed, +at least in its arithmetical relations, for each new triangle which it +is necessary to resolve. This is the reason why the first portion of the +complete work, which would be precisely the most laborious, is no longer +taken into the account, being always done in advance; while, if such a +decomposition had not been performed, we would evidently have found +ourselves under the obligation of recommencing the entire calculation in +each particular case. Such is the essential property of the present +trigonometrical system, which in fact would really present no actual +advantage, if it was necessary to calculate continually the +trigonometrical line of each angle to be considered, or the converse; +the intermediate agency introduced would then be more troublesome than +convenient. + +In order to clearly comprehend the true nature of this conception, it +will be useful to compare it with a still more important one, designed +to produce an analogous effect either in its algebraic, or, still more, +in its arithmetical relations--the admirable theory of _logarithms_. In +examining in a philosophical manner the influence of this theory, we see +in fact that its general result is to decompose all imaginable +arithmetical operations into two distinct parts. The first and most +complicated of these is capable of being executed in advance once for +all (since it depends only upon the numbers to be considered, and not at +all upon the infinitely different combinations into which they can +enter), and consists in considering all numbers as assignable powers of +a constant number. The second part of the calculation, which must of +necessity be recommenced for each new formula which is to have its +value determined, is thenceforth reduced to executing upon these +exponents correlative operations which are infinitely more simple. I +confine myself here to merely indicating this resemblance, which any one +can carry out for himself. + +We must besides observe, as a property (secondary at the present day, +but all-important at its origin) of the trigonometrical system adopted, +the very remarkable circumstance that the determination of angles by +their trigonometrical lines, or the converse, admits of an arithmetical +solution (the only one which is directly indispensable for the special +destination of trigonometry) without the previous resolution of the +corresponding algebraic question. It is doubtless to such a peculiarity +that the ancients owed the possibility of knowing trigonometry. The +investigation conceived in this way was so much the more easy, inasmuch +as tables of chords (which the ancients naturally took as the +trigonometrical lines) had been previously constructed for quite a +different object, in the course of the labours of Archimedes on the +rectification of the circle, from which resulted the actual +determination of a certain series of chords; so that when Hipparchus +subsequently invented trigonometry, he could confine himself to +completing that operation by suitable intercalations; which shows +clearly the connexion of ideas in that matter. + + +_The Increase of such Trigonometrical Lines._ To complete this +philosophical sketch of trigonometry, it is proper now to observe that +the extension of the same considerations which lead us to replace angles +or arcs of circles by straight lines, with the view of simplifying our +equations, must also lead us to employ concurrently several +trigonometrical lines, instead of confining ourselves to one only (as +did the ancients), so as to perfect this system by choosing that one +which will be algebraically the most convenient on each occasion. In +this point of view, it is clear that the number of these lines is in +itself no ways limited; provided that they are determined by the arc, +and that they determine it, whatever may be the law according to which +they are derived from it, they are suitable to be substituted for it in +the equations. The Arabians, and subsequently the moderns, in confining +themselves to the most simple constructions, have carried to four or +five the number of _direct_ trigonometrical lines, which might be +extended much farther. + +But instead of recurring to geometrical formations, which would finally +become very complicated, we conceive with the utmost facility as many +new trigonometrical lines as the analytical transformations may require, +by means of a remarkable artifice, which is not usually apprehended in a +sufficiently general manner. It consists in not directly multiplying the +trigonometrical lines appropriate to each arc considered, but in +introducing new ones, by considering this arc as indirectly determined +by all lines relating to an arc which is a very simple function of the +first. It is thus, for example, that, in order to calculate an angle +with more facility, we will determine, instead of its sine, the sine of +its half, or of its double, &c. Such a creation of _indirect_ +trigonometrical lines is evidently much more fruitful than all the +direct geometrical methods for obtaining new ones. We may accordingly +say that the number of trigonometrical lines actually employed at the +present day by geometers is in reality unlimited, since at every +instant, so to say, the transformations of analysis may lead us to +augment it by the method which I have just indicated. Special names, +however, have been given to those only of these _indirect_ lines which +refer to the complement of the primitive arc, the others not occurring +sufficiently often to render such denominations necessary; a +circumstance which has caused a common misconception of the true extent +of the system of trigonometry. + + +_Study of their Mutual Relations._ This multiplicity of trigonometrical +lines evidently gives rise to a third fundamental question in +trigonometry, the study of the relations which exist between these +different lines; since, without such a knowledge, we could not make use, +for our analytical necessities, of this variety of auxiliary magnitudes, +which, however, have no other destination. It is clear, besides, from +the consideration just indicated, that this essential part of +trigonometry, although simply preparatory, is, by its nature, +susceptible of an indefinite extension when we view it in its entire +generality, while the two others are circumscribed within rigorously +defined limits. + +It is needless to add that these three principal parts of trigonometry +have to be studied in precisely the inverse order from that in which we +have seen them necessarily derived from the general nature of the +subject; for the third is evidently independent of the two others, and +the second, of that which was first presented--the resolution of +triangles, properly so called--which must for that reason be treated in +the last place; which rendered so much the more important the +consideration of their natural succession and logical relations to one +another. + +It is useless to consider here separately _spherical trigonometry_, +which cannot give rise to any special philosophical consideration; +since, essential as it is by the importance and the multiplicity of its +uses, it can be treated at the present day only as a simple application +of rectilinear trigonometry, which furnishes directly its fundamental +equations, by substituting for the spherical triangle the corresponding +trihedral angle. + +This summary exposition of the philosophy of trigonometry has been here +given in order to render apparent, by an important example, that +rigorous dependence and those successive ramifications which are +presented by what are apparently the most simple questions of elementary +geometry. + + * * * * * + +Having thus examined the peculiar character of _special_ geometry +reduced to its only dogmatic destination, that of furnishing to general +geometry an indispensable preliminary basis, we have now to give all our +attention to the true science of geometry, considered as a whole, in the +most rational manner. For that purpose, it is necessary to carefully +examine the great original idea of Descartes, upon which it is entirely +founded. This will be the object of the following chapter. + + + + +CHAPTER III. + +MODERN OR ANALYTICAL GEOMETRY. + + +_General_ (or _Analytical_) geometry being entirely founded upon the +transformation of geometrical considerations into equivalent analytical +considerations, we must begin with examining directly and in a thorough +manner the beautiful conception by which Descartes has established in a +uniform manner the constant possibility of such a co-relation. Besides +its own extreme importance as a means of highly perfecting geometrical +science, or, rather, of establishing the whole of it on rational bases, +the philosophical study of this admirable conception must have so much +the greater interest in our eyes from its characterizing with perfect +clearness the general method to be employed in organizing the relations +of the abstract to the concrete in mathematics, by the analytical +representation of natural phenomena. There is no conception, in the +whole philosophy of mathematics which better deserves to fix all our +attention. + + + + +ANALYTICAL REPRESENTATION OF FIGURES. + + +In order to succeed in expressing all imaginable geometrical phenomena +by simple analytical relations, we must evidently, in the first place, +establish a general method for representing analytically the subjects +themselves in which these phenomena are found, that is, the lines or the +surfaces to be considered. The _subject_ being thus habitually +considered in a purely analytical point of view, we see how it is +thenceforth possible to conceive in the same manner the various +_accidents_ of which it is susceptible. + +In order to organize the representation of geometrical figures by +analytical equations, we must previously surmount a fundamental +difficulty; that of reducing the general elements of the various +conceptions of geometry to simply numerical ideas; in a word, that of +substituting in geometry pure considerations of _quantity_ for all +considerations of _quality_. + + +_Reduction of Figure to Position._ For this purpose let us observe, in +the first place, that all geometrical ideas relate necessarily to these +three universal categories: the _magnitude_, the _figure_, and the +_position_ of the extensions to be considered. As to the first, there is +evidently no difficulty; it enters at once into the ideas of numbers. +With relation to the second, it must be remarked that it will always +admit of being reduced to the third. For the figure of a body evidently +results from the mutual position of the different points of which it is +composed, so that the idea of position necessarily comprehends that of +figure, and every circumstance of figure can be translated by a +circumstance of position. It is in this way, in fact, that the human +mind has proceeded in order to arrive at the analytical representation +of geometrical figures, their conception relating directly only to +positions. All the elementary difficulty is then properly reduced to +that of referring ideas of situation to ideas of magnitude. Such is the +direct destination of the preliminary conception upon which Descartes +has established the general system of analytical geometry. + +His philosophical labour, in this relation, has consisted simply in the +entire generalization of an elementary operation, which we may regard as +natural to the human mind, since it is performed spontaneously, so to +say, in all minds, even the most uncultivated. Thus, when we have to +indicate the situation of an object without directly pointing it out, +the method which we always adopt, and evidently the only one which can +be employed, consists in referring that object to others which are +known, by assigning the magnitude of the various geometrical elements, +by which we conceive it connected with the known objects. These elements +constitute what Descartes, and after him all geometers, have called the +_co-ordinates_ of each point considered. They are necessarily two in +number, if it is known in advance in what plane the point is situated; +and three, if it may be found indifferently in any region of space. As +many different constructions as can be imagined for determining the +position of a point, whether on a plane or in space, so many distinct +systems of co-ordinates may be conceived; they are consequently +susceptible of being multiplied to infinity. But, whatever may be the +system adopted, we shall always have reduced the ideas of situation to +simple ideas of magnitude, so that we will consider the change in the +position of a point as produced by mere numerical variations in the +values of its co-ordinates. + + +_Determination of the Position of a Point._ Considering at first only +the least complicated case, that of _plane geometry_, it is in this way +that we usually determine the position of a point on a plane, by its +distances from two fixed right lines considered as known, which are +called _axes_, and which are commonly supposed to be perpendicular to +each other. This system is that most frequently adopted, because of its +simplicity; but geometers employ occasionally an infinity of others. +Thus the position of a point on a plane may be determined, 1°, by its +distances from two fixed points; or, 2°, by its distance from a single +fixed point, and the direction of that distance, estimated by the +greater or less angle which it makes with a fixed right line, which +constitutes the system of what are called _polar_ co-ordinates, the most +frequently used after the system first mentioned; or, 3°, by the angles +which the right lines drawn from the variable point to two fixed points +make with the right line which joins these last; or, 4°, by the +distances from that point to a fixed right line and a fixed point, &c. +In a word, there is no geometrical figure whatever from which it is not +possible to deduce a certain system of co-ordinates more or less +susceptible of being employed. + +A general observation, which it is important to make in this connexion, +is, that every system of co-ordinates is equivalent to determining a +point, in plane geometry, by the intersection of two lines, each of +which is subjected to certain fixed conditions of determination; a +single one of these conditions remaining variable, sometimes the one, +sometimes the other, according to the system considered. We could not, +indeed, conceive any other means of constructing a point than to mark it +by the meeting of two lines. Thus, in the most common system, that of +_rectilinear co-ordinates_, properly so called, the point is determined +by the intersection of two right lines, each of which remains constantly +parallel to a fixed axis, at a greater or less distance from it; in the +_polar_ system, the position of the point is marked by the meeting of a +circle, of variable radius and fixed centre, with a movable right line +compelled to turn about this centre: in other systems, the required +point might be designated by the intersection of two circles, or of any +other two lines, &c. In a word, to assign the value of one of the +co-ordinates of a point in any system whatever, is always necessarily +equivalent to determining a certain line on which that point must be +situated. The geometers of antiquity had already made this essential +remark, which served as the base of their method of geometrical _loci_, +of which they made so happy a use to direct their researches in the +resolution of _determinate_ problems, in considering separately the +influence of each of the two conditions by which was defined each point +constituting the object, direct or indirect, of the proposed question. +It was the general systematization of this method which was the +immediate motive of the labours of Descartes, which led him to create +analytical geometry. + +After having clearly established this preliminary conception--by means +of which ideas of position, and thence, implicitly, all elementary +geometrical conceptions are capable of being reduced to simple numerical +considerations--it is easy to form a direct conception, in its entire +generality, of the great original idea of Descartes, relative to the +analytical representation of geometrical figures: it is this which forms +the special object of this chapter. I will continue to consider at +first, for more facility, only geometry of two dimensions, which alone +was treated by Descartes; and will afterwards examine separately, under +the same point of view, the theory of surfaces and curves of double +curvature. + + + + +PLANE CURVES. + + +_Expression of Lines by Equations._ In accordance with the manner of +expressing analytically the position of a point on a plane, it can be +easily established that, by whatever property any line may be defined, +that definition always admits of being replaced by a corresponding +equation between the two variable co-ordinates of the point which +describes this line; an equation which will be thenceforth the +analytical representation of the proposed line, every phenomenon of +which will be translated by a certain algebraic modification of its +equation. Thus, if we suppose that a point moves on a plane without its +course being in any manner determined, we shall evidently have to regard +its co-ordinates, to whatever system they may belong, as two variables +entirely independent of one another. But if, on the contrary, this point +is compelled to describe a certain line, we shall necessarily be +compelled to conceive that its co-ordinates, in all the positions which +it can take, retain a certain permanent and precise relation to each +other, which is consequently susceptible of being expressed by a +suitable equation; which will become the very clear and very rigorous +analytical definition of the line under consideration, since it will +express an algebraical property belonging exclusively to the +co-ordinates of all the points of this line. It is clear, indeed, that +when a point is not subjected to any condition, its situation is not +determined except in giving at once its two co-ordinates, independently +of each other; while, when the point must continue upon a defined line, +a single co-ordinate is sufficient for completely fixing its position. +The second co-ordinate is then a determinate _function_ of the first; +or, in other words, there must exist between them a certain _equation_, +of a nature corresponding to that of the line on which the point is +compelled to remain. In a word, each of the co-ordinates of a point +requiring it to be situated on a certain line, we conceive reciprocally +that the condition, on the part of a point, of having to belong to a +line defined in any manner whatever, is equivalent to assigning the +value of one of the two co-ordinates; which is found in that case to be +entirely dependent on the other. The analytical relation which expresses +this dependence may be more or less difficult to discover, but it must +evidently be always conceived to exist, even in the cases in which our +present means may be insufficient to make it known. It is by this simple +consideration that we may demonstrate, in an entirely general +manner--independently of the particular verifications on which this +fundamental conception is ordinarily established for each special +definition of a line--the necessity of the analytical representation of +lines by equations. + + +_Expression of Equations by Lines._ Taking up again the same reflections +in the inverse direction, we could show as easily the geometrical +necessity of the representation of every equation of two variables, in a +determinate system of co-ordinates, by a certain line; of which such a +relation would be, in the absence of any other known property, a very +characteristic definition, the scientific destination of which will be +to fix the attention directly upon the general course of the solutions +of the equation, which will thus be noted in the most striking and the +most simple manner. This picturing of equations is one of the most +important fundamental advantages of analytical geometry, which has +thereby reacted in the highest degree upon the general perfecting of +analysis itself; not only by assigning to purely abstract researches a +clearly determined object and an inexhaustible career, but, in a still +more direct relation, by furnishing a new philosophical medium for +analytical meditation which could not be replaced by any other. In fact, +the purely algebraic discussion of an equation undoubtedly makes known +its solutions in the most precise manner, but in considering them only +one by one, so that in this way no general view of them could be +obtained, except as the final result of a long and laborious series of +numerical comparisons. On the other hand, the geometrical _locus_ of the +equation, being only designed to represent distinctly and with perfect +clearness the summing up of all these comparisons, permits it to be +directly considered, without paying any attention to the details which +have furnished it. It can thereby suggest to our mind general analytical +views, which we should have arrived at with much difficulty in any other +manner, for want of a means of clearly characterizing their object. It +is evident, for example, that the simple inspection of the logarithmic +curve, or of the curve _y_ = sin. _x_, makes us perceive much more +distinctly the general manner of the variations of logarithms with +respect to their numbers, or of sines with respect to their arcs, than +could the most attentive study of a table of logarithms or of natural +sines. It is well known that this method has become entirely elementary +at the present day, and that it is employed whenever it is desired to +get a clear idea of the general character of the law which reigns in a +series of precise observations of any kind whatever. + + +_Any Change in the Line causes a Change in the Equation._ Returning to +the representation of lines by equations, which is our principal object, +we see that this representation is, by its nature, so faithful, that the +line could not experience any modification, however slight it might be, +without causing a corresponding change in the equation. This perfect +exactitude even gives rise oftentimes to special difficulties; for +since, in our system of analytical geometry, the mere displacements of +lines affect the equations, as well as their real variations in +magnitude or form, we should be liable to confound them with one another +in our analytical expressions, if geometers had not discovered an +ingenious method designed expressly to always distinguish them. This +method is founded on this principle, that although it is impossible to +change analytically at will the position of a line with respect to the +axes of the co-ordinates, we can change in any manner whatever the +situation of the axes themselves, which evidently amounts to the same; +then, by the aid of the very simple general formula by which this +transformation of the axes is produced, it becomes easy to discover +whether two different equations are the analytical expressions of only +the same line differently situated, or refer to truly distinct +geometrical loci; since, in the former case, one of them will pass into +the other by suitably changing the axes or the other constants of the +system of co-ordinates employed. It must, moreover, be remarked on this +subject, that general inconveniences of this nature seem to be +absolutely inevitable in analytical geometry; for, since the ideas of +position are, as we have seen, the only geometrical ideas immediately +reducible to numerical considerations, and the conceptions of figure +cannot be thus reduced, except by seeing in them relations of situation, +it is impossible for analysis to escape confounding, at first, the +phenomena of figure with simple phenomena of position, which alone are +directly expressed by the equations. + + +_Every Definition of a Line is an Equation._ In order to complete the +philosophical explanation of the fundamental conception which serves as +the base of analytical geometry, I think that I should here indicate a +new general consideration, which seems to me particularly well adapted +for putting in the clearest point of view this necessary representation +of lines by equations with two variables. It consists in this, that not +only, as we have shown, must every defined line necessarily give rise to +a certain equation between the two co-ordinates of any one of its +points, but, still farther, every definition of a line may be regarded +as being already of itself an equation of that line in a suitable system +of co-ordinates. + +It is easy to establish this principle, first making a preliminary +logical distinction with respect to different kinds of definitions. The +rigorously indispensable condition of every definition is that of +distinguishing the object defined from all others, by assigning to it a +property which belongs to it exclusively. But this end may be generally +attained in two very different ways; either by a definition which is +simply _characteristic_, that is, indicative of a property which, +although truly exclusive, does not make known the mode of generation of +the object; or by a definition which is really _explanatory_, that is, +which characterizes the object by a property which expresses one of its +modes of generation. For example, in considering the circle as the line, +which, under the same contour, contains the greatest area, we have +evidently a definition of the first kind; while in choosing the property +of its having all its points equally distant from a fixed point, we have +a definition of the second kind. It is, besides, evident, as a general +principle, that even when any object whatever is known at first only by +a _characteristic_ definition, we ought, nevertheless, to regard it as +susceptible of _explanatory_ definitions, which the farther study of the +object would necessarily lead us to discover. + +This being premised, it is clear that the general observation above +made, which represents every definition of a line as being necessarily +an equation of that line in a certain system of co-ordinates, cannot +apply to definitions which are simply _characteristic_; it is to be +understood only of definitions which are truly _explanatory_. But, in +considering only this class, the principle is easy to prove. In fact, it +is evidently impossible to define the generation of a line without +specifying a certain relation between the two simple motions of +translation or of rotation, into which the motion of the point which +describes it will be decomposed at each instant. Now if we form the most +general conception of what constitutes _a system of co-ordinates_, and +admit all possible systems, it is clear that such a relation will be +nothing else but the _equation_ of the proposed line, in a system of +co-ordinates of a nature corresponding to that of the mode of generation +considered. Thus, for example, the common definition of the _circle_ may +evidently be regarded as being immediately the _polar equation_ of this +curve, taking the centre of the circle for the pole. In the same way, +the elementary definition of the _ellipse_ or of the _hyperbola_--as +being the curve generated by a point which moves in such a manner that +the sum or the difference of its distances from two fixed points remains +constant--gives at once, for either the one or the other curve, the +equation _y_ + _x_ = _c_, taking for the system of co-ordinates that in +which the position of a point would be determined by its distances from +two fixed points, and choosing for these poles the two given foci. In +like manner, the common definition of any _cycloid_ would furnish +directly, for that curve, the equation _y_ = _mx_; adopting as the +co-ordinates of each point the arc which it marks upon a circle of +invariable radius, measuring from the point of contact of that circle +with a fixed line, and the rectilinear distance from that point of +contact to a certain origin taken on that right line. We can make +analogous and equally easy verifications with respect to the customary +definitions of spirals, of epicycloids, &c. We shall constantly find +that there exists a certain system of co-ordinates, in which we +immediately obtain a very simple equation of the proposed line, by +merely writing algebraically the condition imposed by the mode of +generation considered. + +Besides its direct importance as a means of rendering perfectly apparent +the necessary representation of every line by an equation, the preceding +consideration seems to me to possess a true scientific utility, in +characterizing with precision the principal general difficulty which +occurs in the actual establishment of these equations, and in +consequently furnishing an interesting indication with respect to the +course to be pursued in inquiries of this kind, which, by their nature, +could not admit of complete and invariable rules. In fact, since any +definition whatever of a line, at least among those which indicate a +mode of generation, furnishes directly the equation of that line in a +certain system of co-ordinates, or, rather, of itself constitutes that +equation, it follows that the difficulty which we often experience in +discovering the equation of a curve, by means of certain of its +characteristic properties, a difficulty which is sometimes very great, +must proceed essentially only from the commonly imposed condition of +expressing this curve analytically by the aid of a designated system of +co-ordinates, instead of admitting indifferently all possible systems. +These different systems cannot be regarded in analytical geometry as +being all equally suitable; for various reasons, the most important of +which will be hereafter discussed, geometers think that curves should +almost always be referred, as far as is possible, to _rectilinear +co-ordinates_, properly so called. Now we see, from what precedes, that +in many cases these particular co-ordinates will not be those with +reference to which the equation of the curve will be found to be +directly established by the proposed definition. The principal +difficulty presented by the formation of the equation of a line really +consists, then, in general, in a certain transformation of co-ordinates. +It is undoubtedly true that this consideration does not subject the +establishment of these equations to a truly complete general method, the +success of which is always certain; which, from the very nature of the +subject, is evidently chimerical: but such a view may throw much useful +light upon the course which it is proper to adopt, in order to arrive at +the end proposed. Thus, after having in the first place formed the +preparatory equation, which is spontaneously derived from the definition +which we are considering, it will be necessary, in order to obtain the +equation belonging to the system of co-ordinates which must be finally +admitted, to endeavour to express in a function of these last +co-ordinates those which naturally correspond to the given mode of +generation. It is upon this last labour that it is evidently impossible +to give invariable and precise precepts. We can only say that we shall +have so many more resources in this matter as we shall know more of true +analytical geometry, that is, as we shall know the algebraical +expression of a greater number of different algebraical phenomena. + + + + +CHOICE OF CO-ORDINATES. + + +In order to complete the philosophical exposition of the conception +which serves as the base of analytical geometry, I have yet to notice +the considerations relating to the choice of the system of co-ordinates +which is in general the most suitable. They will give the rational +explanation of the preference unanimously accorded to the ordinary +rectilinear system; a preference which has hitherto been rather the +effect of an empirical sentiment of the superiority of this system, than +the exact result of a direct and thorough analysis. + + +_Two different Points of View._ In order to decide clearly between all +the different systems of co-ordinates, it is indispensable to +distinguish with care the two general points of view, the converse of +one another, which belong to analytical geometry; namely, the relation +of algebra to geometry, founded upon the representation of lines by +equations; and, reciprocally, the relation of geometry to algebra, +founded on the representation of equations by lines. + +It is evident that in every investigation of general geometry these two +fundamental points of view are of necessity always found combined, +since we have always to pass alternately, and at insensible intervals, +so to say, from geometrical to analytical considerations, and from +analytical to geometrical considerations. But the necessity of here +temporarily separating them is none the less real; for the answer to the +question of method which we are examining is, in fact, as we shall see +presently, very far from being the same in both these relations, so that +without this distinction we could not form any clear idea of it. + + +1. _Representation of Lines by Equations._ Under _the first point of +view_--the representation of lines by equations--the only reason which +could lead us to prefer one system of co-ordinates to another would be +the greater simplicity of the equation of each line, and greater +facility in arriving at it. Now it is easy to see that there does not +exist, and could not be expected to exist, any system of co-ordinates +deserving in that respect a constant preference over all others. In +fact, we have above remarked that for each geometrical definition +proposed we can conceive a system of co-ordinates in which the equation +of the line is obtained at once, and is necessarily found to be also +very simple; and this system, moreover, inevitably varies with the +nature of the characteristic property under consideration. The +rectilinear system could not, therefore, be constantly the most +advantageous for this object, although it may often be very favourable; +there is probably no system which, in certain particular cases, should +not be preferred to it, as well as to every other. + + +2. _Representation of Equations by Lines._ It is by no means so, +however, under the _second point of view_. We can, indeed, easily +establish, as a general principle, that the ordinary rectilinear system +must necessarily be better adapted than any other to the representation +of equations by the corresponding geometrical _loci_; that is to say, +that this representation is constantly more simple and more faithful in +it than in any other. + +Let us consider, for this object, that, since every system of +co-ordinates consists in determining a point by the intersection of two +lines, the system adapted to furnish the most suitable geometrical +_loci_ must be that in which these two lines are the simplest possible; +a consideration which confines our choice to the _rectilinear_ system. +In truth, there is evidently an infinite number of systems which deserve +that name, that is to say, which employ only right lines to determine +points, besides the ordinary system which assigns the distances from two +fixed lines as co-ordinates; such, for example, would be that in which +the co-ordinates of each point should be the two angles which the right +lines, which go from that point to two fixed points, make with the right +line, which joins these last points: so that this first consideration is +not rigorously sufficient to explain the preference unanimously given to +the common system. But in examining in a more thorough manner the nature +of every system of co-ordinates, we also perceive that each of the two +lines, whose meeting determines the point considered, must necessarily +offer at every instant, among its different conditions of determination, +a single variable condition, which gives rise to the corresponding +co-ordinate, all the rest being fixed, and constituting the _axes_ of +the system, taking this term in its most extended mathematical +acceptation. The variation is indispensable, in order that we may be +able to consider all possible positions; and the fixity is no less so, +in order that there may exist means of comparison. Thus, in all +_rectilinear_ systems, each of the two right lines will be subjected to +a fixed condition, and the ordinate will result from the variable +condition. + + +_Superiority of rectilinear Co-ordinates._ From these considerations it +is evident, as a general principle, that the most favourable system for +the construction of geometrical _loci_ will necessarily be that in which +the variable condition of each right line shall be the simplest +possible; the fixed condition being left free to be made complex, if +necessary to attain that object. Now, of all possible manners of +determining two movable right lines, the easiest to follow geometrically +is certainly that in which, the direction of each right line remaining +invariable, it only approaches or recedes, more or less, to or from a +constant axis. It would be, for example, evidently more difficult to +figure to one's self clearly the changes of place of a point which is +determined by the intersection of two right lines, which each turn +around a fixed point, making a greater or smaller angle with a certain +axis, as in the system of co-ordinates previously noticed. Such is the +true general explanation of the fundamental property possessed by the +common rectilinear system, of being better adapted than any other to the +geometrical representation of equations, inasmuch as it is that one in +which it is the easiest to conceive the change of place of a point +resulting from the change in the value of its co-ordinates. In order to +feel clearly all the force of this consideration, it would be sufficient +to carefully compare this system with the polar system, in which this +geometrical image, so simple and so easy to follow, of two right lines +moving parallel, each one of them, to its corresponding axis, is +replaced by the complicated picture of an infinite series of concentric +circles, cut by a right line compelled to turn about a fixed point. It +is, moreover, easy to conceive in advance what must be the extreme +importance to analytical geometry of a property so profoundly +elementary, which, for that reason, must be recurring at every instant, +and take a progressively increasing value in all labours of this kind. + + +_Perpendicularity of the Axes._ In pursuing farther the consideration +which demonstrates the superiority of the ordinary system of +co-ordinates over any other as to the representation of equations, we +may also take notice of the utility for this object of the common usage +of taking the two axes perpendicular to each other, whenever possible, +rather than with any other inclination. As regards the representation of +lines by equations, this secondary circumstance is no more universally +proper than we have seen the general nature of the system to be; since, +according to the particular occasion, any other inclination of the axes +may deserve our preference in that respect. But, in the inverse point of +view, it is easy to see that rectangular axes constantly permit us to +represent equations in a more simple and even more faithful manner; for, +with oblique axes, space being divided by them into regions which no +longer have a perfect identity, it follows that, if the geometrical +_locus_ of the equation extends into all these regions at once, there +will be presented, by reason merely of this inequality of the angles, +differences of figure which do not correspond to any analytical +diversity, and will necessarily alter the rigorous exactness of the +representation, by being confounded with the proper results of the +algebraic comparisons. For example, an equation like: _x^m_ + _y^m_ = +_c_, which, by its perfect symmetry, should evidently give a curve +composed of four identical quarters, will be represented, on the +contrary, if we take axes not rectangular, by a geometric _locus_, the +four parts of which will be unequal. It is plain that the only means of +avoiding all inconveniences of this kind is to suppose the angle of the +two axes to be a right angle. + +The preceding discussion clearly shows that, although the ordinary +system of rectilinear co-ordinates has no constant superiority over all +others in one of the two fundamental points of view which are +continually combined in analytical geometry, yet as, on the other hand, +it is not constantly inferior, its necessary and absolute greater +aptitude for the representation of equations must cause it to generally +receive the preference; although it may evidently happen, in some +particular cases, that the necessity of simplifying equations and of +obtaining them more easily may determine geometers to adopt a less +perfect system. The rectilinear system is, therefore, the one by means +of which are ordinarily constructed the most essential theories of +general geometry, intended to express analytically the most important +geometrical phenomena. When it is thought necessary to choose some +other, the polar system is almost always the one which is fixed upon, +this system being of a nature sufficiently opposite to that of the +rectilinear system to cause the equations, which are too complicated +with respect to the latter, to become, in general, sufficiently simple +with respect to the other. Polar co-ordinates, moreover, have often the +advantage of admitting of a more direct and natural concrete +signification; as is the case in mechanics, for the geometrical +questions to which the theory of circular movement gives rise, and in +almost all the cases of celestial geometry. + + * * * * * + +In order to simplify the exposition, we have thus far considered the +fundamental conception of analytical geometry only with respect to +_plane curves_, the general study of which was the only object of the +great philosophical renovation produced by Descartes. To complete this +important explanation, we have now to show summarily how this elementary +idea was extended by Clairaut, about a century afterwards, to the +general study of _surfaces_ and _curves of double curvature_. The +considerations which have been already given will permit me to limit +myself on this subject to the rapid examination of what is strictly +peculiar to this new case. + + + + +SURFACES. + + +_Determination of a Point in Space._ The complete analytical +determination of a point in space evidently requires the values of three +co-ordinates to be assigned; as, for example, in the system which is +generally adopted, and which corresponds to the _rectilinear_ system of +plane geometry, distances from the point to three fixed planes, usually +perpendicular to one another; which presents the point as the +intersection of three planes whose direction is invariable. We might +also employ the distances from the movable point to three fixed points, +which would determine it by the intersection of three spheres with a +common centre. In like manner, the position of a point would be defined +by giving its distance from a fixed point, and the direction of that +distance, by means of the two angles which this right line makes with +two invariable axes; this is the _polar_ system of geometry of three +dimensions; the point is then constructed by the intersection of a +sphere having a fixed centre, with two right cones with circular bases, +whose axes and common summit do not change. In a word, there is +evidently, in this case at least, the same infinite variety among the +various possible systems of co-ordinates which we have already observed +in geometry of two dimensions. In general, we have to conceive a point +as being always determined by the intersection of any three surfaces +whatever, as it was in the former case by that of two lines: each of +these three surfaces has, in like manner, all its conditions of +determination constant, excepting one, which gives rise to the +corresponding co-ordinates, whose peculiar geometrical influence is thus +to constrain the point to be situated upon that surface. + +This being premised, it is clear that if the three co-ordinates of a +point are entirely independent of one another, that point can take +successively all possible positions in space. But if the point is +compelled to remain upon a certain surface defined in any manner +whatever, then two co-ordinates are evidently sufficient for determining +its situation at each instant, since the proposed surface will take the +place of the condition imposed by the third co-ordinate. We must then, +in this case, under the analytical point of view, necessarily conceive +this last co-ordinate as a determinate function of the two others, these +latter remaining perfectly independent of each other. Thus there will be +a certain equation between the three variable co-ordinates, which will +be permanent, and which will be the only one, in order to correspond to +the precise degree of indetermination in the position of the point. + + +_Expression of Surfaces by Equations._ This equation, more or less easy +to be discovered, but always possible, will be the analytical definition +of the proposed surface, since it must be verified for all the points of +that surface, and for them alone. If the surface undergoes any change +whatever, even a simple change of place, the equation must undergo a +more or less serious corresponding modification. In a word, all +geometrical phenomena relating to surfaces will admit of being +translated by certain equivalent analytical conditions appropriate to +equations of three variables; and in the establishment and +interpretation of this general and necessary harmony will essentially +consist the science of analytical geometry of three dimensions. + + +_Expression of Equations by Surfaces._ Considering next this fundamental +conception in the inverse point of view, we see in the same manner that +every equation of three variables may, in general, be represented +geometrically by a determinate surface, primitively defined by the very +characteristic property, that the co-ordinates of all its points always +retain the mutual relation enunciated in this equation. This geometrical +locus will evidently change, for the same equation, according to the +system of co-ordinates which may serve for the construction of this +representation. In adopting, for example, the rectilinear system, it is +clear that in the equation between the three variables, _x_, _y_, _z_, +every particular value attributed to _z_ will give an equation between +at _x_ and _y_, the geometrical locus of which will be a certain line +situated in a plane parallel to the plane of _x_ and _y_, and at a +distance from this last equal to the value of _z_; so that the complete +geometrical locus will present itself as composed of an infinite series +of lines superimposed in a series of parallel planes (excepting the +interruptions which may exist), and will consequently form a veritable +surface. It would be the same in considering any other system of +co-ordinates, although the geometrical construction of the equation +becomes more difficult to follow. + +Such is the elementary conception, the complement of the original idea +of Descartes, on which is founded general geometry relative to surfaces. +It would be useless to take up here directly the other considerations +which have been above indicated, with respect to lines, and which any +one can easily extend to surfaces; whether to show that every definition +of a surface by any method of generation whatever is really a direct +equation of that surface in a certain system of co-ordinates, or to +determine among all the different systems of possible co-ordinates that +one which is generally the most convenient. I will only add, on this +last point, that the necessary superiority of the ordinary rectilinear +system, as to the representation of equations, is evidently still more +marked in analytical geometry of three dimensions than in that of two, +because of the incomparably greater geometrical complication which would +result from the choice of any other system. This can be verified in the +most striking manner by considering the polar system in particular, +which is the most employed after the ordinary rectilinear system, for +surfaces as well as for plane curves, and for the same reasons. + +In order to complete the general exposition of the fundamental +conception relative to the analytical study of surfaces, a philosophical +examination should be made of a final improvement of the highest +importance, which Monge has introduced into the very elements of this +theory, for the classification of surfaces in natural families, +established according to the mode of generation, and expressed +algebraically by common differential equations, or by finite equations +containing arbitrary functions. + + + + +CURVES OF DOUBLE CURVATURE. + + +Let us now consider the last elementary point of view of analytical +geometry of three dimensions; that relating to the algebraic +representation of curves considered in space, in the most general +manner. In continuing to follow the principle which has been constantly +employed, that of the degree of indetermination of the geometrical +locus, corresponding to the degree of independence of the variables, it +is evident, as a general principle, that when a point is required to be +situated upon some certain curve, a single co-ordinate is enough for +completely determining its position, by the intersection of this curve +with the surface which results from this co-ordinate. Thus, in this +case, the two other co-ordinates of the point must be conceived as +functions necessarily determinate and distinct from the first. It +follows that every line, considered in space, is then represented +analytically, no longer by a single equation, but by the system of two +equations between the three co-ordinates of any one of its points. It is +clear, indeed, from another point of view, that since each of these +equations, considered separately, expresses a certain surface, their +combination presents the proposed line as the intersection of two +determinate surfaces. Such is the most general manner of conceiving the +algebraic representation of a line in analytical geometry of three +dimensions. This conception is commonly considered in too restricted a +manner, when we confine ourselves to considering a line as determined by +the system of its two _projections_ upon two of the co-ordinate planes; +a system characterized, analytically, by this peculiarity, that each of +the two equations of the line then contains only two of the three +co-ordinates, instead of simultaneously including the three variables. +This consideration, which consists in regarding the line as the +intersection of two cylindrical surfaces parallel to two of the three +axes of the co-ordinates, besides the inconvenience of being confined to +the ordinary rectilinear system, has the fault, if we strictly confine +ourselves to it, of introducing useless difficulties into the analytical +representation of lines, since the combination of these two cylinders +would evidently not be always the most suitable for forming the +equations of a line. Thus, considering this fundamental notion in its +entire generality, it will be necessary in each case to choose, from +among the infinite number of couples of surfaces, the intersection of +which might produce the proposed curve, that one which will lend itself +the best to the establishment of equations, as being composed of the +best known surfaces. Thus, if the problem is to express analytically a +circle in space, it will evidently be preferable to consider it as the +intersection of a sphere and a plane, rather than as proceeding from any +other combination of surfaces which could equally produce it. + +In truth, this manner of conceiving the representation of lines by +equations, in analytical geometry of three dimensions, produces, by its +nature, a necessary inconvenience, that of a certain analytical +confusion, consisting in this: that the same line may thus be expressed, +with the same system of co-ordinates, by an infinite number of different +couples of equations, on account of the infinite number of couples of +surfaces which can form it; a circumstance which may cause some +difficulties in recognizing this line under all the algebraical +disguises of which it admits. But there exists a very simple method for +causing this inconvenience to disappear; it consists in giving up the +facilities which result from this variety of geometrical constructions. +It suffices, in fact, whatever may be the analytical system primitively +established for a certain line, to be able to deduce from it the system +corresponding to a single couple of surfaces uniformly generated; as, +for example, to that of the two cylindrical surfaces which _project_ the +proposed line upon two of the co-ordinate planes; surfaces which will +evidently be always identical, in whatever manner the line may have been +obtained, and which will not vary except when that line itself shall +change. Now, in choosing this fixed system, which is actually the most +simple, we shall generally be able to deduce from the primitive +equations those which correspond to them in this special construction, +by transforming them, by two successive eliminations, into two +equations, each containing only two of the variable co-ordinates, and +thereby corresponding to the two surfaces of projection. Such is really +the principal destination of this sort of geometrical combination, which +thus offers to us an invariable and certain means of recognizing the +identity of lines in spite of the diversity of their equations, which is +sometimes very great. + + + + +IMPERFECTIONS OF ANALYTICAL GEOMETRY. + + +Having now considered the fundamental conception of analytical geometry +under its principal elementary aspects, it is proper, in order to make +the sketch complete, to notice here the general imperfections yet +presented by this conception with respect to both geometry and to +analysis. + +_Relatively to geometry_, we must remark that the equations are as yet +adapted to represent only entire geometrical loci, and not at all +determinate portions of those loci. It would, however, be necessary, in +some circumstances, to be able to express analytically a part of a line +or of a surface, or even a _discontinuous_ line or surface, composed of +a series of sections belonging to distinct geometrical figures, such as +the contour of a polygon, or the surface of a polyhedron. Thermology, +especially, often gives rise to such considerations, to which our +present analytical geometry is necessarily inapplicable. The labours of +M. Fourier on discontinuous functions have, however, begun to fill up +this great gap, and have thereby introduced a new and essential +improvement into the fundamental conception of Descartes. But this +manner of representing heterogeneous or partial figures, being founded +on the employment of trigonometrical series proceeding according to the +sines of an infinite series of multiple arcs, or on the use of certain +definite integrals equivalent to those series, and the general integral +of which is unknown, presents as yet too much complication to admit of +being immediately introduced into the system of analytical geometry. + +_Relatively to analysis_, we must begin by observing that our inability +to conceive a geometrical representation of equations containing four, +five, or more variables, analogous to those representations which all +equations of two or of three variables admit, must not be viewed as an +imperfection of our system of analytical geometry, for it evidently +belongs to the very nature of the subject. Analysis being necessarily +more general than geometry, since it relates to all possible phenomena, +it would be very unphilosophical to desire always to find among +geometrical phenomena alone a concrete representation of all the laws +which analysis can express. + +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. The general course of these +last should, however, by its nature, be quite as susceptible as that of +the others of a geometrical representation. It follows from this +omission that the graphic picture of the equation is constantly +imperfect, and sometimes even so much so that there is no geometric +representation at all when the equation admits of only imaginary +solutions. But, even in this last case, we evidently ought to be able to +distinguish between equations as different in themselves as these, for +example, + + _x²_ + _y²_ + 1 = 0, _x⁶_ + _y⁴_ + 1 = 0, _y²_ + _e^x_ = 0. + +We know, moreover, that this principal imperfection often brings with +it, in analytical geometry of two or of three dimensions, a number of +secondary inconveniences, arising from several analytical modifications +not corresponding to any geometrical phenomena. + + * * * * * + +Our philosophical exposition of the fundamental conception of analytical +geometry shows us clearly that this science consists essentially in +determining what is the general analytical expression of such or such a +geometrical phenomenon belonging to lines or to surfaces; and, +reciprocally, in discovering the geometrical interpretation of such or +such an analytical consideration. A detailed examination of the most +important general questions would show us how geometers have succeeded +in actually establishing this beautiful harmony, and in thus imprinting +on geometrical science, regarded as a whole, its present eminently +perfect character of rationality and of simplicity. + + _Note._--The author devotes the two following chapters of his + course to the more detailed examination of Analytical Geometry of + two and of three dimensions; but his subsequent publication of a + separate work upon this branch of mathematics has been thought to + render unnecessary the reproduction of these two chapters in the + present volume. + + +THE END. + + + + + +End of Project Gutenberg's The philosophy of mathematics, by Auguste Comte + +*** END OF THIS PROJECT GUTENBERG EBOOK THE PHILOSOPHY OF MATHEMATICS *** + +***** This file should be named 39702-0.txt or 39702-0.zip ***** +This and all associated files of various formats will be found in: + http://www.gutenberg.org/3/9/7/0/39702/ + +Produced by Anna Hall, Albert László and the Online +Distributed Proofreading Team at http://www.pgdp.net (This +file was produced from images generously made available +by The Internet Archive) + + +Updated editions will replace the previous one--the old editions +will be renamed. + +Creating the works from public domain print editions means that no +one owns a United States copyright in these works, so the Foundation +(and you!) can copy and distribute it in the United States without +permission and without paying copyright royalties. Special rules, +set forth in the General Terms of Use part of this license, apply to +copying and distributing Project Gutenberg-tm electronic works to +protect the PROJECT GUTENBERG-tm concept and trademark. Project +Gutenberg is a registered trademark, and may not be used if you +charge for the eBooks, unless you receive specific permission. If you +do not charge anything for copies of this eBook, complying with the +rules is very easy. You may use this eBook for nearly any purpose +such as creation of derivative works, reports, performances and +research. They may be modified and printed and given away--you may do +practically ANYTHING with public domain eBooks. Redistribution is +subject to the trademark license, especially commercial +redistribution. + + + +*** START: FULL LICENSE *** + +THE FULL PROJECT GUTENBERG LICENSE +PLEASE READ THIS BEFORE YOU DISTRIBUTE OR USE THIS WORK + +To protect the Project Gutenberg-tm mission of promoting the free +distribution of electronic works, by using or distributing this work +(or any other work associated in any way with the phrase "Project +Gutenberg"), you agree to comply with all the terms of the Full Project +Gutenberg-tm License (available with this file or online at +http://gutenberg.org/license). + + +Section 1. General Terms of Use and Redistributing Project Gutenberg-tm +electronic works + +1.A. By reading or using any part of this Project Gutenberg-tm +electronic work, you indicate that you have read, understand, agree to +and accept all the terms of this license and intellectual property +(trademark/copyright) agreement. If you do not agree to abide by all +the terms of this agreement, you must cease using and return or destroy +all copies of Project Gutenberg-tm electronic works in your possession. +If you paid a fee for obtaining a copy of or access to a Project +Gutenberg-tm electronic work and you do not agree to be bound by the +terms of this agreement, you may obtain a refund from the person or +entity to whom you paid the fee as set forth in paragraph 1.E.8. + +1.B. "Project Gutenberg" is a registered trademark. It may only be +used on or associated in any way with an electronic work by people who +agree to be bound by the terms of this agreement. There are a few +things that you can do with most Project Gutenberg-tm electronic works +even without complying with the full terms of this agreement. See +paragraph 1.C below. There are a lot of things you can do with Project +Gutenberg-tm electronic works if you follow the terms of this agreement +and help preserve free future access to Project Gutenberg-tm electronic +works. See paragraph 1.E below. + +1.C. The Project Gutenberg Literary Archive Foundation ("the Foundation" +or PGLAF), owns a compilation copyright in the collection of Project +Gutenberg-tm electronic works. Nearly all the individual works in the +collection are in the public domain in the United States. If an +individual work is in the public domain in the United States and you are +located in the United States, we do not claim a right to prevent you from +copying, distributing, performing, displaying or creating derivative +works based on the work as long as all references to Project Gutenberg +are removed. Of course, we hope that you will support the Project +Gutenberg-tm mission of promoting free access to electronic works by +freely sharing Project Gutenberg-tm works in compliance with the terms of +this agreement for keeping the Project Gutenberg-tm name associated with +the work. You can easily comply with the terms of this agreement by +keeping this work in the same format with its attached full Project +Gutenberg-tm License when you share it without charge with others. + +1.D. The copyright laws of the place where you are located also govern +what you can do with this work. Copyright laws in most countries are in +a constant state of change. If you are outside the United States, check +the laws of your country in addition to the terms of this agreement +before downloading, copying, displaying, performing, distributing or +creating derivative works based on this work or any other Project +Gutenberg-tm work. The Foundation makes no representations concerning +the copyright status of any work in any country outside the United +States. + +1.E. Unless you have removed all references to Project Gutenberg: + +1.E.1. The following sentence, with active links to, or other immediate +access to, the full Project Gutenberg-tm License must appear prominently +whenever any copy of a Project Gutenberg-tm work (any work on which the +phrase "Project Gutenberg" appears, or with which the phrase "Project +Gutenberg" is associated) is accessed, displayed, performed, viewed, +copied or distributed: + +This eBook is for the use of anyone anywhere at no cost and with +almost no restrictions whatsoever. You may copy it, give it away or +re-use it under the terms of the Project Gutenberg License included +with this eBook or online at www.gutenberg.org/license + +1.E.2. If an individual Project Gutenberg-tm electronic work is derived +from the public domain (does not contain a notice indicating that it is +posted with permission of the copyright holder), the work can be copied +and distributed to anyone in the United States without paying any fees +or charges. If you are redistributing or providing access to a work +with the phrase "Project Gutenberg" associated with or appearing on the +work, you must comply either with the requirements of paragraphs 1.E.1 +through 1.E.7 or obtain permission for the use of the work and the +Project Gutenberg-tm trademark as set forth in paragraphs 1.E.8 or +1.E.9. + +1.E.3. If an individual Project Gutenberg-tm electronic work is posted +with the permission of the copyright holder, your use and distribution +must comply with both paragraphs 1.E.1 through 1.E.7 and any additional +terms imposed by the copyright holder. Additional terms will be linked +to the Project Gutenberg-tm License for all works posted with the +permission of the copyright holder found at the beginning of this work. + +1.E.4. Do not unlink or detach or remove the full Project Gutenberg-tm +License terms from this work, or any files containing a part of this +work or any other work associated with Project Gutenberg-tm. + +1.E.5. Do not copy, display, perform, distribute or redistribute this +electronic work, or any part of this electronic work, without +prominently displaying the sentence set forth in paragraph 1.E.1 with +active links or immediate access to the full terms of the Project +Gutenberg-tm License. + +1.E.6. You may convert to and distribute this work in any binary, +compressed, marked up, nonproprietary or proprietary form, including any +word processing or hypertext form. However, if you provide access to or +distribute copies of a Project Gutenberg-tm work in a format other than +"Plain Vanilla ASCII" or other format used in the official version +posted on the official Project Gutenberg-tm web site (www.gutenberg.org), +you must, at no additional cost, fee or expense to the user, provide a +copy, a means of exporting a copy, or a means of obtaining a copy upon +request, of the work in its original "Plain Vanilla ASCII" or other +form. Any alternate format must include the full Project Gutenberg-tm +License as specified in paragraph 1.E.1. + +1.E.7. Do not charge a fee for access to, viewing, displaying, +performing, copying or distributing any Project Gutenberg-tm works +unless you comply with paragraph 1.E.8 or 1.E.9. + +1.E.8. You may charge a reasonable fee for copies of or providing +access to or distributing Project Gutenberg-tm electronic works provided +that + +- You pay a royalty fee of 20% of the gross profits you derive from + the use of Project Gutenberg-tm works calculated using the method + you already use to calculate your applicable taxes. The fee is + owed to the owner of the Project Gutenberg-tm trademark, but he + has agreed to donate royalties under this paragraph to the + Project Gutenberg Literary Archive Foundation. Royalty payments + must be paid within 60 days following each date on which you + prepare (or are legally required to prepare) your periodic tax + returns. Royalty payments should be clearly marked as such and + sent to the Project Gutenberg Literary Archive Foundation at the + address specified in Section 4, "Information about donations to + the Project Gutenberg Literary Archive Foundation." + +- You provide a full refund of any money paid by a user who notifies + you in writing (or by e-mail) within 30 days of receipt that s/he + does not agree to the terms of the full Project Gutenberg-tm + License. You must require such a user to return or + destroy all copies of the works possessed in a physical medium + and discontinue all use of and all access to other copies of + Project Gutenberg-tm works. + +- You provide, in accordance with paragraph 1.F.3, a full refund of any + money paid for a work or a replacement copy, if a defect in the + electronic work is discovered and reported to you within 90 days + of receipt of the work. + +- You comply with all other terms of this agreement for free + distribution of Project Gutenberg-tm works. + +1.E.9. If you wish to charge a fee or distribute a Project Gutenberg-tm +electronic work or group of works on different terms than are set +forth in this agreement, you must obtain permission in writing from +both the Project Gutenberg Literary Archive Foundation and Michael +Hart, the owner of the Project Gutenberg-tm trademark. Contact the +Foundation as set forth in Section 3 below. + +1.F. + +1.F.1. Project Gutenberg volunteers and employees expend considerable +effort to identify, do copyright research on, transcribe and proofread +public domain works in creating the Project Gutenberg-tm +collection. Despite these efforts, Project Gutenberg-tm electronic +works, and the medium on which they may be stored, may contain +"Defects," such as, but not limited to, incomplete, inaccurate or +corrupt data, transcription errors, a copyright or other intellectual +property infringement, a defective or damaged disk or other medium, a +computer virus, or computer codes that damage or cannot be read by +your equipment. + +1.F.2. LIMITED WARRANTY, DISCLAIMER OF DAMAGES - Except for the "Right +of Replacement or Refund" described in paragraph 1.F.3, the Project +Gutenberg Literary Archive Foundation, the owner of the Project +Gutenberg-tm trademark, and any other party distributing a Project +Gutenberg-tm electronic work under this agreement, disclaim all +liability to you for damages, costs and expenses, including legal +fees. YOU AGREE THAT YOU HAVE NO REMEDIES FOR NEGLIGENCE, STRICT +LIABILITY, BREACH OF WARRANTY OR BREACH OF CONTRACT EXCEPT THOSE +PROVIDED IN PARAGRAPH 1.F.3. YOU AGREE THAT THE FOUNDATION, THE +TRADEMARK OWNER, AND ANY DISTRIBUTOR UNDER THIS AGREEMENT WILL NOT BE +LIABLE TO YOU FOR ACTUAL, DIRECT, INDIRECT, CONSEQUENTIAL, PUNITIVE OR +INCIDENTAL DAMAGES EVEN IF YOU GIVE NOTICE OF THE POSSIBILITY OF SUCH +DAMAGE. + +1.F.3. LIMITED RIGHT OF REPLACEMENT OR REFUND - If you discover a +defect in this electronic work within 90 days of receiving it, you can +receive a refund of the money (if any) you paid for it by sending a +written explanation to the person you received the work from. If you +received the work on a physical medium, you must return the medium with +your written explanation. The person or entity that provided you with +the defective work may elect to provide a replacement copy in lieu of a +refund. If you received the work electronically, the person or entity +providing it to you may choose to give you a second opportunity to +receive the work electronically in lieu of a refund. If the second copy +is also defective, you may demand a refund in writing without further +opportunities to fix the problem. + +1.F.4. Except for the limited right of replacement or refund set forth +in paragraph 1.F.3, this work is provided to you 'AS-IS' WITH NO OTHER +WARRANTIES OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO +WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PURPOSE. + +1.F.5. Some states do not allow disclaimers of certain implied +warranties or the exclusion or limitation of certain types of damages. +If any disclaimer or limitation set forth in this agreement violates the +law of the state applicable to this agreement, the agreement shall be +interpreted to make the maximum disclaimer or limitation permitted by +the applicable state law. The invalidity or unenforceability of any +provision of this agreement shall not void the remaining provisions. + +1.F.6. INDEMNITY - You agree to indemnify and hold the Foundation, the +trademark owner, any agent or employee of the Foundation, anyone +providing copies of Project Gutenberg-tm electronic works in accordance +with this agreement, and any volunteers associated with the production, +promotion and distribution of Project Gutenberg-tm electronic works, +harmless from all liability, costs and expenses, including legal fees, +that arise directly or indirectly from any of the following which you do +or cause to occur: (a) distribution of this or any Project Gutenberg-tm +work, (b) alteration, modification, or additions or deletions to any +Project Gutenberg-tm work, and (c) any Defect you cause. + + +Section 2. Information about the Mission of Project Gutenberg-tm + +Project Gutenberg-tm is synonymous with the free distribution of +electronic works in formats readable by the widest variety of computers +including obsolete, old, middle-aged and new computers. It exists +because of the efforts of hundreds of volunteers and donations from +people in all walks of life. + +Volunteers and financial support to provide volunteers with the +assistance they need, are critical to reaching Project Gutenberg-tm's +goals and ensuring that the Project Gutenberg-tm collection will +remain freely available for generations to come. In 2001, the Project +Gutenberg Literary Archive Foundation was created to provide a secure +and permanent future for Project Gutenberg-tm and future generations. +To learn more about the Project Gutenberg Literary Archive Foundation +and how your efforts and donations can help, see Sections 3 and 4 +and the Foundation web page at http://www.pglaf.org. + + +Section 3. Information about the Project Gutenberg Literary Archive +Foundation + +The Project Gutenberg Literary Archive Foundation is a non profit +501(c)(3) educational corporation organized under the laws of the +state of Mississippi and granted tax exempt status by the Internal +Revenue Service. The Foundation's EIN or federal tax identification +number is 64-6221541. Its 501(c)(3) letter is posted at +http://pglaf.org/fundraising. Contributions to the Project Gutenberg +Literary Archive Foundation are tax deductible to the full extent +permitted by U.S. federal laws and your state's laws. + +The Foundation's principal office is located at 4557 Melan Dr. S. +Fairbanks, AK, 99712., but its volunteers and employees are scattered +throughout numerous locations. Its business office is located at +809 North 1500 West, Salt Lake City, UT 84116, (801) 596-1887, email +business@pglaf.org. Email contact links and up to date contact +information can be found at the Foundation's web site and official +page at http://pglaf.org + +For additional contact information: + Dr. Gregory B. Newby + Chief Executive and Director + gbnewby@pglaf.org + + +Section 4. Information about Donations to the Project Gutenberg +Literary Archive Foundation + +Project Gutenberg-tm depends upon and cannot survive without wide +spread public support and donations to carry out its mission of +increasing the number of public domain and licensed works that can be +freely distributed in machine readable form accessible by the widest +array of equipment including outdated equipment. Many small donations +($1 to $5,000) are particularly important to maintaining tax exempt +status with the IRS. + +The Foundation is committed to complying with the laws regulating +charities and charitable donations in all 50 states of the United +States. Compliance requirements are not uniform and it takes a +considerable effort, much paperwork and many fees to meet and keep up +with these requirements. We do not solicit donations in locations +where we have not received written confirmation of compliance. To +SEND DONATIONS or determine the status of compliance for any +particular state visit http://pglaf.org + +While we cannot and do not solicit contributions from states where we +have not met the solicitation requirements, we know of no prohibition +against accepting unsolicited donations from donors in such states who +approach us with offers to donate. + +International donations are gratefully accepted, but we cannot make +any statements concerning tax treatment of donations received from +outside the United States. U.S. laws alone swamp our small staff. + +Please check the Project Gutenberg Web pages for current donation +methods and addresses. Donations are accepted in a number of other +ways including checks, online payments and credit card donations. +To donate, please visit: http://pglaf.org/donate + + +Section 5. General Information About Project Gutenberg-tm electronic +works. + +Professor Michael S. Hart is the originator of the Project Gutenberg-tm +concept of a library of electronic works that could be freely shared +with anyone. For thirty years, he produced and distributed Project +Gutenberg-tm eBooks with only a loose network of volunteer support. + + +Project Gutenberg-tm eBooks are often created from several printed +editions, all of which are confirmed as Public Domain in the U.S. +unless a copyright notice is included. Thus, we do not necessarily +keep eBooks in compliance with any particular paper edition. + + +Most people start at our Web site which has the main PG search facility: + + http://www.gutenberg.org + +This Web site includes information about Project Gutenberg-tm, +including how to make donations to the Project Gutenberg Literary +Archive Foundation, how to help produce our new eBooks, and how to +subscribe to our email newsletter to hear about new eBooks. |
