Elementary Methods in Number Theory

532 Pages·2000·1.88 MB·English

by  Melvyn B. Nathanson (auth.)

19 5
Graduate Texts in Mathematics
Editorial Board
S. Axler F.W. Gehring K.A. Ribet
Springer
New York
Berlin
Heidelberg
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Graduate Texts in Mathematics
TAKEUTr!ZAruNG. Introduction to 33 HIRSCH. Differential Topology.
Axiomatic Set Theory. 2nd ed. 34 SPITZER. Principles of Random Walk.
2 OxTOBY. Measure and Category. 2nd ed. 2nded.
3 SCHAEFER. Topological Vector Spaces. 35 ALEXANDERIWERMER. Several Complex
2nded. Variables and Banach Algebras. 3rd ed.
4 HILTONISTAMMBACH. A Course in 36 KELLEYINAMIOKA et al. Linear
Homological Algebra. 2nd ed. Topological Spaces.
5 MAc LANE. Categories for the Working 37 MoNK. Mathematical Logic.
Mathematician. 2nd ed. 38 GRAUERT!FRITZSCHE. Several Complex
6 HUGHES/PIPER. Projective Planes. Variables.
7 SERRE. A Course in Arithmetic. 39 ARVESON. An Invitation to C*-Algebras.
8 TAKEUTriZARING. Axiomatic Set Theory. 40 KEMENY/SNELLIKNAPP. Denumerable
9 HUMPHREYS. Introduction to Lie Algebras Markov Chains. 2nd ed.
and Representation Theory. 41 APOSTOL. Modular Functions and Dirichlet
10 CoHEN. A Course in Simple Homotopy Series in Number Theory.
Theory. 2nded.
11 CoNWAY. Functions of One Complex 42 SERRE. Linear Representations of Finite
Variable I. 2nd ed. Groups.
12 BEALS. Advanced Mathematical Analysis. 43 GILLMANIJERtSON. Rings of Continuous
13 ANDERSON/FULLER. Rings and Categories Functions.
of Modules. 2nd ed. 44 KENDIG. Elementary Algebraic Geometry.
14 GOLUBITSKY/GUILLEMIN. Stable Mappings 45 LOEVE. Probability Theory I. 4th ed.
and Their Singularities. 46 LOEVE. Probability Theory II. 4th ed.
15 BERBERIAN. Lectures in Functional 47 MOISE. Geometric Topology in
Analysis and Operator Theory. Dimensions 2 and 3.
16 WINTER. The Structure of Fields. 48 SACHS!Wu. General Relativity for
17 ROSENBLATT. Random Processes. 2nd ed. Mathematicians.
18 HALMOS. Measure Theory. 49 GRUENBERG/WEIR. Linear Geometry.
19 HALMOS. A Hilbert Space Problem Book. 2nded.
2nd ed. 50 EDWARDS. Fermat's Last Theorem.
20 HUSEMOLLER. Fibre Bundles. 3rd ed. 51 KLINGENBERG. A Course in Differential
21 HUMPHREYS. Linear Algebraic Groups. Geometry.
22 BARNESIMAcK. An Algebraic Introduction 52 HARTSHORNE. Algebraic Geometry.
to Mathematical Logic. 53 MANIN. A Course in Mathematical Logic.
23 GREUB. Linear Algebra. 4th ed. 54 GRAVERIW ATKINS. Combinatorics with
24 HOLMES. Geometric Functional Analysis Emphasis on the Theory of Graphs.
and Its Applications. 55 BROWN/PEARCY. Introduction to Operator
25 HEwm/STROMBERG. Real and Abstract Theory I: Elements of Functional
Analysis. Analysis.
26 MANES. Algebraic Theories. 56 MAssEY. Algebraic Topology: An
27 KELLEY. General Topology. Introduction.
28 ZARisKriSAMUEL. Commutative Algebra. 57 CROWELL/Fox. Introduction to Knot
Vol.I. Theory.
29 ZARISKriSAMUEL. Commutative Algebra. 58 KOBLITZ. p-adic Numbers, p-adic
Voi.II. Analysis, and Zeta-Functions. 2nd ed.
30 JACOBSON. Lectures in Abstract Algebra I. 59 LANG. Cyclotomic Fields.
Basic Concepts. 60 ARNOLD. Mathematical Methods in
31 JACOBSON. Lectures in Abstract Algebra IL Classical Mechanics. 2nd ed.
Linear Algebra. 61 WHITEHEAD. Elements of Homotopy
32 JACOBSON. Lectures in Abstract Algebra Theory.
IlL Theory of Fields and Galois Theory.
(continued after index)
Melvyn B. Nathanson
Elementary Methods in
Number Theory
Springer
Melvyn B. Nathanson
Department of Mathematics
Lehman College (CUNY)
Bronx, NY 10468
USA
[email protected]
Editorial Board
S. Axler F.W. Gehring K.A. Ribet
Mathematics Department Mathematics Department Mathematics Department
San Francisco State University East Hall University of California
San Francisco, CA 94132 University of Michigan Berkeley, CA 94720-3840
USA Ann Arbor, MI 48109 USA
USA
Mathematics Subject Classification (1991): 11-01
Library of Congress Cataloging-in-Publication Data
Nathanson, Melvyn B. (Melvyn Bernard), 1944-
Elementary methods in number theory I Melvyn B. Nathanson.
p. cm.-(Graduate texts in mathematics; 195)
Includes bibliographical references and index.
ISBN 0-387-98912-9 (hardcover: alk. paper)
1. Number theory. I. Title. II. Series.
QA24l.N3475 2000
512'.7-dc21 99-42812
©2000 Melvyn B. Nathanson.
All rights reserved. This work may not be translated or copied in whole or in part without the
written permission of the publisher (Springer-Verlag New York, Inc., 175 Fifth Avenue, New York,
NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in
connection with any form of information storage and retrieval, electronic adaptation, computer
software, or by similar or dissimilar methodology now known or hereafter developed is forbidden.
The use of general descriptive names, trade names, trademarks, etc., in this publication, even if the
former are not epecially identified, is not to be taken as a sign that such names, as understood by the
Trade Marks and Merchandise Marks Act, may be accordingly used freely by anyone.
ISBN 0-387-98912-9 Springer-Verlag New York Berlin Heidelberg SPIN 10742484
To Paul Erd˝os,
1913–1996,
a friend and collaborator for 25 years, and a
master of elementary methods in number theory.
Preface
Arithmetic is where numbers run across your mind looking for
the answer.
Arithmetic is like numbers spinning in your head faster and
faster until you blow up with the answer.
KABOOM!!!
Then you sit back down and begin the next problem.
Alexander Nathanson [99]
Thisbook,Elementary Methods in Number Theory,isdividedintothree
parts.
Part I, “A first course in number theory,” is a basic introduction to el-
ementary number theory for undergraduate and graduate students with
no previous knowledge of the subject. The only prerequisites are a little
calculus and algebra, and the imagination and perseverance to follow a
mathematical argument. The main topics are divisibility and congruences.
WeproveGauss’slawofquadraticreciprocity,andwedeterminethemoduli
for which primitive roots exist. There is an introduction to Fourier anal-
ysis on finite abelian groups, with applications to Gauss sums. A chapter
is devoted to the abc conjecture, a simply stated but profound assertion
about the relationship between the additive and multiplicative properties
of integers that is a major unsolved problem in number theory.
The “first course” contains all of the results in number theory that are
neededtounderstandtheauthor’sgraduatetexts,AdditiveNumberTheory:
The Classical Bases [104] and Additive Number Theory: Inverse Problems
and the Geometry of Sumsets [103].
viii Preface
Thesecondandthirdpartsofthisbookaremoredifficultthanthe“first
course,” and require an undergraduate course in advanced calculus or real
analysis.
Part II is concerned with prime numbers, divisors, and other topics in
multiplicative number theory. After deriving properties of the basic arith-
metic functions, we obtain important results about divisor functions, and
weprovetheclassicaltheoremsofChebyshevandMertensonthedistribu-
tionofprimenumbers.Finally,wegiveelementaryproofsoftwoofthemost
famous results in mathematics, the prime number theorem, which states
that the number of primes up to x is asymptotically equal to x/logx, and
Dirichlet’s theorem on the infinitude of primes in arithmetic progressions.
PartIII,“Threeproblemsinadditivenumbertheory,”isanintroduction
tosomeclassicalproblemsabouttheadditivestructureoftheintegers.The
first additive problem is Waring’s problem, the statement that, for every
integer k ≥ 2, every nonnegative integer can be represented as the sum
of a bounded number of kth powers. More generally, let f(x) = a xk +
k
ak−1xk−1+···+a0 beaninteger-valuedpolynomialwithak >0suchthat
the integers in the set A(f) = {f(x) : x = 0,1,2,...} have no common
divisor greater than one. Waring’s problem for polynomials states that
every sufficiently large integer can be represented as the sum of a bounded
number of elements of A(f).
The second additive problem is sums of squares. For every s ≥ 1 we
denote by R (n) the number of representations of the integer n as a sum
s
of s squares, that is, the number of solutions of the equation
n=x2+···+x2
1 s
in integers x ,...,x . The shape of the function R (n) depends on the
1 s s
parity of s. In this book we derive formulae for R (n) for certain even
s
values of s, in particular, for s=2,4,6,8, and 10.
The third additive problem is the asymptotics of partition functions.
A partition of a positive integer n is a representation of n in the form
n = a + ··· + a , where the parts a ,...,a are positive integers and
1 k 1 k
a ≥···≥a . The partition function p(n) counts the number of partitions
1 k
of n. More generally, if A is any nonempty set of positive integers, the
partition function p (n) counts the number of partitions of n with parts
A
belonging to the set A. We shall determine the asymptotic growth of p(n)
and, more generally, of p (n) for any set A of integers of positive density.
A
This book contains many examples and exercises. By design, some of
the exercises require old-fashioned manipulations and computations with
pencilandpaper.Afewexercisesrequireacalculator.Numbertheory,after
all, begins with the positive integers, and students should get to know and
love them.
Thisbookisalsoanintroductiontothesubjectof“elementarymethods
in analytic number theory.” The theorems in this book are simple state-
ments about integers, but the standard proofs require contour integration,
Preface ix
modular functions, estimates of exponential sums, and other tools of com-
plex analysis. This is not unfair. In mathematics, when we want to prove a
theorem, we may use any method. The rule is “no holds barred.” It is OK
to use complex variables, algebraic geometry, cohomology theory, and the
kitchensinktoobtainaproof.Butonceatheoremisproved,onceweknow
that it is true, particularly if it is a simply stated and easily understood
fact about the natural numbers, then we may want to find another proof,
one that uses only “elementary arguments” from number theory. Elemen-
tary proofs are not better than other proofs, nor are they necessarily easy.
Indeed,theyareoftentechnicallydifficult,buttheydosatisfytheaesthetic
boundary condition that they use only arithmetic arguments.
This book contains elementary proofs of some deep results in number
theory. We give the Erd˝os-Selberg proof of the prime number theorem,
Linnik’s solution of Waring’s problem, Liouville’s still mysterious method
to obtain explicit formulae for the number of representations of an integer
as the sum of an even number of squares, and Erd˝os’s method to obtain
asymptoticestimatesforpartitionfunctions.Someoftheseproofshavenot
previously appeared in a text. Indeed, many results in this book are new.
Number theory is an ancient subject, but we still cannot answer the
simplest and most natural questions about the integers. Important, easily
stated,butstillunsolvedproblemsappearthroughoutthebook.Youshould
think about them and try to solve them.
Melvyn B. Nathanson1
Maplewood, New Jersey
November 1, 1999
1SupportedinpartbygrantsfromthePSC-CUNYResearchAwardProgramandthe
NSAMathematicalSciencesProgram.ThisbookwascompletedwhileIwasvisitingthe
InstituteforAdvancedStudyinPrinceton,andIthanktheInstituteforitshospitality.
IalsothankJacobSturmformanyhelpfuldiscussionsaboutpartsofthisbook.
Notation and Conventions
We denote the set of positive integers (also called the natural numbers) by
N and the set of nonnegative integers by N . The integer, rational, real,
0
and complex numbers are denoted by Z, Q, R, and C, respectively. The
absolute value of z ∈C is |z|. We denote by Zn the group of lattice points
in the n-dimensional Euclidean space Rn.
The integer part of the real number x, denoted by [x], is the largest
integer that is less than or equal to x. The fractional part of x is denoted
by {x}. Then x=[x]+{x}, where [x]∈Z, {x}∈R, and 0≤{x}<1. In
computer science, the integer part of x is often called the floor of x, and
denoted by (cid:4)x(cid:5). The smallest integer that is greater than or equal to x is
called the ceiling of x and denoted by (cid:6)x(cid:7).
We adopt the standard convention that an empty sum of numbers is
equal to 0 and an empty product is equal to 1. Similarly, an empty union
of subsets of a set X is equal to the empty set, and an empty intersection
is equal to X.
We denote the cardinality of the set X by |X|. The largest element in a
finite set of numbers is denoted by max(X) and the smallest is denoted by
min(X).
Letaanddbeintegers.Wewrited|aifddividesa,thatis,ifthereexists
an integer q such that a = dq. The integers a and b are called congruent
modulo m, denoted by a≡b (mod m), if m divides a−b.
A prime number is an integer p > 1 whose only divisors are 1 and p.
The set of prime numbers is denoted by P, and p is the kth prime. Thus,
k
p =2,p =3,...,p =31,.... Let p be a prime number. We write pr(cid:9)n
1 2 11