Throughout the mechanical sciences the Principle of the Superposition of Small Motions is of fundamental importance,390 and it may be thus explained. Suppose that two forces, acting from the points B and C, are simultaneously moving a body A. Let the force acting from B be such that in one second it would move A to p, and similarly let the second force, acting alone, move A to r. The question arises, then, whether their joint action will urge A to q along the diagonal of the parallelogram. May we say that A will move the distance Ap in the direction AB, and Ar in the direction AC, or, what is the same thing, along the parallel line pq? In strictness we cannot say so; for when A has moved towards p, the force from C will no longer act along the line AC, and similarly the motion of A towards r will modify the action of the force from B. This interference of one force with the line of action of the other will evidently be greater the larger is the extent of motion considered; on the other hand, as we reduce the parallelogram Apqr, compared with the distances AB and AC, the less will be the interference of the forces. Accordingly mathematicians avoid all error by considering the motions as infinitely small, so that the interference becomes of a still higher order of infinite smallness, and may be entirely neglected. By the resources of the differential calculus it is possible to calculate the motion of the particle A, as if it went through an infinite number of infinitely small diagonals of parallelograms. The great discoveries of Newton really arose from applying this method of calculation to the movements of the moon round the earth, which, while constantly tending to move onward in a straight line, is also deflected towards the earth by gravity, and moves through an elliptic curve, composed as it were of the infinitely small diagonals of infinitely numerous parallelograms. The mathematician, in his investigation of a curve, always treats it as made up of a great number of straight lines, and it may be doubted whether he could treat it in any other manner. There is no error in the final results, because having obtained the formulæ flowing from this supposition, each straight line is then regarded as becoming infinitely small, and the polygonal line becomes undistinguishable from a perfect curve.391
In abstract mathematical theorems the approximation to absolute truth is perfect, because we can treat of infinitesimals. In physical science, on the contrary, we treat of the least quantities which are perceptible. Nevertheless, while carefully distinguishing between these two different cases, we may fearlessly apply to both the principle of the superposition of small effects. In physical science we have only to take care that the effects really are so small that any joint effect will be unquestionably imperceptible. Suppose, for instance, that there is some cause which alters the dimensions of a body in the ratio of 1 to 1 + α, and another cause which produces an alteration in the ratio of 1 to 1 + β. If they both act at once the change will be in the ratio of 1 to (1 + α)(1 + β), or as 1 to 1 + α + β + αβ. But if α and β be both very small fractions of the total dimensions, αβ will be yet far smaller and may be disregarded; the ratio of change is then approximately that of 1 to 1 + α + β, or the joint effect is the sum of the separate effects. Thus if a body were subjected to three strains, at right angles to each other, the total change in the volume of the body would be approximately equal to the sum of the changes produced by the separate strains, provided that these are very small. In like manner not only is the expansion of every solid and liquid substance by heat approximately proportional to the change of temperature, when this change is very small in amount, but the cubic expansion may also be considered as being three times as great as the linear expansion. For if the increase of temperature expands a bar of metal in the ratio of 1 to 1 + α, and the expansion be equal in all directions, then a cube of the same metal would expand as 1 to (1 + α)3, or as 1 to 1 + 3α + 3α2 + α3. When α is a very small quantity the third term 3α2 will be imperceptible, and still more so the fourth term α3. The coefficients of expansion of solids are in fact so small, and so imperfectly determined, that physicists seldom take into account their second and higher powers.
It is a result of these principles that all small errors may be assumed to vary in simple proportion to their causes—a new reason why, in eliminating errors, we should first of all make them as small as possible. Let us suppose that there is a right-angled triangle of which the two sides containing the right angle are really of the lengths 3 and 4, so that the hypothenuse is √32 + 42 or 5. Now, if in two measurements of the first side we commit slight errors, making it successively 4·001 and 4·002, then calculation will give the lengths of the hypothenuse as almost exactly 5·0008 and 5·0016, so that the error in the hypothenuse will seem to vary in simple proportion to that of the side, although it does not really do so with perfect exactness. The logarithm of a number does not vary in proportion to that number—nevertheless we find the difference between the logarithms of the numbers 100000 and 100001 to be almost exactly equal to that between the numbers 100001 and 100002. It is thus a general rule that very small differences between successive values of a function are approximately proportional to the small differences of the variable quantity.
On these principles it is easy to draw up a series of rules such as those given by Kohlrausch392 for performing calculations in an abbreviated form when the variable quantity is very small compared with unity. Thus for 1 ÷ (1 + α) we may substitute 1 – α; for 1 ÷ (1 – α) we may put 1 + α; 1 ÷ √1 + α becomes 1 – 12α, and so forth.
Four Meanings of Equality.
Although it might seem that there are few terms more free from ambiguity than the term equal, yet scientific men do employ it with at least four meanings, which it is desirable to distinguish. These meanings I may describe as
(2) Sub-equality.
(3) Apparent Equality.
(4) Probable Equality.
By absolute equality we signify that which is complete and perfect to the last degree; but it is obvious that we can only know such equality in a theoretical or hypothetical manner. The areas of two triangles standing upon the same base and between the same parallels are absolutely equal. Hippocrates beautifully proved that the area of a lunula or figure contained between two segments of circles was absolutely equal to that of a certain right-angled triangle. As a general rule all geometrical and other elementary mathematical theorems involve absolute equality.
De Morgan proposed to describe as sub-equal those quantities which are equal within an infinitely small quantity, so that x is sub-equal to x + dx. The differential calculus may be said to arise out of the neglect of infinitely small quantities, and in mathematical science other subtle distinctions may have to be drawn between kinds of equality, as De Morgan has shown in a remarkable memoir “On Infinity; and on the sign of Equality.”393
Apparent equality is that with which physical science deals. Those magnitudes are apparently equal which differ only by an imperceptible quantity. To the carpenter anything less than the hundredth part of an inch is non-existent; there are few arts or artists to which the hundred-thousandth of an inch is of any account. Since all coincidence between physical magnitudes is judged by one or other sense, we must be restricted to a knowledge of apparent equality.
In reality even apparent equality is rarely to be expected. More commonly experiments will give only probable equality, that is results will come so near to each other that the difference may be ascribed to unimportant disturbing causes. Physicists often assume quantities to be equal provided that they fall within the limits of probable error of the processes employed. We cannot expect observations to agree with theory more closely than they agree with each other, as Newton remarked of his investigations concerning Halley’s Comet.
Arithmetic of Approximate Quantities.
Considering that almost all the quantities which we treat in physical and social science are approximate only, it seems desirable that attention should be paid in the teaching of arithmetic to the correct interpretation and treatment of approximate numerical statements. We seem to need notation for expressing the approximateness or exactness of decimal numbers. The fraction ·025 may mean either precisely one 40th part, or it may mean anything between ·0245 and ·0255. I propose that when a decimal fraction is completely and exactly given, a small cipher or circle should be added to indicate that there is nothing more to come, as in ·025◦. When the first figure of the decimals rejected is 5 or more, the first figure retained should be raised by a unit, according to a rule approved by De Morgan, and now generally recognised. To indicate that the fraction thus retained is more than the truth, a point has been placed over the last figure in some tables of logarithms; but a similar point is used to denote the period of a repeating decimal, and I should therefore propose to employ a colon after the figure; thus ·025: would mean that the true quantity lies between ·0245° and ·025° inclusive of the lower but not the higher limit. When the fraction is less than the truth, two dots might be placed horizontally as in 025.. which would mean anything between ·025° and ·0255° not inclusive.
When approximate numbers are added, subtracted, multiplied, or divided, it becomes a matter of some complexity to determine the degree of accuracy of the result. There are few persons who could assert off-hand that the sum of the approximate numbers 34·70, 52·693, 80·1, is 167·5 within less than ·07. Mr. Sandeman has traced out the rules of approximate arithmetic in a very thorough manner, and his directions are worthy of careful attention.394 The third part of Sonnenschein and Nesbitt’s excellent book on arithmetic395 describes fully all kinds of approximate calculations, and shows both how to avoid needless labour and how to take proper account of inaccuracy in operating with approximate decimal fractions. A simple investigation of the subject is to be found in Sonnet’s Algèbre Elémentaire (Paris, 1848) chap. xiv., “Des Approximations Absolues et Relatives.” There is also an American work on the subject.396
Although the accuracy of measurement has so much advanced since the time of Leslie, it is not superfluous to repeat his protest against the unfairness of affecting by a display of decimal fractions a greater degree of accuracy than the nature of the case requires and admits.397 I have known a scientific man to register the barometer to a second of time when the nearest quarter of an hour would have been amply sufficient. Chemists often publish results of analysis to the ten-thousandth or even the millionth part of the whole, when in all probability the processes employed cannot be depended on beyond the hundredth part. It is seldom desirable to give more than one place of figures of uncertain amount; but it must be allowed that a nice perception of the degree of accuracy possible and desirable is requisite to save misapprehension and needless computation on the one hand, and to secure all attainable exactness on the other hand.