n+1 Now 'logr(x)dx = ['log r(x) dx + ['**'logr(x)dx n = log 2x + ("log æ de + ["logr(e) dr. 1 dx ("*1log r(x) dx = log 2π+n (log n − 1). n 2 (288) 131.] As a primary object of this research however is the determination of the value of r (n) for all positive values of n, we must investigate other general properties of the function, so as to supply the deficiencies of the two former general theorems. They are sufficient for the determination of values of r(n), when the values are known for all numbers lying between two numbers, the difference between which is ; but they fail to give the latter values. In the course of the inquiry too we shall be led to some new and important theorems of the Gamma-function, and to another proof of Gauss's definition of it. 1 2 Taking the n-differential of the Gamma-function, as in (252), we have d.r(n) = e-xx-1log x dx. (289) Now by an artifice due, I believe, to M. Cauchy*, which is of great use in the evaluation of definite integrals, we may replace log x by any definite integral which is equivalent to it; and if the limits of this equivalent are constant, the order of the integrations is arbitrary; and they may consequently be taken in that which is most convenient to the problem. replacing log in (289) by this value, we have (290) e-(1+) x2-1dx -1dx}. (291) * Exercises d'Analyse, tome II, p. 379. Paris, 1841. But e ̄2 x”−1 dx = r (n), by the definition of the Gamma function; and by (250), r (n) (1+2); substituting these in (291), and placing r (n) outside the sign of integration, we have d.r(n) = r(n) [® {e-* dn d.loger (n) = {e-12)} dn (293) Let the n-integral of this equation be taken for the limits n and 1; then, bearing in mind that r(1)=1, so that logr(1)=0, I dz (1+2)") z (1 - = √ * { (n−1)e~~ + (+2)~~~ (1+2)~' } dz This equation may be simplified. and log r(2) = 0: accordingly log (1+ z) 1}dz. (294) 2 -2 = /* {(1 + 2) ̄" — (1 + z)~1 + (n−1)z (1 + z)−2} 132.] These equations lead to another fundamental theorem of the Gamma-function, which was discovered by Gauss, and is given by him in his previously cited memoir. The theorem is more commonly called the third fundamental theorem of the Gamma-function; and is useful in reducing the number of particular values of the function which must be determined by direct calculation. the quantity being negative, because, when n = 1, r (n) decreases = -- 1+2 2 as n increases; then 1 2 n+ " n + d dn Let n be successively replaced by n+ and let the sum of (300) and of all these several terms be taken; then log {r(n) (n + 1)(n+2)... (n+1)} Also, let n be replaced by rn in (300); then (301) Let the definite integral of this equation be taken for the limits which is the third fundamental theorem of the Gamma-function. The following are particular forms of this general theorem. 1 2π (305) г(3n); (306) consequently, if n = from (305) we have r (2) = π1, as we 2' have determined several times heretofore. We have said that the theorem is useful for the reduction of the number of values of r(n), which must be found by direct calculation. In illustration of this, suppose that the values of r(n) 1 are required for all arguments at an interval of th between two 6 successive integers. By the first general theorem these values 1 depend on those of r (n) at an interval of th between 0 and 1; 6 (1), г(2), r(3), г(†), г(5). Of these the third, that is, on r(2), r viz. r (3), = r(-1) = π3, and is known. Also, by the second Consequently if r (~) is known, all the others are known. In other similar cases the number of the values of the Gamma-function, which must be determined by direct arithmetical summation, may be reduced by means of the theorem contained in (304). 133.] We now come to the investigation of series for the direct. calculation of log r(n). Returning to (297) we have, = + + 1 1 + +...; (311) n2 (n+1)2 (n + 2)2 (n+3)2 and this is evidently a convergent series for all values of n, except negative integers. Let us take the n-integral of (311), between the limits n and 1; then as from (297) and (298) we have the right-hand member being a convergent series. E is called Euler's Constant, and is of greater importance in analytical investigations than any other constant except those denoted by and e; the analytical value of it is given in (312); the numerical value will be determined hereafter. Let us again take the n-integral of (313) between the limits n and 1; then, as r(n) = 1, when n = 1, and log r (n) = 0, In this series let n = 2; then, since log r (2) = log 1 = 0, E= 1 3 (log)+(-log)+(-log)+; (315) multiplying which by (n-1), and subtracting from (314), we have |