The branch of the integral calculus which treats of elliptic transcendents originated in the researches of Fagnani, an Italian geometer of eminence. He discovered that two arcs of the periphery of a given ellipse may be determined in many ways, so that their difference shall be equal to an assignable straight line; and he proved that any arc of the lemniscata, like that of a circle, may be multiplied any number of times, or may be subdivided into any number of equal parts, by finite algebraic equations. These are particular results; and it was the discoveries of Euler that enabled geometers to advance to the investigation of the general properties of the elliptic functions. An integral in finite terms deduced by that geometer from an equation between the differentials of two similar transcendent quantities not separately integrable, led immediately to an algebraic equation between the amplitudes of three elliptic functions, of which one is the sum, or the difference, of the other two. This sort of integrals, therefore, could now be added or subtracted in a manner analogous to circular arcs, or logarithms; the amplitude of the sum, or of the difference, being expressed algebraically by means of the amplitudes of the quantities added or subtracted. What Fagnani had accomplished with respect to the arcs of the lemniscata, which are expressed by a particular elliptic integral, Euler extended to all transcendents of the same class. To multiply a function of this kind, or to subdivide it into equal parts, was reduced to solving an algebraic equation. In general, all the properties of the elliptic transcendents, in which the modulus remains unchanged, are deducible from the discoveries of Euler. Landen enlarged our knowledge of this kind of functions, and made a useful addition to analysis, by showing that the arcs of the hyperbola may be reduced, by a proper transformation, to those of the ellipse. Every part of analysis is indebted to Lagrange, who enriched this particular branch with a general method for changing an elliptic function into another having a different modulus, a process which greatly facilitates the numerical calculation of this class of integrals. An elliptic function lies between an arc of the circle on one hand, and a logarithm on the other, approaching indefinitely to the first when the modulus is diminished to zero, and to the second when the modulus is augmented to unit, its other limit. By repeatedly applying the transformation of Lagrange, we may compute either a scale of decreasing moduli reducing the integral to a circular arc, or a scale of increasing moduli bringing it continually nearer to a logarithm. The approximation is very elegant and simple, and attains the end proposed with great rapidity. The discoveries that have been mentioned occurred in the general cultivation of analysis; but Legendre has bestowed much of his attention and study upon this particular branch of the integral calculus. He distributed the elliptic functions in distinct classes, and reduced them to a regular theory. In a Mémoire sur les Transcendantes Elliptiques, published in 1793, and in his Exercices de Calcul Intégral, which appeared in 1817 he has developed many of their properties entirely new; investigated the easiest methods of approximating to their values; computed numerical tables to facilitate their application; and exemplified their use in some interesting problems of geometry and mechanics. In a publication so late as 1825, the author, returning to the same subject, has rendered his theory still more perfect, and made many additions to it which further researches had suggested. In particular we find a new method of making an elliptic function approach as near as we please to a circular arc, or to a logarithm, by a scale of reduction very different from that of which Lagrange is the author, the only one before known. This step in advance would unavoidably have conducted to a more extensive theory of this kind of integrals, which, nearly about the same time, was being discovered by the researches of other geometers.
Inequalities which include q-integrals