Professional Documents
Culture Documents
A Mathematical Mosaic 1895997046 Compress
A Mathematical Mosaic 1895997046 Compress
A MATHEMATICAL MOSAIC
//
by
R avi V akil
SEP 81998
Brendan Kelly Publishing Inc.
2122 Highview Drive
Burlington, Ontario L7R 3X4
ISBN 1-895997-04-6
Quantity discounts are available on bulk purchases of this book for educational
purposes or fund raising. For inform ation, please contact:
4
to ttz z m z m o z y o j m y ja tliE .z
5
athem atics is an intensely social
From helping to develop the original concept to suggesting final revisions, Brendan
Kelly transcended his role as publisher. This book has evolved during long
conversations with him, and his influence is visible on every page. I greatly
appreciate his creative vision and com m itm ent to this rather unorthodox project.
Finally, I must thank Alice Staveley o f Oxford University for her meticulous editorial
advice and endless patience.
6
Publisher’s Introduction
A Celebration o f the Human Intellect
well-known story from the folklore o f mathematical history tells how
A Archimedes bounded from his bathtub and ran naked through the streets
of ancient Greece yelling, “Eureka!” [I have found it]. Apparently a period
of intense meditation in the bathtub had provided the inspiration for A rchim edes’
discovery of the law of hydrostatics which now bears his name. W hether apocryphal
or authentic, this legend captures the ecstasy which accompanies a flash o f insight
into a deep problem. It is to those who relish the joy of mathematical discovery
that this book is dedicated. It is for those who chase relentlessly the thrill o f eureka
that this book is written.
Through the past three millennia, the mental giants of each generation have pitted
their problem solving skills against the m ost intractable problems to challenge the
human mind. W hen a problem yielded like a dragon to a deft sword, the successful
strategy was refined, polished, and added to the growing body o f intellectual
technique known as m athematics. One of the greatest problem solvers of all time,
Isaac Newton, characterized his favorite discoveries as “smoother pebbles or prettier
shells than ordinary ” . 1 From an assortm ent of the most beautiful pebbles and the
prettiest shells o f mathem atical technique, Ravi Vakil, author of this book, has
created an intriguing mosaic. It is a mosaic which links various branches of
mathematics through powerful overarching ideas. Ravi him self is a preem inent
problem solver, having won top honors on virtually every mathematics competition
and olym piad. His rem arkable achievem ents are outlined on page 9 and on the
back cover.
T hro u g h o u t this book, R avi Vakil pro files several other recent w inners o f
m athem atical competitions and olympiads: young people who have honed their
intellectual gifts to w orld class levels. As you read these human interest features,
you will observe that these fine young minds all share a passion for the eureka
sensation. It is som ething they all understand and something that bonds them
together in friendly collegial competitions.
7
/ do not know what I may appear to the world;
but to myself I seem to have been only like a
boy playing on the seashore, and diverting
myself in now and then finding a smoother
pebble or a prettier shell than ordinary, whilst
the great ocean o f truth lay all undiscovered
before me.
— Isaac Newton
Shout tfje Suttjor
PHOTO BY JEWEL RANDOLPH
avi Vakil's resume reads like a dictionary
During his undergraduate years at the University o f Toronto, Ravi raised his brilliant
achievem ents to new heights. In all four years he placed among the top five
com petitors in the prestigious North American Putnam M athematical Competition,
qualifying him as Putnam Fellow in each year. He graduated in 1992 with B. Sc.
and M. Sc. degrees; for his B. Sc., he was awarded the G overnor General's M edal
for the highest graduating marks at the University o f Toronto.
Ravi's extraordinary achievem ents have not prevented him from pursuing his many
other interests. These include squash, debating, student government, journalism ,
and A m nesty International. F or this breadth o f involvem ent he has received
num erous scholarships including the John H. M oss M em orial Fund Scholarship
for the best all-round graduating student at the University o f Toronto.
In spite o f these personal successes, Ravi Vakil is a com passionate person with an
eager w illingness to help others. He has worked extensively as a coach o f the
Canadian Team to the International M athem atical O lym piad from 1989 through
1995. H e is also co-founder o f M athem atical Mayhem, a mathematical problem
solving journal for high school and undergraduate students — the only student-run
journal o f its kind in the English-speaking world!
9
Jforetoorti
he public face o f mathematics is sometimes grey and utilitarian: math is a
This book does not purport to teach problem solving, although it might communicate
what is interesting and exciting about grappling with a problem. Instead, the reader
should be left with a large chunk o f mathematics to digest slowly.
You will also notice that, like any mosaic, this book conies in many small pieces o f
different sorts. It is loosely arranged in order o f difficulty, and the headers often
indicate the general them e o f the article. You m ight enjoy just starting with one
section which especially interests you; from there, you can skip to other sections
which link with your earlier choices. You will soon discover that ideas from one
field carry over into many others. And if you d o n ’t end up at a section that amazes
and perplexes you, I will be sorely disappointed.
10
M any sections end with some Food fo r Thought. M ore than just exercises, these
excursions are intended to be starting points for independent thinking. The material
beforehand will help, but often only tangentially. I have deliberately included
very few solutions. Indeed, often there is no single “correct” solution, and
som etim es the problem s are so open-ended that there is no way to completely
“finish” them. Don't try to solve every one; choose one or two that catch your eye
and think about them on and off for a few days. Success should not be defined by
how many problem s you solve, but by how many new ideas you have. And
remember: patience is a virtue.
Every so often throughout the book, references are mentioned. This is not to
intim idate you into reading many weighty tomes. Instead, they are there to provide
some ideas for further reading in case you find some field particularly interesting.
I have also included short profiles of interesting and talented young people who
have been involved in mathematics for many years. I have chosen them fairly
random ly from the large number o f fascinating people I have had the good fortune
to m eet through my involvem ent in mathematics education. Some o f them are
going on in mathematics (and indeed one has already made his name in the field),
while others are pursuing their interests in related subjects. Through these profiles,
I hope to share their unique perspectives on the joys of mathematics.
You w ill notice th a t th ese young peo p le have all done extrem ely w ell in
m athem atical com petitions; collectively they have won eleven Gold M edals at
International M athem atical Olympiads. In noting their achievements, I certainly
do not mean to im ply that com petitions are the only gateway to mathematics, or
that they are a necessary prerequisite to success in the field. M y selection merely
reflects the fact that my own involvem ent with young mathematicians has grown
out o f my association with mathematics competitions.
There is no background required to begin enjoying this book. You should be able
to pick up many o f the ideas as you go along. W hen you truly get stuck, ask a
friend or a teacher for help. You m ight be surprised at how much you learn! For
som e o f the later sections, a fam iliarity w ith m ore advanced ideas such as
mathem atical induction, indirect arguments, set theory, complex numbers, and even
calculus will be useful or even necessary, but the vast m ajority can be read with
nothing m ore than early high school mathem atics and a little chutzpah.
11
TABLE OF CONTENTS: Part I
Number Theory
Calculating Tricks o f the Trade 18
M ission Im possible 19
Calculating Prodigies and Idiot Savants 20
The M agic Birthday Predictor Cards 21
D ivisibility Rules 22
The Factor Theorem 26
M ore Com plicated Divisibility Tests 27
The Secret Behind the M agic Birthday Predictor Cards 30
M agic Squares 31
Two Theorem s about M agic Squares 35
Personal Profile: D o What You Enjoy! 40
Combinatorics
A M athem atical Card Trick 44
Counting the Faces o f Hypercubes 45
How the M athem atical Card Trick Works 51
The Water and W ine Puzzle 52
Questions A bout Soccer Balls 53
Personal Profile: Cracking Intractable Problems — That's a Big Buzz 54
Game Theory
The Theory o f Games 64
The Game o f Nim 66
Game Theory and Politics: Arrow's Theorem 68
H istorical Digression: Social Choice Theory 72
Elem entary My Dear Watson! 74
TABLE OF CONTENTS: Part I
Geometry
Historical Digression:
The M athematician Who Anticipated Calculus by Alm ost 2000 Years 78
Lengths, Areas, and Volumes: Arguments Both True & False 79
Part 1: The A rea o f a Circle 79
Part 2: The A rea o f a Segment o f a Parabola 79
Part 3: The Surface A rea o f a Sphere 80
Part 4: The Volume o f a Sphere 81
Archimedes Strikes Again 82
The Falling Ladder Problem 85
An Easy Proof that arctan 1/3 + arctan 1/2 = 45° 86
The Ailles Rectangle 87
Solution to the Ailles Rectangle Problem 88
Personal Profile: One o f the Purest Forms o f M ental Exercise 89
Combinatorics Revisited
Parity Problems: The World Series 92
The "Brute Force" Solution 93
The Elegant Solution 95
More Parity Problems 96
The Triangles of Pascal, Chu Shih-Chieh, and Sierpinski 98
Solutions to the Parity Problems 103
Chessboard Coloring
The Invention of Chess 106
A Chessboard Tiling Problem 107
A Solution to the Chessboard Tiling Problem 108
A Tetromino Tiling Problem 110
Another Chessboard Tiling Problem 11\
Solution to the Tetromino Tiling Problem 113
Personal Profile: A Sudden Flash o f Insight 114
TABLE OF CONTENTS: Part II
Number Theory Revisited
Numbers, Numbers, and M ore Numbers! 118
First Steps in N um ber Theory: Rational and Irrational Numbers 120
H istorical Digression: The M ost Famous Conjecture in M athematics 123
Prime Numbers in N um ber Theory 124
The Painted Lockers 127
G eom etry M eets N um ber Theory: Constructing Pythagorean Triples 128
A Strange Result in Base 2 and Base 5 131
A Rem arkable Coincidence?
O r An Even M ore Rem arkable N on-Coincidence? 132
H istorical Digression:
The Poor Clerk who K new Num bers on a First-Name Basis 133
Solution to the Painted Lockers Problem 134
Sum o f kP Powers 135
H istorical Digression: A M athem atical Genius o f the H ighest Order 137
Bernoulli Numbers 140
H istorical D igression: The Incredible B em ouilli Family 141
Personal Profile: Nothing M akes Me Less Aware o f the Passage o f Time 142
Geometry Revisited
A D o-It-Yourself P roof o f Heron's Formula 160
A Short Route to the Cosine Law 163
Solution to the Falling Ladder Problem 164
Locus Hokus Pokus 165
The Triangle Inequality: From "Common Sense" to Einstein 166
M ore Locus Hokus Pokus 173
A Short Question on Sym m etry 174
Infinity
The M athem atics o f the Birds and the Bee 176
An Early Encounter with the Infinite 177
The Flaw in Zeno's Paradox 178
The H arm onic Series 179
H istorical Digression: The H uman Com puter 184
A nsw er to the M athem atics o f the Birds and the Bee 184
TABLE OF CONTENTS: Part II
Game Theory Revisited
Sherlock Holmes' Secret Strategy 186
A Three-W ay Duel: W hy M ulti-Player Games are M uch H arder to A nalyze 187
Why Holmes' Strategy Works 189
How to Win at Nim 191
Concepts in Calculus
Historical Digression: The M an Who Solved the System o f the World 196
A Question of Continuity 198
An Integration by Parts Paradox 199
A nsw er to A Question o f Continuity 200
Dual Numbers 201
Personal Profile: A Big 'Yes!!!' Goes Through my H ead 205
Complex Numbers
i‘ and Other Im probabilities 208
Historical Digression: The Oddly Polyglot Statem ent ein + 1 = 0 209
Addition Formulas for Sine and Cosine 211
C o m p u tin g /' 212
Roots o f Unity 213
Three Impossible Problem s o f Antiquity 215
Galois Theory 218 -
Historical Digression:
Pistols at Dawn — The Teenager who Launched A bstract Algebra 219
Using Complex Numbers in Geometry 220
Infinity Revisited
Paradox! 226
Two Different Infinities 229
An Infinitude of Infinities 234
H istorical Digression:
The M an Who Shook the Foundations o f M athem atics 236
The Existence o f Transcendental Numbers 237
Personal Profile: The Youngest Tenured Professor in H arvard History 241
Afterword 246
Annotated References 248
Index 251
Mi/ mbcr Thcory
— Karl Gauss
I Number Theory
Calculating Tricks o f the Trade
T h ere are m any “c u te ” little n u m e rical trick s for
perform ing calculations quickly. On the surface, they
may not seem to be serious m athem atics, but they are
good practice for elementary algebra. For example, here’s
a little trick to multiply two positive integers with the
same tens digits and with the units digits summing to
ten. Study these exam ples to see if you can find a pattern
in the answers and discover the trick.
38 13 79 25 118
x 32 X 17 X 71 x 25 X 112
1216 221 5609 625 13216
The Trick
•M ultiply the tens digit by the next largest number. Call your result “A ” .
•Then multiply the units digits together, and call your result “B ”.
For example, to multiply 32 and 38 in your head, you get A = 12 and B = 16, so
32 x 38 = 1216. Use the trick to verify the other answers above. (The last exam ple
may not appear to follow the rule, but you can easily adapt it.)
The Proof
The proof isn’t too difficult. (You m ight w ant to derive it yourself.)
Let x be the tens digit o f both numbers, and y be the units digit o f the first number.
Then 10-y is the units digit o f the second number.
The two numbers are therefore 10 x + y and lOx + 10-y.
M ultiplying them together, we get:
product of the number left when units digit is removed, and its successor
18
BE A Jm
Number Theory
Mission Impossible
Here is another way to multiply numbers quickly on paper. This one will be trickier;
I am not going to tell you how it works. Your mission, should you choose to accept
it, is to piece together the method from only four examples. (If you can figure out
why it works, you will have a good understanding o f how computers multiply
numbers.)
-4 2 — — 23 -------- 35 42
— 6— — 46-------- 17 84
3 92 - 8 —----- *6 8 —
1 184 - 4 - — 3-36-
276 - 2 - ----- 672 —
1 1344
1470
53 65 21 71
1 r\ 1 Ar\
—Z0 IJU ‘" 1U i*-fZ ~
13 260 5 284
... r A r zn
JZV ' 'Z JUO
3 1040 l 1136
1 2080 1491
3445
Find a six-digit num ber N such that 2N, 3N, 4N, 5N, and 6 N have
exactly the same digits as N, but in a different order. (This number
m ight look fam iliar to you.) W hat is 7N?
If you're stuck, the answ er to this puzzle is on the next page, but it is encoded to
prevent you from peeking too quickly.
19
I Number theory
Throughout history there have been people who have dem onstrated super-human
calculating skills. These gifted people are usually unable to explain how they
perform their complex com putations with com puter-like speed. Since such people
are not usually distinguished by exceptional mathem atical ability, they have been
referred to as idiot savants. In
1988, actor Dustin Hoffman won
> the best actor Academ y Award for
/ his portrayal of an autistic idiot savant
f in the m ovie, Rain Man. O ne o f the
most famous idiot savants in history was
G eorge Parker B idder who at age 10 in
C~-P 1816 was asked, "If a coach wheel is 5 feet
1 0 inches in circum ference, how many times
will it revolve in running 800 0 0 0 0 0 0 miles?"
Bidder gave the correct answer, 724 114 285 714
times with 20 inches remaining — in 50 seconds!
cH zxs. \ tds. a n itv z i to tfiz fiUzzCz a t tfzs. b o tto m o f tfis. jirvjL ouz feagz- ^JSeaods
it £ry r t r a c i n g zacfz I s t t z i w itli td z firs.oioUi. o n z in tAs. aCfzfialjct.
20
I Number Theory
The Magic Birthday Predictor Cards
Card 0
M erlin the mathem atician claims he can tell you
the day o f the month in which you were bom , 1 3 5 7
m erely by asking you to identify which o f five 9 11 13 15
magic cards contain your date o f birth. H ere’s how 17 19 21 23
he does it. 25 27 31
29
M erlin shows these 5 cards to you and asks that
you select those on w hich the day o f your birth
appears. He then adds together the numbers in the 2 3 6 7
upper left com er o f the cards which you have 10 11 14 15
selected. This sum is the date o f your birth. 18 19 22 23
26 27 30 31
Exam ple: Suppose your birthday falls on the 12th
o f the month. You would select card 2
and card 3 since these are the only cards B
on which the num ber 1 2 appears. 5 6 7
4
m 13 14 15
20 21 22 23
28 29 30 31
4 + 8 = 12, so your
birthday is on the 1 2 *
H R J Card 3
9 10 11
12 13 14 15
24 25 26 27
28 29 30 31
16 17 18 19
20 21 22 23
24 25 26 27
28 29 30 31 J
Karl Friedrich Gauss, one o f the greatest m athem aticians o f all time, was one o f
the few m athematicians who was also a calculating prodigy. (You will learn more
about Gauss later on page 137.) O f the four arithm etic operations, Gauss was least
fond o f division. In his treatise, D isquisitiones Arithmeticcie, published in 1801
when he was 24 years old, Gauss presented a unification o f many disparate results
o f num ber theory in a new form ulation called m odular arithmetic. One facet o f
this new approach to arithmetic was to change division into m ultiplication w here
possible and to reduce the am ount o f division required in com putation. In standard
arithmetic, we say that two integers are equivalent if and only if they are equal. In
arithmetic modulo n, we say that two integers are equivalent if and only if they
have the same remainder when divided by n. M ore formally, we define equivalence
m odulo n as follows:
Equivalence modulo 3 partitions the integers into three sets, the multiples o f 3, the
integers o f the form 3n + 1, and integers o f the form 3n + 2.
We observe that numbers in the same set are equivalent m odulo 3; for example,
3 = 45 (mod 3) and 5 = 32 (m od 3)
This section will use m odular arithm etic and “m od” notation. If you have ju st
learned about it, you m ight enjoy seeing how they can be used.
22
I Number Theory
Everyone is fam iliar with rules for divisibility by numbers such as 2, 3, 4, and 5.
D ivisibility rules for other numbers such as 11 are easy to rem em ber as well. The
proofs that these rules actually work are quite easily grasped using some fundamental
notions of modular arithmetic. In this section, w e’11 prove that the usual divisibility
rules work, and derive some lesser-known ones. Let’s start with the simplest case.
D ivisibility by 2
A num ber is divisible by two if and only if the last digit is even.
This may seem too easy, but it will allow us to develop some tools that we will use
later in greater generality. W hen you see a num ber (such as 471), you should of
course keep in mind that the positions o f the digit correspond to powers o f 1 0 :
471 = 4 x l 0 2 + 7 x 1 0 * + 1
The subscripted “ 10” is there to remind us that this shouldn’t be read as a product,
and that this really means
(We m ight later w ant to get fancy and replace 10 by some other number such as 2
or 3. This is known in the lingo as working in another base.)
23
I
D ivisibility by 9
Number Theory
A num ber is divisible by 9 if and only if the sum o f its digits is divisible by 9.
(This method can easily be repeated. For example, to test if 1234567890 is divisible
by 9, we add up its digits to get 45; we then add up the digits o f 45 to get 9, which
is certainly divisible by 9.) The w ell-known m ethod for checking if sums are
correct — known as “casting out nines” — relies on this sort o f argum ent as well.
M = a n_ i X 1 0 " 1 + a n _ 2 X 1 0 " 2 + . . . + a , X 1 0 * + a Q-
This time, we use the fact that 10 = 1 (mod 9), and so 10* = l*(mod 9) for all k.
This proof shows us that we can get even more information than the basic divisibility
rule: adding up the digits tells us the value o f M modulo 9.
= 2+5
= 7 (mod 9)
D ivisibility by 3
A num ber is divisible by 3 if and only if the sum o f its digits is divisible by 3.
(M ore generally, you can prove that a num ber is congruent to the sum o f its
digits modulo 3.)
24
Number Theory
I
D ivisibility by 4
A num ber is divisible by 4 if and only if the last two digits (taken as a
tw o-digit number) are divisible by 4. (Can you make up an analogous
rule for divisibility by 8 ?)
If the last two digits o f a num ber are ab, then the num ber is divisible by
4 if and only if one o f the following conditions holds:
i) b is divisible by 4 and a is even
ii) b is even but not divisible by 4, and a is odd
D ivisibility by 11
Can you think o f a sim ple m ethod for finding the rem ainder when you divide
( a n- \ a n-2 ••• a ia o ) 10 by 11? (Simply dividing by 11 and seeing what you get is
not allowed!)
To test for divisibility by 6 , you need only check for divisibility by 2 and by 3. To
check for divisibility by 12, you need only check for divisibility by 3 and 4. (But
it doesn’t suffice to check only for divisibility by 2 and 6 , although 2 times 6 is also
12. W hy not?) Using this method, you can easily check for divisibility by many
new numbers, such as 12, 15, 36, and 60.
25
I
The Factor Theorem
Number Theory
If you are a seasoned veteran, you will be fam iliar with the
following powerful theorem.
The Factor Theorem relates the zeros o f any polynom ial to its linear factors. To
determine whether (x - 3) is a factor o f the polynom ial g(x) = x3- 8 x 2 + T lx - 18,
we evaluate g(3). Substituting 3 for x yields 3 3 - 8(3 ) 2 + 22(3) - 18 = 3. Since
g(3) ^0, (x - 3) is not a factor o f g(x).
Can you see how the factor theorem is conceptually related to the divisibility rules
for 9 and 11? (Can you see that a polynom ial is divisible by (x -1) if and only if the
sum o f its co efficients is 0? For example, x 73 - 3x 2 + 2 is divisible by (x -1), but x 94
+ 5x + 3 isn’t. This has the same flavor as our test for divisibility by 9. Can you
think o f a similar rule to test for the divisibility o f a polynom ial by (x + 1 ), that is
essentially the same as our divisibility rule for 11 ?)
The Factor Theorem is a special case o f the following more general theorem:
Let g(x) denote any polynom ial in x. Then the rem ainder
when g(x) is divided by (x-a) is g(a).
We can prove the rem ainder theorem by observing that any polynom ial, g(x), can
be divided by (x - a) to yield a quotient,/(x), and a constant term, say r. Then
g(x) = (x - a)f(x) + r
Substituting a for x into this equation, we find r = g(a), so g(x) = (x - a)j{x) + g(a)
Therefore, on division o f g(x) by (x-a) we obtain quotient^(x) and rem ainder g(a).
Do you see how to prove the Factor Theorem using the Rem ainder Theorem ?
If you reflect for a moment, you m ight see how the Rem ainder Theorem implies
26
I
More Complicated Divisibility Tests
Number Theory
D ivisibility by 7
(an- \ an- 2 ■■■a iao \ 0 divisible by 7 <=> (an_lan_2 ... <32 <a1 ) 10 -+- 5 « 0 is divisible by 7.
For exam ple, to check if 12345 is divisible by 7, we can use this rule repeatedly.
As you can see, this rule is ju st a little better than dividing by 7. But with a few
other ad hoc rules, it can be made more efficient. For example, let’s check if
1234567 is divisible by 7.
O First, we throw out the final 7, which w on’t affect divisibility by 7. (Why?)
This leaves us with 1234560.
© Next, we can divide by 10, as that again w on’t affect divisibility by 7.
(W hy?) W e’re left with 123456.
© We use the rule to transform 123456 to 12345 + 5 X 6 = 12375.
0 Ditch the 7 to get 12305.
© Use the rule again to get 1230 +5 x 5 = 1255.
© A nd again: 125 + 5 x 5 = 150.
& W e’re done: we can divide by 10 to get 15, which isn ’t divisible by 7.
Therefore, 1234567 is not divisible by 7. With a little practice, you will be able to
do this test quite quickly.
Now let’s prove that this rule works. Let the num ber in question be M. Instead of
having one variable for each digit, it will be easier in this case to have one variable
for the units digit, and one variable for the rest o f the number. Say M = 10 * + y,
where * is a non-negative integer, and y is an integer between 0 and 9 inclusive.
27
I Number Theory
Proposition
Proof.
(In fact, this proof can be very slightly changed to show that w e’ve actually found
a divisibility rule for 49. Can you see how?)
O f course, this entire proof can be rephrased in the language o f modular arithmetic.
For example, the first line w ould read:
Having seen how the divisibility rule for 7 works, you m ight be able to prove a
similar rule for 13:
D ivisibility by 13
If you are feeling really ambitious, you can find a sim ilar rule for divisibility by 19
(in which the “4” in the 13-rule is replaced by a "2") or for 23, 29, 59, 79, or 89!
28
I Number Theory
Food fo r Thought
© U sing the above and sim ilar techniques, you should be able to devise
divisibility rules for every num ber less than 30 except for 17 and 27. (Can
you think o f a reasonable test for either o f these “m issing num bers” ?
Probably not, but it’s w orth trying!)
to S d ix it Ln c d V u m b c -x * I7 (U o T y (fi. 120j.
29
I Number theory
The Secret Behind the Magic Birthday Predictor Cards (p. 21)
‘The number of cards required is the number of bits needed to encode a number between 1
and 100. So this simple trick is just a couple of steps away from concepts used in the way
computers encode information!
30
I Number Theory
Magic Squares
A m agic square of order n is a square array o f the natural numbers from 1 to n2,
such that the sum o f the numbers in each row, column, and diagonal is the same.
The following array is a magic square o f order 4, with a constant sum o f 34.
1 14 15 4 —> 34
8 11 10 5 —> 34
12 7 6 9 —> 34
13 2 3 16 —> 34
i/ i 1 1 1
34 34 34 34 34 34
This constant sum is called the magic sum of the magic square. These mathematical
objects w ere sacred to the ancient Chinese, and were thought to have mystical
powers. M agic squares o f order n exist for all positive integers n except n = 2.
(It isn't hard to see why there are no m agic squares o f order 2.)
In general, there are many magic squares o f any given order. In the next section,
Two Theorems A bout M agic Squares, we will look at a little theory behind them.
M eanw hile, here is a m ethod to make magic squares o f all possible sizes.
As an example o f this case, w e’ll construct a magic square o f order 6 (so m = 1).
Partition the magic square into four sm aller squares A,
B, C, D as shown.
3
# A, B, C, and D are each (2m + 1) X (2m + 1) squares.
Fill them with identical magic squares o f order 2m +l.
(We learned how to do this in the previous case.)
Proceeding in this way, we obtain the following 3 x 3
#
magic square.
*
8 1 6
3 5 7
4 9 2
8 1 6 8 1 6
3 5 7 3 5 7
4 9 2 4 9 2
8 1 6 8 1 6
3 5 7 3 5 7
4 9 2 4 9 2
Now, add (2m +l ) 2 (in this case 3 2 or 9) to each o f the elements in C, 2(2 m + l ) 2
(in this case 18) to each o f the elem ents o f B, and 3 (2m + l ) 2 (in this case 27) to
each o f the elements o f D. A t this point, the magic square contains the integers
from 1 to n2, and the colum n sums are all equal, but it isn’t really m agic yet. O ur
6 x 6 magic square under construction becomes:
8 1 6 26 19 24
3 5 7 21 23 25
4 9 2 22 27 20
35 28 33 17 10 15
30 32 34 12 14 16
31 36 29 13 18 11
32
I Number Theory
The final step may seem arbitrary, but if you work out the row and diagonal sums
in the square below, y o u ’ll see that this is ju st what the doctor ordered to make the
square magical.
1 6 26 19 24 111
3 33 7 21 23 25 111
9 2 22 27 20 111
28 33 17 10 15 —> 1 1 1
30 L 34 1 2 14 16 111
36 29 13 18 11 111
'y
l i I
111 1 1 1 1 1 1 1 1 1 111 1 1 1 1 1 1 111
33
Number Theory
I
First o f all, write the numbers from 1 to n 2 in the square, filling in the rows from
left to right, beginning with the top row and working down. (In the following
exam ple we construct a m agic square o f order n = 8 , i.e. m = 2 .)
1 2 3 4 5 6 7 8
9 10 11 12 13 14 15 16
17 18 19 20 21 22 23 24
25 26 27 28 29 30 31 32
33 34 35 36 37 38 39 40
41 42 43 44 45 46 47 48
49 50 51 52 53 54 55 56
57 58 59 60 61 62 63 64
There are many places to read more about magic squares. Mathematical Recreations and
Essays by Coxeter and Rouse Ball is an excellent source. See the Annotated References for
bibliographic information.
34
I Number Theory
In M agic Squares, we saw how to construct magic squares of any order greater
than 2. In this section, we will prove a couple o f theorems about them.
Theorem I
t • r- . , n(n2 +1)
In a magic square of order n, the magic sum is ----------- .
In M agic Squares, we had three different methods for creating magic squares. You
can check that in each o f the exam ples we created ( w = 4, 5, 6 , and 8 ) that the
theorem holds. (This makes us happy, because otherwise the theorem w ouldn’t be
very good!)
Proof.
Let s denote the magic sum for a magic square o f order n. Since this is a magic
square, the sum o f the elements in each o f its n rows is s. Therefore the sum o f the
elem ents in all n rows is ns.
But, the elements in the magic square are the numbers 1 ,2 ,3 ,..., n2, so the sum of
the elem ents in the magic square is the sum of the first n2 natural numbers; that is,
. n2(n2+1)
Com bining the two preceding statements, we have ns = ----- from which we
n(n2 +1)
deduce that 5 = ----------- .
So our first theorem tells us, for example, that the magic sum o f a 10 X 10 magic
square is 505, before we even look at a magic square of order 1 0 .
35
Number Theory
0
Our second theorem says that there is essentially only one m agic square o f order 3.
Before we discuss it, w e’ll have to elaborate on what we mean by “essentially” .
For example, at first glance, the following magic squares all look different.
I II III
CO
1 6 6 1 8 4 3 8
3 5 7 7 5 3 9 5 1
4 9 2 2 9 4 2 7 6
But square II is obtained from square I by switching the first and third colum ns —
in effect, by reflecting the square in the m iddle column. Square III is obtained
from square I by rotating the square clockwise 90 degrees. (It can also be obtained
from square II by reflection in the diagonal passing from the top-right o f the square
to the bottom-left.)
We say that these squares are identical up to rotations and reflections. (This is one
instance o f the mathematical concept o f symmetry.)
Theorem 2
One way o f proving this is to try all possible ways o f placing the integers 1 through
9 into a 3 X 3 matrix. There are 9! = 362,880 possibilities to try, so this would take
some time. With a bit o f cleverness, we can avoid this hassle.
Proof.
The proof o f this is very similar to the proof o f Theorem 1. Fill up the magic
square with 9 unknowns a, b, c, d, e , f g, h, i as follows:
36
■f• J
Number Theory
a b c
d e f
g h i
Now, for exam ple, a+e+i = 15, because the sum o f the elements on the main
diagonal must equal the magic sum. Therefore,
So e = 5.
From here, there are several directions to go. If you are feeling intrepid, you may
want to explore on your own before continuing.
B B B B
5 B B 5 B 5 5 B
B B B B
Now, the 4 and 6 must lie on opposite sides o f the 5; 4 -5- 6 must be
either i row, column or diagonal passing through the center. But, looking at where
the big numbers have to be placed (see step 3), we see that the 4-5-6 must be a
diagonal. As w e’re considering magic squares to be the same up to rotations, we
can assum e that the 4 is in the top right comer. So our magic square looks like:
37
D Number Theory
W here can the 9 be now? The 9 can ’t be in the same row or colum n as
heir sum is already 15, and the addition o f the third term in that row or
colum n would knock the sum over 15. So the 9 must be in one o f the circled
positions in the following diagram.
4
5
;)
6
ji^ n From here, using the fact that magic sum is 15, it’s easy to fill out the
remaining elements. So the only m agic square, up to rotations and reflections, is:
2 9 4
7 5 3
OO
6 1
We observe that this is the same as the 3 X 3 m agic square in M agic Squares (p.
32), rotated by 180° about the center.
38
I Number Theory
Food fo r Thought
'In Berlekamp, Conway, and Guy's Winning Ways, The Magic Fifteen Game is attributed
to E. Pericoloso Sporgersi.
39
D
^ W ( L a ,t ^ h fo u . £ n jo y !
In Grade 10, J. P.’s competition career took off, thanks to his intuitive approach to
mathematical challenges com bined with his ability to pick problem s apart. In
Grade 11, he won the Canadian M athem atical O lym piad for the first o f three
consecutive years, easily qualifying for the Canadian Team to the International
M athem atical Olympiad. During his three years com peting at the IM O, he won
two Silver M edals and a Gold M edal. Moreover, in his second-last year o f high
school he placed first in the USA M athem atical Olympiad, the last year Canadians
were officially allowed to compete. W hile studying m athematics, physics, and
electrical engineering at the U niversity o f Toronto, J.P. took the N orth American
Putnam M athem atical Competition three times, twice achieving the highest honor
o f Putnam Fellow. He has one more year o f eligibility before he graduates from
Toronto.
40
Z P z r s o n a f
Along with his talents in mathematics, J. P. pursues many other interests, including
chess, debating, com petitive soccer, and skiing. A jazz enthusiast, he is also an
accom plished tenor saxophone player.
A fter graduation, J. P. plans to work in VLSI (Very Large Scale Integration) chip
design. For J. P., chip design is problem solving of a different sort, requiring (like
m athem atics) tinkering, fiddling around, and taking things apart.
W hat J. P. loves most about mathematics are the ingenious leaps required, “putting
together two facts that seem unrelated.” He finds that he has become experienced
in “m aking connections betw een different things ju st by recognizing certain
patterns,” both within and outside the field o f mathematics. One of his favorite
exam ples o f this principle is The M agic Birthday Predictor Cards (p. 21). W hen
he saw this trick at a young age and realized how it worked, he had a sudden
insight into binary numbers.
J. P.’s curiosity is typical o f the young m athem aticians profiled in this book. Also
typical is the vigor with which he pursues his interests. Rather than seeing his
undiscrim inating intellectual acquisitiveness as a distraction that holds him back
and wastes his time, he finds it constantly driving him forward. His philosophy of
life? “Do w hat you enjoy!”
41
CoMewAToms
— Gottfried Leibniz
Combinatorics
I
This card trick is incredible when you first see it. But be prepared for a let-down
when you figure out how it works!
The Trick
arzivjex £1 in c d f o w t lz . <cA/{atAem a l l c a£ C a x d (W o d U (p . 5 1j . IB u t
44
Combinatorics
I
Com binatorics, essentially the art and science o f counting, has recently become
one o f the m ost active fields in mathematics. Some o f you may know it as “finite
m athem atics”, a subject often introduced at the end of high school. It exists at the
crossroads o f mathematics and com puter science; many combinatorial results are
used to determ ine and evaluate algorithms.
M ore im portant (to me, at least) is its aesthetic appeal. The field o f combinatorics
contains many surprising results and elegant proofs. Best of all, it doesn’t require
years o f preparatory study; elementary results are pretty much accessible to anyone.
Some o f the aspects we will exam ine are Pascal’s Triangle, the theory of games,
and other diversions.
To begin with, let’s count something that you w ouldn’t often think of counting.
How many faces does a cube have? Thinking o f a die, you would probably answer,
"Six." N ot too exciting.
So let’s make our definition o f fa c e m ore flexible. The faces we commonly think
about when we consider a cube are two-dim ensional. L et’s include fa ces of all
dim ensions. For example, there are 12 edges on a cube. (Think about it!) L et’s
call these one-dim ensional faces. There are also 8 zero-dimensional faces: the
vertices o f the cube. The cube is a three-dim ensional object, so it doesn’t have any
faces o f dim ension four or higher. But (watch out, this is weird) it does have one
three dim ensional face — the entire cube!
This is still not too exciting, so let’s generalize some more definitions. W e’ve
generalized “faces” — now let’s generalize “cube” ! W hat we usually think o f as a
cube, w e’ll now call a “three-dim ensional cube” . The reasonable candidate for a
tw o-dim ensional cube is a square. Continuing the pattern, we take a line segment
to be a one-dim ensional cube, and a single point as a zero-dimensional cube.
45
Combinatorics
I
Using the definition, we can even define a four-dim ensional cube (a “hypercube”),
or even higher-dimensional cubes! But w e’ll talk about such things later.
Now let’s count faces on our smaller-dimensional cubes. M ake sure I ’m not pulling
the wool over your eyes by thinking through all o f these numbers yourself.
4 zero-dimensional faces
2 zero-dimensional faces 4 one-dimensional faces
1 zero-dimensional face 1 one-dimensional face 1 two-dimensional face
1 face in total 3 faces in total 9 faces in total
The pattern is clear! So now we can say, with reasonable confidence, that the
hypercube (four-dimensional cube) has 81 faces! B ut first we must define w hat we
mean by a hypercube o f dimension n. Since a cube is a 3-D figure traced out by a
square as it moves in a third dim ension, we can im agine a 4-D figure traced out by
a cube as it moves in a fourth dimension "perpendicular" to the other dim ensions.
Such a cube we may refer to as a hypercube o f dim ension 4. In general, we can
define a hypercube o f any dimension n in terms o f a hypercube o f dim ension n - 1 .
A nother possibiliy would be to define the n -dim ensional hypercube to be the set
Proof.
This proof uses the m ethod o f m athem atical induction. (If you’ve never heard of
this, don’t run away in fright; you will be able to figure out w hat’s going on.)
W hen n = 0, the result is true; that is, the zero-dimensional cube has 3° faces.
W e’ll now show that if the result holds for an arbitrary n, then it holds for n+1.
(We’ve shown it for n - 0, and now, using this fact repeatedly, we can show it for
n = 1, n = 2, n = 3 ,... as far as w e’d like to go. This, in essence, is the idea behind
m athem atical induction.)
As an example, consider the cube (of dimension 3) traced out by moving the colored
square (a cube o f dim ension 2 ) out o f the plane o f the page as shown in the diagram.
We observe that the colored square has 4 faces o f dimension 0 (i.e. 4 vertices). As
the colored square m oves out o f the plane o f the page, vertex A moves to position
A', creating another face o f dim ension 0, plus a face A A 1 o f dimension 1. That is,
each face o f dim ension 0 in the colored square
contributes 3 faces to the cube. g
Similarly, the line segm ent AB, contributes to the
cube, two line segments AB and A 'B 1 (faces of
dim ension 1) plus face A A'B 'B o f dim ension 2.
Since every face o f the hypercube o f dim ension n contributes 3 faces to the
hypercube o f dim ension n + 1 as it traces that hypercube, and since the hypercube
o f dim ension n was assum ed to have 3" faces, then the hypercube o f dimension
n + \ has 3 x 3", or 3n+ 1 faces. It follows by induction that the hypothesis is true
for all values o f n.
47
Combinatorics
I
We can make the ideas in the foregoing heuristic proof a little more
formal, and in the process gain a little more information. For example,
we can deduce that the 5-cube has 80 tw o-dim ensional faces.
Let's denote by Fn(k) the num ber o f faces o f dim ension k possessed by an n-cube.
W hen an n-cube is traced out by m oving an (n-l)-cu b e in the new dim ension, each
face o f dimension k contributes 3 faces to the n-cube: itself, its new im age (i.e. two
faces o f dimension k) and the new face o f dim ension k + 1 which joins its initial and
final positions. This relationship can be expressed in our new notation as follows:
We can use this relationship to fill in the following table. Observe that the elem ent
in row k, column n is obtained by adding the elem ent in row (k- 1 ), colum n (n - 1 ) to
double the element in row k, colum n (n-1). This is a direct translation o f equation
(* ) into English.
0 1 2 4 8 16 32
1 1 4 12 32 80
2 1 6 24 80
3 1 8 40
4 1 10
5 1
Total number
1 3 9 27 81 243
of faces
n
Equation ( * ) above applied to the induction assumption, ^ p ( k) = 3 ” >yields:
n+1 fi+1 £_0
X f „+, « = Z p f „ M + f„ ( * - * ) ]
k =0 k=0
n+1 n+l
If you find this sort o f problem interesting, here are some more problems for you
to think about, along a sim ilar vein. These are good problem s to ponder when you
have nothing better to do, such as when you’re walking somewhere, waiting in
line, or sitting in the dentist's chair.
Food fo r Thought
\n-k
fn S fn \ n\
F(*) = where is defined by
\ kJ UJ kl(n—k)\
49
€). If you hang a 3-dim ensional cube from one o f its vertices and slice it
horizontally between its highest and low est vertices, you will get a regular
hexagon. Can you see this?
W ith these problem s, as w ith others in this book: Experiment! Try small
cases! Guess an answer! Play around!
50
How the Mathematical Card Trick Works
There are several ways o f solving this problem . Choose the one that m ost appeals
to you.
Solution 1: (Algebraic)
Let a denote the num ber o f black cards in the first pile, b the num ber o f red cards
in the first pile, c the num ber o f black cards in the second pile, and d be the num ber
o f red cards in the second pile. We w ant to show that a = d.
Solution 2: (Intuitive)
There are 26 cards in each pile. N ow m ove the black cards in the first pile into the
second pile. Then m ove the red cards in the second pile into the first pile. The first
pile now contains all the red cards, and the second pile now contains all the black
cards. There are still 26 cards in each pile, so the num ber o f cards (black) you
m oved from the first pile into the second, must be the same as the num ber of cards
(red) you m oved from the second to the first.
51
Combinatorics
If you were intrigued by the m athem atical card trick, take a look at the following
puzzle.
52
I
Combinatorics
Questions about Soccer Balls
Com binatorics is often about counting something in two different ways. See if
you can use this technique to quickly solve the following puzzle:
'Robert F. Curl and Richard E. Smalley, “Fullerenes”, Scientific American. (Vol. 264, No. 4,
(Oct. 1991).), 54-63. 53
dxao&Lncj dJnbiaataHrCe. ‘LpiotjCejm. ----- ^Ufzak’t a S i c j JBuzz
It was at this time that Katy discovered the trem endous enjoym ent she gains from
solving problems: “There are problems that you w ork at for ages that seem entirely
intractable and refuse to respond to anything you hit them with. Then you suddenly
dream up some incredibly cute and cunning way o f doing them while you’re thinking
about something completely different. ... Now that’s a big buzz.”
Since 1994, she has been studying at Em m anuel College, Cambridge, w here she is
rapidly developing an obsession with arts cinema. True to character, she has also
becom e involved with numerous campus organizations, including the Cam bridge
University Oxfam group.
Charles Darwin
The Fibonacci Sequence
Elvis Numbers
E l f ’s E c c e n t r i c . E x e r c i s e . ffi. 5gJ.
56
Fibonacci: The Greatest European Mathematician o f the Middle Ages
By draw ing a tree diagram (see overleaf) showing the num ber o f pairs of rabbits at
the end o f each month, we discover that the number o f pairs o f rabbits in the first
six months are given by the following sequence, 1, 1, 2, 3, 5, 8 , ... . This famous
sequence, nam ed the Fibonacci sequence in honor o f Leonardo of Pisa, has the
property that each term is the sum of the two previous term s . 1
In the tree diagram on the follow ing page, we m ark the first pair o f rabbits with the
num ber 1 . Since they do not produce offspring in the first two months, there is only
one pair at the end o f the second month. On the first day of the third month, they give
birth to another pair (labelled 2 ) so there are two pairs at the end o f the third month.
The arrows in the tree diagram show the offspring in the successive months up to
the end o f the sixth month.
’There is actually a journal, The Fibonacci Quarterly, devoted specifically to the Fibonacci
numbers.
57
H is to r ic a l
D ig r e s sio n
End of I N um ber
Month [ The Fibonacci Rabbit Problem o f P a ir s
yy
yy
I I y y __ _ <-> newborn
pair
—
y'y yy
^ j. i
yy^ —
y'y *
yy yy
^ yy^ yy 2
y'y yy yy yy yy yy yy yy 8
Sequences are often defined by an equation relating the n,h term to the previous
terms. In such a case, we say that the sequence is defined recursively. The Fibonacci
sequence can be defined recursively by the equation,
where Fn denotes the «thterm of the sequence. Can you see why the num ber of pairs
o f rabbits in the nth m onth should satisfy this relation?
58
The fibonacci Sequence
I
Elvis the E lf s eccentric exercise was posed in Elvis Numbers (p. 56). The Fibonacci
num bers F v F2, F 3,... are defined as follows.
F, = F2 = 1 Q. E. D.
F n = F n-1, + F n - 2, for n > 3
T h e n th E lv is n u m b e r is a c tu a lly th e nth
Fibonacci number! H ow does Elvis see this?
Rather than skipping up the stairs as is his wont, c
Elvis steps carefully up one at a time. On the n*
step, he writes down E .
1 iKi 1
1 or i or or f
p $ c
1 1 ' i Cl
E =1 F3 = 2
*4 = 3
To avoid intense boredom, Elvis thinks o f a way to w ork out E s without doing lots
o f counting. So he thinks, “H ow can I get to the fifth step? Well, I can get to the
third step, and then jum p up two steps. There are F 3 ways of doing that. Then
again, I m ight get to the fourth step, and then jum p up one step. There are E4 ways
o f doing that. But I have to do exactly one o f those two things, so the num ber of
ways I can get to step 5 is E 3 + E4. Thus Es = E4 + E 3 ”
A few pages earlier, we observed that the Fibonacci numbers, Fn, are defined
according to the following rules:
We can express Fn m ore simply using some constants that w e’ll pull out of our hat:
1+V5 1—s/5
x= G =
x and G are Greek letters, called tau and sigm a respectively. Tau (which rhym es
with “O w !”) is a constant known to the ancient Greeks as the “golden m ean” . It
has a habit o f turning up in the oddest places in mathem atics; some o f them are
described in the chapter Fibonacci & The Golden M ean. In terms o f x and g:
n n
T -CT
F =
S
There are several other w ays o f expressing Fn that you m ight prefer.
F =
n V5
60
N
The Fibonacci Sequence
We know from the definition o f the Fibonacci sequence (although not from the
form ula for its general term) that Fn is a positive integer for all n. It follows from
n n
T a
the equation above that F = — is an integer for all n. Since < - for
n S Vs & 2
n
T
all n (verify this for yourself), — is closer to Fn than it is to any other integer.
V5 n
n n
t . a
That is, Fn is the integer closest to — . Since — becom es very small as n gets
V5 V5
n
T
large, — gets very very close to F . (Try it on your calculator with n = 20.')
V5 "
You can prove that the crazy form ula for Fn actually works by employing the
sam e m ethod we used in the Solution to Elvis the E lfs Eccentric Exercise (p. 59)
— the m ethod of m athem atical induction (although induction w asn’t actually
m entioned by name in that section). Basically, induction is a great way o f proving
things w hen you already know (or have guessed) what the answ er is.
*It is indeed remarkable that for any large n, f " / \!5 is very very close to an integer. Even
more remarkable is that for any large n, xn is also very very close to an integer — try it on a
calculator and see! These oddities, and others, come up in Some Interesting Properties o f
the Golden Mean (p. 151).
61
I The Fibonacci Sequence
There are 16 ways to spell Elvis. Is it a coincidence that the answ er turned out to
be a pow er o f 2? As a hint, find out how many ways there are to spell “N O ” in the
following diagram, starting with the “N ” in the upper left-hand comer, and moving
either down or to the right.
N -> O
I
O
If you’re not convinced (and you’re probably not), then count the num ber o f ways
o f spelling “NEGATIVE” :
N- >E- >G A T I
I 1
E^G A T I V
i
G A T I V E
T I V E
[ B u o § B ip o q i uo g ub oi t\[ u i o j j
s q jB d 821 = LZ 3 -ratp p u i j 3 M ‘ u J o q B d s u p g u m u p u o j
I V E
• y u b o i jsj o q j u io jj s q jB d g o jb o j o q i o s ‘ s A b m o m j u i y
UB qOBOJ UBO 3 M ‘ 9 Ip B O U IO J J -Q B 01 JvJ o q i u i o j j s q jB d
V E ju o jo jjip p o jb o j o q i s n q x -sA b m 2 u i 9 b qOBOJ u b o o m
s ,j a s o q j jo qoBO u i o j j 's A b m 2 ui j ju a o B fp B u b qOBOJ
u b o o m ‘j q o q i u i o j j j u M o p u o j i f S u d i p 01 o a o i u t i j u o
fo u i am f i ] d u o S Dip dip uo 3 uo 01 f t tuouf sipDd duDiu
m ° h ‘J S B o j s i u io [ q o jd s i q i o j X [d d B u b o o m X S o j b j j s o u q
Here is another question: there are eight E's in the diagonal above. How many
paths are there ending at each particular E? Answer: 1-7-21-35-35-21-7-1. H ow
and w hy does this relate to Pascal's Triangle (discussed in The Triangles o f Pascal,
Chu Shih-Chieh, and Sierpinski, p. 98)?
62
Gam c THcory
— Yogi Berra
Game Theory
Ik * —-^..'d ...» r"
Very loosely, game theory is the field o f mathem atics that analyzes strategies in a
wide variety o f situations, such as the com petition for scarce resources. It is very
im portant in economics, and also o f interest in political science, psychology and
philosophy. One o f the 1994 Nobel Prizes in Econom ics was awarded to John
Nash, a mathematician who laid much o f the groundw ork for game theory in his
1950 Princeton Ph.D. thesis, com pleted w hen he was 21. (This w asn’t the first
N obel Prize in Econom ics given for brilliant m athem atical work; for another
exam ple, see Game Theory and Politics: A rro w ’s Theorem, p. 6 8 .)
One important exam ple o f gam e theory in action is “The Prisoner’s D ilem m a” .
There are many variations o f this problem , but the basic structure is as follows.
Two suspects are taken into custody and separated. The District Attorney is certain
that they are guilty o f a specific crime, but she
does not have enough evidence to convict them
at a trial. She explains to the suspects that they
each have two alternatives: they can confess to
C Hmmm...is he
gonna rat on me?
Put yourself in the shoes of one o f the suspects. No m atter what your partner in
crim e does, you are better off by confessing. (If your partner is silent, you will get
off completely, and if your partner confesses, you will receive a sentence o f eight
instead o f ten years.) However, if both suspects act in their individual self-interest
and follow this logic, then both will confess and both will receive eight year
sentences. This is much worse for them than if they had both rem ained silent.
Ironically, the strategy which would serve the best interests o f each individual fails
to serve the best interests o f either when applied by both individuals.
64
Game Theory
A nother w ell-know n idea with a gam e-theoretic flavor is the following: two
distrustful people wish to share a pie equally. One way of doing this is to have one
person cut the pie and let the second choose the piece. That way the cutter will try
as much as possible to cut the pie fairly. (How could we generalize this procedure
if there were three people rather than two?)
Game theory is also used to analyze things that we usually think of as “real” games.
For exam ple, the popular gam e Connect-Four™ was com pletely solved in 1984
— there is a perfect strategy for the first player. In other words, if you are the first
player and you know the strategy, you can always win, no m atter how brilliant
your opponent is.
One way o f analyzing certain games is to look at all possible ways in which the
gam e can be played out. For example, with Tic-Tac-Toe one would realize that
there are essentially only three opening moves:
X X
X
In term s of strategy, a move to the lower right com er is really just the same as a
m ove to the upper left; just consider the entire board rotated 180° about the center
square. You will notice that the same principle o f symmetry was invoked in Two
Theorems about M agic Squares (p. 35).
Each o f these first moves can be followed by only so many second moves. All
possibilities can be explored and the best possibilities can be found. By this sort of
analysis one can confirm the well-known fact that if both players play reasonably
well, a gam e o f Tic-Tac-Toe will end in a draw. (A lesser-known fact: in some
sense the best opening m ove is the comer. If the second player does not play in the
center, then the first player can force a win.)
The best way to get a feel for gam e theory is to play around with some games and
see what makes them tick. Sometimes games with very simple rules can have
some subtle and beautiful mathematics lurking in the background. The most famous
exam ple o f this is the gam e o f Nim which we investigate in the next few pages.
65
Game Theory
The Game ofNim
N im is perhaps the best-know n gam e for w hich w inning strategies have been
com pletely analyzed. The rules are simple, but the w inning strategy is far from
evident. In fact, the strategy is simple, unexpected, and has connections to other
parts o f mathematics.
66
Game Theory
Player 1, sensing victory, Player 2 now has no choice but to take one of
takes a single toothpick from l_ the remaining toothpicks, but then Player 1 can
the middle row leaving: win by taking the one which remains.
m u w in n in g s tra te g y is. e x p la in e d in c d {o w t o (W in a t c d V im ff i. IQ lJ . B e fo re
th e e n d g a m e w h en th e re a r e n ’t m an y t o o t h p ia ls le ft .
O h i s m a y m e a n p o n d e r in g th e g a m e o n a n d o f f fo z w e e lis o z m o n th s. B u t th e
s a t is fa c t io n in c o m in g u p w ith th e w in n in g stza te g y y o u z s e lf is fa n t a s t ic - it s
n o m e a n fe a t o f in g e n u it y I U f y o u ’re t h in h in g o f t r y in g t h is ro u te , sn ea h a
p e a l a t th e d r y p t ic x e K im c d f in t .
C p y p tie N im H in t
To decode the Cryptic Nim Hint, write the above statement replacing each letter
with the letter which precedes it in the alphabet.
67
Game Theory
Game Theory and Politics: Arrow's Theorem
Philosophers and laypeople alike have debated the question, “W hat is the best
form o f governm ent?” for millennia. In this day and age, our society has com e to
the consensus that dem ocracy is in some sense the best. (O f course, this begs the
question, “W hose version o f dem ocracy is the best?”)
The quest for a “perfect” system o f government can be viewed from a mathematical
perspective. There are certain “irrationalities” in some o f the candidates for the
best system. For example, under the “majority rules” system, a decision between
two choices is made simply by taking a vote. But som ething odd can happen when
m ore than two choices are possible. For example, there m ight be four candidates
for the presidency of a country. One o f them leans (politically) to the right, and is
popular with 28% o f the voting public. Three o f them lean to the left, and have
similar platforms — they are each supported by 24% of the voters. Thus, a leader
will be elected from the right, although the vast majority (72%) of the population
would have preferred one from the left. Some people would ju st consider this
“tough luck” ; others would suggest that a slightly different system would be fairer.
Kenneth Arrow, an econom ist at Harvard University, addressed this issue in 1951.
(He won a Nobel Prize for this and other w ork in 1972.) He started by dem anding
that a system satisfy the barest m inim um standards of rationality.
We want some system to turn our individual desires into a collective choice. Imagine
that we have a country (or state, or com mittee, or school) with three or more
individuals, and we want to make a collective choice am ong several (more than
two) options. Everyone writes down their preferences (an ordering o f the options)
on their ballot. These are then sent to a computer, and the com puter produces a
single result, listing the options in order o f collective preference. The com puter
can use any crazy algorithm, subject only to the follow ing minimal reasonable
restrictions:
68
2. If everyone prefers option X to option Y, then society as a whole will prefer
option X to option Y. This is certainly a reasonable m inim um condition!
4. W e’ll assum e that individuals aren’t fools — they w on’t say that they
prefer A to B, B to C, and C to A. So we will dem and the same of society. Note
that the “majority rules” system fails this condition. For example, consider a society
with three people, with the following preferences:
Voter 1 prefers A to B to C
Voter 2 prefers B to C to A
Voter 3 prefers C to A to B
The four conditions above seem like reasonable bare m inim um conditions for an
election. We have seen that “majority rules” fails this test, but one would think
that surely some dem ocratic system would pass. N ot so, says Arrow:
D em ocracy is the w orst system devised by the w it o f man, except fo r all others.
69
Game Theory
Food fo r Thought
O. There are certain paradoxes with a flavor sim ilar to what w e’ve seen
here. Consider three (fair) dice, num bered unusually:
Two people play a game. They choose different dice. They then roll their
respective dice, and the player with the higher number wins. If one player
has A, and the other has B, it is fairly straightforward to see that A will win
2/3 of the time. B will always roll a 3, and A will beat that 2/3 of the time
(by rolling a 5), and lose 1/3 o f the time (by rolling a 1).
W ho will most likely win in a com petition between B and C? W ho will m ost
likely win in a competition between C and A? W hy is that surprising?
If you are unsure how to proceed, take three normal dice, change their
numbering, and experiment!
70
Game Theory
Food fo r Thought
Clearly, the original bill would have passed, as the Democrats together
preferred the original bill to no bill at all. However, in keeping with House
procedure, the first vote was on whether to accept the amendment; the
Republicans and northern Democrats together ensured that the amendment
passed, because they both preferred the amended bill to the original bill.
The second vote was whether to approve the amended bill, or to have no
bill at all. This time, the Republicans and the southern Democrats, both
preferring to have no bill rather than the am ended bill, conspired to ensure
the bill’s defeat. Paradoxically, the proposal o f a popular am endment to a
popular bill ensured the bill’s eventual defeat! Analyze how this happened.
The author was first introduced to this topic by Paras Mehta of Oxford University. Arrow's
Theorem is discussed further in Hoffman's Archimedes' Revenge. (See the Annotated
References for bibliographic information.) The example of the federal bill for school
construction is taken largely from that source.
71
Game Theory
Answers to Foodfor Thought (pp. 70-71)
A rolls a 1 A rolls a 5
(1/3 of the time) (2/3 of the time)
From this table, it is clear that the probability that C will beat A is:
2 1 2 5
I 1-------------— —
9 9 9 9
Incredible as it seems, we have just shown that A will usually beat B, B will usually
beat C, and C will usually beat A!
2. This paradox is very sim ilar to the paradox we encounter in the problem of the
dice given above. It also relates to the failure o f the “majority rules” system to
satisfy condition 4 on page 69.
72
^ \ \
H is to r ic a l
D ig r e s s io n
73
Game Theory
Elementary My Dear
T h e G am e
This battle o f wits can be played in the airports o f Europe. A less expensive
alternative is to use the map on the opposite page. Each of the dots represents a
city where the chase can take plaee, and the players can indicate their position by
pointing at a city with a peneil or a pen. The straight lines indicate air routes where
the players may travel. Sherlock Holmes begins in Stockholm, w here he begins
his famous chase. The criminal, ENDRUN, starts off in Paris, w here he has ju st
stolen the M ona Lisa. Each player, in his or her turn, may jum p from one city to
another connected by an air link. Holmes, being true and noble, goes first. If
Holmes lands in the same city as ENDRUN, he captures the thief after an exciting
and excessively destructive car chase and wins the game. If Holmes does not
eatch ENDRUN in fifteen or few er moves, EN D RUN escapes and wins the game.
T h e P ro b lem
This game is fixed. If you pick the right side, and play perfectly, you can always
win, no matter how well your opponent plays. The big question is: who has the
winning strategy? (And w hat is it?)
A Hint
This is less a hint than plain com mon sense. D on’t give up too soon! Try playing
a few games with som eone else, just to get a feel for how it works. Play both sides.
M ake a conjecture. Then try to figure out why it’s right (or wrong!).
74
£~a (S
C7£Z.
rD
rU
Game Theory
I
A rchim edes also m ade significant contributions to applied m athem atics and
engineering, including his famous law o f hydrostatics. He developed a variety o f
practical devices such as the lever which he used to catapult huge quarter-ton rocks
against an attacking Roman fleet during the seige
o f Syracuse in 212 B.C.
The circumference C and area A o f a circle with radius r can be calculated using
these fam iliar formulas:
C = 2 7t r and A = Kt2
Each pie slice looks a lot like a triangle with base ~ and height r (especially when
n is very large). Then each triangle has area ^ . As there are n such pie slices, the
total area o f the circle is ) = rC.
2n 2
79
Geometry
Part 3: The Surface Area o f a Sphere
You m ight still be feeling queasy about the lack o f rigor in this style o f argument
— and rightly so. Here is a sim ilar argum ent that gives a w rong answer. Can you
find the flaw ? (This is trickier than the usual “find-w hat’s-wrong-w ith-this-proof”
puzzles, as this argument doesn’t claim to be rigorous in the first place.)
We divide the sphere of radius r into two hem ispheres at its equator, and partition
2nr
the equator into n segments, each o f length ~ . We draw great circles through
these partition points and the north and south poles of the sphere. Now im agine
the sphere sliced along these great circles, peeled back and flattened out like a
M ercator projection (for readers with a background in geography).
• 2 TTr
Each o f these little triangles has base — and height one-quarter the circum ference
o f the sphere, ^ , and hence has area
4
2 2
1 ( 2tcr^\f 27tr^ n r
THE FAR SIDE COPYRIGHT © FAR W O RK S, IN C .
2V n A 4 2n
Reprinted with perm ission. All rights reserved.
distributed by U niversal Press S yndicate.
80
Geometry
Part 4: The Volume o f a Sphere
We can add to this confusing stew by working out the volume of the sphere. The
reader should be able to show (by the same argum ent as in Part 1, this time by
d isse c tin g the sp h ere into n alm o st-
pyramids with vertices at the center o f the
sphere) that if a sphere has surface area A A
n
and radius r, then the volum e V o f the
sphere is given by V = .
4tcf^
As the volume o f the sphere is V =
and the surface area is A = 4 7 tr2, the
form ula is correct. The m ethod appears
to be working again.
Food fo r Thought
h is V — —Ttr2h .
3
82
K f
Geometry
Archimedes Strikes Again (co n fd )
Archimedes com puted the volum e o f a hem isphere follows. Place your hemisphere
(of radius r) on a flat table A. Beside it, place a circular cone with base o f radius r,
and height r, balanced perfectly on its vertex.
Table A
On another table (call it B), place a cylinder with base o f radius r, and height r.
Table B
Table A
83
Archimedes Strikes Again (cont'd)
2
2
+ 7th2 Ttr
t t T
hem isphere inverted cone total cross-section
The cross-section of the cylinder is always a circle o f radius r, so the total cross-
sectional area above table B is also 71r2.
H ere’s the key step: for each height, the cross-sectional areas are the same, so the
total volum e must be the same. (You m ight w ant to ponder this for a w hile and
convince yourself that it is reasonable.)
A nd the proof is com plete! This clever argum ent surely deserves a shouted
“Eureka” , but I’m not sure if I ’d run naked through the streets over it.
If you are com fortable with integral calculus, you will recognize how A rchim edes’
ideas anticipated its fundamental concepts. And if you haven’t seen integral calculus
before, keep this exam ple in mind for when you do!
84
I
Geometry
Late at night, a thief Falling
with a flashlight has Ladder
c lim b e d e x a c tly
Problem
halfway up a ladder
in o rd e r to break
U n lo rlu n a te ly (o r fo rtu n a te ly .
into a house. 0
depending on your point o f view),
T h e la d d er slid e s o u t
he hasn't secured the base of the
from under him, leaving
ladder. (D on’t try this at home!)
him ignominiously on the
ground.
A police officer running to the scene observes the attempted burglary. Through
the darkness, all she can see is the path of the flashlight. However, she is able to
deduce from this the nature o f the misadventure and later provide surprisingly
accurate testimony at the burglar's trial.
W hat path did the flashlight take? Did it travel in a straight line
between point A and point B? Before looking at the answer (in
the Solution to the Falling Ladder Problem, p. 164), you may
want to think about it, and com e up with a guess of your own.
W hat would be the path o f a point on the ladder but not at the
half-way point?
• ...
85
Geometry
An Easy Proof that arctan 113 + arctan 1/2 = 45°
Here is a slick non-algebraic proof o f the identity arctan 1/3 + arctan 1/2 = 45°
Consider the triangle in the Cartesian plane with vertices at A (0,0), B (1,3), and
C (2 ,l), and the point D(1,0).
B ( 1 ,3)
But Z A B C = Z A B D + ZD BC.
The especially intrepid reader m ight w ant to try to find sim ilar proofs of the
following:
a) arctan 1 + arctan 2 +arctan 3 = 180°.
1 1 1
b) arctan —= arctan - + arctan -
2 3 7
c) M ore generally, if a and b are positive integers with a > b,
1 1 b
arctan = arctan — I- arctan ------------
a~b a
‘Many of these “proofs by diagram” have been collected in Nelsen's Proofs Without Words.
See page 39 of Nelsen's book for a proof (due to Edward M. Harris) of the identity:
arctan 1 + arctan 2 + arctan 3 = 180°.
(For bibliographic information, see the Annotated References.)
86
Geometry
The Ailles Rectangle
Everyone who has learned trigonom etry has mem orized the sines, cosines, and
tangents o f “easy” angles such as 0°, 30°, 45°, 60°, and 90°. Doug Ailles, a high
school teacher at Etobicoke Collegiate Institute in Etobicoke, Ontario, came up
with an incredibly sim ple m ethod o f com puting the trigonometric functions of 15°
and 75°. In the long history o f m athematical thought, it would not be surprising if
som eone had already invented a sim ilar construction. But, in the absence of such
inform ation, I hereby christen it the Ailles Rectangle. H ere’s how it works.
Fill in the missing angles in the problem , and then (using the 45°-45°-90°
triangles and the fact that A F = DE and AD = FE), find all missing lengths
necessary to calculate the trigonom etric functions of 15° and 75°.
The solution to this problem is given on the next page. A nother way to compute
these values is to substitute x = 45° and y = 30° into the sine, cosine, and tangent
subtraction formulas:
sin(x - y) = sin x cos y - cos x sin y
cos(x - y) = cos x cos y + sin x sin y
tan .v- tan y
ta n (x -y ) :
1 + tan * tan y
87
Geometry
Solution to the Ailles Rectangle Problem (p. 87)
Since the sum of the angle measures in a triangle is 180°, we can easily deduce that
A C F and BC E are 45°-45°-90° trian g les. T h erefo re A F = FC = ^2. and
BE = CE = 4- . V2
U sing the above results with the equations A F = D E and AD = FE, we obtain the
lengths shown in the figure below.
V3
A V2 F
V2 vr2
From triangle ABD in the figure, we can im m ediately w rite the fo llow ing
expressions for the trigonom etric functions of 15° and 7 5 °.
• 7Co a/3+ 1
sin 15 — t— sin 7 5 -------
2'12 2 a/ 2
1r-o a / 3 + I a/3 —l
cos 15 = — /=- cos 75 = — 7—
2a/2 2 a/2
88
(Dns o f t/iE ^ P w test Q o im i o f <zl\l\ejniaL SxexaiAe
K C a n a d a , b u t so o n m o v ed to
W innipeg, M anitoba, w here he
enrolled at St. John’s-Ravenscourt, one of the
top private schools in the country. Not long
after arriving, Ping started to make a name
for himself. Between grades four and six,
he to o k th e m u ltip le -c h o ic e C a n a d ia n
N ational M ath League com petition geared
tow ard sixth graders; he achieved perfect
scores in each o f three consecutive years.
John Barsby, a dedicated math teacher from
the U pper School o f SJR, noticed Ping and
took him under his wing. He continued to
work one-on-one with Ping throughout Ping's
schooling.
In G rade 9, Ping again com peted at the Canada-Wide Science Fair, this time with
a project on evolving com puter-sim ulated lifeforms. A prize there earned him a
trip to the London International Youth Science Fortnight that summer. Once again
he had a wonderful time, meeting people from over 50 other countries.
In Grade 10, besides winning another trip to the London Fortnight, he won the
E uclid competition, a national competition for students two years his senior. Along
with other successes, this achievem ent ensured him a place on the Canadian Team
to the International M athem atical Olym piad (IM O) in Sigtuna, Sweden, where he
earned an H onourable M ention.
I
The next year, in lieu of com peting at the IMO, Ping decided to go to Shad Valley,
an intense four-week program for gifted Canadian science students. In his final
year of high sehool, he earned the highest score on both senior national mathematical
competitions. These achievem ents won him a place at that y ear’s IM O in Istanbul,
Turkey, w here he won a Gold Medal.
M eanwhile, Ping was also pursuing his interest in computers. In 1991 and 1992 he
won the International Com puter Problem-Solving Contest run by the U niversity
of W isconsin, a contest in which com petitors aim ed to produce the highest calibre
programs in the fastest possible time. A fter entering the University o f W aterloo’s
competitive Computer Engineering program in the fall of 1993, he joined W aterloo’s
team to the Association fo r Computing M achinery program m ing contest. That
team went on to win the international finals in Phoenix, Arizona, com peting against
undergraduate teams from across North A m erica and elsewhere. In his first year at
W aterloo, Ping also took part in the N orth A m erican Putnam M athem atical
Competition and received an Honourable M ention.
Ping has long had a fascination with the idea of applying pattern recognition to
b rainw aves, a p rocess th at w ith p ractice m ight enable us to co m m u n icate
te lep ath ically w ith co m p u ters and, to a certain ex ten t, w ith o th er p eo p le.
N anotechnology is another fetish; he would love to explore the field of m olecular
m anufacturing when he has the neeessary background in chem istry and biology.
Ping’s other current obsessions include Japanese animation (anime) and other things
Japanese, graphic stories, devilsticks, and eighties synth-pop. He has also recently
been attracted to a set of philosophies called “extropianism ” that he discovered on
the Internet. Seeking boundless expansion for the human race through technologies
such as space travel, artificial intellig en ce, cryonics, and nanotechnology,
extropianism questions traditional limits such as finite lifespans and rejects blind
faith in favor of dynamic optimism. Ping finds that extropianism ties in well with
his personal philosophy of getting involved with as many things and m eeting as
many people as possible.
Ping finds that his numerous successes all stem from his attitude tow ard life. His
love of mathematics is one facet of an open attitude toward learning and experience:
“M ath is one of the purest forms of m ental exercise — yet both the results and the
methods of mathematics have applications everywhere. It is a great way to learn to
solve problem s, since you get volumes o f essential know ledge at the same time.
M ath is a boundless universe that requires no more than an eager mind to explore,
where you never have to worry about explosive decom pression.”
COMBWATORfCS R£(//S/7£0
— Ernst Mach
Combinatorics Revisited
Parity Problems: The World Series
Everyone knows about odd and even numbers; there doesn’t seem to be anything
o f great interest going on there. But in fact, parity (which means oddness or
evenness), or more generally, symmetry, can be a powerful tool in solving problems.
You m ay have noticed, for instance, that sym m etry was the key principle in
A M athem atical Card Trick (p. 44) and The Water and Wine Puzzle (p. 52) which
appeared in the earlier chapter Combinatorics.
W hat follows in the next few pages is a selection o f problem s involving parity or
symmetry in some way. I have started with a sample parity problem w hose solution
may help you with the rem aining problem s in this section Rem em ber to play
around with these problem s for a while before you flip to the answers given later
in the chapter!
Sample Parity Problem
a) W hat are the odds that the Toronto Blue Jays will win the World
Series? (This is pretty easy!)
b) Is it more likely that the World Series will end in six games or seven?
These don’t look like your normal high school math problem s! But they are in fact
serious problem s in combinatorics.
a) Your instincts should tell you im m ediately that there is a 50% chance o f Toronto
winning the series. A fter all, there is no difference between the teams. (Notice
that our assumptions allow us to ignore all sorts o f factors such as the quality o f the
teams, hom e field advantage, etc.) M ore explicitly, there is a sym m etry between
the two teams. If Toronto has probability p o f winning the Series, then the Dodgers
m ust win with probability p as well. As one o f these two events m ust occur, each
probability m ust be 50%. If you get jittery when you see a m athem atical argum ent
without equations, we can express this by saying that 2p = 1, so p - 0.5.
92
Combinatorics Revisited
i
b) There are several ways o f solving this problem. We will start with the more
obvious one, and end with the more elegant. (The intrepid reader may want to try
his or her hand at solving this problem before reading on.)
(If you find this method confusing, go on to the elegant solution.) We can compute
the probabilities explicitly and com pare them. To track the possible outcomes for
the first three games, we can construct a tree diagram as follows:
Game 1
Outcome for Toronto
Win Loss
Game 2
Outcome for Toronto
Win Loss Win Loss
U Game 3 I
<
M Outcome for Toronto 1
Win Loss Win L o ss Win Loss Win Loss
Note: In the tree diagram above, Notice that the numerators give the third
two wins followed by a loss would row of Pascal’s triangle, i.e. 13 3 1.
be denoted WWL. Do you see why this is tme?
93
I Combinatorics Revisited
In each gam e the probability o f winning is 1/2 for each team, so the probability of
any particular outcome such as W W L is 1/8. We can extend the tree diagram above
to com pute the following probabilities for the possible situations after four or more
games.
A fter four gam es
WWWL
WWLW
3 wins for Toronto 4/16
WLWW
LWWW
W W LL
WLWL
WLLW 2 wins for Toronto 6/16
LWWL
LWLW
LLWW
LLLW
LLWL 1 win for Toronto 4/16
LWLL
W LLL
The series terminates when either team wins 4 games, i.e. W W W W or LLLL.
H ence the probabilities for the possible outcom es after the fifth gam e are:
Event Probability
Series already finished after 4 games 1 /8
yy111lJ iwi
4r wins for Toronto
i v/i \_fill.VJ 4/33
3 wins for Toronto 10/32 Series ends
2 wins for Toronto 10/32 after 5 games.
i win lo r ioronio - ‘M il
1
Combinatorics Revisited
(W e observe that the P a sc a l’s trian g le pattern observed after 3 gam es has
m ysteriously gone astray. W hat happened?)
Proceeding as above, we obtain the following probabilities for the possible events
associated with the six and seventh games.
Event Probability
Series finished after exactly 4 games 1 /8
Series finished after exactly 5 games 1/4
4 wins for Toronto 10/64 \ Series ends
3 wins for Toronto 20/64 y / after 6 games.
2 wins for Toronto 10/64 ' f
Event r~ B fflflH U H
Series finished after exactly 4 games 1 /8
Series finished after exactly 5 games 1/4
Series finished after exactly 6 games 5/16
Series finished after exactly 7 games 5/16
We see that there is a 5/16 chance o f the game finishing in six games, and a 5/16
chance o f the game finishing in seven, so the probabilities are exactly the same.
W hat a coincidence! (Or is it?)
Notice that if, after five games, one team has won 3 games while the other has won
2, then the series must go to 6 or 7 games. Conversely, if the series goes to 6 or 7,
then after 5 games one team must be leading 3-2. (If the score were 4 to 1, then
one team would have already won; 5-0 is impossible, as the Series ends as soon as
one team has won 4.) If the team that has won 3 o f 5 wins Game 6 , then the series
ends at 6 games. There is a 50% chance o f this. But if the other team wins Game
6 , then the series is tied 3-3, and must go to the seventh game. There is a 50%
chance o f this too. (We don’t even care who wins Game 7!)
You can see that the second solution has an edge over the first, although the “brute
force” solution still works.
95
Combinatorics Revisited
I
1. Imagine that the rules o f the World Series have been changed, and that the
Series continues until a team has w on 11 games (so that it must end by the 21st
game). Toronto and Los Angeles are in it again, and once again they are perfectly
matched. Is it more likely that the series will end in 20 games or 21 games?
2. Let n denote a positive odd number, n pennies are flipped simultaneously, and
the num ber of heads and tails turned up are counted. W hat is the probability that
there are more heads than tails?
3. Let n denote a positive integer. You and I play a silly game. I flip n pennies,
and you flip n+ 1 quarters simultaneously. You win if you flip more heads than I
do; otherwise, I win. (If we flip the same num ber o f heads, I win. In this way I
hope to, at least partially, counteract the advantage you have of flipping an extra
coin.) W hat are the odds of your winning?
4. Let n denote a positive odd integer. Im agine a table of numbers, with n rows
and n columns. All o f the entries are integers between 1 and n, and each integer
between 1 and n appears exactly once in each row and column. Furtherm ore, the
table is symmetric about its main diagonal; this means that the num ber appearing
in the itb row andf h colum n is the same as the num ber appearing in th e / 1 row and
Ith column. (See the diagram for an example.) Prove that each integer betw een 1
and n appears exactly once in the m ain diagonal. (The main diagonal consists of
those numbers whose row num ber is the same as their colum n number.)
96
Combinatorics Revisited
More Parity Problems (cont'd)
5. We play yet another arbitrary game. You flip 30 pennies. If the number of
heads turned up is divisible by 3, you lose. Otherwise, I win. W hat are your odds
o f winning?
ttzs.ni u n t i l y o u la w s t t is d y o u t l a n d a t t l s jjz o l l s n z d O ls io l u t io n s w i l l I s
la d to £ £ e m c n ia y d d /a tio n ! o n d aS s 7 4 -)
97
Combinatorics Revisited
7 he Triangles o f Pascal, Chu Shih-Chieh, and Sierp inski
P ascal’s Triangle is a table of integers that arises in many different places in
mathematics. Each row (from the second on) is obtained from the previous one by
a simple rule. In each position, put the sum o f the two numbers above it. For
exam ple, in the diagram, 10 is the sum o f 4 and 6 . The entries in row n are denoted
n fn
•
Kn
r n\
so that, for example, the third elem ent in row 4 is = 6. is read as “n
U J w
choose k”.
1 row 0
We can calculate using
M n\ 1 1 row 1
the formula,
4 6 4 1 row 4
\ /
1 5 10 10 5 1 row 5
1 6 1 5 2 0 1 5 6 1 row 6
1 7 21 35 35 21 7 1 row 7
1 8 28 56 70 56 28 8 1 row 8
Although this triangle bears the name of Blaise Pascal (1623-1662), who cam e up
with the idea when he was 13, it was known long before he was even bom . The
diagram on the next page, titled “The Old M ethod C hart of the Seven M ultiplying
Squares”, appeared at the front o f Chu Shih-Chieh’s Ssu Yuan Tii Chien in 1303.'
98
Combinatorics Revisited
By looking at this table, and comparing it with Pascal’s Triangle on the previous
page, you should be able to work out the numbering system used in Chu Shih-
C hieh’s table.
Some o f the properties o f Pascal’s Triangle can be seen through another triangle
consisting o f A ’s and B’s that is form ed according to similar rules. Instead of l ’s,
write A ’s along the arms. Then fill in the AB-Triangle as follows. Each A has two
different letters above it while the letters above each B are the same.
The AB - Triangle
Number of A's per Row
row 0 A 1
A 2
row 1 A
A B A 2
row 2
A 4
row 3 A A A
A B B B A 2
row 4
row 5 A A B B A A 4
A B A B A B A 4
row 6
Do you see w hat the A ’s and B’s correspond to in the original Pascal s triangle?
99
Combinatorics Revisited
Several things are im m ediately obvious about the AB-Triangle. First o f all, it is
symmetric. Second, there are B’s along the center column, except for the top A.
But there is a lot more going on too. Count the A ’s in each row. The first thing
you’ll notice is that this num ber is always a pow er o f two. W hy should this be
true? Although the actual pow er o f two seems to be quite random, there is a pattern.
Write the integer n in base 2, and count the num ber o f ones that appear. If k ones
appear, then there will be 2k A ’s in the nth row. For exam ple, 5 is written as 101 in
base 2, and there are 2 2 A ’s in row 5. (Using this, we can make statements such as
“there are 2 5 = 32 A ’s in the 361st row,” because 361 written in base 2 is 101101001,
which has five l ’s.)
Now write down the AB-triangle, but leave out the B’s. We first write down row 0,
then the rows 0 and 1, then rows 0 to 3, and then rows 0 to 7.
R ow 0 R ows 0 and 1
'i A
Rows 0 to 3
AA R ows 0 to 7
A A
A A
AA A A
A A A A
A A A
A A
A
A A
AAAA A A A
A A A AA A A A
A
100 N
I
These figures are very sim ilar to those that appear in the construction o f a fractal
called Sierpinski’s triangle. (You may want to ponder why these two constructions
generate sim ilar diagrams.) Sierpinski’s triangle is constructed as follows: Start
with a solid equilateral triangle, divide it into four equal pieces as below, and
rem ove the middle piece. Then divide each o f the three remaining triangles into
four equal pieces, and rem ove the middle piece of each one.
Step 1 Step 2
Step 3 Step 4
If this pattern were continued forever, then the result would be Sierpinski’s triangle.
If you m ade three copies o f the triangle, and shrunk them down by a factor o f one-
half, then you could cover the original triangle. Because the figure has this self
sim ilarity property, it is a fractal. (Because o f its resem blance to Sierpinski’s
triangle, P ascal’s triangle exhibits w hat can be loosely described as fractal-like
behavior as well.)
101
Combinatorics Revisited
Food fo r Thought
O. Add up the elements in each row. W hat pattern do you notice? Now
alternately add and subtract elements in each row. (For exam ple, for the
fourth row you would get l - 4 + 6 - 4 - l = 0 .) W hat do you notice? (You
m ight not find this surprising if you’ve seen some o f the uses o f P ascal’s
Triangle.) Can you prove any of your conjectures?
f 2 n''
© . W hat do you notice about the parity of ? For which n is it odd,
\ n J
f \
f 2o ' a
© . How does the parity of com pare w ith the parity of
v2bj \ bJ
© . Can you notice any other patterns in the A B -tuangle? M ake some
conjectures, test them, and try to prove them.
102
Combinatorics Revisited
I
1. Imagine that the rules of the World Series have been changed, and that the
Series continues until a team has won 11 games (so that it must end by the 21st
game). Toronto and Los Angeles are in it again, and once again they are perfectly
matched. Is it more likely that the series will end in 20 games or 21 games?
2. Let n denote a positive odd number, n pennies are flipped simultaneously, and
the num ber o f heads and tails turned up are counted. W hat are the odds that there
are more heads than tails ? 1
3. Let n denote a positive integer. You and I play an arbitrary game. I flip n
pennies, and you flip n+ 1 quarters simultaneously. You win if you flip more heads
than I do; otherwise, I win. (If we flip the same number of heads, I win. In this
way I hope to, at least partially, counteract the advantage you have o f flipping an
extra coin.) W hat are the odds of your winning?
'Problem 2 has appeared before in many places, including the 1982 Australian Mathematical
Olympiad.
I Combinatorics Revisited
Solutions to More Parity Problems (cont’d )
A nother elegant solution is to recognize that it doesn't m atter whether
you toss your n + 1 quarters sim ultaneously or w hether you toss n of
them and th en toss th e ex tra one. S u p p o se w e each toss n coins
simultaneously. If one o f us tosses more heads, that person will win; the
toss o f the extra coin will not m ake any difference. Furtherm ore, since we
each toss the same num ber o f coins, we each have an equal chance of
winning on this first toss. The toss o f the extra coin will be needed (as a
tiebreaker) only if we achieve the same num ber of heads on the toss of
the n coins. If the extra coin comes up heads, then you win; otherw ise we
end up tied and I win. In either case, our chances o f w inning are equal.
4. Let n denote a positive odd integer. Imagine a table of numbers, with n rows
and n columns. All of the entries are integers between 1 and n, and each integer
between 1 and n appears exactly once in each row and column. Furtherm ore, the
table is symmetric about its main diagonal, this means that the num ber appearing
in the ith row and j th colum n is the same as the num ber appearing in the f h row and
/th column. Prove that each integer between 1 and n appears exactly once in the
m ain diagonal. (The main diagonal consists o f those num bers whose row num ber
is the same as their colum n num ber . ) 1
Each number appears once in each row, and as there are n rows and n is
odd, each number appears in the table an odd num ber of times. We can
group those num bers not in the m ain diagonal into pairs using the
symmetry property — pair the num ber in the 1th row and f h colum n with
the (same) num ber in the f 1 row and 1th column. As each num ber appears
an odd num ber o f times, it m ust appear at least once in the diagonal.
(Otherwise, it would appear in pairs, and thus w ould appear an even
num ber of times.) Thus, w e’ve ju st shown that each of n numbers appears
at least once in the m ain diagonal, in which n numbers appear. Therefore,
each of the n numbers m ust appear exactly once.
5. We play yet another arbitrary game. You flip 30 pennies. If the num ber of
heads turned up is divisible by 3, you lose. Otherwise, I win. W hat are your odds
o f winning?
This is a trick question. If you read the question carefully, you'll see that you
can never win!
104
CmsseoARO coloring
Thomas Huxley
C hessboard C olorin g
The Invention o f Chess
n old legend explains that chess
The king was astonished that Sissa would make such a m odest request until he
discovered that this w ould require m ore grain than there was in the entire world.
Some accounts of this legend describe how the king was angered when he realized
the enormity o f the request and ordered that Sissa Ben D ahir be executed.
The total number of grains o f w heat can be written as a geom etric series with
common ratio 2 :
63
1 + 2 + 2 2 + 23 + 24 + ... + 2
This example shows a geometric series with some particularly interesting properties.
Observe, for example, that the sum o f the first n terms o f the series is one less than
the n + 1 sl term.
The legend told above involved covering a chessboard with grains o f wheat. In the
rem aining examples of this section, we will study the properties of various tilings
of the chessboard. That is, we will look at coverings of all the squares o f a chess
board with objects like dom inoes such that every square is covered and none o f the
covering objects overlap.
C hessboard C olorin g
A Chessboard Tiling Problem
Coloring doesn’t refer to the use o f crayons in mathematics, although coloring
argum ents are am ong the prettiest in elem entary m athem atics. Elegant and
surprising, they are in retrospect easily believable, like a good whodunit. Coloring
falls loosely into the category o f com binatorics. Strictly speaking, coloring isn’t a
m athem atical field o f research, although it is a useful technique.
k z n y o u a z s dc
AVfis d o n e ( o z tiaus. y iu z n u j i l j ,
Well, the chessboard has some structure that you can use. Each square is black or
white. If you think about it for a second, you’ll see that no matter how you place
a domino on the board so that it exactly covers two adjacent squares, it will cover
one black square and one w hite square. Now, if you could tile the reduced
chessboard with 31 dominoes, then exactly 31 white squares and 31 black squares
m ust be covered. On the reduced chessboard there are 30 white squares and 32
b lack squares. (R em em b er that we rem o v ed tw o w hite squares from our
chessboard!) Therefore, you couldn’t tile the reduced chessboard with 31 dominoes.
This m ethod of proof is called the indirect method. It’s an excellent way o f proving
that something is im possible. You assum e that it is in fact possible, and deduce a
contradiction. Since the reasoning was flawless, the only possible explanation for
this contradiction is that the original assum ption was false. The best w ay to
understand how this m ethod works is to see it in action a few times. You’ve already
seen it once here; it appears again in Prim e Num bers in N um ber Theory (p. 124)
and The H armonic Series (p. 179).
If you’re still leery o f this argument, you could state it in another way. Each
domino you place on the board m ust cover exactly one white square. As there is
no overlap, each white square m ust be covered by at m ost one domino. So, as
there are 30 white squares, you can ’t fit m ore than 30 dominoes on the reduced
board, which isn’t enough to cover the entire board.
108
O i l m
Z jB Z p L J H Q H !
■ J Q Q C 3
■ ■ ■ ■
C hessboard C oloring
l l t t l t l t
If you’re still not convinced, draw a little chessboard that is two squares by two
squares, and another little chessboard that is four squares by four squares. Cut off
two opposite white corners o f each, and try to cover them with dominoes. You’ll
soon see intuitively that you have too few white
squares to tile the boards.
"Of course not!” you bellow. "Painting the black squares white doesn’t change the
argum ent one bit!” Correct. We begin our argument with the statement, "Paint
alternate squares black and white, as on a chessboard,” and then continue as before.
T hat’s what coloring problems are all about. You have to figure out a clever coloring
of the object you’re looking at, and make an argument from there. In Another
Chessboard Tiling Problem (p. 111), you’ll see some of the power of this technique.
Food fo r Thought
If you haven’t had your fill o f domino tiling, you can try the following problems:
Notice that you don’t know which two squares I ’ve removed, other than that
one is black and one is white. Hint: the answer is always yes.
109
C hessboard C olorin g
A tetrom ino consists o f four squares, glued together along edges. There are
essentially 5 tetrominoes:
although you can get more if you rotate them and flip them.
The tetrominoes above have total area 20, so a natural question to ask is:
Can you tile a 4 x 5 board using exactly one copy o f each o f these
tetrominoes? (An easier question is: Can you tile a 2 x 10 board with
them? A nd the easiest is: Can you tile a 1 x 20 board with them?)
Try to solve this problem yourself, by coloring the 4 x 5 board in the right way,
and m aking the appropriate argument. Once you solve it (or once you give up),
you can read The Solution to the Tetromino Tiling Problem (p. 113).
110
C hessboard C oloring
Here is a harder puzzle than the previous tiling problems. Instead of dominoes or
tetrominoes, you have 2 1 pieces that look like this:
W e’ll refer to these pieces as 1 x 3’s and 1 x l ’s, for obvious reasons.
Now im agine a chessboard with squares ju st the size o f the l x l . You will notice
that all of our pieces com bined consist of 21 x 3 + 1 = 64 squares. This is precisely
the num ber o f squares on the chessboard. Is it possible to cover the chessboard
with these 22 pieces? Once again, there can’t be any overlap, and the squares on
each piece m ust cover com pletely the squares on the chessboard.
111
C hessboard C olorin g
So w e’re done? N ot y et... we've only shown that i f a tiling exists, then the 1 x 1
tile must occupy one o f the four positions shown above. It rem ains to dem onstrate
such a tiling.
So in this case, a tiling is possible, but the coloring was still useful. W ith what we
learned, w e could tile the board very quickly. W ithout the “tip” as to w here to
place the 1 x 1 , we could have been at it for hours before com ing up with the
correct tiling.
Try to solve the same problem with a 4 x 4 board (and five 1 x 3's
and a 1 x 1 ) and with a 5 x 5 board (and eight 1 x 3's and a 1 x 1 ).
112
C olorin g
Assum e that you can tile the 4 x 5 board with the five tetrominoes. Then the first
four m ust cover 8 black squares and 8 white squares. This leaves 2 black squares
and 2 white squares for the fifth one, which is impossible. Therefore, it is impossible
to tile the 4 x 5 board as desired. (As a further challenge, you may want to replace
the fifth tetrom ino with another one o f the others and try to tile the 4 x 5 board.)
113
czrf- tzSudclfJT, ^t^Cctzfz o f fJn&Uj/xt
orn and raised in L eningrad (now
Eugenia was invited to join Rukshin’s circle, along with a num ber o f other young
Leningrad students. Six members o f the circle eventually went on to com pete at
the International M athem atical O lym piad (IM O), three for the USSR, two for the
USA, and one for Israel. Today, all o f them are continuing their studies in
mathematics.
One o f the first great insights Eugenia had at the studying circle concerned the
following problem:
114
Eugenia tried to solve this problem at hom e for a few days, but to no avail. At the
next lesson, the 5 X 5 square was drawn on the blackboard with squares painted in
the pattern o f a chessboard. A sudden flash o f insight over cam e her and left her
speechless.
Starting in sixth grade, Eugenia took part in the Leningrad M athematical Olympiad.
Then, in M arch 1988, during seventh grade, she won first prize in the eighth grade
com petition, qualifying for the national olympiad. She won first prize there, the
first step to m aking the Soviet Team to the International M athem atical Olympiad.
The next year, she made the national team for the first of three times she would
com pete internationally. A lthough tw o years younger than the rest o f the team,
Eugenia went on to win a Gold M edal at the 1989 IM O in Braunschweig, Germany,
losing only one m ark on the entire competition. In her next two years, she won
two m ore Gold M edals, achieving a perfect score each time. Such a performance
is truly a rare occurrence at the Olympiad.
Since 1991, Eugenia has been studying m athem atical analysis at St. Petersburg
University. A fter her five-year undergraduate program, she will probably study
for three more years to obtain a doctorate, although, as she acknowledges, “anything
can happen” . One fact is certain: she will always find mathematics “one of the
m ost beautiful things in the w orld” .
N umber theory
- G. H. Hardy
0 Num ber Theory Revisited
R eal numbers are those numbers which can represent the length of a line segment.
Rational numbers are those numbers that can be expressed as a ratio o f two integers
(e.g. 42 or 2/3). Irrational num bers are those real num bers that aren’t rational. In
the next section, for instance, you will see that ff2 is irrational, and in Two Different
Infinities (p. 229) you will see that there are, in some sense, far m ore irrationals
than rationals.
Complex numbers are extremely im portant in m athematics and physics. A com plex
num ber is any num ber o f the form a + bi w here a and b are real numbers and i is
an “im aginary” term satisfying the equation i2 = -1. If you are unfam iliar with
com plex numbers, you should ask someone, such as a teacher, how they work;
they are fascinating. Com plex numbers will pop up at many points later on in this
book; surprisingly, they often appear in geom etric contexts.
Algebraic numbers are those com plex numbers that are zeroes o f polynom ials
with integer coefficients. For exam ple, \[2 is algebraic, as z = \[2 is a solution o f
z5 - 2 = 0.
Transcendental num bers are those com plex numbers that are not algebraic. The
m athem atical constants K and e are transcendental, although the proofs o f these
facts require some advanced m athem atical techniques. In the next section, you
will see that is also transcendental. In the final section o f the book, you will
see that, in some sense, the vast majority o f num bers are transcendental.
Constructible numbers are a special subset o f algebraic numbers that are used to
prove certain facts in geometry, including the fact that it is im possible to trisect an
arbitrary angle using only a straightedge (unm arked ruler) and com passes. This
will be further discussed in Three Im possible Problems o f Antiquity (p. 215).
118
Number Theory Revisited
The following figure will help you keep track o f the relationships among these
concepts. For example, all rational numbers are algebraic, but not all algebraic
num bers are real (3/2 i is an example).
- Real Numbers— .
Rational N u m bers
^ 2
c ^ H n te g e rs ^ 3
Constructible Numbers
— A lgebraic Numbers—
An Informal Glossary
•Integer — any num ber in the set { ..., -3, -2, -1, 0, 1, 2, 3, . . . )
— an integer can be expressed as a sum or difference of
two natural numbers
•Real N um ber — any num ber which can represent the length of a line
segm ent
•Com plex N um ber — any num ber o f the form a + bi where a and b are real
numbers and i2 = - 1
•Algebraic N um ber — any com plex num ber which is the root of some
algebraic equation with integer coefficients
119
I Number Theory Revisited
N um ber theory is the field o f m athem atics that deals with questions about the
integers . 1 For example, Fermat's Last Theorem is a statem ent in num ber theory.
(For more on this celebrated result, see the H istorical D igression at the end o f this
section.) One aspect o f the study o f integers involves questions about rational and
irrational numbers. Rational num bers are those real num bers that can be expressed
as a ratio o f two integers, such as 3/5 or 4. The rest are irrational numbers. Irrational
numbers are harder to com e by, although w e’ll see later ( Two D ifferent Infinities,
p. 229) that in some sense there are far more of them. The m athem atical constants
n and e are irrational, although the proofs o f these facts are quite difficult.
In the next few pages, we will dem onstrate the pow er of the indirect m ethod of
proof in establishing two o f the m ost beautiful theorem s in m athematics. (You
may already have encountered the indirect m ethod in A Solution to The Chessboard
Tiling Problem, p. 108.) In A M athem atician's A pology, the fam ous English
m athem atician G. H. Hardy (1877-1947) presents two theorem s as exam ples of
“first-rate” theorems in mathematics. In 1940, he wrote:
‘Number theory actually goes much farther than this, but the integers are where number
theory begins.
120
I Number Theory Revisited
The following theorem is the first o f the two referred to by Hardy. It dates back
about 2500 years to the Pythagoreans, and is one o f the simplest proofs that a
num ber is irrational. It is also extrem ely beautiful — its elegance lies in its
simplicity.
Theorem -------------------------
\ 2 is irrational.
Proof.
This is an exam ple of the indirect m ethod o f proof, in which we assume
the opposite o f the intended result. We then reach a contradiction. The
only possible explanation for the contradiction is that our original
assum ption must have been flawed. Hence the intended result must be
true. (If you find that confusing, just read on. It is really ju st common
sense; the best way to understand the indirect method is to see it in action.)
Then 4 2 n = m , so 2 n 2 = m 2.
The left side is even, so the right side must be too, so m is even. Therefore,
m = 2d for some integer d. Substituting this into our equation, we obtain:
2 n 2 = ( 2 d ) 2 => / 2 = 2 d2
Now the right side is even, so the left side must be too, so n is even.
But we earlier said that m and n could not both be ev en ! We have am ved
at a contradiction, so there m ust have been a flaw in our original
assumption that 4 2 is rational. Thus 4 2 must be irrational. Q. E. D.
Proof.
We have already proven that a/2 is irrational. If a/2 ^ is rational, then
V2
X = VT
= 2
is rational, so we have found our exam ple anyway. Q. E. D.
turns out (although it is much, much more difficult to prove) that a/ 2 ^ is irrational,
and in fact transcendental . 1 This follows from the G elfond-Schneider theorem:
If a and b are algebraic numbers (i.e. the roots o f polynom ials with
integer co-efficients), a * 0 or 1 , and b is irrational, then ab is
transcendental.
'For a definition of transcendental, see the previous section, Numbers, Numbers, and More
Numbers!
122
V ^ ^ x
H is t o r ic a l
D ig r e s s io n ''W'S
On June 23,1993, Andrew Wiles o f Princeton University completed his final lecture
at a Cam bridge U niversity conference with the statement, “I better stop there.”
The audience o f some o f the world's greatest num ber theorists was incredulous —
paralysed for a few seconds. As the significance o f the chalkboard equation
registered, the silence gave way to a thunderous applause. It appeared that Dr.
W iles had proved F erm at's L ast T heorem , the m ost fam ous co n jectu re in
mathematics which had eluded the greatest minds for over 350 years!
123
I
As discussed in F irst Steps in N um ber Theory (p. 120), num ber theory is the field
o f mathematics that deals with questions about the integers. W hen one tries to
prove results about integers, one naturally encounters the concept of a prim e number.
We all know what a prim e is: it is a positive integer w hose only factors are 1 and
itself. (In particular, 1 is not prim e.) The first few prim es are 2, 3, 5, 7, and 11.
Early mathem aticians asked them selves the reasonable question, “Is the list o f
prim es finite?” In other words, “Is there a largest prim e?” The m athem atician
Euclid o f A lexandria (in present-day Egypt) had a very simple proof (c. 300 B.C.)
that there are an infinite num ber o f primes. It is a testam ent to his brilliance that he
was able to com e up with such a beautiful argum ent that it rem ains the best proof
know n to this day. This is the second theorem to which H ardy referred; like the
first, this theorem uses the indirect m ethod o fp ro o f discussed in the previous section.
Theorem
Proof.
W hat would happen if there were only a finite num ber o f primes? Well,
in that case, we could call th em p v p 2, ..., p n w here all prim es w ould be
included in the list. N ow consider the num ber
q = P lp 2 ...p n + l
124
Number Theory Revisited
I
The proof above gives a method of constructing pnm es. Given a set of primes,
you can construct another one — take the product o f the primes in the set, add 1 ,
and take the smallest prim e factor o f the result. Starting with the set p { = 2, we get
p 2 = 3 , p 3 = 7, p 4 = 43.
Theorem
Proof.
We will use the indirect m ethod again. Assume such a polynomial,
P(n), exists. Then P(0) is some prime p. This means that the constant
term o f the polynom ial is p, so P (n) is o f the form nQ(n) + p, for
some polynom ial Q(n) which also has integer coefficients. Then,
But by our hypothesis, P(kp) is a prime. But the only prime divisible
by p is p itself, so P(kp) = p for all integers k. From here, you can
finish off the proof in two ways, depending on your personal style.
M ethod I M ethod II
Any non-constant polynom ial P(n) p = P{kp) = kp Q(kp) + p, so when k is
must grow indefinitely large as n a non-zero integer, Q(kp) = 0. But Q(n)
gets large. This contradicts the fact is a non-zero polynomial, and as such
that P(kp) = p for all integers k. can only have a finite number of zeroes,
contradicting the fact that Q{n) = 0 for
n = ..., -3p, - 2 p, -p, p, 2 p, 3p, ...
125
Number Theory Revisited
W e’ll end this section with a sim ple test for primality. Suppose we have a num ber
n, such as 101, and we want to check if it is prime. One way o f doing this is to see
if it has any divisors greater than 1 and less than n. Thanks to the next theorem , we
can make our check much faster.
Theorem
Proof.
If n is composite, then it can be expressed as n = pq, where p and
q are greater than 1. Both p and q can’t be bigger than -Jn (or
else n = p q > ~Jn x -Vw = n). Suppose p < 4 n . Then if p isn ’t
prime, take any prim e factor; this also will be no greater than Vn .
U sing this theorem, we can quickly check if 101 is prime. The prim e num bers less
than V101 are 2, 3, 5, and 7, and 101 is divisible by none o f these, so it m ust be
prime. (This theorem, along with the tricks m entioned in D ivisibility Rules on
page 2 2 , allow one to check prim ality o f reasonably large numbers in one’s head.)
This method is quite crude, and extremely slow for checking the primality o f integers
that are m any digits long. M uch faster m ethods have been developed using
sophisticated tools o f num ber theory. Far from being arbitrary m athem atical
c u rio sitie s, these id eas are e ssen tial in cry p to g ra p h y and th e c rea tio n o f
“unbreakable” codes.
126
Number Theory Revisited
The lockers in Cretin High School are num bered 1 through 1000. Cretin’s school
colors are a fashionable mauve and vermilion. All o f the lockers are initially painted
mauve. A fter an excessively enthusiastic pep rally, Cretin’s 1000 students go on a
painting rampage. The first student runs down the halls and paints all of the lockers
vermilion. The second student runs down the halls and repaints all o f the even-
numbered lockers mauve. The third student runs down the halls and repaints lockers
3, 6 , 9 ,..., 999 in the opposite color that he finds them. The fourth student runs
down the halls and does the same with those lockers whose numbers are multiples
o f 4. This goes on and on and on, until finally (late that night), the thousandth
student repaints locker 1000. A fter that peppy day, which lockers are painted
mauve, and w hich lockers are painted verm ilion? (Hint: imagine that the school
only has 10 lockers, and w ork out w hat happens in that case. Then try it with 20
lockers. Then make a conjecture for the general case. Finally, try to prove it.)
B
AC2 + B C = AB2
The best-known exam ple o f a right triangle (known to the ancient Egyptians) has
sides o f length 3 ,4 , and 5.
W hen you first learned about the Pythagorean theorem, you probably did a lot o f
exercises where you cam e across other triplets o f integers (a, b, c) that satisfy the
equation a 2 + b 2 = c2. A triplet o f this form is know n as a Pythagorean triple.
Other well-known exam ples o f Pythagorean triples are (5, 12, 13) and ( 6 , 8 , 10):
52 + 12 2 = 25 + 144 62 + 82 = 36 + 64
= 169 = 100
132 = 102
You m ight have noticed that ( 6 , 8 , 10) is really a new version o f our old friend
(3 ,4 ,5 ); we have ju st taken the 3-4-5 triangle and expanded each o f its dim ensions
by a factor o f 2. (It is misleading to say we have doubled the triangle, for although
we have doubled each o f the sides, we have quadrupled the area.) We can get
many new Pythagorean triples in this way, by m ultiplying (3 ,4 ,5 ) by some integer.
For example,
Using (3k, 4k, 5k), we can easily construct lots and lots o f Pythagorean triples.
Unfortunately, after the first one or two, they aren’t very interesting.
I Number Theory Revisited
For example, try u - 2 and v = k = 1 — you should rediscover our old friend
(3,4,5). u = 3, v = 2, and k = 1 yields another fam iliar triple. We can multiply this
triple by 2 to get yet another triple. Now try u = 72, v = 65, k = 3 and see what you
get. Check that, even with such large numbers, a 2 + b 1 = c2!
129
Number Theory Revisited
Food fo r Thought
a 2 + b 2 = c2.
For exam ple, (3, 4, 5), (5, 12, 13), and (65, 72, 97) are prim itive
Pythagorean triples, but (6 , 8 , 10), (15, 36, 39), and (39, 52, 65) are
not.
Here are some prim itive Pythagorean triples:
(a, b, c) = (3, 4, 5), (5, 12, 13), (15, 8 , 17), (7, 24, 25), (9, 40, 41),
(21, 20, 29).
and b is divisible by four. Try to find other prim itive Pythagorean triples
(perhaps using the formula). Are these facts true for your new triples as
w ell? Do you think this is true for all Pythagorean triples (not ju st
primitive ones)?
© . 3 122 + 4 59 2 = 5552. Can you figure out w hich u, y, and k w ould give
you this triple?
© . If you know som e trigonom etry, try “breaking the ru les” and
substituting u = cos 0 , v - sin 9, k = 1 in the form ula on the previous
page. W hat form ula do you get? (Rem em ber the double angle formulas:
cos 2 6 = cos 2 0 - sin 2 6 and sin 2 6 = 2 cos 6 sin 6 .)
I Number Theory Revisited
Consider two lists. List A consists o f the positive powers of 10 (10, 100, 1000,...)
written in base 2. List B consists o f the positive powers of 10 written in base 5.
Remarkably, for any integer n > 1, there is exactly one num ber in exactly one of
the lists that is exactly n digits long.
For exam ple (setting n = 3), we observe there is precisely one three-digit number
in the two lists — the second num ber in list B. And (if n = 100) there is just one
hundred-digit num ber in the two lists — the thirtieth num ber in list A.
This result first appeared on the 1994 Asian Pacific Mathematics Olympiad.
131
A*
A Remarkable Coincidence?
Or An Even More Remarkable Non-Coincidence?
262,537,412,640,768,744.00000000000
g 7rVl63 js n o t jn ^a c t a n j n t e g er; j f y o u r
262,537,412,640,768,743.999999999999250072597...
O f course, there is no reason to suspect that a strange num ber like e n ' ' 163 is actually
an integer, and it seems like a rem arkable coincidence that it is actually so close to
an integer. W hat is even m ore rem arkable is that this is no coincidence — it reflects
a subtle fact in num ber theory.
Basically, 163 is the largest num ber (along with 1, 2, 3, 7, 11, 19, 43, and 67) with
a special (and im portant) num ber-theoretic property (which is unfortunately to
deep to delve into here). A bizarre consequence o f this property is that e71^ is
relatively close to an integer (for each k in the sequence), and the larger the k, the
closer en^ is to an integer. Only 43 and 67 are especially striking. (Try out other
num bers on a computer. W hile you’re at it, try g7^ '58.)
In Prim e Numbers in N um ber Theory (p. 124), the polynom ial n 2 - 81n +1681
appeared. (It takes on only prim e values for 0 < n < 81.) If you know how, take its
discriminant. W hat do you notice? Do you think this is a coincidence? In the
1975 jk p ril F ools’ issue o f Scientific A m erican, M artin G ardner claim ed that
^ ' 163is in fact an integer. This allegation caused m uch consternation in the
m athem atical community. (He also claim ed that P-KR4 had been proved to be a
w inning move for W hite in Chess, that E instein’s special theory o f relativity is
logically flawed, and that Leonardo da Vinci had invented the valve flush toilet.)
Using some o f the strange relationships described on the previous page, Ramanujan
managed to get rem arkable approxim ations to tc, including the following : 1
12 (correct to 22
K In (3+V5 )(2+V2) [(5+2VI0 )+V61+207T0 ] decimal places)
THo
'Dario Castellanos, “The Ubiquitous 7t”, Mathematics Magazine. (Vol. 61, No. 2, (April 1988).), 79.
133
Number Theory Revisited
It turns out that all the lockers are mauve, except for the perfect squares! H ere’s
why. Let’s ignore the rest of the lockers, and see what happens to locker n throughout
the day. The (P student repaints the locker if and only if d is a factor o f n. (Can
you see w hy?) So those numbers with an even num ber o f factors are left m auve at
the end of the day, and those with an odd num ber o f factors are left vermilion. It
rem ains only to show that the perfect squares are the only num bers with an odd
num ber o f factors. We present two arguments to show this; the first is inform al
while the second is a little more formal.
First argument
If n is not a perfect square, then its factors com e in pairs, w here the two num bers in
a pair multiply to n. That is, the factor d is paired with the factor n/d, so there are
an even num ber o f factors. For exam ple, the factors o f 24 can be paired as follows:
(1,24), (2,12), (3,8), (4,6). However, if n is a perfect square, T n is paired with
itself. Hence n would have an odd num ber o f factors. For example, if n were 36,
we would have the pairs (1,36), (2,18), (3,12), and (4,9), but the factor 6 w ould be
unpaired. Hence 36 has an odd num ber o f factors.
Second argument
We can write any num ber n as a product o f its prim e factors as follows:
In conclusion, the only lockers painted verm ilion at the end o f the day are those
w hose numbers have an odd num ber o f factors — that is, the perfect squares.
Sums o f k h Powers
It is a well-known fact that the sum o f the first n natural numbers is given by:
n(n + 1 )
1 + 2 + 3 + ... + n = -----------
2
(We have already used this form ula in Two Theorems about M agic Squares, p. 35.)
O ne simple proof is suggested by the following diagram:
Number of Number of
black white
squares squares
1 n
+2
+3
+4
w +(n-1)
+(n-2)
+(n-3)
+ (n -1 ) +2
+n + 1
n +1
n(n + 1 )
This identity S (n) = ------------ is a special case o f a more general result.
W hat is the value o f the following sum for a given positive integer k l
\ k + 2k + 3k + ... + nk
Let's represent this sum by Sk(n). We will explore several different ways o f
approaching this problem in the upcom ing pages.
135
Number Theory Revisited
S 2(n) = l 2 + 2 2 + 3 2 + ... + n 2
One o f the most powerful calculating tricks for evaluating the sum of such a series
is a technique called telescoping. This technique involves writing an expression
for the difference between successive terms o f a particular series and then adding
all the differences together. All terms except the first and last vanish, and the sum
magically appears!
Suspecting that the sum o f the first n squares m ight be a polynom ial of degree 3 in
n, we write an expression for the differences betw een successive terms o f the
sequence l 3, 23, 33, n3, ... starting from the last term and working backwards.
n 3 - (n - l ) 3 = 3n 2 - 3 n +1
0n - l ) 3 - (n - 2 ) 3 = 3(n - l ) 2 - 3(n - 1) + 1
(n - 2 ) 3 - (n - 3 ) 3 = 3(n - 2 ) 2 - 3(n - 2) + 1
33 - 23 = 3(32) - 3(3) + 1
23 - l3 = 3(22) -3 (2 ) + 1
l3 - O3 = 3(12) -3 (1 ) + 1
1 3
From w hich we conclude: S 0 (n) = —(n - n + 3S (n ))
2 3 1
n(n+ 1 )"1^
S3(n) =
136
sI
H is t o r ic a l
I
_T)ivression.
1 2 3 4 5 48 49 50
+ 100 +99 ±98 ±97 ±96 ••• +53 +52 +51
101 101 101 101 101 101 101 101
There are 50 pairs, each summing to 101, for a total sum of 50 x 101 or 5050.
His teachers soon called G auss’s talent to the attention o f the Duke of Brunswick
who supported his education, first enabling him to study at the local college, then
at the university in Gottingen, where he matriculated in October 1795.
137
The General Case: Sk(n)
If the sum o f the k* powers o f the first n positive integers is denoted by Sk(n), then
we observe that Sk(n) is a polynom ial (in n) of degree k + 1. (Notice in particular
that S 3(/r) is the square o f S ((n). There is no im m ediately obvious reason why this
should be true.)
One m ethod to calculate Sk(n) given S k_ {(n) uses telescoping series. Here is a
second, more unusual method, using calculus . 1
•Multiply it by k.
= f n2 + - n
2 2
‘This method was told to me in 1986 by Wayne Broughton, who was then a high school
student in Vancouver, British Columbia.
Number / heory Revisited ^
EXPERTS
k ONLY A
Sums o f k h Powers (cont’d )
There are several other ways o f calculating Sk(n) . One o f the most unusual and
effective methods uses the Bernoulli numbers.
(The B ernoulli num bers are a sequence o f num bers denoted by BQ, B x, B 2, ...
beginning 1, -1/2, 1/6, 0, -1/30, 0, 1/42, 0 ,... For more background on them, read
the next section, Bernoulli Num bers.)
k+l-j
SM = B .(n + 1) where
k +1
j =o
139
Number Theory Revisited
I
EXPERTS
Bernoulli Numbers ONLY
B ernouilli num bers are a sequence o f num bers that com e up in a variety of
circumstances. The previous section showed how they are used to find the sum of
the first n kth powers.
Definition. The sequence BQ, B , B 2, ..., called the Bernouilli numbers, is given by
B q = 1 and, for m > 0,
B = - B where f m+1l
m+ 1 r j \ j ;
7=0X J )
B=-~, B= 7 , B = 0, B=~ — , 5 = 0 , B = —
l 2 2 6 3 4 30 5 6 42
Try This!
Use property b) to prove this identity.
If m is a positive integer, then
i l l n 2
x
c) If we expand as a pow er series in x, then
e -1
H is t o r ic a l
D ig r e s sio n
The Bernouilli numbers were discovered by Jacques Bernouilli (1654 -1705), who
developed them to solve the problem of summing the k'hpowers of integers (see
Sum s o f the k?h Powers, p. 135). Bernoulli numbers are surprisingly linked to
Fermat's Last Theorem (described in The M ost Famous Conjecture in Mathematics,
p. 123). The German mathem atician Ernst K um m er (1810-1893) proved that if p
is an odd prim e that does not divide the numerators o f the Bernoulli numbers Br
B4, ..., Bp 3, then Fermat's Last Theorem holds for n = p (and for any n divisible by
p). Such a p i s called a regular prim e. Along with the case when n is divisible by
4 (the only case that Ferm at proved himself), this theorem proves Fermat's Last
Theorem for all n less than 100 other than 37, 59, 67, and 74.
Jacques was also falsely credited as being the first person to notice that the following
series diverges. (This series is called the harmonic series and is discussed more
fully on pp. 179-183.)
1 1 1
+ - + - '+ —+ ...
1
2 3 4
One of the more bizarre anecdotes about this impressive family concerns l’H opital’s
rule, which appears in virtually every elementary calculus class.
Jean Bernouilli (1667-1748), the younger brother of Jacques, had instructed a French
marquis, G.F.A. de L’Hopital (1661-1704), in the art of calculus. In return for a
regular salary, Jean agreed to send L’Hopital all of his mathematical discoveries.
In 1694, Jean Bernouilli discovered “L’H opital’s Rule” , and the rest is history.
I
At W inston Churchill High School in Potom ac, M aryland, Jordan really began to
shine. In 1989, he placed second in the Westinghouse Science Talent Search, a
national science fair. In his last three years o f high school he did spectacularly
well on the USA M athem atical Olympiad, rising from ninth place, to second, and
finally to first. He com peted for the United States at the International M athem atical
O lym piad in each of those three years, winning tw o Gold M edals and one Silver
M edal.
142
W hile studying mathematics as an undergraduate at Harvard, Jordan competed in
the North American Putnam M athematical Competition, twice achieving the highest
honor o f Putnam Fellow. In three of hi s four years, he was a member of the Harvard
team that w as in the process o f w inning the Putnam com petition for eight
consecutive years.
Despite his mathematical successes, Jordan spent much of his undergraduate career
avidly pursuing his interest in literature. He regularly wrote for the Harvard Crimson
and was the Fiction Editor for the Harvard Advocate. After graduation, he completed
a M asters Degree in Creative W riting at Johns Hopkins University in Baltimore,
where he wrote a novel, The G rasshopper King. W hen asked about this unusual
detour, Jordan responds, “It is always good to have some element of resistance to
w hat’s easy and w hat’s obvious.” H e always intended to return to mathematics,
and this was his last opportunity to write seriously. After completing his Masters,
he returned to Harvard to begin a Ph.D. in N um ber Theory.
Jordan has strong views on the role of mathematics in society: “Math occupies a
strange cultural place. If you have an aptitude for math, that often makes you the
‘brain’ o f your class, more so than for other fields such as history or writing.” He
believes that mathematics is too often seen as the province o f a special class of
people. There is even a disturbing cheerfulness to people’s admission that they
don’t like math, and aren’t good at it. As Jordan reflects, “You d o n ’t hear people
say, ‘Long words make my head spin!” ’
For Jordan, the most rem arkable feature o f mathematics is its ability to completely
engage his m ind and soul: “Hours can go by. Nothing makes me less aware o f the
passage o f tim e.” His parting advice for young people interested in the subject?
“Do math for m ath’s sake, not because your parents will be proud o f you, or because
people will think you are sm art.”
143
**
f/eomcct
Leonardo da Vinci
Fibonacci & The Golden Mean
H ere are some unusual facts about the Fibonacci numbers. If you read A Form ula
fo r the nth Term o f the Fibonacci Sequence (p. 60) or The Golden M ean (p. 150),
you will see some o f them proved, and you m ight get ideas about how to prove
others.
F +1 lW 5
1. As n gets larger, the num ber p gets closer to T = ------- , the golden mean.
n 2
2 - a) f 2 + f nJ+ 1 = F0 i .<
2 n+l
for n > 1.
,2.
w f o r" -2 2.
2 ti
e) Let ,, ~ ~ . ( It follows from part d) that Gn is an integer.)
n
oo
1 , 1
arctan = - a rc ta n --
* > s -
n= 2 V
F2n J
3. Bees have unusual reproductive habits. Each m ale bee has only one parent (a
mother, the queen bee), whereas each fem ale bee has two parents (both a m other
and a father). So each male bee has one parent, and you can quickly check that he
has two grandparents (the two parents o f his mother). How many great-grandparents
does he have? How m any great-great-grandparents? Can you guess the pattern?
Can you prove it? (Drawing a fam ily tree m ight help.)
146
2 2 2
4. a) Can you prove this identity, Fj + F, + ... + Fn = FnFn+l'
This diagram may suggest a proof to you.
\+ S . . „
6 . Consider a circle whose circumference is the golden mean, t = —-— ~ 1.61803.
147
Fibonacci & The Golden M ea
7. The rem arkable interplay between Fibonacci num bers and Pascal’s triangle is
best shown in a diagram w ithout any words o f explanation:
be the double step); or he can take n-4 single steps and 2 double steps (which he
n—2
can do in ways, because out o f the n - 2 steps, he m ust choose two o f them to
\ ^ j
be double steps); and so on. The total num ber o f ways in which he can get to the
nth step is thus
fn \ fn -1 ]
+ + f ” “ 2l + ..
,0 ) , 1 , S ^ j
which is ju st P . (Just look at the diagram again if you don’t believe it!)
Thus P is the nth Elvis number, which is F !
148
Fibonacci & The Golden Mea it
8 . Elvis the E lf decided to create a landing o f marble tiles at the foot o f his front
hall staircase. He m easured off a rectangular area o f length 13 feet and width 5 feet
and determ ined that he would need 65 marble tiles measuring one foot square to
cover this landing. He purchased 65 tiles but upon arriving hom e discovered that
one tile was dam aged beyond repair and only 64 o f the tiles could be used.
U ndaunted by the challenge, he arranged the 64 tiles in an 8 x 8 square array and
then cut the large square into four regions, A, B, C and D as shown below left. He
then rearranged these four pieces into the 1 3 x 5 rectangle shown below right.
H ow did Elvis the E lf create a rectangle o f area 65 square fe e t by rearranging the
pieces o f a square o f area 64 square feet?
'A
_ _____
- 5 -
Notice that the numbers {5, 8 , 13} are consecutive Fibonacci numbers. Try to
create a paradox like the one above by replacing them with another triplet o f larger
consecutive Fibonacci numbers, such as { 8, 13, 2 1 }. You m ight notice a similarity
to fact # 2 a).
I learned of some of the more unusual results in fact # 2 from Geoig Gunther of Memorial
University of Newfoundland. The bee problem is from H. R. Jacobs, Mathematics, A Human
Endeavor, p. 98-99. Fact # 6 was related to me by Greg Kuperbeig of the University of
Chicago. Fact # 8 is taken from H. S. M. Coxeter, “The Golden Section, Phyllotaxis, and
Wythoffs Game”, Scripta Mathematica. (Vol. 19, No. 2-3, (June-Sept. 1953).), 135-43.
149
Fibonacci & The Golden Meam
\+ S
The golden mean is the num ber T = —- — (= 1.618033989), often represented by
the greek letter T (spelled “tau”, and pronounced so it rhym es with “Yow!”). The
ancient Greeks felt that the 1 XT rectangle was the m ost aesthetically pleasing,
and much classical architecture is based on that proportion. (Any rectangle sim ilar
to this one is called a “golden rectangle” .)
T h e P a rth e n o n o f A n c ie n t
Greece, com pleted in 438 B.C.,
was constructed so that its front
e le v a tio n fo rm s a g o ld e n
rectangle. But nature also uses
th e g o ld e n m ean in its o w n
architecture . 1
4— The aesthetically
pleasing l x r rectangle
THE BETTMANN ARCHIVE
T , sometimes called the golden section or golden ratio, is the first letter o f the
ancient greek word TO|iT| m eaning “the section” , t has already appeared in our
discussions about the Fibonacci sequence, w here we saw that:
'In Coxeter's “The Golden Section, Phyllotaxis, and Wythoffs Game”, further unusual
occurrences of the golden mean are discussed, including a surprising appearance of Fibonacci
numbers in pineapples. (For bibliographic information, see the Annotated References.)
Fibonacci & The Golden Mea y>
The form ula for Fibonacci numbers (p. 60) is just one o f a series of surprising
situations in which ^m ysteriously appears. Here are some o f them, many of which
you can try to prove yourself.
Fn+l
b) A related fact is that the fraction p? converges to r a s n gets large.
c) In fact, if you take any two positive real numbers a and b, and define
G,n + 1
the sequence Gn by Gj= a, G 2= b, and G n= G n_1+Gn_2, then the fraction q
2. a ) t 2- t -1 = 0-
b) Using this equation, you can show that if you take a golden rectangle
ABCD (where AB is the short side), and subtract a square, ABEF, then the
rem aining rectangle FECD is also golden.
-------------------------------- 1 ---------------------------------------------- E r
B
-------- T - 1 --------
BC DC
AB CE
D
A F
This fact is related to fact # 4 a) in Funny Fibonacci Facts (p. 146).
151
Fibonacci & The Golden Mean
iw i Q Q B
Record the new number. R epeat by pressing the same sequence o f keys, and then
once again write down the num ber you get. Keep doing this. W hat do you notice?
b) R epeat the process in part a), but press this sequence o f keys : 1
BO
l -----
1 1 1 1 1 1 1
— ---- b - + 1— |+
u 2 3 4J ,6 7 8 9 ,11 12 13
T—1
b) sin 18° =
c) cos 36° = —
2
152
I
7. (M ore experimentation.)
[ 1 * ] , [ 2 t ?] , [ 3 t ?], . . .
W hat do you notice?
b) (You will only need about four decimal places of accuracy for this one.)
M ake another list o f real numbers:
T, Y, T3, t , ...
A strange fact about these strange properties: a surprising number of them have in
some way to do with the num ber 5. 5 appears in the definition o f T. It also appears
in properties # 4 (notice that 18° = 9075), #5, and #7 c).
M any o f these properties are discussed elsewhere (see Funny Fibonacci Facts, p.
146, and The P yth a g o re a n Pe n t a g r a m, The G o ld en Me a n , a n d S tra n g e
Trigonometry, p. 154). If you want to learn more about the golden mean, you should
visit these pages. But if you haven't already done so, you should first check out the
very first section, Elvis Num bers (p. 56).
153
Fibonacci & The Golden Mean
(such as 7t or e) that pops up in the most unusual places, as we have seen in the
previous section. For example, if you use your calculator to com pute 2cos 36° or
2sin 18° + 1, you’ll get t. If you com pute the reciprocal o f 2sin 18°, you’ll get T
again. L et’s see why this is true.
Consider the regular pentagon with all o f the diagonals drawn in, and labelled as
follows:
D C
This figure, called a pentagram , was the symbol o f the Pythagorean brotherhood.
The Pythagoreans were a secret society dedicated to the pursuit of mathem atics
and philosophy, established by Pythagoras o f Samos (c. 580-500 B.C.) on the
southeastern coast o f what is now Italy.
154
Fibonacci & The Golden Mean
With a little thought, you can fill in all the angles. (Hint: start by showing that the
angle betw een consecutive sides o f a pentagon is 108°.)
We choose our unit o f length so that the pentagon has side o f length 1.Therefore,
AB = 1. Let t denote the length of AC.
AI AB
By checking angles, you’ll see that AAIB is sim ilar to AABC, so
t = AC = AI + IC = - + 1, so t 2 - t - 1 = 0 .
t
155
Fibonacci & The Golden Meat
Equipped with this inform ation, we have two basic triangles; AACD and AABC.
A A A
You should be able to see lots of triangles sim ilar to both o f these in the pentagram.
For example, AEAB and AABC are equiangular and therefore similar. From here,
we can w ork out lots o f trigonometric values. For exam ple, if we drop an altitude
from A to EB in AEAB, as shown below,
EK T
we see that cos 36° =
EA 2
You can derive a lot m ore yourself. The next page provides some ideas to get you
started.
156
Fibonacci & The Golden Mea
Food fo r Thought
O. Apply the cosine law to one of the basic triangles to compute cos 108°.
sin 12°
Apply the sine law to com pute sjn36° , and (using sin 72° = 2 sin 36°cos 36°)
_ o
19. Prove that sin 18° = —— . Compute cos 72° and sin 54°
_ AC AB Al
© . For the original pentagram, show that = —— = — = T ■
n D /A l u
Area ABCDE
Com pute the ratio
Area FGHIJ '
V3-1
sin 15° =
2V2 ’
to //i. S /J .
157
Ge o m e tr y rey / s / ted
Galileo Galilei
Geometry Revisited
A “Do-It-Yourself” Proof o f Heron's Formula
H eron’s form ula provides a quick way o f com puting the area of a triangle given
the lengths o f the sides. Let the sides o f the triangle be denoted by a, b, and c, and
let s denote the semi-perimeter, w here s is defined by:
a+ b+ c A
S = ---------------
2
Heron's Form ula
H eron (c. 75 A.D.) was a m athem atician from A lexandria (in m odern-day Egypt).
Although the form ula bearing H eron’s nam e was known to Archimedes several
centuries earlier, the proof by H eron is the earliest know n to us.
In many parts of N orth America, this form ula is still taught in high school, but very
few people know why it is true. H ere is a do-it-yourself proof; the key steps are
indicated, but you’ll have to fill in the blanks yourself.
Step 1
Show that a = y + z, b = x + z, c = x + y,
and 5 = x + y + z.
160
Geometry Revisited
Step 2
Next, w e’ll get two form ulas for the area K. Let r be the radius o f the inscribed
circle. Show that K = rs as follows. Let I be the incenter. Work out the areas of
IAB, IBC, and ICA in terms o f r, a, b, c, and add the results together to get K.
Let ra be the radius of the escribed circle opposite A. (The escribed circle away
from A is defined to be the circle tangent to all three sides of ABC, lying outside the
triangle, away from A, as shown below.) Let Ia be its center.
Step 3
Let G be the point of tangency o f the escribed circle opposite A to BC, as in the
figure below. Show that BG = z. (This m ight be tricky, depending on how you go
about it.)
Step 4
By using the identities from Step 3 (rra = yz, rrb = zx, r r= xy) and a little algebra,
show that:
K 6 = (sxyz) 3
If you know (and understand) the dot product, you can prove the Cosine Law
really quickly. (This is a handy way o f rem em bering the Cosine Law!)
Proof. We prove the last equation; the proofs o f the others are the same.
_2 —> —»
c =c•c
— (a — b ) • (a - b)
—> —> —> —> —> —>
= a • a + b • b —2 a • b
= a » a + b » b - 2 a b cos C
= a 2 + b 2 —2 cos C
If you have only seen the properties o f the dot product proved using the Cosine
Law, this isn ’t technically a proof, o f course. But it shows how integrally the two
concepts are related.
163
Geometry Revisited
" C j I
Label the points in the diagram W, X, Y, Z as shown, w here W is w here the wall
meets the ground, X is w here the ladder meets the wall, Y is w here the ladder meets
the ground, and Z is the location o f the flashlight. X Z = YZ, since the flashlight is
is at the midpoint of the ladder. Let this distance be 1.
Using simple Euclidean arguments, it’s not difficult to prove that WZ = 1 as well.
So, as the ladder falls to the ground, the flashlight is always a distance 1 from point
W. This seems very much like the definition o f a circle!
M ore generally, if the burglar weren't exactly halfw ay up the ladder, the flashlight
would travel through a quarter ellipse. This problem is an exam ple of a “locus
problem ” . The locus of a point is the path o f a point as something happens. In this
problem, w e’re w ondering about the locus o f the m idpoint of the ladder as the
ladder falls to the ground.
You can read about other (seemingly unrelated) locus problem s in the next section.
164
Geometry Revisited
ts.±t t jo u i m s t tts .
© . Fix a circle C in the plane. Take another circle B with half the diameter o f C,
and “roll it around the inside" o f circle C. Fix a point £P on B. How does £P
m ove as B rolls around C?
However, some inequality results are as beautiful as they are simple to state. Perhaps
the simplest and m ost beautiful is the Triangle Inequality.
This may seem like common sense to you. Furthermore, the title Triangle Inequality
m ight seem perplexing as no triangle appears in the statem ent of the theorem. The
following rephrasing may help.
Let P, Q, and R denote any three points. Then IPQI < IPRI + IRQI.
Equality holds if and only if R lies on the line segm ent joining P and Q.
Furthermore, if equality holds, then the path through R must be the shortest
path. In other words, the path through R m ust be the straight-line path
from P to Q, so R m ust have been on the line segm ent joining P and Q in
the first place.
We can use the triangle inequality to solve the following real-life problem .
Geometry Revisited
F arm er Brown stands 2 km away from a (straight) river. Einstein, his
prize cow, is standing 1 km from the river, 6 km downstream from
Farm er Brown. Brown wants to go to the river to get some water and
bring it to Einstein. W hat is the shortest route he could take?
6 km
river bank
1 km
2 km
its?!
2 km
Reflect C in the river bank to get C'. Join BE', EC, and E'C.
Notice (by slopes, or by any other means) that B, E, and C' are
collinear. N otice also that (by properties o f reflection) EC' = EC
and E'C' = E'C. Then, by the Triangle Inequality,
BE' + E'C' > BC' = BE + EC' = BE + EC
= s BE' + E'C > BE + EC
The left side is the distance that Farm er Brown would have to travel if he aimed for
E'. The right side is the distance he would have to travel if he aimed for E. This
proves that the route by way o f E is at least as good as any other route. Q.E.D.
Geometry Revisited
You m ight have noticed in the previous problem that ABAE is sim ilar to ACDE,
so ZAEB = ZDEC. Thus if there were a ball at B and a wall at AD, and if you
pushed the ball to bounce off the wall at E, then it would follow the path from E to
C. This reflection principle works in general. That is, when a ball bounces off a
wall, the angle o f reflection (ZDEC) is equal to the angle o f incidence (ZAEB).
Furtherm ore, the path BEC is the shortest o f all paths from B to C by way o f the
wall.
Som ething similar happens even when the wall is curved, which leads to some
unusual results. For example, im agine that you had a pool table in the shape o f an
ellipse.
There are two points in the ellipse called fo c i (the plural o f fo c u s ) situated
symmetrically about the center, along the longer axis.
If the ball is at one focus and there is a hole at the other, then no m atter which
direction you hit the ball, it will bounce off a wall and go in the hole. You can ’t
lose! (W hat if the ball isn ’t at the focus? In w hat direction should you hit it so that
it banks off a wall and goes in the hole? W hat happens if the table is shaped like a
parabola?)
S ound w aves in an e llip tic a lly shaped room d isp lay the sam e reflectio n
characteristics as billiard balls on an elliptical pool table. Any sound emitted at one
focus of the elliptical room can be heard with rem arkable clarity at the other focus.
The whispering gallery in the Tower o f London has two foci a considerable distance
apart and yet a whisper at either focus can easily be heard at the other focus. John
Quincy Adams (1767-1848), the sixth president of the United States, understood
this principle and placed his desk at one focus o f the elliptical Old House Chamber
in the Capitol building in Washington D. C. He placed the meeting table at the
other focus. In this way he was able to eavesdrop on the conversations of his
colleagues and m onitor their loyalties.
All this talk o f reflection may also remind you of how light behaves. As we will
soon see, this analogy can be pursued much farther. Imagine now that Farm er
Brown is standing in a field o f grass, and he sees Einstein standing in a field of
arom atic m anure in an adjacent field. Once again, Farm er Brown wants to get to
Einstein as quickly as possible. Naturally, he can m ove much faster over grass
than he can through manure.
field o f manure
1 field o f grass
Farm er Brown
He is best off making a beeline to some point on the boundary between the grass
and the manure. Because he m oves faster over grass, he will choose to spend a
greater proportion o f time in the grass than he would have had he headed straight
for Einstein.
169
Geometry Revisited
l « 3
If y ou’ve seen S n ell’s Law in optics, you will recognize Farm er Brown's situation.
If light moves at different speeds in two different media, it will “bend” (or refract)
at the boundary according to a simple rule. In fact, in this situation there is a
similar rule (“Sm ell’s Law ?”) relating the angles a and /3 to Farm er B row n’s speeds
over grass and manure.
S nell's L aw
W hat if, instead, there were no distinct boundary between the grass and the manure?
W hat if the manure ju st got deeper and thicker? In this case, we can well im agine
that F anner B row n’s optimal path would be curved, as in the figure.
Geometry Revisited
How does all this discussion tie into our original question, "What is the shortest
distance between two points?" W hat happened to our com mon sense proposition
that “the shortest path between two points is a straight line” ? M ust we discard it?
It may surprise you to learn that the answ er is no— we ju st change the definition of
straig h t lin e to m ean q u ickest path. (The
technical name for this is geodesic.) Then we
can transfer our notions of straight lines from
ordinary flat two-dim ensional space to odder
spaces such as the surface of a sphere (where
geodesics are great circles) and Farmer Brow n’s
field o f manure.
This field of mathematics is very active today. It falls into many different categories
— differential geom etry and mathem atical physics among others — and research
on these issues will continue to shape the way we view our universe.
171
O. T he U.S. C hess F ed eratio n is p lan n in g a to u rn am en t fo r all the
Grandmasters in the country. It wants to locate the tournam ent so the total
distance traveled by all the players is a minimum . M ore than half o f the
G randmasters live in New York City. Can you prove that the best site to
hold the tournam ent is in New York regardless o f the locations o f the other
players? (Assume that New York City is a point, that the U.S. is flat, and
that the players always take direct routes and never get caught in New
York traffic.)
172
Geometry Revisited
More Locus Hokus Pokus
In Locus H okus Pokus (p. 165), two problem s were posed. The answers might
surprise you.
\ r 2 - 25 2
Area o f C is nr
Area of D is n | V r2 -2 5
Area of C minus D is n r 1 - n y \ l r ^ - 2 5 J
Here is a fam ous problem that is similar. A length o f string is wrapped tightly
about the earth’s equator. Then the string is cut, a length o f 1 m eter is added, and
the string is retied. It is then suspended a fixed distance above the earth’s surface.
W hat is that distance? (Assume the earth is a perfect sphere.)
173
There is an even m ore surprising generalization to the first problem. Take a large
random convex shape C, large enough so that a chord of length 10 can travel
around the perimeter. The m idpoint o f the chord will sweep out another odd shape
D. (The convex condition, w hich essentially m eans that C doesn’t have any
indentations, is there to ensure that D actually sits inside C.) It turns out that the
area between C and D is always 2571, regardless of the shape of C!
One proof o f this general result uses a clever application o f G reen’s Theorem,
often taught in second-year university calculus. But with much less machinery, it
is possible to prove special cases of this result. The first problem from Locus
Hokus Pokus proves the theorem when C is a circle. If you try to prove it when C
is a rectangle, you will discover The Falling Ladder Problem (p. 85) in a new
guise. H ow about other shapes? An equilateral triangle?
174
The infinite! No other question has ever
moved so profoundly the spirit of man.
David Hilbert
The Mathematics o f the Birds and the Bee
Two birds are racing towards each other in the heat o f passion. They are initially
10 km from each other, and they are flying at the speed of 0.5 km/min. A voyeuristic
bee, which can fly at a speed o f 1 km/min, starts with one o f the birds and flies
towards the other. W hen it reaches the second bird, it turns around and flies back
towards the first bird again. The bee keeps this up until the two birds meet.
How far does the bee travel before this happens? (The answ er is on the bottom o f
page 184.)
176
© c c s , ;
Z en o’s Assertion:
A runner can never reach the end o f a racecourse in a finite time.
16 8 4 2
1. The runner must first pass the point -?> located ^ is between the runner and
halfway between herself and the finish line before the finish line.
she can finish the race.
2. It will take a finite time to reach the point ± . It is a finite distance from 1
t0 2 -
5. The total time for the race is infinite. T h e sum o f an in fin ite
n u m b er o f fin ite tim es is
infinite.
But we know from experience that the runner can reach the finish line. W here is
the flaw in Z eno’s argument?
177
The Flaw in Zeno's Paradox
WR/TE THE LEA/GTH O f THE IIth P ffC f PLACED /A/ THE CHEST AA/D THE
LEA/GTH O f THE REMA/A//A/G PfECE,
This exam ple shows that the sum of an infinite num ber o f finite quantities may
indeed be finite. This calls into question the reason supporting the fifth statem ent
in Zeno’s argument above. Paradoxes such as this one prom pted m athem aticians
to put mathematics on firm er foundations by specifying a basic set of “self-evident”
truths or axioms from which all m athem atical theorems could be logically and
unambiguously derived. This w ould (hopefully) expose all hidden assumptions
and remove paradoxes. O ver two millenia later, deeper paradoxes arose which
shook the axiom atic foundations of m athem atics m ore profoundly than the
challenges made by Zeno. One such paradox appears on page 226.
178
The Harmonic Series
An infinite series isa sum o f a sequence with an infinite number of terms. When
the sum is finite, the sequence is said to converge. Otherwise the series is said to
diverge. For example, the series generated by the lengths o f the pieces thrown into
the basket (see the previous page) is given by:
1 1 1 1
- +- +- + + — + ...
2 4 8 2 ”
It converges (to 1), butthe series 1 + 1 + 1+ 1 + ... clearly does not converge.
It is important to recognize that there is a limit implicitly involved here. For example,
1 1 1 1
the value o f T + T + ^ + - + —7 + --is defined to be the limit of the sum o f the
2 4 5 2
first n terms as n approaches infinity. That is, the lim it o f this sequence is the limit
o f the sequence of partial sums,
11 1 1 1 1
2 ’ 2 4’ 2 4 8
I ll 1
The harm onic series is the series: 1 H 1 h — + ...H----- 1-...
2 3 4 n
179
The Classical Proof that the Harmonic Series Diverges
This proof is very slick. We ignore the 1, and instead sum 1/2 + 1/3 + 1/4 + ... .
By the tim e we get to 1/4, the partial sum is greater than 2/2.
By the time we get to 1/8, the partial sum is greater than 3/2.
By the time we get to l/2 n, the partial sum is greater than n/2.
This means that if we are given some positive number, we can go far enough to
make the partial sum bigger than this number.
• • •
• • •
1/(2"-'+ 1) + . . . + 1 /(2 "-1 )+ 1 /2 " > 1/2" + ... + 1/2" + 1/2" = 1/2
V J
V ariation 1
Each term in the second series is only a tiny tiny bit sm aller than the corresponding
term in the harm onic series. B ut remarkably, the second sum converges! It
converges to something very large, though. If you want to see how large and know
a little about integration, you can w ork it out yourself, using the information that
the sum is approxim ately the same as the following integral:
oo
J 1.00001
J X
1
Variation 2
of those num bers with no 9 ’s in their decim al representation. So the sum would
begin:
1 1 1 1 1 1
1H 1 h ... H 1 h ... H 1 —+ ...
2 3 8 10 18 20
It doesn’t seem as though w e’ve thrown out many numbers, but strangely, this sum
also converges.
181
Variation 3
This time we will ju st sum the reciprocals of the prim es, so our series will begin:
1 1 1 1 1
1----- 1----- 1----- 1-------h ...
2 3 5 7 11
Now w e’ve thrown out a lot o f numbers. There aren’t that many prim es — there
are only 25 less than 100, 168 less than 1000, and 78,498 less than 1,000,000 —
and they keep on getting rarer. But amazingly, especially in light of the previous
variation, this sum diverges!
Rarer than primes are the so-called twin primes, which are any pair of prime numbers
that differ by 2, such as 5 and 7 or 41 and 43. The series o f the reciprocals o f all
twin primes converges. This tells us that twin prim es are very rare indeed.
Variation 4
In Prime Num bers in N um ber Theory (p. 124), we showed using a simple m ethod
that there are an infinite num ber o f primes. Leonhard Euler (1707-1783), the great
Sw'iss m athematician, had another proof based on the fact that the harm onic series
diverges.
The proof is subtle, but you should be able to figure it out. We use a m ethod known
as the indirect method — we assume the opposite o f what we want to prove, and
try to find a contradiction.
Im agine that there are only a finite num ber o f prim es, , P2, P3, • ••, Pr ■ Then
every positive integer n can be expressed (uniquely) as
182
L o g
' A N ,
Infinity
N ow im agine that you expanded out all o f the brackets (in the same way that when
you expand (a + b){c + d) you get ac + be + ad + bd — you get every possible
product o f something in the first bracket w ith something in the second bracket).
By analogy, we would expect P to be some huge sum
1 1 1 1 1
1+ h h K. . + h + ...
P\ Pi Pi Pn P\Pl
In this sum should appear every num ber o f the form:
n m. n m n m „m
Px 'P 2 *P3 3— Pr '
V ariation 5
We can use calculus to get more evidence that the harmonic series diverges. (As if
we w eren’t already convinced!) Define f i x) to be the following infinite series:
2 3 4
, X X X
fix) = X H 1---------1---------h . .
J 2 3' 4
Notice that/(0) = 0, and th a t/f 1) is the harmonic series. Differentiating with respect
to x, we get: f (jc)= { + x + x i + x i + x * + _
This is an infinite geom etric series, so we evaluate this sum to obtain: f (■*) =
' 1 1
Thus / ( l ) = / ( l ) - / ( 0 ) = j f i x ) dx = \ dx
o 0 1 - X J
= —In (1 —jc)|
'o
= “ C-00)
(To be fair, substituting x =1 into -In (1-x) is not quite "cricket"; rather we should
look at the limit of -In (1-x) as x approaches 1 from below.)
183
H isto ric a l
D ig r e s s io n
v
Stories about John von Neumann's rem arkable capacity for mental com putation
abound. On one occasion he was at a cocktail party when a guest challenged him
with the problem given on page 176 about the Birds and the Bee. Johnny, as he
was fondly called, contem plated the problem for a second or two and then replied,
“ten kilom eters” . The surprised interrogator retorted, “Oh, you've heard that trick
before?” In typically innocent fashion, Johnny responded, “W hat trick? I merely
summed the infinite series.”
Answer to The Mathematics o f the Birds and the Bee (p. 176)
One could take von Neumann's approach and calculate how far the bee travels in
each direction. This requires that you find the sum o f an infinite geom etric series.
However, there is a faster solution. The birds each take ten m inutes to reach the
halfw ay point; in this time, the bee w ill travel 10 km because it travels 1 km/min.
T hat’s it!
(Here is a follow-up question: How many times does the bee turn around during
this journey?)
184
Gami Meow Remtreo
TJo leazn How to jlajj eSds.xloalL cTfoCm&s.’ (2o n tin sn ta £ Oa(Lus, zecuI SCsm ejtkaxy
c=Mij U s eat ^W ation! j . 2. 74)-
If you’ve played around with the game awhile, you’ve probably convinced yourself
that EN D RU N can always stay one step ahead o f Holmes. But in fact, Holmes can
always win. Holmes' secret trick is to start off the gam e by m aking a beeline to
Reykjavik (he can get there in two moves), and then head to Edinburgh. After this,
he should have no trouble chasing down ENDRUN.
Try this out and check that it works. Loosely speaking, Holmes just has to try to
back ENDRUN towards a comer, usually by m oving to the opposite com er o f a
quadrilateral from EN D RU N . F or exam ple, if H olm es w ere in B russels and
EN DRUN were in Venice, then Holmes should move to M unich.
M ira c u lo u s ly , b y g o in g to
Reykjavik Holmes has removed the
potential difficulty in chasing down
E N D R U N ! T he fifteen m oves
allow ed H olm es are m ore than
enough — usually, six will suffice.
H ere’s a rem arkable fact: Reykjavik is essential to w inning the game. If you erase
Reykjavik from the map (so neither Holmes nor EN D R U N may go here), then
Holmes can never catch EN D RUN — even if there is no time limit and EN D R U N
tries to help! (Rem em ber — Holmes has to m ove to the position o f ENDRUN;
EN D RUN is not perm itted to m ove to Holmes' position and turn him self in.) If
you can figure out why Reykjavik is essential, then y o u ’ll have an excellent
understanding of how this gam e works. Perhaps m ore im portant, you’ll have a
vital insight into other im portant themes addressed in this book, including parity,
coloring, and graph theory. (You can take that last sentence as a hint!) W hen you
think you've figured it out, turn to Why H o lm es’ Strategy Works (p. 189).
186
A Three- Way Duel
This section has three different elements mixed together: game theory, a good
probability problem, and a paradox.
The Set-Up
Three players, A, B, and C, are involved in a gunfight. They take turns shooting
one bullet at a time until only one player remains. C is a perfect shooter; he kills
his target every time. B has an accuracy o f two kills in three attempts. Finally, A
only hits his target one out of every three times. To be fair, it is decided that A
should begin the gunfight, to be followed by B and then C (if they are alive), and
then back to A, and so on.
(Warning: Do not try this at home! These characters are trained mathematicians
and use only theoretical bullets!)
The Strategy
The Paradox
This pattern would seem to suggest that A should shoot at C if possible, and
otherwise aim at B. But it turns out that A’s best strategy is to deliberately miss his
first shot. If A aims at C with his first shot, and B and C follow their best strategies,
A will win (approxim ately) 31% o f the time, B will win 54% o f the time, and C
will win 15% of the time. But if A deliberately misses on his first shot, he will win
40% o f the time, B will win 38% o f the time, and C will win 22% of the time.
187
Game Theory Revisited
Try to work out all o f the probabilities m entioned above. You can check your
answers against the given percentages.
Two-player games are much easier to analyze than m ulti-player games for a number
of reasons. As in this example, a w eak third party may initially choose not to take
advantage o f its position, preferring instead to let the stronger powers w ear each
other down. W eaker parties can hold the balance o f pow er between tw o evenly
matched strong opponents. Also, it can sometimes be dangerous to grow too strong
too quickly, as the other players may team up if they feel threatened.
O f course, all of these reasons often make m ulti-player games more fun to play!
no
c
jf
o
S'CD
5o
X)3.
CD
c«
O
O
*-b
K
3
S-
188
Game Theory Revisited
Imagine that continental drift causes Reykjavik to disappear from the playing board.
Im agine also that each o f the cities were colored black or white as in the map
shown here. W henever a player moves, he will move from a city of one color to a
city of another color. (If you play chess, this pattern will remind you o f the knight,
w ho always moves from a square o f one
color to a square of the other color.) When
the game begins, Holmes is in Stockholm,
which is a black city. EN D RUN is in
Paris, which is also a black city. L et’s
change the gam e a little. Instead o f
Stockholm, H olm es has to start in some
arbitrary black city. Instead o f Paris,
EN D RU N has to start in
som e other black city.
W e’ll see that even in
t. Petersburg
th is m ore g en era l
situation, H olm es O iStockholi
W arsai
?don A A m e rs te rd a m
•gssels
Ovienria
Munich
•Budapest
[enice
Lisbon
189
Holmes will start by jum ping to a white city. (ENDRUN isn ’t there; h e’s in a black
city.) ENDRUN will jum p from a black city to a white city. Holmes will then
jum p from his white city to a black city, but he can’t catch EN D RUN in this move,
because EN DRUN is in a white city. EN D RUN will then jum p from the w hite city
to a black city. So Holmes can’t catch EN D RUN in either o f the first two moves
o f the game. But the two players are once again in a starting position, as they are
both in black cities! So, by the same argument, Holmes can’t catch EN D R U N in
the next two moves. This can go on forever. So Holmes can’t win, no m atter how
well he plays and how badly EN D RUN plays!
(The argument above is short, but tricky. You m ight w ant to think about it and play
around on the map a little before m oving on. You should think about how the
argum ent fails if the players are allowed to go to Reykjavik.)
This gam e is related to many other issues such as parity discussed earlier (see
p. 92). The gam e was played on a graph (where graph is m eant in a technical
sense), so graph theory was involved. We solved the problem by introducing a
coloring, so this is also an exam ple o f a coloring problem (discussed in the chapter
on Chessboard Coloring).
In particular, the graph we looked at had a very special property. The cities (called
vertices in the lingo of graph theory) could be colored black or white in such a way
that two connected vertices are always different colours. Such a graph is called a
bipartite graph. These graphs appear rem arkably often in a w ide variety o f
situations.
Food fo r Thought
O If you look at the altered map (with Reykjavik removed), you’ll
notice that if you take a round trip starting anywhere and returning to the
same place, the round trip must have an even num ber o f stops (counting
the beginning and end point only once). For example, one possible round
trip is Madrid-M arseilles-Zurich-Venice-Vienna-M unich-Brussels-Paris-
M adrid. Why is this true?
© . (This one is tougher!) If you have a graph such that any round trip
has an even num ber o f stops, must the graph be bipartite?
How to Win at Nim
The winning strategy for Nim is simple, but hard to figure out. Some calculations
are required, but with a little practice you should be able to do them in your head,
at least for small games.
If it is your turn to play and you are confronted with this configuration:
then you are guaranteed to lose. Less obviously, if you are confronted with the
configuration: ■
and your opponent plays perfectly, then you are also guaranteed to lose. (Can you
figure out why this is so?) W e’ll call configurations like this losing configurations.
T here is a quick m ethod to check w hether a given configuration is a losing
configuration. Armed with this, we can play perfectly: if we are faced with a non
losing co n fig u ra tio n , w e ’ll see how to leave our o p p o n en t w ith a losing
configuration. (If we are confronted with a losing configuration, then we are
doomed, unless our opponent slips up and makes a non-optimal move.)
191
Game Theory Revisited
1 1
100
1 10
If there are only zeroes in the bottom row, then we have a losing configuration.
(So we see that the configuration shown above isn ’t a losing configuration.)
This rule helps us decide how to move. If confronted with the configuration shown
above, we want to leave our hapless opponent w ith a zero Nim-sum, so w e’ll need
to change the number o f 1’s in the first and second colum n by altering only one
number. By looking closely at the table, you will soon see that the only w ay to do
this by reducing one o f the numbers is to change 100 to 010 (i.e. 4 to 2), rem oving
tw o toothpicks from the b o tto m row. Then o u r op p o n en t is le ft w ith the
configuration shown, which has N im -sum zero (check it!),
and therefore is a losing configuration. ■ 1
Food fo r Thought
Practice Questions
.-far
V
I Game Theory Revisited
Z 7 £ li JL ttrm .
[
Food fo r Thought
If there are two equal rows left in the game, who will win, the first or the
second player? W hat course will the game take?
Further Research (You certainly don’t need to solve these to play Nim
perfectly!)
0 . How would one prove that the strategy described in this section will
always work?
© . If you are ready to tackle the winning strategy to another game, try
these.
b) There are n toothpicks in a row. The first player can take up to n- 1 toothpicks.
The second player can take at most the num ber o f toothpicks that the first has
just taken. The first can then take at most the number o f toothpicks that the
second has just taken. This continues until all the toothpicks are gone. The
player who takes the last toothpick wins. For which n does the first player
have a winning strategy? The answ er m ay surprise you. (As with Nim, write
the num ber in base 2. Try to find out if the first player can force a win with
n = 1, 2, 3, 4, 5. If the first player can force a win, what is her winning first
move? Can you think of a winning first move that will work for all odd n? If
so, how about numbers that are even but not divisible by 4?)
C oa/ c b p ts / a/ Calcuu / s
AZPAPPS 7i¥PPP 6a w s
2. Suppose the sun at S exerted a force on the planet in its direction. Suppose also
that the “average” direction o f this force over the infinitesimal time interval
2At w ere in the direction of P,S. Then the net effect of the sun's force on the
planet would be to m ove it parallel to P 2S away from its destination P} to a
point PA. The area swept out by the planet in moving from P 2 to P 4 would be
Area A SP 2 P f. Furtherm ore A reaA S P ,P 4 = Area A SP,Pr (Why?)
As observed earlier, A rea A SP,P3 = Area A S P ^ . Q. E. D.
i C o n ce p ts
A Question o f Continuity
in Calculus
Can you prove that right now, as you read this, there are two
diametrically opposed points on the earth’s equator that are exactly
the same tem perature? The answ er highlights an im portant idea.
Think about it, and then turn to page 200 for the answer.
198
I
J fix) d r = f ( x ) g ( x ) - J g( x) dx
J dx J dx
= 1 + J—d r
199
I Concepts in Calculus
It is true that, right now, there are two diam etrically-opposed points on the earth’s
equator that are exactly the same temperature. H ere’s why. Im agine that a bizarre
new therm om eter has been invented. It doesn’t display the temperature; it displays
the difference between the tem perature where you are and the tem perature at the
point on the globe diam etrically opposite to you. For exam ple, if you are standing
in Quito, Ecuador and the tem perature is exactly 20°C, and the tem perature in the
mountains o f Sumatra in Indonesia diam etrically opposite Quito is 25°C, then your
strange therm om eter w ill read -5.
Now, walk to some point on the equator, and look at your strange thermometer. If
it reads 0, then you’ve found the point you’re looking for. If it doesn’t, then it is
either positive or negative. Say it is positive. (The negative case will turn out to be
exactly the same.) Then, quickly run (or swim) around the equator to the opposite
side o f the globe. (You’ll have to do this infinitely quickly to make sure that the
tem perature doesn’t change.) Now your strange therm om eter should have the
negative of the reading it had before. So if you watched it carefully while you
were globe-trotting, you would have seen it change continuously from being positive
to being negative. At that point, it would be zero, so that would be the spot you
were looking for.
The simple idea we used was that a function (in this case, the reading on your odd
therm om eter) that varies continuously from one value to another must take on
every value in between. This principle has the slightly pompous name o f the
Interm ediate Value Theorem. Although it sounds quite trivial, it is in fact very
useful. Unfortunately, in order to prove it rigorously, you will need to define exactly
what you mean when you say that a function is continuous. (Waving your hands in
the air doesn’t count.) If you have seen one o f the definitions o f continuity that
m athematicians use, you can try to use it to prove the Interm ediate Value Theorem.
But watch out: it is far harder than it looks!
Food fo r Thought
Can you prove that, right now, there are two points on the earth’s
equator separated by 120° that are exactly the same tem perature?
200
I Concepts in Calculus
Dual Numbers
izit le c t io n iv i H u ts to m s z l ’z m sn ta z ij c a h u f u i. (J o m jt ls x n u in b s u a z s u t s d a t
latocjtj, and toms fanufiazity iv itfi tfis m iv o u t d (js . a b iy fzslfi.
Com plex numbers are numbers o f the form a + bi, where a and b are real. They
are added together in the natural way:
imaginary axis Ui + c, b + d )
(c, d) = c + cU— - ^ ^ 7 = (a + c) +(b + d)i
(a, b) = a + bi
real axis
Division can be worked out with a little cleverness. The top and bottom of a
fraction are m ultiplied by the conjugate o f the denom inator, and everything
magically works out:
a + bi (a + b i )( c -d i )
c + di (c + d i )( c -d i )
_ ( a c + bd) + ( b c - ad)i
c 2 +d
, j2
ac + bd be-ad .
c2+ d 2 c2+ d 2
(How are the line segments corresponding to two complex numbers related in
m agnitude and direction to the line segments corresponding to their product and
quotient?)
I
D ual Numbers
The dual numbers are sim ilar to com plex numbers, they are numbers o f the form
a + bE, where a and b are real. (The symbol £ is an epsilon. Epsilon is the fifth
letter in the Greek alphabet.) Dual numbers are added in the natural way, so
(3+4e) + (5-2e) = (8+2e), and they are multiplied using the fact that e2 = 0. (But e
isn’t zero! Yes, this is strange!)
= 15 - 6e + 20e - 8 e 2
= 15 + 14e
You should try an easy exam ple to make sure you understand how m ultiplication
w orks. For exam ple, you can check that (2 + e)(6 - e) = 12 + 4 e, or that
(<a + be)(c + de) = ac + (ad + bc)e.
The m ethod for division is sim ilar to that for com plex numbers: we multiply the
top and bottom o f a fraction by the conjugate o f the denominator. For example,
4 + 2e _ (4 + 2 e )(2 -7 e )
2 + l e ~ (2 + 7 e )(2 -7 e )
8 - 24e
4
= 2 - 6e
(Work through the algebra yourself — a few of the steps have been deliberately
omitted.) There’s a catch, though. W ith the real numbers, you can never divide by
zero. W ith the dual numbers, you can never divide by c + d e when c = 0. (W hat
happens in this case?)
If com plex numbers are old hat to you, you will becom e com fortable w ith dual
numbers quite quickly. Once you feel com fortable with com putations using dual
numbers, you can m ove on to m ore interesting applications.
202
I Concepts in Calculus
We will now look at more com plicated versions o f dual numbers. They will still
be o f the form a + be, but this time a and b will be functions of x. One (odd)
exam ple is:
(3 + 2x) + £ (sin x).
Next, we will look at a special set of dual numbers, which we will call good dual
numbers. These are dual numbers o f the form
fix ) + f \ x ) £.
df(x)
(You m ight prefer the notation f i x ) + £ — -— ; do whatever you like best.)
ax
The strange thing is that you can add, subtract, multiply, and divide good dual
numbers, and the answers are still good. For example,
difixf)
Sure enough, L - 2 f ( x ) f (x)-
dx
'You can read about this theorem in i ‘ and Other Improbabilities (p. 208).
203
Concepts in Calculus
The time has come for you to explore a bit yourself. (If you don’t find it confusing,
you m ight want to replace / (x) with f. For example, our squaring calculation
becom es a little shorter: ( f + e f ' ) 2 = f 2 + e ( 2 //') • ) Start simple; try cubing, and
then taking fourth powers. Try taking nth powers.
Then, try to re-derive the Quotient Rule: w ork out ( f + ef ' )/ (g + eg') using the
method o f dividing dual numbers described earlier and see what you get.
Food fo r Thought
If you’re willing to get your hands dirty, you can dig into these hornet’s
nests. Rut keep in mind that, as with actual m athem atical research, there
is a lot to do here. There is no point at which you can say “I ’m done, and
I’ve com pletely solved the problem .” Each small victory opens up new
questions.
© You can try to prove the Chain Rule. To get started, you can think
about the following questions. I f / i s a function, instead of plugging in x,
what happens if you plug in (x + £)? Your answ er should be another dual
number. (As always, start playing with easier cases: see w hat happen
w h e n /is a polynom ial, or even ju st x 2 or x3.) W hat happens if you plug in
(x + 3 e )l How about (x2 + 2x £)?
© . (Continuing #2, getting more and m ore abstract and tricky!) Could
you define hyper-hyper-dual numbers, using z 4 = 0? W hat would you
conjecture would be good hyper-hyperdual num bers? Can you guess how
this m ight generalize?
204
^ L j£.5.111’ (f^o£*L ^ U fviou cjfi. m y cJ-fs-a A
O ver the years, Vin gradually developed a love for music through the study of the
violin. He took eight years of lessons, but initially saw them only “as an exercise
in m ind-to-finger dexterity” , and so he played very badly. W hen his first teacher
left after five years, he continued to play, but only out of habit. Fortunately, his
second teacher proved to be a great inspiration; by the time Vin was in his final
year at D ulw ich, he w as Leader o f the O rchestra, an honor which had been
unthinkable a few years earlier. He learned a very valuable lesson from his teacher:
“If you w ork at things carefully then they will improve and perhaps become very
much better than you could have imagined at the start.”
The lesson came just in time to help Vin realize that he could work at his mathematics
and go a long way. Until then, math had been “instant gratification or nothing” —
he often felt im patient with problem s and pondered them for only a few moments
before he looked at the answers. In Third Form, five years before the end of
secondary school, a far-sighted teacher entered Vin in the national m athem atical
contest. Although geared largely tow ard students in their final two years, Vin
cam e fifth in his school. This success m ade Vin sit up and decide to be a
mathematician. W ith support from Paul W oodruff, his form m aster for his last two
years at Dulwich, he continued to im prove dramatically. In his final two years o f
secondary school, he did very well on the British M athem atical O lym piad (BMO).
His ranking qualified him to be a m em ber o f the British team to the International
M athem atical Olym piad (IMO) in Braunschweig, Germany in 1989. There he
won a Bronze M edal. He followed this perform ance with a Gold M edal win in
Beijing, China in 1990.
After Dulwich, Vin studied mathematics at Trinity College, Cam bridge, while
simultaneously earning a diplom a in Russian. Since then, he has been pursuing a
D.Phil at Oxford University under Simon Donaldson, a winner o f the prestigious
Fields M edal (the m athem atician’s equivalent o f a N obel Prize).
Vin has also continued to work with talented high school students. He sits on the
BM O Committee, and has helped out at the IM O Training Selection Weekends at
Trinity College, Cambridge. As a result, in 1994 he was invited to be the Deputy
Leader o f the British Team, and traveled to H ong Kong for the IMO.
For Vin, the attraction o f mathematics is clear: “The sensation o f suddenly seeing
right through som ething and understanding it com pletely is incredible. A big
‘Yes!!!’ goes through my head.”
206
Complex Numbers
Co m p l e x nu m bers
;tv Y V ^
id
e r
^
C '- T
^ " I
— A. De Morgan
Complex Numbers
Sdoz ttzLi ieatCon, io in e fc u n ib ia z lty with. aonzfibex num bezs. w d b be. e m e u tiab.
You can use your calculator to com pute the value o f ab, where a and b are real
numbers and a is positive. For exam ple, you can easily check that 27 = 128 and
305 ~ 1.732050808. But as soon as you leave the positive reals, troubles arise. If
you ask your calculator to com pute the square root o f -1 (in other words, (-1)05),
unless it is very sophisticated it will give you an error. But (if you’ve seen complex
numbers) you know that both i and -i are “square roots” o f -1, in that if you square
either o f them y o u ’ll get -1.
With the situation this com plicated already, it may seem outrageous to ask about
the value o f It may seem more outrageous still to claim that, in some reasonable
sense, i‘= e ~K'2 ~ 0.200787958. And it must seem over the top to finally claim that
i‘ is also (approximately) equal to 111.31777, 59609.741, and even more numbers.
But with a little ingenuity, creativity, and a result know n as de M o ivre’s Theorem
you can discover this, and much more.
de M oivre’s Theorem
C radians, not d e g r e e s T ^ ^
How can it be that a transcendental num ber when raised to a power w hich is not
only transcendental but imaginary, can be added to 1 to yield absolutely nothing?!!
1 Radians and degrees are different units of angular measure, related by the formula:
jt radians = 180°.
208
V \ \
I
1\ H is t o r ic a l \ \
D ig r e s s io n \
...N o w h e p o s e d o n e m o re
question, as fundam ental as all the
209
Complex Numbers
If you’ve seen the pow er series expansions o f e \ cos x, and sin x, then de M oivre’s
Theorem shouldn’t surprise you.
2 j
X , X XJ ^°° X1
j
C —1+ X H h ... H h ... — -----
2! jl
J j= n
o J/'!
2 4 2j oo . 2j
i x x , x is i x
co sx = l 1------------... + (-1 ) + ... = X ( - 1 ) ------
21 41 j'- j=o (y y -
r3 r5 . y2 i+ l oo . ^ 2 7 + 1
sin x = x - — + — - ... + (~ 1 )7 - . — + ••• = X ( - l )
3! 5! (2;+ l)! (27+1)!
These pow er series require x to be in radians. (Incidentally, this is one reason why
radians are in some sense more natural units for sin, cos, and other trigonom etric
functions. The pow er series would get a lot uglier if the units were in degrees.
This explains why m athem aticians find ex m ore natural than 10’. So once again e
and 71 seem closely related.) W ith a little algebraic m anipulation you will see that
eix and cos x + i sin x have the same power series expansions, “proving” de M oivre’s
Theorem. The real pow er o f de M oivre’s Theorem becom es evident when we use
it to derive a plethora o f trigonom etric identities, some o f which are otherwise
difficult to derive.
210
Complex Numbers
Food fo r Thought
In an earlier section, we proved that arctan 1/2 + arctan 1/3 = arctan 1. You can
easily prove it another way using the idea of an argument of a complex number,
o First verify the equation (2 + /)(3 + i) = 5 + 5 i.
© Then take arguments o f both sides. W hat identity does (1 + 2 /)(l + 3i) = -5 + 5i
correspond to?
211
Complex Numbers
C om puting i '
n i l 2. tZ . . TC
e = cos — h i sin —
2 2
= cos 90° + / sin 90°
= 0+ z
- i
Therefore,
i‘ = (eKi/2)i = e{ni,2)i = e ~ K / 2
-0.20787958
—
3 j/ 2 - 3 tt . . -3;r
e = cos 1- 1 sm -----
2 2
= c o s ( - 270°) + / s i n ( - 270°)
= i
so
i‘ _ / -3 7 T J / 2 y _ e ( - 3 n i/2 ) i = ( p n ! 2
-111.31777
(Can you show, by a similar argument, that /' = e ^lkn- n ir ) for any integer it?)
To see what has gone wrong, as well as what has gone right, we will have to delve
a little deeper.
212
Roots of Unity
The crux o f our problem is that we can express i in many different ways.
- 3K i Ki 5k i 9k i
can be expressed as e°, but it can also be expressed as em , e4ni, e6Ki, ..., and e~2m,
e~47Ci, ... . (D on’t take my word for it — use de M oivre’s Theorem to check it out!)
L et’s take the square root of 1. (“But surely the answ er is 1!” you cry. Not so fast!)
So
= e
1 if k is even
-1 if A- is odd
Unlike the “usual” square root, which gives us one answer, this method gives us
both roots o f 1!
L et’s try that again, but this tim e let’s find the cube root of 1:
2
k ki
1 when k is divisible by 3
cos 120 k° + i sin 120 k° when k = l(m od 3)
cos 240 k° + i sin 240 k° when k =2(m od 3)
1 when k is divisible by 3
— + — i when k = l(m od 3)
2 2 k = 1(mod 3) just means that k -1
is divisible by 3 (or that k leaves
a remainder of 1 upon division by
—- i when k — 2(m od 3) 3). Similarly, k = 2(mod 3)
2 2
means that k-2 is divisible by 3.'
213
Complex Numbers
(-i V 3 ,y
This should give us the three cube roots o f 1. Try and work out h — i and
2 2 J
see what you get.
Food fo r Thought
Can you find the three cube roots o f -1? How about the four fourth
roots o f 2? How about the i"' pow er o f 1? (Watch out: there are a lot!
And don’t expect them to be real!)
Back to and i ‘
If b is rational but not an integer (1/2 or 1/3 for exam ple), things get m ore
com plicated. ah may take on any of a finite num ber o f values. (If b = 2/5, how
many values will ab take on?)
But if b isn’t even rational (for exam ple, V2 , 7t, e, or i) then ah can actually take on
an infinite number o f values. So all o f our com putations o f i' were in fact correct.
Conclusion
There is a lot going on here, so don’t be surprised if it takes you a long tim e to
absorb everything that happened. There’s even m ore going on beneath the surface.
(For exam ple, whenever you think o f an exponential equation o f the form ex = y,
there’s always a “/n” lurking nearby: * = In y. Just as som ething unusual is going
on with the exponential for com plex numbers, som ething odd happens w ith In.)
214
Complex Numbers
I M
As we saw earlier in The Pythagorean Pentagram, The Golden Mean, and Strange
Trigonometry (p. 154), the ancient Greeks saw mathematics as intrinsically related
to beauty and perfection. A ccording to Plato, the only perfect geometrical figures
are the straight line and the circle. For this reason, the Greeks used only two
instrum ents for perform ing geom etrical constructions, the straightedge and the
com passes. (A straightedge is a ruler without any markings indicating length.)
W ith these two instruments, they were able to perform many different constructions.
For exam ple, parallel lines can be drawn, angles bisected, and segments divided
into any num ber o f equal segments. Given any polygon, it is possible (using clever
methods) to construct a square o f equal area, or o f twice the area. The Greeks
could do all this and much more. But there were three tasks that they were unable
to do using these tools: doubling the cube, squaring the circle, and trisecting an
angle.
It is said that after a plague had wiped out much o f the population of Athens, the
city sent a delegation to the oracle o f Apollo at Delos to ask how the plague could
be stopped. The oracle gave a characteristically cryptic reply: the cubical altar to
A pollo m ust be doubled. The Athenians dutifully doubled the dimensions o f the
altar, but to no avail; the volum e had increased in size by a factor of eight, not two.
This is the legendary source o f the “Delian problem ” (the doubling o f the cube),
that is, given a line segment, to construct (with straightedge and compasses only)
a segm ent V2 times greater.
The problem o f squaring the circle has a sim ilar flavor. Given a line segment, a
circle can be constructed with the segm ent as radius. Is it possible (using only a
straightedge and com passes) to construct a square with the same area as this circle?
Equivalently, given a line segment, is it possible to construct a segment 4 k times
greater?
The third problem is slightly different. Given an arbitrary angle, there is a well-
known o f m ethod o f bisecting it (dividing it in two) using ju st straightedge and
com passes. Is there a method to trisect a general angle?
The ancient Greeks expended an inordinate am ount o f energy and ingenuity trying
to solve these three problem s, but to no avail. We now know why — all three
constructions are im possible. It isn’t that no one has been clever enough to find a
215
IJ=I Complex Numbers
construction — it has been mathem atically proven that no such construction exists.
Even today, many people send “solutions” of these classical problem s to university
math departments. Thanks to the m athem atical proof, those in the know realize
(even w ithout looking at them) that the solutions c a n ’t be right.
How do mathematicians know this? Strangely enough, the proof o f this geom etric
fact uses an algebraic argument. You can denote each point in the plane with an
ordered pair of real numbers (x, y). These are called Cartesian co-ordinates, after
Rene Descartes (1596-1650), a French m athem atician and philosopher who is
known to many because of his fam ous statement, “Cogito ergo sum ” — “I think
therefore I am” .
The co-ordinates (x , y ) can also be represented by the com plex num ber x + yi, so
that, for example, 2 + 3 i represents the point (2, 3) and -i represents the point
(0, -1). If you are given the location o f 0 in the plane (that’s 0 + 0/) and 1 (that’s
1 + 0/) and a ruler and com passes, then the points you can construct using these
tools and these two given points are a subset o f the com plex numbers known as the
constructible numbers. It turns out that the constructible numbers are those numbers
that can be expressed using com plex numbers o f the form m + in (where m and n
are integers) and the operations of addition, subtraction, multiplication, division,
and square roots. For example, you can construct the point at 87/5 and the point
at i as w ell as the point at
—17 ^ 0 + ^ 4 + 2i
4 4 +-
3
The proof uses what is called “Galois theory”, named after Evariste Galois. Now,
doubling the cube means constructing the num ber 3/2 . U sing Galois theory, it is
possible to prove that you cannot express 3/2 in terms o f numbers o f the form,
m + in (where m and n are integers), and addition, subtraction, m ultiplication,
division, and square roots, so doubling the cube is impossible.
Squaring the circle m eans constructing the num ber 4 k . It turns out that all
constructible numbers are zeroes o f polynom ials with integer co-efficients (they
are algebraic) while 4 k isn’t (it is transcendental, this follows from the fact that
n is transcendental), so 4 k isn’t constructible. (A lgebraic and transcendental
numbers are described further in Numbers, Numbers, and M ore N um bers on page
118 and The Existence o f Transcendental N um bers on page 237.)
216
Complex Numbers
Showing the im possibility o f the trisection of the angle is trickier still. We will
show that you cannot trisect the 60° angle. For if you could, you could construct
the num ber cos 20° starting with ju st 0 + Oi and
1 + 0 / as follows. First construct a 60° angle,
as shown in the diagram. Then trisect the
angle to get a 20° angle. Intersect the
resulting ray with a circle o f radius 1.
This gives the point (cos 20°, sin 20°).
Finally, project to the Jt-axis to get a
segm ent o f length cos 20°.
c an n o t be ex p ressed in
te rm s of su m s,
differences, products, (o, 0)
o r q u o tie n ts o f
numbers of the form,
m + in or Ajtn+ ni where m and n are integers, so you can’t construct it. But if you
can’t even trisect the 60° angle, there obviously can’t be a m ethod o f trisecting a
general angle!
These three results are quite subtle, and as you can see, a few paragraphs cannot
hope to do them justice. But I hope you now have a feel for how they work, and
how complex numbers have unusual applications in geometry.
217
Complex Numbers
Galois Theory
But the right side is the perfect square o f a real number, which must
be at least zero, and the left side is negative, so this is impossible.
218
H is to ric a l\
D ig r e s sio n \
Only after his tragic death was the enormous im portance o f his work realized. His
research set the stage for the results that have been discussed in this section, but his
ideas are far more wide-ranging. Even today, Galois theory is an integral part of
much o f mathematics. One can only w onder what Galois might have done had he
been given a few more years.
Complex Num bers
I M
Although com plex numbers are extremely useful in many fields o f m athem atics,
you w ouldn’t think that they could possibly be of any use in geometry. Surprisingly,
they can be used to prove unexpected results such as the following:
Theorem
1 0 P,Pn
2 0 3 0 Pn - 1,P„0 = n.
Proof.
In T hree Im p o s s ib le P r o b le m s o f
Antiquity (p. 215), we saw how complex
numbers can be represented by points
in the plane. For exam ple, 3 + 4 i is
represented by the point (3,4). Consider
the n points in the com plex plane (also
k n o w n as th e A r g a n d p la n e )
corresponding to the nth roots o f 1: vv°,
w, w2, ..., wn~1(where w is a prim itive /Ith
root o f 1). These points are the vertices
o f a regular n-gon inscribed in a unit
circle.
P1 P0 P2 P0 P3 P0 •••
Pn - \ P0
n-1
1—W 1-vC l-v v 1 -w
= 1/0)1
220
Complex Numbers
/(■*) =
(jc-1)
But x “ - 1 = (x - l)(jf - w)(jf - w2)...(x - vvn l) (as both sides of the equation
h a v e th e s a m e r o o t s a n d
le a d in g c o e ffic ie n t 1)
x H-11
so f(x) =
x —1
= 1 + J + x 1 + ... + x n 1
Now that y o u ’ve seen how com plex numbers work in geometry, you can try to
prove the following theorem yourself:
Theorem .
C onsider a regular n-gon inscribed in a unit circle with vertices PQ, P,,..., PnA
and centre O, and a point Q somewhere on the ray O PQ. Then
221
5 1 Complex N um bers
Food fo r Thought
M any other results can also be proved using com plex numbers, although
their proofs are too long to get into here. (Warning: If you want to tackle
them yourself, prepare for a challenge!)
H int: Evaluate
cos 0 + cos(0+72°) + cos( 0+144°) + cos(0+216°)+cos( 0+288°).
222 ■v
Complex Numbers
Food fo r Thought
Napoleon's Theorem
Readers interested in learning more about the uses of complex numbers in geometry should
look at Section 8.4 of Problem-Solving Through Problems by Loren C. Larson. For more
information, see the Annotated References.
223
(MftuiTV Remmo
— John Locke
Paradox!
Humans have long been fascinated with the concept o f infinity. The inability o f
language to express the infinite, however, has relegated the subject to the religious
sphere fo r m ost o f o u r history. O nly since the tim e o f the g reat G erm an
m athem atician Georg Cantor (1845-1918) has some kind o f m athem atical study
o f infinity been undertaken, and the results have been as revelatory as they have
been disturbing. In these few sections, we will introduce some ideas related to the
m athem atical notion o f infinity.
The reader will likely have been introduced to infinity as some mysterious “number”
that is bigger than all other num bers, and denoted by the symbol °°. The concept
o f infinity is more com plicated than it at first appears. A ssum ptions we take for
granted w ith “fin ite” num bers no lo n g er w ork. To see why, le t’s do som e
experim ental mathematics. C onsider the set o f the positive integers:
N = { 1 ,2 ,3 ,...}
This is an infinitely large set, so let’s call its cardinality . (The cardinality o f a
set is just its size. For example, the cardinality o f the set (cat, dog, tree) is 3,
because this set has 3 elements.)
L et’s add “0” to the set N . The resulting set is: (0 , 1, 2, 3 ,...}
In general, when we add an elem ent to a set, we increase its cardinality by 1. (For
example, if we add house to {cat, dog, tree}, w e’re left with {cat, dog, tree, house),
which has cardinality 4.) So the newly created infinite set has cardinality °° + 1.
Next, add 1 to every elem ent in this set. (This, o f course, w o n ’t change the
cardinality.) The new ly created infinite set is:
( 1 ,2 , 3,...}
H old on a second! This is ju st our original set, which had cardinality °°! So w e’ve
ju st proven that:
OO= OO-f 1
226
Infinity Revisited
A classical paradox in philosophy tells o f a (male) barber who lives in a small
village. It is said that the barber shaves every man in the village who does not
shave him self and only those who do not shave themeselves. The question is: Does
the barber shave himself?
We can analyze this problem by assuming, in turn, each o f the two possible answers
and recording the conclusions in a table.
The barber shaves him self The barber does not shave him self
1
Since the barber shaves only those who Since the barber shaves every man who
do not shave themselves, then the barber does not shave himself, then the above
must be one of those who does not shave statement requires that the barber shave
himself. This contradicts the statement himself. This contracts the statement that
that the barber shaves himself. the barber does not shave himself.
The U ltim ate R eference is listed The U ltim ate Reference is not listed
Since The Ultimate Reference lists only Since The Ultimate Reference lists all
those books which do not refer to those books which do not refer to
themselves, then the above statement themselves, then the above statement
implies that The Ultimate Reference does implies that The Ultimate Reference
not refer to itself. This contradicts the must refer to itself (i.e. list itself). This
statement given above. contradicts the statement given above.
Observe that each answ er leads to a contradiction, and hence we have a paradox.
o o A N ,
Infinity Revisited
Food fo r Thought
You’ve now seen an exam ple that suggests that 00 = 00 + 1. Can you
think o f an exam ple that suggests that co — 00 4 . 00 9
ir'i<Mto
Suggestions for Further Reading: There are a great number of popular books that discuss
infinity at greater length, if not depth, than this book. A far more challenging but very
rewarding read is Douglas Hofstadter’s Pulitzer Prize-winning book, Godel, Escher, Bach:
An Eternal Golden Braid. For bibliographic information, see the Annotated References.
228
Two Different Infinities
We discussed the concept of infinity in the previous section. This section will
make our thinking about infinity more rigorous. We already have a vague idea of
what infinity is, but in order to capture it in mathematical terms, we need a rigorous
definition. Once we make this definition, we can prove many surprising facts (for
exam ple, that there are many different infinities).
To each set S, we will attach something called a cardinality, which roughly means
its size. W e’ll use the notation ISI to represent the cardinality o f the set S. For
exam ple, the cardinality o f {cat. dog, tree) is 3, and the cardinality of {) (the
em pty set) is zero, as it has no elements. We also have infinite sets, such as Z (the
set o f integers), Q (the rational numbers), and IR (the real numbers).
We can com pare the cardinality o f finite sets very easily: l{cat,dog,tree}l > l{ }l
because 3 > 0. Furtherm ore, an infinite set is definitely bigger than any finite set.
But it is far harder to com pare the sizes of infinite sets. Are there more integers
than points on a line? Are there more rational numbers than integers? (Your
instinctive answ er to this last question m ight be: the cardinality of the rational
numbers is certainly greater than the cardinality o f the integers, because every
integer is a rational number, but not every rational num ber is an integer. But as
you’ll soon see, our definition o f cardinality for infinite numbers will lead us to the
conclusion that the set o f rational numbers is the same size as the set o f integers!)
How can we define cardinality for infinite sets? Imagine that you have a huge
num ber o f candies. Since you have a huge number o f candies, you have a huge
num ber of friends. How would you determ ine whether you have the same number
of candies as friends? You could count both and compare, but there’s another (more
generous) way. You could start giving each of your friends a candy. If, at the end
of the day, y o u ’ve given each candy to a friend, and you’ve given each friend a
candy, then you have the same num ber o f candies as friends. (You’ll likely be a
little miffed, as there will be no candy left for you, but your altruism may sweeten
your loss.)
The same process can be applied to com pare cardinalities o f infinite sets. Suppose
we are given two sets S and T. If we can match up the elements o f S and T so that
each elem ent o f S is matched with a single elem ent of T, and vice versa, then we
will say that ISI = ITI. For exam ple, the sets S = {1, 2, 3,...} and T = {0, 1, 2, 3,...}
are the same size, because we can match each element n o f S with the element
n - 1 o f T. (This was an exam ple from the previous section. Notice that we can add
an elem ent to S, and w e’re left with a set o f the same size. This is an unusual
property o f infinite sets.)
We now rephrase this exam ple in m ore sophisticated language. Suppose w e’re
given two sets S and T. A m apping from S to T is a function that associates to each
elem ent o f S an elem ent o f T. This sounds com plicated, but it’s really very simple.
The way to picture it is as follows. Draw two ovals on a piece o f paper corresponding
to the two sets. W rite the elements o f S in the first, and the elements o f T in the
second. This is a way o f representing the two sets. Then a mapping can be thought
o f as this diagram, along with arrows pointing from the elements o f S to the elements
o f T, w here each elem ent o f S has exactly one arrow em anating from it.
A one-to-one map is a m apping such that no two arrows point to the same elem ent
of T. The above map is not one-to-one. (Can you see why?) The following
mapping is one-to-one.
Fortunately, this agrees with the usual m eaning o f the phrase, less than or equal to
for finite sets. (It’s always good to check that definitions agree with your intuitive
sense o f w hat’s going on; this ensures that m athem aticians are not trying to pull
the wool over your eyes.)
v
230
We can use this definition for com paring cardinalities o f infinite sets to establish a
condition that two sets have equal cardinality.
If there is a one-to-one map from S to T such that every elem ent o f T is hit
by the map, then we say that S and T a re the same size. We write ISI = ITI.
W e’ll call this a correspondence.
(This is essentially the same way we checked that Iset o f candiesl = Iset o f friendsl.)
Now that we have a rigorous definition for determining when two infinite sets are
the same size, we can show that there are infinite sets o f different sizes. L et’s go
back to the first infinity w e’ve met, I{1,2,3,..., }l. This infinity has a special symbol:
N0 . N (aleph) is the first letter o f the Hebrew alphabet. N0 , pronounced “alleff
not” , is the cardinality o f the set o f natural numbers, N. A set o f this size is said to
be countably infinite, since being the same size as N ={ 1 ,2,3,...}, it can be matched
elem ent-by-elem ent with the positive integers.
In our search for an infinite set with greater cardinality than N, we m ight consider
the set o f integers, Z. It would seem that there are definitely more integers than
there are positive integers. But when we apply the definition of cardinality given
above, we discover that their cardinalities are the same! That is, INI = IZI because
there is a correspondence from N to Z:
A correspondence from N to Z
a new infinity, w e’ve ju st stum bled on another version o f our old one.
231
Infinity Revisited
Cantor's Diagonalization Method
Now, w e’ll define a new infinity, C, w here C is defined to be the cardinality o f the
set o freal numbers, 1R. That is, C = IIRI. Clearly, NQ< C . there is an obvious one-
to-one map from the positive integers to the real numbers. W e’ll soon show that
C ■£ N0 . This exceedingly clever proof was devised by Georg Cantor in 1874, and
is know n as the C antor diagonalization method. It gives m athem atical support to
our intuition that there are somehow far more real numbers than positive integers.
(And no, we can’t simply say that the real numbers include the positive integers;
ju st rem em ber that l{ 1,2,3,...}I = 1{2,3,4,...} I.)
Suppose we are given a m a p p in g /fro m the integers N to the real num bers 1R. This
means that to each positive integer n, we can assign a real num ber f{n). W e’ll see
that some real num ber will be missed, s o / c a n ’t be a correspondence.
. .. 000 1 @ 0 0 0 0 0 0 0 0 ...
. . . 0 0 0 3 . 1@1 5 9 2 6 5 3...
...0 2 0 3 , 0 0 ® 0 0 0 0 0 0 . . .
Then we circle the first digit after the decim al place in the first number, the second
digit after the decimal place in the second number, and so on. Now, we m ake up a
new real number, r, that lies between 0 and 1, according to the following rule.
Clearly r can ’t be the first num ber on the list, because it differs from the first
num ber in (at the very least) the first digit after the decim al point. Sim ilarly r can ’t
be the second number on the list either, because it differs from the second num ber
in (at least) the second digit after the decim al point. In fact, r can ’t be the nth
num ber on the list, because it differs from the n'h num ber in (at least) the nth digit
232
after the decim al point. So w e’ve proven that r can’t be on the list at all! In
summary, w e’ve proven that there is no correspondence from N to IR, so C is
indeed bigger than RQ!
Q. E. D. (Do you remember what Q.E.D. stands for?)
You m ight have noticed a similarity in flavor between this argument and Bertrand
Russell’s paradox in the previous section; this is an example of how mathematicians
are able to turn bad news into good news.
If, after reading through the above proof, you’re feeling overwhelmed, you may
want to look over the proof a couple more times (or even sleep on it). When
you’ve understood it, you should reach over your shoulder and pat yourself on
your back; you’ve mastered some serious mathematics!
Food fo r Thought
© . Prove that the com plex num bers are uncountable. In other words,
show that ICI > R0.
t o fiz o u e th e e x is te n c e o f t h in g s a a f t e d t r a n s c e n d e n t a l n u m d ers.
233
Infinity Revisited
An Infinitude o f Infinities
Here is a proof, rem arkable both for its elegance and its brevity, which shows that
there are an infinite num ber o f infinities o f different sizes. W e’ll define infinite
sets S0, S,, S2, ... such that each is o f a different cardinality.
Given a set S that is non-empty, define £P(S) (called the pow er set o f S) to be the
set o f subsets of S. So, for exam ple, if S is (1,2,3}, then
Note that ISI = 3 and l<P(S)l = 8. (It is no coincidence that l£P(S)l = 2 ISI, and those
readers with some experience with com binatorics, the study o f counting, m ight be
able to see why.) If S is a finite set, it’s clear that ISI < tP(S)l. Rem arkably, this
result actually holds for infinite sets, too.
Before we actually go through the proof, let’s see w hat this means. We have one
infinity, = INI. This p roof shows the existence o f a sequence INI, tP (N )l,
l£P(£P(N))l, KP(£P(<P(N)))I,..., where each term is less than the one follow ing it.
So we have an increasing sequence o f infinities — countably infinite infinities!
Proof.
Consider the one-to-one function,/, which maps each elem ent s o f S to the
singleton set {s} o f £P(S). S in ce/:S *■ £P(S), given b y ffs ) = {s}, is a
one-to-one function, ISI < tP (S)l. (Here we are using a fact which appeared
in Two D ifferent Infinities, p. 229.) So we have only to prove that
ISI fP(S)l. If we can show that every m apping from S to iP (S ) misses an
elem ent of£P(S), w hich w e’ll soon do, then there can’t be a correspondence
from S to £P(S), so ISI ^ l<P(S)l. P u tting these tw o facts together,
ISI < tP (S )l and ISI * KP(S)I, so ISI < tP(S)l.
Let g be any m apping from S to tP (S ). This means that to each elem ent o f
S, g assigns a particular subset o f S. N ow let’s show that there is an elem ent
o ffP (S ) m issed by g. C onsider the set T = {s e S I s is not in g(s)}. (This
is clearly a subset o f S since all of its elements are taken from S.)
Infinity Revisited
A One-to-One Mapping g o f a Set S to its Power SetiP (S)
Answer 1: g(t) = T and t belongs to T Answer 2: g(t) = T and t does not belong to T
That is, if g(t) = T, then both statements, t in T and t not in T are false. No matter
how we squirm, we can’t escape this contradiction. We couldn’t have had this t in
the first place, so T was definitely m issed by the mapping g. This was all we
needed to com plete the proof.
Now that the proof is done, let’s look at what makes it work. We showed that
given any mapping we had from S to£73(S), we could always construct an element
o flP (S ) m issed by g. This showed that no correspondence from S to£P(S) existed,
so ISI * EP(S)I. Furtherm ore, ISI < KP(S)\, so we get our desired result: ISI < £P(S)I.
235
y \ V \
H is t o r ic a l
D ig r e s s io n
236
Infinity Revisited
The Existence o f Transcendental Numbers
In the first two sections o f this chapter, we developed the tools needed to discuss
infinities. It is now tim e to put these tools to good use in another field of
m athem atics. First, we need a definition.
D efinition. An algebraic num ber is any com plex num ber that satisfies a
polynom ial equation,
a nx n + t v , * " -1 + . . . + a xx + a 0 = 0
For exam ple, 3 /2 , 0, and V2 are all algebraic. Can you find the polynomial
equations which have them as roots? Can you see that every rational number is
algebraic? If we designate the set o f algebraic numbers by A, then, in set-theoretic
notation, we write Q c A . That is, adding all the irrational algebraic numbers to
the set o f rational num bers expands our num ber set to include many m ore complex
numbers. But do we get them all? Is A = C ? Are there any complex numbers that
are not algebraic? Such numbers are called transcendental numbers (described in
Numbers, Numbers, and M ore Numbers, p. 118). Using our mathematics of the
infinite, we will show that transcendental numbers actually do exist, and that in
some sense “m ost” com plex numbers are transcendental.
237
| © O K „ N ,
Infinity Revisited
The existence o f the transcendental numbers derives from the fact that the set of
com plex numbers is much larger than the set o f algebraic numbers. This in turn
hinges on the fact that the algebraic numbers are countable while the com plex
numbers are not. By this, we mean that IAI = INI (soon to be proved) and INI < ICI
(shown in Two D ifferent Infinities, p. 229). So this will im ply that IAI < ICI, i.e.
there are many com plex numbers which are not algebraic.
Each algebraic num ber x is a root o f a particular polynom ial equation o f degree m,
for some m. Furthermore, all coefficients o f that polynom ial equation have absolute
value less than or equal to a for som e integer a. Therefore w hen we list the roots o f
all polynom ial equations o f degree m and with coefficients a. such that la I < a,
then x will appear in that list. It rem ains only to show how we can list all the
polynom ial equations o f degree m and with coefficients a. such that la I < a for all
positive integral values o f m and a. The diagram shows the famous diagonal process
which creates such a list by associating the ordered pair (m , a) with the set of
polynom ial equations o f degree m and coefficient upper bound a.
N ext we list all algebraic num bers not already listed that are the solutions to some
polynom ial o f degree 1, all o f whose coefficients have absolute value at most 2.
There are a finite number: -2, -1/2, 1/2, and 2. (These are the respective roots of
x + 2 = 0, 2 x + 1 = 0, 2 x - 1 = 0, and x - 2 = 0.) Let these be the next values o f/:
K 4) = -2,J{5) = -1/2, f{ 6 ) = 1/2, an d /(7 ) = 2.
Next, list all algebraic num bers not already listed that are solutions to some
polynom ial o f degree 2, all o f whose coefficients have absolute value at most 1.
(There are a finite number.) Let these be the next values of f .
Next, do the sam e thing with all new algebraic num bers that are roots o f a
polynom ial o f degree 3 with co-efficients o f absolute value at most 1. We proceed
in this m anner following the sequence shown by the arrows; that is,
At each stage, we get a finite num ber o f new algebraic numbers (as there are only
a finite num ber o f polynom ials o f degree m and with coefficients o f absolute value
Every algebraic num ber will eventually be generated in this fashion. For example,
As every algebraic num ber will appear on this l i s t / ( l ) ,/ ( 2 ) ,/ ( 3 ) ,... exactly once,
we have described a correspondence between N and A , so INI = IAI.
239
In summary, we find the following surprising situation. There are seemingly far
more algebraic numbers than integers. W hile algebraic numbers seem ubiquitous,
it is difficult to find a transcendental num ber and prove that it is transcendental.
Yet, in terms of cardinality, there are no more algebraic num bers than integers, and
there are far more transcendental numbers than algebraic numbers.
(as if there w en
O. Can you show that INI = KOI? enough here already!
© . At first it may seem like the following would be an easier way to get a
correspondence between N and A:
i) List all the algebraic numbers that are the zeroes of a polynom ial of
degree 1.
ii) List all the algebraic numbers (not already listed) that are the zeroes o f a
polynom ial of degree 2.
iii) List all the algebraic numbers (not already listed) that are the zeroes o f a
polynom ial o f degree 3.
...A nd so on.
But with this method, we would never reach step ii): there are too many
algebraic numbers that are the zeroes o f degree 1 polynom ials. W hat is
going wrong here? How did our original proof get around this problem ?
N = US-
b) Now let S. = {those algebraic numbers that are solutions o f a polynom ial
o f degree m, w hose co-efficients have absolute value at m ost a, w here
m+a = j } . Prove that S. is a finite set. Prove that every algebraic num ber
appears in some S . Then use the result o f part a) to show that INI = IAI.
(This is essentially the same proof as the one given in the text, although it is
conceptually a little cleaner.)
240
I
oam E lk ie s h as b een
N p la y in g a ro u n d w ith
arithm etic and num ber
p u zzles fo r as long as he can
remember. In early childhood he
enjoyed counting the keys on a
p ia n o , an a c tiv ity th a t w o u ld
foreshadow his adult fascination
with both mathematics and music.
T h an k s to sp e c ia l cam p s and
e n ric h e d e d u c a tio n in Is ra e l
between 1970 and 1978, his ability
in m athem atics was encouraged
from an early age. He happened
across a H ebrew translation o f
Euclid’s Elements on his parents’
bookshelves, and fell in love with
mathematics from reading it.
N oam also com peted in the series o f com petitions run by the M athem atical
A ssociation o f America. The pinnacle o f this series is the USA M athematical
Olympiad, which N oam won in his final two years o f high school. Based on that
perform ance, he w as in v ited to co m p ete fo r the U SA at the In tern a tio n a l
M athem atical Olympiad, w here he won Gold M edals in each o f his two years.
241
W hile at Stuyvesant, Noam also attended the Juilliard school o f music. Noam
considers mathematics and music similar aesthetic pursuits; abstraction and a certain
playfulness are essential to both. In fact, Noam considered a career in music as late
as his final year o f high school; even today he gives regular recitals, som etim es of
his own com positions.
A fter Stuyvesant and Juilliard, N oam studied m athem atics and music at Colum bia
University, graduating after three years when he was only 18. In each o f those
three years, he won top honors in the N orth A m erican Putnam M athem atical
Competition.
In 1985, N oam entered the Ph.D. program at Harvard. In the sum m er after his first
year, he stunned his m entors by proving a conjecture in num ber theory that had
defied m athem aticians for over 25 years. This im portant result becam e his Ph.D.
thesis, and the following year, after only two years o f study, he received his doctorate
in mathematics.
He then proved that, in some sense, there are lots o f counterexam ples, and showed
how to produce an infinite num ber o f them. (The counterexam ples are very large;
the numbers in N oam ’s second counterexam ple have alm ost seventy digits each!)
N oam ’s main concern about graduating early was that he w ould be forced to leave
H arv ard ’s active academ ic en v iro n m en t too soon. Such fears w ould prove
groundless. H e was offered a Junior Fellow ship from 1987-90, and then an
Associate Professorship from 1990-93. Finally, in 1993, at the age o f 26, he became
the youngest person ever to be granted tenure at H arvard University.
242
N oam ’s favorite problems include the famous Riemann Hypothesis, a long-standing
conjecture in num ber theory that has trem endous ramifications in the field. “All
num ber theorists are inherently fascinated by it,” says Noam. But despite the
concentrated effort being expended on this one problem, Noam notes that, “it might
well be solved by accident.”
A nother problem N oam has attacked is the A B C Conjecture which lies at the
crossroads betw een num ber theory and geometry. The ABC Conjecture implies
many im portant results, including Ferm at’s Last Theorem. Noam proved another
im portant im plication o f this conjecture in 1991.
The polynom ials P{z) and Q(z) with com plex coefficients have the
same set of numbers for their zeros but possibly different multiplicities.
T he sam e is tru e o f th e p o ly n o m ials P(z) + 1 and Q(z) + 1.
Prove that P{z) = Q(z)-
N oam has also suggested another unsolved problem that you m ight w ish to
investigate. This problem is a m ore general form o f the following question first
form ulated by Sam Loyd (1841-1911), a renow ned A m erican puzzlist.
What is the greatest num ber o f line segments which can be drawn through
1 6 points so that each line segm ent contains 4 points?
In the diagram below, there are sixteen dots and ten line segments, with four dots
on each line segment. We will w rite this as “ 16= 10 ® 4” . (Here, the symbols =
and ® do not have their usual m eanings.)
However, in the following diagram, there are sixteen dots and fifteen lines, with
four dots on each line. (We write this as “ 16 = 15 ® 4” .) This is the best-know n
result for 16 dots and 4 dots per line segment.
This case can be generalized to get n 2 = (3n+3) ® n, where n is even (and at least
4). Can you see how ? Try it with n = 6. Is this the best that can be done?
The following diagram shows the best result for n = 3:
9 = 10® 3
In 1981, N oam discovered the following exam ple that is the best known for n = 5:
25 = 18® 5
It isn’t even know n if n 2 = (3n + 3) ® n is possible for n odd and greater than 5.
Can you find an exam ple that shows that 72 = 24 ® 7? How close can you get?
Also, can you prove that one can never get n 2 = m ® n for m > 3n+3?
245
S tte r to o r t
I hope you have enjoyed these forays into mathematics as m uch as I have, and
that you have been left w ith m uch to think about. The m oral to this story is
that beautiful, surprising results are always worthw hile for their own sake,
but they can often lead into deeper and even m ore exciting waters.
Prove that the poor creature will eventually plunge from a cliff to its
death.
T —> 7>
-4 —>
T —>
A lthough Kevin did not know it at the time, this problem anticipates several
subtle and im portant results in topology, a type o f geom etric thinking useful
in most areas of m athematics. This is only one exam ple w here a sim ple idea
or problem opens up new m athem atical horizons.
If you are a high school student and want to learn m ore interesting m athem at
ics, there are many avenues you can pursue. First o f all, becom e com fortable
writing proofs. Putting ideas to paper in a form convincing to others sharpens
the mind; like any new skill, it requires practice. Euclidean geom etry pro
vides a perfect opportunity for this, as the tools required are m inim al and the
rewards great. (Sadly, geom etry seems to be quietly disappearing from the
high school curriculum.)
The beauty o f mathematics has inspired many authors to write expository
books. As a result, there are numerous excellent mathematics books aimed at
many levels. The A nnotated References is a good starting point, but there are
m any other w orthwhile books not listed. Browse around, and follow up on
authors and subjects you really enjoy. If your school library has only a few
titles, convince your librarian to buy more.
Once again, I hope you have been challenged and excited by this book. If you
have any com m ents, please write. Best o f luck in future explorations!
Ravi Vakil
Departm ent o f M athematics
Harvard University
One Oxford St.
Cam bridge, M A
USA 02138-2901
247
Annotated References
Berlekamp, Elwyn R., Conway, John H., and Guy, R ichard K. Winning Ways
fo r your M athem atical Plays. New York: A cadem ic Press, 1982.
These two volumes explain mathematical game theory with many examples
of fun games to play and win. W ell-written but intellectually dem anding.
Boyer, Carl B. and Merzbach, Uta C. A H istory o f M athem atics. 2nd ed.
New York: John W iley & Sons, 1991.
Ball, W.W. Rouse and Coxeter, H.S.M. M athem atical Recreations and Essays.
13th ed. New York: D over Publications Inc., 1987.
Beckm ann, Petr. A H istory o f Pi. Boulder, Colorado: The Golem Press,
1971.
Castellanos, Dario. “The U biquitous 7t” . M athem atics M agazine. Vol. 61,
No. 22, Apr. 1988, 6 7 - 9 8 .
Crux M athematicorum.
Crux is a high-level problem -solving journal published by the Canadian
M athem atical Society; it appears ten times per year, and includes a regular
“O lym piad C om er” . For more inform ation, contact: CM S/SM C, 577
King Edward, Suite 109, POB/CB 450, Station A, Ottawa, Ontario, Canada
K IN 6N5, tel. (613) 564-2223, fax (613) 565-1539.
Gardner, M artin. “Six sensational discoveries that som ehow or another have
escaped public attention". Scientific Am erican Vol. 232, No. 4, Apr. 1975,
126-133.
Keep an eye out for anything G ardner has written!
248
Annotated References (cont'd)
Holton, Derek. L e t’s Solve Some M ath Problems. Waterloo, Ontario: Waterloo
M athem atics Foundation, 1993.
For more inform ation, contact the Canadian M athem atics Competition,
Faculty o f M athematics, University of Waterloo, Waterloo, Ontario, Canada
N 2L 3G 1, tel. (519) 885-1211 ext. 2248, fax (519) 746-6592.
249
Annotated References (cont’d )
Rucker, Rudy. Infinity and the M ind: The Science and Philosophy o f the
Infinite. Boston: Birkhauser, 1982.
Swetz, Frank J. ed. From Five Fingers to Infinity: A Journey through the
History o f Mathematics. Chicago: Open Court Publishing Company, 1994.
*1 strongly believe that every high school should have these books on hand.
250
Index
ABC Conjecture, 243
Ailles, D., 87, 88
Archimedes, 78-84, 160
Argand plane, 220
arithmetic series, 35, 135, 137
Arrow, K., 68-72
252
Index (cont'd)
Napoleon, 219, 223
Nash, J., 64
Newton, I., 8, 78, 195, 197
numbers,
algebraic, 118-119, 236, 237-240
com plex, 40, 118-119, 201, 202, 207-223, 233, 237-240
constructible, 118-119, 215-217
irrational, 118-119, 120-122,218, 237
rational, 118-119, 120-122, 147, 214, 218, 229, 236, 237, 240
real, 118-119, 120, 232-233, 240
transcendental, 118-119, 122, 237-240
Tic-Tac-Toe, 39, 65
trigonometry, 86, 87, 88, 130, 146, 152-153, 154-157, 208, 210-214, 217, 222
twin primes, 182
Zeno, 177-178
253
Fax orders: (905) 335 -5 1 0 4
Discounts are given for large orders. Please call for details.
254
MATHEMATICS
In the pages of this book, Ravi shares some of his most powerful
problem solving ideas in mathematics. He also profiles seven other
Olympiad winners including Noam Elides, the youngest professor
to receive tenure at Harvard.