h(d) meaning the number of primitive forms for the determinant d. This is a generalisation of a theorem due to Dirichlet.

Then is another formula which, in a certain sense, is the generalisation of Gauss’s sums (§ 62) in cyclotomy. Let ψ(u, v) denote the function θ, ,(u+v)+¢9m(u)60i(v) and let D₁, D₂ be an two fundamental discriminants such that D₁D₂ is also fundamental and negative: then

τθ

(%> (Ei) =” f.ie>+ (s) i.#.@#<“m“+»”"r>

where, on the left-hand side, we are to sum for sg = 1, 2, 3 . . [Dali and on the right we are to take a complete set of representative primitive forms (a, b, c) for the determinant D, D2, and give to m, n all positive and negative integral values such that am'+bmn-I-cn' is odd. The quantity -r is 2, if D1Dq< -4, -r= if D, D2=-4, 'r=6 if DiD1= ~3. By putting D2=1, we obtain, after some easy transformations, ¢=a

5; 13) iQ <=4~/A fl-/am2+bmn+cn2

s=l (S sn A ~Fw2Z2g ),

which holds for any fundamental discriminant -A. For instance, taking to =iK'/K, andA=3, we have 0,02 =2»<K/1r, and 2gi('"2+m"'*"2)= &<;'Qsn ifg; a verification is afforded by making 2K approach the value rr, in which case q, K vanish, while the limit of qi/K is }, whence the limiting value of sni;-€ is that of 6g%/KJ 3, which =6/4»/ 3 =/3/2, as it should be.

Several of Kronecker's formulae connect the solution of the Pellian equation with elliptic modular functions: one example may be given here. Let D be a positive discriminant of the form 8n+ 5, let (T, U) be the least solution of T'-DU2=1: then, if h(D) is the number of primitive classes for the determinant D, (T- U~/ D)h(D) =l1(2»<»<')2

where the product on the right extends to a certain sixth part of those values of 2|<»<' which are singular, and correspond to the field S2(/ -D), or in other words are connected with the class invariant j(/ -D). For instance, if D =5, the equation to find (m<')2 is 4.5{(»<»<')2-1}3+(25+13/ 5)“(f<»<')'=o one root of which is given by (2m<')2=9-4/'5=T-U/ 5 which is right, because in this case h(D) = 1.

74. Frequency of Primes.-The distribution of primes in a finite interval (a, a-l-b) is very irregular, if we change a and keep b constant. Thus if we put n!=y, the numbers, .t+2, ;r+3, . (/.t-l-n-I) are all composite, so that we can form a run of consecutive composite numbers as extensive as we please; on the other hand, there is possibly no limit to the number of cases in which p and p-l-2 are both primes. Legendre was the first to find an approximate formula for F(x), the number of primes not exceeding x. He found by induction F(x) =x + (log, , x - 1 -08366)

which answers fairly well when x lies between foo and I,000,000, but becomes more and more inaccurate as x increases. Gauss found, by theoretical considerations (which, however, he does not explain), the approximate formula d

= x

F(x) L(x) 2 Eg x

(where, as in all that follows, log x is taken to the base e). This value is ultimately too large, but when x exceeds a million it is nearer the truth than the value given by Legendre's formula. By a singularly profound and original analysis, Riemann succeeded in finding a ormula, of the same type as Gauss's, but more exact for very large values of x. In its complete form it is very complicated; but, by omitting terms which ultimately vanish (for sufficiently large values of x) in comparison with those retained, the formula reduces to

F(x)=A+E(-I)“iL(x;””) (m=I, 2, 3, 5, 6. 7, II, - . -) m WL

where the summation extends to all positive imegfa,1 values of m which have no square factor, and /r is the number of different prime factors of rn, with the convention that when m=1, (- 1)# = 1. The symbol A denotes a constant, namely

®

(-1)# f dx

A z m Xl* zxixz-1) logxi

and L is used in the sense given above. P. L. Tchébichev obtained some remarkable results on the frequency of primes by an ingenious application of Stirling's theorem. One of these is that there will certainly be (k-I-1) primes between a and b. provided that

a<%~2x/IJ-Q R log 6 (log b)2-${(4k+25) -ggi where R=%; log 2+§ log 3+§ log 5-, Q log 3o=o-921292 .... From this may be inferred the truth of Bertrand's conjecture that there is always at least one prime between a and (za.-2) if;>a>7. l'chébichev's results were generalized and made more precise by Sylvester.

The actual calculation of the number of primes ina given interval may be effected by a formula constructed and used by D. F. E Meissel. The following table gives the values of F(n) for various values of n, according to Meisse1's determinations:- n F(n)

20,000 2,262

100,000 9,592

500,000 41,538

I,0f)0,000 78,498

Riemann's analysis mainly depends upon the properties of the function

s“(S>=§ ln" (n=1, 2, 3, ~ -),

considered as a function of the complex variable s. The above definition is only valid when the real part of s exceeds 1; but it can be generalized by writing

where the integral is taken from x='+oo along the axis of real quantities to x=e, where e is a very small positive quantity, then round a circle of radius f and centre at the origin, and finally from x=e to x=+°0 along the axis of real quantities. This function g'(z) is of great importance, and has been recently studied by von Mangoldt Landau and others.

Reference has alread been made to the fact that if l, m are coprimes the linear form fic--m includes an infinite number of primes. Now let (a, b, c) be any primitive quadratic form with a total generic character C; and let lx-|-m be a primitive linear form chosen so that all its values have the character C. Then it has been proved by Weber and Meyer that (a, b, c) is capable of representing an infinity of primes all of the linear form lx-4-m.

75. Arithmetical Functions. -This term is applied to symbols such as ¢(u), rI>(n), &c., which are associated with n by an intrinsic arithmetical definition. The function (I)(1z) was written fn by Euler, who investigated its properties, and by proving the formula oo -l-oc

II(1-g') = Eq§ <3f'-l-J) deduced the result that I “GO

s2+s

fn =f(n- 1) ~-f(n-2) -f(n-5)-. . . =E(-1)'-If where on the right hand we are to take all positive values of s such that 7%-%(3S2iS) is not negative, and to interpret fo as n, if this term occurs. ]. Liouville makes frequent use of this function in his papers, but denotes it by § '(n).

If the quantity x is positive and not integral, the symbol E(x) or xl is used to denote the integer (including zero) which is obtained by omitting the fractional part of x; thus E(/ 2) =1, E(o-7) =o, and so on. For some purposes it is convenient to extend the definition by putting E(-x) = - E(x), and agreeing that when x is a positive integer, E(x) =x-é; it is then possible to find a Fourier sine-series representing x-E(x) for all real values of x. The function E(x) has many curious and important properties, which have been investigated by Gauss, Hermite, Hacks, Prin sheim, Stern and others. What is perhaps the simplest roof of the iaw of quadratic reciprocity depends upon the fact that if p, q are two odd primes, and we put p=2h+1, q=2k~|-I

r=h s=k

2 is (52) + z E (iii) =hk=i(p- mg- 1)

r=r 9 s=1 Q

the truth of which is obvious, if we rule a rectangle 5” Xq” into 'unit squares, and draw its diagonal. This formula is auss's, but the geometrical proof is due to Eisenstem. Another useful formula is 1==m - I y

23 E (x -I-~) =E(mx) - E(.x), which is due to Hermite. 1=1 M

Various other arithmetical functions have been devised for particular purposes; two that deserve mention (both due to Kronecker) are 5;, ;, , which means 0 or 1 according as h, k are unequal or equal, and sgn x, which means x+

76. Transcendental Numbers.-It has been proved by Cantor that the aggregate of all algebraic numbers is countable. Hence immediately follows the proposition (first proved by Liouville) that there are numbers, both real and complex, which cannot be defined b any combination of a finite number of equations with rationafiintegral coefficients. Such numbers are said to be transcendental. Hermite first completely proved the transcendent character of e; and Lindemann, by a similar method, proved the transcendence of -rr. Thus it is now finally established that the quadrature of the circle is impossible, not only by rule and compass, but even with the help of any number of algebraic curves of any order when the coefficients in their equations are rational (see Hermite, C.R. lxxvii., 1873, and Lindemann, Math. Ann. xx., 1882). Another number which is almost certainly transcendent is Euler's constant C. It may

be convenient to give here the following numerical values:-