Skip to main content
#
Full text of "History Of The Theory Of Numbers - I"

##
See other formats

120 HlSTOBY OF THE THEORY OF NUMBERS. [CHAP. V E. Betti26 evaluated <£(w), where m is a product of powers of the distinct primes al} a2, ____ Consider the set d of the products of the a's taken t at a time and their multiples £m. Thus C0 is 1, . . . , m, while C2 is m 0 m , 2a1a2,. . ., -- ai<*2; Let x be an integer <m divisible by au. . ., att. Then x occurs H-OKK"-*" times in the sets C0, C2, C4, . . . ; and 20-1 times in C1} C3, . . . . Summing for each of the m—<t>(m) integers rg?n having factors in common with m, we get But S ?" is the number of integers having in common with m one of the factors dij o2,. . ., and hence equals S— . Next, sT^) ig the number of integers having in common with m one of the factors a1a2, ai#3, . . . , and hence equals S {.m/CoiO^ } . Thus ^(?n) =m— S — 1-2 -- . . . . di aja2 R. Dedekind27 gave a general theorem on the inversion of functions (to be explained hi the chapter on that subject), which for the special case of 0(n) becomes a proof like Betti's. Cf. Chrystal's Algebra, II, 1889, 511; Mathews7 Theory of Numbers, 1892, 5; Borel and Drach,81 p. 27. J. B. Sturm28 evaluated <t>(N) by a method which will be illustrated for the case N = 15. From 1, . . ., 15 delete the five multiples of 3. Among the remaining ten numbers there are as many multiples of 5 as there are multiples of 5 among the first ten numbers. Hence <^>(15) = 10--2 = 8. The theorem involved is the following. From the three sets 1, 2, 3,* 4, 5; 6,* 7, 8, 9,* 10; 11, 12,* 13, 14, 15* delete (by marking with an asterisk) the multiples of 3. The numbers 11, 13, 14 which remain in the final set are congruent modulo 5 to the numbers 6, 3, 9 deleted from the earlier sets. J. Liouville29 proved by use of (4) that, for |z| 26Bertrand's Alg£bre, Ital. transl. with notes by Betti, Firenze, 1856, note 5. Proof reproduced by Fontebasso34, pp. 74-77. "Jour, fur Math., 54, 1857, 21. Dirichlet-Dedekind, Zahlentheorie, §138. *8Archiv Math. Phys., 29, 1857, 448-452. "Jour, de mathSmatiques, (2), 2, 1857, 433-440.