Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition is your guide to textbook mastery, offering detailed solutions to every chapter's exercises.

Max Martinez
Contributor
4.6
38
10 months ago
Preview (16 of 98 Pages)
100%
Log in to unlock

Page 1

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 1 preview image

Loading page ...

solutions MAnuAlFoRA Concise Introductionto Pure Mathematics,Fourth EditionMartinliebeckbyK25658_SM_Cover.indd117/12/151:17 pm

Page 2

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 2 preview image

Loading page ...

Page 3

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 3 preview image

Loading page ...

Chapter 1Solutions1.TTFTFFTFT2.(a) Notice thatB={x|xreal,2<x<2}andD={0}. So the only pair,neither of which is contained in the other, isD,E.(b)Xcannot beD, but could beB,CorE.3.(a) Not valid.(b) Valid. LetCbe the statement “I eat chocolate” andDthe statement “Iam depressed”. We are givenCD. Therefore ¯D¯C. We are told that ¯Distrue, so I am not eating chocolate.(Actually I am, it’s delicious.)(c) Valid.LetEbe the statement “movie was made in England”,Wbe“movie is worth seeing”,Ibe “movie reviewed by Ivor”. Then we are given¯W¯EandWI. Hence ¯I¯W¯E. Therefore the movie was not made inEngland.4.The implications between these statements are (a)(d)(e).5.(a) True(b) False(c) False(d) False: for example ifa=b=2 thenabis a square buta,bare not.(e) True: ifa,bare squares thena=m2,b=n2withm,nintegers, soab=m2n2= (mn)2, a square.6.(a) By contradiction: suppose621.Squaring both sides gives6+22121, hence 7212, hence 4948, a contradiction. Therefore62>1.(b) Supposen2is even. Ifnis odd thenn2is odd, by Example 1.2. Hencen1K25658_SM_Cover.indd517/12/151:17 pm

Page 4

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 4 preview image

Loading page ...

2SOLUTIONS TO CHAPTER 1cannot be odd, sonis even.(c) Observe thatm3m=m(m21) = (m1)m(m+1), a product of threeconsecutive integers. Of three consecutive integers, exactly one must be divis-ible by 3, and at least one must be even. Hence their product is divisible by3×2=6.7.We produce counterexamples to each of these statements:(a) 242=14 is not divisible by 4.Hence the statement is false whenn=2,k=4.(b) 7 is not the sum of three squares.8.We are given that 8881 is not a prime, so there are integersa,bgreater than1 such that 8881=ab. Choose such a factorization withaas small as possible.Thenais prime (otherwise it would have a smaller factor, contradicting thechoice ofabeing as small as possible). Alsoab, so 8881=aba2, andsoa8881. Since 972>8881, this implies thata<97, and since the nextprime down from 97 is 89, this means thata89.9.(a) Negation:nZsuch thatnis a prime number andnis even. Thisnegation is true, asn=2 is an even prime.(b) Negation:nZsuch thata,b,c,d,e,f,g,h,Z,n=a3+b3+c3+d3+e3+f3+g3+h3.The original statement is true — i.e. every integer is the sum of 8 cubes. Thisis tricky to prove. Here is a proof.Letnbe any integer. By Q6(c),n3nis a multiple of 6. Writen3n=6xwithxZ. Observe that(x+1)3+ (x1)3=2x3+6x, and hencen=n36x=n3(x+1)3(x1)3+2x3.Thusnis in fact the sum of 5 cubes.(Notice that it is crucial in this proof to allow negative cubes. If we insist onall of the cubesa3, . . . ,h3beingnon-negative(i.e.a0, . . . ,h0), then thenegation is true — for example, 23 is not the sum of 8 non-negative cubes.)(c) Negation:xZ,nZsuch thatx=n2+2. This negation is false,for examplex=4 is not of the formn2+2. So the original statement is true.(d) Negation:xZ,nZsuch thatx=n+2. This negation is true: taken=x2.(e) Negation:y∈ {x|xZ,x1}such that 5y2+5y+1 is not prime. Thisnegation is true: e.g. ify=12 then 5y2+5y+1=781, which is not prime asit is a multiple of 11.K25658_SM_Cover.indd617/12/151:17 pm

Page 5

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 5 preview image

Loading page ...

SOLUTIONS TO CHAPTER 13(f) Negation:y∈ {x|xZ,x2<0}such that 5y2+5y+1 is not prime.This negation is false, as the set in question is the empty set. So the originalstatement is true.10.Letxbe a real number which is less than every positive real number.Suppose for a contradiction thatxis positive, i.e.x>0. Thenx>12x>0.But this means thatxisnotless than the positive real number12x, which is acontradiction. Thereforexcannot be positive.11.(a) Letx=a1. Thenax=3. Sinceax>ax1> ... >a11, it follows thatx3. Easily see that onlyx=2 is possible. Thusa1=2.(b) Sincea1=2, havea2=aa1=3, and thena3=aa2=6. Thereforea6=aa3=9. Asa3<a4<a5<a6, follows thata4=7,a5=8. Thena7=aa4=12,a8=15,a9=18.(c) Work as in (b) to see thata10,a11, ....is19,20,21,22,23,24,25,26,27,30,33,36,39,42,45,48,51,54,55,56, ......,81,84,87, ....,162,163,164, ....,243,246,249, .....and so on. In particular,a100=181.K25658_SM_Cover.indd717/12/151:17 pm

Page 6

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 6 preview image

Loading page ...

K25658_SM_Cover.indd817/12/151:17 pm

Page 7

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 7 preview image

Loading page ...

Chapter 2Solutions1.(a) By contradiction. Suppose3 is rational, so3=mnwherem,nareintegers andmnis in lowest terms.Squaring, we getm2=3n2.Thusm2isa multiple of 3, and so by Example 1.3,mis a multiple of 3.This meansm=3kfor some integerk. Then 3n2=m2=9k2, son2=3k2. Thereforen2is a multiple of 3, hence so isn. We have now shown that bothmandnaremultiples of 3. Butmnis in lowest terms, so this is a contradiction. Therefore3 is irrational.(b) By contradiction again. Suppose3=r+s2 withr,srational. Squar-ing, we get 3=r2+2s2+2rs2. Ifrs=0 this gives2=3r22s22rs. Sincer,sare rational this implies that2 is rational, which is a contradiction. Hencers=0. Ifs=0 thenr2=3, sor=3, contradicting the fact that3 is irra-tional by (a). Thereforer=0 and 3=2s2. Writings=mnin lowest terms, wehave 3n2=2m2. Now the proof of Proposition 2.3 shows thatmandnmustboth be even, which is a contradiction.2.(a) Supposex=2+3/2 is rational. Thenx2=2+32+23, hence3=12(x272). Asxis rational this implies3 is rational, a contradiction byQ1(a). Hence2+3/2 is irrational.(b) By (a), 1+2+3/2 is the sum of a rational and an irrational, henceis irrational by Proposition 2.4(i).(c) We have 21838+4=6262+2=2, which is rational.(d) Letx=2+3+5. Then(x2)2= (3+5)2, which givesx26215=2x2. Squaring again,(x26)2+604(x26)15=8x2,hence15= ((x26)28x2+60)/4(x26). Therefore ifxis rational, thenso is15. But15 is irrational by the hint in the question. Hence so isx.(e) This is sneaky one. Observe that(2+3)2=5+26, so5+26=2+3, and hence2+35+26=0, which is rational.5K25658_SM_Cover.indd917/12/151:17 pm

Page 8

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 8 preview image

Loading page ...

6SOLUTIONS TO CHAPTER 23.(a) True: ifx=m/nandy=p/qare rational, so isxy=mp/nq.(b) False: for a counterexample take the irrationals2 and2.Theirproduct is2, which is rational.(c) False: the product of the two irrationals2 and 1+2 is2+2, whichis irrational.(d) True: we prove it by contradiction. Suppose there is a rationala=0 andan irrationalbsuch thatc=abis rational. Thenb=ca, and sinceaandcarerational, this implies thatbis rational, a contradiction.4.(a) Letc=x+ax+band supposecis rational. Thenx+a=c(x+b), whichgivesx(c1) =abc. Ifc=1 thenx=abcc1, which is rational sincea,b,care rational. Asxis irrational, this implies thatc=1, hencea=b.(b) Letc=x2+x+2y2+y+2and supposecis rational. Multiplying up gives2(c1) =x2+xcy2cy. Ifc=1 this gives2=x2+xcy2cyc1, which is rational.Hencec=1, which impliesx2+x=y2+y. This yields(xy)(x+y+1) =0,hence eitherx=yorx+y=1.5.By contradiction. Letα=2+n, and supposeαis rational. Thenα2=n. Squaring both sides,α2+22α2=n, so 2α2=α2+2n.Since clearlyα=0, we can divide through by 2αto get2= (α2+2n)/2α.Asαis rational, this implies that2 is rational, which is a contradiction.Henceαis irrational.6.Letaandbbe two different real numbers withb>a. Choose a positiveintegernsuch thatba>1n.Then there is a rational of the formmnlyingbetweenaandb.Also, choose a positive integermsuch thatba>2m.Then there is anumber of the formk2mlying betweenaandb, wherekis an integer; byProposition 2.4(ii),k2mis irrational unlessk=0, in which casea<0 andb>0 and we apply the above argument replacingaby 0.7.Letan=n2+n+2. Thena2n= (n2)+(n+2)+2(n2)(n+2) =2n+2n24. We are given thatanis an integer. This impliesn24 is ra-tional. By the hint given, this means thatn24 must be a perfect square, i.e.n24=m2for some integerm. Thenn2m2=4. Staring at the list of squares0,1,4,9,16, . . ., we see that the only way the two squaresn2,m2can differ by4 is to haven2=4,m2=0. Hencen=2, soan=2.8.Letr,b,gbe the numbers of red, blue and green salamanders at some pointin time. If a red and a green meet, these numbers change tor1,b+2,g1, soK25658_SM_Cover.indd1017/12/151:17 pm

Page 9

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 9 preview image

Loading page ...

SOLUTIONS TO CHAPTER 27the difference betweenbandris increased by 3; if two reds meet, the numberschange tor2,b+1,g+1, and again the difference betweenbandrincreasesby 3; and so on — you can easily check that whenever two salamanders meet,the difference betweenbandreither stays the same, or increases or decreasesby 3.Initially,rbis 157=8.This cannot be changed by adding andsubtracting multiples of 3 to 300=30. Hence it is not possible for all thesalamanders to be red at some point.K25658_SM_Cover.indd1117/12/151:17 pm

Page 10

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 10 preview image

Loading page ...

K25658_SM_Cover.indd1217/12/151:17 pm

Page 11

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 11 preview image

Loading page ...

Chapter 3Solutions1.1812999.2.We know that2 is irrational. By Proposition 3.5, periodic decimal expres-sions are rational, hence irrationals have non-periodic decimal expressions.Therefore2 is non-periodic.3.(a) This number is 0.12340123401234....which is periodic, hence rational.(b) Suppose the given number is rational.Then the decimal must be pe-riodic, so for somenthere is a sequencea1a2...anofndigits which repeatsitself. But if we go far enough along the decimal, there will be a sequence ofat least 2nconsecutive zeroes. The sequencea1a2...anmust appear within thissequence of zeroes, hence must be just 000...0. This means the decimal ends0000....(going on for ever), which is plainly false. Hence (by contradiction)the number is irrational.(c) This is 1.1001000010000001..... There are ever-increasing sequences ofzeroes, so the argument for (b) shows that this number is irrational.4.Letαbe the cube root of 2.Since(1.25)3= (54)3=12564<2, we knowα>1.25.Also(1.3)3>2, soα<1.3.Thereforeαis 1.3, correct to 1decimal place.5.Letx=1009899. It’s easy to check that 100+x+100x=10000x. Writing thisequation out in full, using the fact thatx=0.010102. . ., and spacing it out abit to make the point, we get100+0.01 01 02 03 05...+1.01 02 03 05 08...=101.02 03 05 08 13...9K25658_SM_Cover.indd1317/12/151:17 pm

Page 12

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 12 preview image

Loading page ...

10SOLUTIONS TO CHAPTER 3You can see that, at least near the beginning of the decimal expansion ofx,the numbers formed by looking at successive pairs of digits are being forcedto obey the rule defining the Fibonacci sequence. Eventually one has to startcarrying digits and the whole thing goes wrong, but it does work for a while(in fact up to the term 55 in the Fibonacci sequence).If you try for examplex=1000/998999, then it works for even longer.6.Consider the proof of Proposition 3.4. If one of the remainders is 0, then thedecimal expression ends with repeated zeroes and the period is 1. If not, theremainders are all among 1,2, . . . ,n1, and so the period is at mostn1.The first fewnfor which the period isn1 aren=2,7,17,19,23,29. Noticethat they are prime numbers! You will find an explanation for this in Chapter26 (see Proposition 26.8 and Exercise 14).7.Supposex=mnis a rational which has decimal expression ending in repeat-ing zeroes. Sayx=a0.a1a2. . .ak000. . .. Thenx=A10k, whereAis an integer(in factA=ak+10ak1+. . .+10ka0). Sox=A2k5k. Cancelling out commonfactors ofAand 2k5k, we see that the denominatornis of the form 2a5b.Conversely, ifn=2a5b, thenmnis equal top10kfor some integersp,k, sothe decimal expression formnhas repeating zeroes from thek+1thposition atleast.8.Suppose1nhas decimal expansion of period 1, and letrbe the repeatingdigit in the decimal, repeating from thek+1thdecimal place.Then as inthe previous solution,1n=A10k+r910k1. So the denominatornmust divide9·10k+1. Hencen=2a5b3cwherea,bare arbitrary andc2. Conversely, forsuch numbersnthe period of1nis 1.K25658_SM_Cover.indd1417/12/151:17 pm

Page 13

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 13 preview image

Loading page ...

Chapter 4Solutions1.(50)3/4(52)1/2= (2.52)3/4(5.21/2)1/2=23/453/251/221/4=2151=10.2.This is again 10.3.2617; 3(3332).4.21/231/3= (23)1/6(32)1/6= (2332)1/6. So taken=72,t=1/6.5.Note that 10000100= (1002)100=100200. So 10010000is bigger.Suppose 21/231/3. Taking 6th powers, this implies 2332, which is false.Hence 21/2<31/3.6.Squaring both sides givesx+(22x)2x1/2(22x)1/2=1, hence 2x1/2(22x)1/2=x+1; squaring again gives 4x(22x) =x22x+1, hence 9x210x+1=0, which has solutionsx=1 andx=19. Of these, onlyx=1 satisfiesthe original equation.7.x+y2xy(x+y)24xyx2+y2+2xy4xy(xy)20, whichis true. Equality holds whenx=y.8.Takea=b=2,c=3 andd=2,e=1,f=any.8.Taking sixth powers of both sides of the equationy4/3=x5/6givesy8=x5.Hencey=25,x=28is a solution. It is the smallest solution, since if 1<y<25andyis an integer, thenx=y8/5is not an integer.So the bill was£512.32. Pretty expensive meal.11K25658_SM_Cover.indd1517/12/151:17 pm

Page 14

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 14 preview image

Loading page ...

K25658_SM_Cover.indd1617/12/151:17 pm

Page 15

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 15 preview image

Loading page ...

Chapter 5Solutions1.Ify<0 theny>0, sox.(y)>0, hencexy>0, hencexy<0.Ifa>b>0 thenab>0,1a>0 and1b>0 (using Example 4.4). Hence theproduct(ab).1a.1b>0. This meansabab>0, so1b1a>0, so1b>1a.2.The inequality isx2+x+1x12x10, which isx2(2x+1)2x10. This is trueprovidedx≤ −12orx>12orx=0.3.This translates to 3x24x+1<0, which is(3x1)(x1)<0, which istrue provided13<x<1.4.(a) The inequality is the same as 2x+1x3<0, i.e.2x23x+1x<0. Factoring,this is(2x1)(x1)x<0. So for the inequality to hold, either one or three of thenumbers 2x1,x1,xmust be negative. This holds precisely whenx<0 or12<x<1.(b) By the formula for the roots of a quadratic, there are two distinct realsolutions if and only if “b24ac>0”, that is,t212>0. This occurs whent>12 ort<12.5.Inequality translates to(u1)(v1)1+uv>0, which is true if 0<u,v<1. Theother ranges for which it is true are:u,v>1; oru,v<1 anduv>1; oru<1,v>1 anduv<1; oru>1,v<1 anduv<1.6.Ifx,y0 then|x|=x,|y|=yand|xy|=xy=|x| |y|. Ifx0,y<0 then|x|=x,|y|=yand|xy|=xy=|x| |y|. The other cases are similar.7.(i) The inequality says eitherx+51 orx+5≤ −1, i.e. eitherx≥ −4 orx≤ −6.(ii) The inequality is true if and only if(x+5)2>(x2)2, i.e.x2+10x+13K25658_SM_Cover.indd1717/12/151:17 pm

Page 16

Solution Manual for Concise Introduction To Pure Mathematics, 4th Edition - Page 16 preview image

Loading page ...

14SOLUTIONS TO CHAPTER 525>x24x+4, i.e.x>32.(iii) Note thatx2+2x+3= (x+1)2+2, which is always positive, so theright hand side of the inequality is alwaysx2+2x+3.Whenx≥ −5, theinequality isx2+2x+3>x+5, i.e.(x+2)(x1)>0, which is true providedx>1 orx<2. And whenx<5 the inequality isx2+2x+3>x5, i.e.x2+3x+8>0, which is always true. Hence the range for which the inequalityholds isx>1 orx<2.8.Letx,ybe the sides of a rectangle of areaA=xy. The perimeterPis 2(x+y).By Example 5.14,P4xy=4A. The perimeter of a square of sideAisequal to 4A, so this is smallest possible perimeter.9.First apply Example 5.14 takingx= (a1a2)1/2,y= (a3a4)1/2, to get(a1a2a3a4)1/412((a1a2)1/2+ (a3a4)1/2).By Example 5.14,(a1a2)1/212(a1+a2)and(a3a4)1/212(a3+a4). Apply-ing these to the above inequality gives the result.To prove the Arithmetic-Geometric Mean Inequality forn=8, just repeatthe above argument:(a1a2. . .a8)1/812((a1. . .a4)1/4+ (a5. . .a8)1/4)by Example 5.1412(14(a1+· · ·+a4) +14(a5+· · ·+a8))=18(a1+· · ·+a8).Repeating this argument we can prove the Arithmetic-Geometric Mean In-equality for any case wherenis a power of 2.10.(i) In Question 9, takea1=x4,a2=a3=a4=y4.(ii) As in (i) we havex3y34x4+14y4. Add this to the inequality in (i).11.Squaring both sides ofx+y+z=0, we getx2+y2+z2+2(xy+yz+xz) =0. Hencexy+yz+xz=12(x2+y2+z2)0.12.Letnbe a 1000-digit number. Thenn10999. But the sum of the 1000thpowers of the digits ofnis at most 1000×91000, which is much smaller than10999. Soncannot be a Smallbrain number.Remark:Would this have worked for 100-digit numbers ? Where does thetrick stop working ?K25658_SM_Cover.indd1817/12/151:17 pm
Preview Mode

This document has 98 pages. Sign in to access the full document!