Other Books on the Subject of Proofs and Mathematical Writing 175An interesting and useful book for a quick review of mathematicalterms is the well-known Mathematics Dictionary by Glenn James andRobert C. James (Chapman & Hall, 1992).A book that goes to the roots of mathematical words is Vie Wordsof Mathematics: An Etymological Dictionary of Mathematical Terms Usedin English, by Steven Schwartzman (The Mathematical Association ofAmerica, 1994).The following books offer suggestions on writing mathematical material:Alley, M., The Craft of Scientific Writing, Springer-Verlag, Berlin/New York,1996.Countryman, J., Writing To l£arn Mathematics, Heinemann, Portsmouth,NH, 1992.Gerver, R., Writing Research Papers: Enrichment for Math Enthusiasts,Key Curriculum Press, 1997.Gillman, L., Writing Mathematics Well, Mathematical Association ofAmerica, Washington, D.C., 1987.Higham, N. J., Handbook of Writing for the Mathematical Sciences, Societyfor Industrial and Applied Mathematics, Philadelphia, PA, 1993.Knuth, D. E., Larrabee, T., and Roberts, P. M., Mathematical Writing,Mathematical Association of America, Washington, D.C., 1989.Levine, A., Discovering Higher Mathematics: Four Habits of Highly EffectiveMathematicians, Academic Press, San Diego, CA, 2000. (This is a bookthat focuses on the processes of experimentation, conjecture, proof, andgeneralization, by using material form number theory, discrete mathematics,and combinatorics. The author also addresses some issues inwriting mathematics.)A multitude of books are available on how to use the tools of logic to solveproblems. Here is a brief (and thus incomplete) hst of them:Daepp, U. and Garkin, P., Reading, Writing and Proving: A Closer look atMathematics, Springer-Verlag, Beriin/New York, 2003.Engel, A., Problem Solving Strategies, Springer-Verlag, Berlin/New York,1998.Larson, L.C., Problem Solving Through Problems, Springer-Verlag,Berlin/New York, 1983.Lozansky, E. and Rousseau, C, Winning Solutions, Problem Books inMathematics, Springer-Verlag, Berhn/New York, 1996.Vakil, R., A Mathematical Mosaic: Patterns and Problem Solving,Brendan Kelly PubUshing, 1997.
176 The Nuts and Bolts of Proof, Third EditionWilliams, K. S. and Hardy, K., The Red Book of Mathematical Problems,Dover, New York, 1996.Williams, K. S., Hardy, K. The Green Book of Mathematical Problems,Dover, New York, 1997.Zeitz, P., The Art and Craft of Problem Solving, John Wiley & Sons,New York, 1999.A book to enjoy after mastering the basics of mathematical proofsis Proofs from the Book, 3rd ed., by M. Aigner and G. Ziegler(Springer-Verlag, 2003).
- Page 2 and 3:
The Nuts and Bolts of ProofsThird E
- Page 4 and 5:
The Nuts and Bolts of ProofsThird E
- Page 6 and 7:
List of SymbolsNatural or counting
- Page 8 and 9:
List of Symbolsvii(relatively prime
- Page 10 and 11:
ContentsList of Symbols vPreface xi
- Page 12 and 13:
PrefaceThis book is addressed to th
- Page 14 and 15:
Introduction and BasicTerminologyHa
- Page 16 and 17:
Introduction and Basic Terminology
- Page 18 and 19:
General SuggestionsThe first step,
- Page 20 and 21:
Introduction and Basic Terminology
- Page 22 and 23:
Basic Techniques To ProveIf/Then St
- Page 24 and 25:
Introduction and Basic Terminology
- Page 26 and 27:
Introduction and Basic Terminology
- Page 28 and 29:
Introduction and Basic Terminology
- Page 30 and 31:
Introduction and Basic Terminology
- Page 32 and 33:
Introduction and Basic Terminology
- Page 34 and 35:
Introduction and Basic Terminology
- Page 36 and 37:
Introduction and Basic Terminology
- Page 38 and 39:
Introduction and Basic Terminology
- Page 40 and 41:
Introduction and Basic Terminology
- Page 42 and 43:
Introduction and Basic Terminology
- Page 44 and 45:
Introduction and Basic Terminology
- Page 46 and 47:
Introduction and Basic Terminology
- Page 48 and 49:
special Kinds of TheoremsThere are
- Page 50 and 51:
Special Kinds of Theorems 37Parti.
- Page 52 and 53:
Special Kinds of Theorems39Diagram
- Page 54 and 55:
Special Kinds of Theorems 41anda <
- Page 56 and 57:
Special Kinds of Theorems 43Suppose
- Page 58 and 59:
Special Kinds of Theorems 45and^aix
- Page 60 and 61:
Special Kinds of Theorems 47EXAMPLE
- Page 62 and 63:
Special Kinds of Theorems 493. Usin
- Page 64 and 65:
Special Kinds of Theorems 51use the
- Page 66 and 67:
Special Kinds of Theorems 53As both
- Page 68 and 69:
Special Kinds of Theorems 55Using t
- Page 70 and 71:
Special Kinds of Theorems 57If we s
- Page 72 and 73:
Special Kinds of Theorems 59B. Ther
- Page 74 and 75:
Special Kinds of Theorems 61EXERCIS
- Page 76 and 77:
Special Kinds of Theorems 63EXAMPLE
- Page 78 and 79:
Special Kinds of Theorems 65If /c >
- Page 80 and 81:
Special Kinds of Theorems 67for all
- Page 82 and 83:
Special Kinds of Theorems 69conside
- Page 84 and 85:
Special Kinds of Theorems 71To cons
- Page 86 and 87:
Special Kinds of Theorems 73We will
- Page 88 and 89:
Special Kinds of Theorems 75both A
- Page 90 and 91:
Special Kinds of Theorems 773. Prov
- Page 92 and 93:
Special Kinds of Theorems 79(For de
- Page 94 and 95:
Special Kinds of Theorems 81This im
- Page 96 and 97:
Special Kinds of Theorems 83Let us
- Page 98 and 99:
Special Kinds of Theorems 85Indeed,
- Page 100 and 101:
Special Kinds of Theorems 87of the
- Page 102 and 103:
Special Kinds of Theorems 89where p
- Page 104 and 105:
Special Kinds of Theorems 91which h
- Page 106 and 107:
Special Kinds of Theorems 93Thus, w
- Page 108 and 109:
Special Kinds of Theorems 95The exi
- Page 110 and 111:
Special Kinds of Theorems 97Thus,\x
- Page 112 and 113:
Special Kinds of Theorems2n-lpEXAMP
- Page 114 and 115:
Special Kinds of Theorems 101that l
- Page 116 and 117:
Review ExercisesDiscuss the truth o
- Page 118 and 119:
Review Exercises 10519. Let y4 be a
- Page 120 and 121:
Exercises Without SolutionsDiscuss
- Page 122 and 123:
Exercises Without Solutions 10922.
- Page 124 and 125:
Exercises Without Solutions 111(b)
- Page 126 and 127:
Exercises Without Solutions 113(Thi
- Page 128 and 129:
Collection of ProofsThe following c
- Page 130 and 131:
Collection of Proofs 117Alleged Pro
- Page 132 and 133:
Collection of Proofs 119where k is
- Page 134 and 135:
Collection of Proofs 121THEOREM 10.
- Page 136 and 137:
Solutions for the Exercises atthe E
- Page 138 and 139: Solutions for the Exercises at the
- Page 140 and 141: Solutions for the Exercises at the
- Page 142 and 143: Solutions for the Exercises at the
- Page 144 and 145: Solutions for the Exercises at the
- Page 146 and 147: Solutions for the Exercises at the
- Page 148 and 149: Solutions for the Exercises at the
- Page 150 and 151: Solutions for the Exercises at the
- Page 152 and 153: Solutions for the Exercises at the
- Page 154 and 155: Solutions for the Exercises at the
- Page 156 and 157: Solutions for the Exercises at the
- Page 158 and 159: Solutions for the Exercises at the
- Page 160 and 161: Solutions for the Exercises at the
- Page 162 and 163: Solutions for the Exercises at the
- Page 164 and 165: Solutions for the Exercises at the
- Page 166 and 167: Solutions for the Exercises at the
- Page 168 and 169: Solutions for the Exercises at the
- Page 170 and 171: Solutions for the Exercises at the
- Page 172 and 173: Solutions for the Exercises at the
- Page 174 and 175: Solutions for the Exercises at the
- Page 176 and 177: Solutions for the Exercises at the
- Page 178 and 179: Solutions for the Exercises at the
- Page 180 and 181: Solutions for the Exercises at the
- Page 182 and 183: Solutions for the Exercises at the
- Page 184 and 185: Solutions for the Exercises at the
- Page 186 and 187: Other Books on theSubject of Proofs
- Page 190 and 191: IndexAlgorithms, Division, 16Argume
- Page 192 and 193: Index 179TTerm, 99Theoremsbasic hyp