branches of modern analysis. Leibnitz was the first to indicate the transcendents by variable exponents, and thereby he has completed the system of elements of which a finite, function can be composed; for every finite explicit function of a variable may be reduced in the last analysis to simple magnitudes, combined by the method of addition, subtraction, multiplication, and division and raised to constant or variable powers. The roots of the equations formed from these elements are the implicit functions of the variable. It is thus that a variable has for a logarithm the exponent of the power which is equal to it in the series of the powers of the number whose hyperbolic logarithm is unity, and the logarithm of a variable of it is an implicit function.
Leibnitz thought to give to his differential character the same exponents as to magnitudes; but then in place of indicating the repeated multiplications of the same magnitude these exponents indicate the repeated differentiations of the same function. This new extension of the Cartesian notation led Leibnitz to the analogy of positive powers with the differentials, and the negative powers with the integrals. Lagrange has followed this singular analogy in all its developments; and by series of inductions which may be regarded as one of the most beautiful applications which have ever been made of the method of induction he has arrived at general formulæ which are as curious as useful on the transformations of differences and of integrals the ones into the others when the variables have divers finite increments and when these increments are infinitely small. But he has not given the demonstrations of it which appear to him difficult. The theory of discriminant
