Академический Документы
Профессиональный Документы
Культура Документы
EMATICS
.......... STORY OF
EMATICS
From creating the pyramids to exploring infinity
Anne Rooney
fIl
ARCTURUS
Aclmowledgements
Wim thllnk, rv th= of my Flluhook f.und!;rho hllre htlped in
i'llriOU! "".ry<, parriro/Ilriy .\fi,hlltl A ,ui {ZiJIlO Jilltd (lIllrrllrd
FaCIIlrylCllmbridj(e FIlCIIlry/BMron lItA), Gordon Joly (London),
John Nllllj(hrvll (Camhridge Aillm '68, The Open Univ/'rriry
FIl,ulry),Jlldi SchofteM (London/GlIllrdilln Nru'!llnd .Iledill) Ilnd
Bill Tb01f'P50n (LonJonlCllmhridge Fllro/rylCiry UK Fllmlfy).
ftl'*
ARCTURUS
ISBN: 9i8-0-5i2-O:l41:1-9
I'rimed in China
Contents
Introduction: The Magic of Numbers 6
Glossary 204
Index 206
I NTR O D UCTIO N
6
I NT ftOD UcnON
7
CHAPTER 1
STARTING
with numbers
III tb~ b~gillllillg .. CIW~II/m C01i1d pllillt, bllt colild tbey COli lit?
~ ....n", wn" ""M""
FOUR M AM MOTH S OR
M O RE MA MMOTHS?
Imagine an early human looking at a herd of
potcntiallullch - buffalo, perhaps, or woolly
mammoths. There arc a lot; the hunter has
no number system and can't count them. He
or she has a sense of whether it is a laq,rc
IV/" ngll"lte fill a~cts of0111' lift by III/mbns. bllt (bat herd or a small herd, recognizt!S that a
bas I/Of ak,ays hem rbe crISe. Tbe w;'lIIfe halld <1}flS
added ro clixJ:s ill 1-1-7'), tbe Sl'Colld halld arOlllld 1560.
Where do numbers
come from?
Numbers are so much a part of our
everyday lives that we take them for
granted. They're probably the first thing
you see in the mor ning as you glance at the
clock, and we all face a barrage of numbcrs
throughout the day. But there was a rime
before number systems and counting. The
discovery - or invention - of numbers was
one of the crucial stcps in the cultural and
civil development of humankind. It enahled
ownership, trade, science and art, as well as
the dL'vclopmellt of social Structures and
hierarchies - and, of course, brames, puzzles, Mlllly agaillst ollr is ilion likdy ro mSiIIl' a safr
sports, gambling, insurance and even OlltrOlllf alld a mM! for blllltrrs t''lllippt'd ollly
birthday parries! with prilllitive WMpollS.
10
W HER£ 00 NUMB ERS COME FROM?
single mammoth makes easier prey, and It isn't nec~sary to count to know
knows that if there arc morc hunters the whether ~ set of objects is complete.
task of hunting is hath easier and safer. \Ve c~n glance at a tahle with 100 places
There is a clear difference between one and set and see instantly whether there ~re
'more-than-one', and between many and any places without diners. One-to-one
few. But this is not counting. correspondence I S learned early by
At some point, it becom~ useful to children, who play games matching pegs to
quantify thc extra mammoths in some way - holes, toy Dears to beds, and so on, and was
or the extra people needed to hunt them. learned earlr br humankind. This is the
Precise numbers are still not absolutely basis of set tht..'Ory - th~t one group of
essential, unless the hunters want to objects can be compared with anothcr. We
compare their prowess. can deal simply with sets like this without a
concept of number. So the early farmer can
TAllY-HO! move pebbles from o ne pile to another
Moving on, and the mammoth hwlters without counting them.
settle to herdin g their own animals. As soon The Ilecd to record numbers of objects
as people star ted to keep animals, they led to thc first mark-m~king, the precursor
needed a way to keep track of them, to of writing. A wolf hone found in the
cht..'Ck whether all the sheep/goatslyaks/pigs Czech Repub lic carved with notches
were safely in the pen. The easiest way to do more than 30,000 years ago apparently
this is to match each animal to a mark or a rcprt..'Senrs a tally and is the oldest known
stone, using a tal/y. mathematical object.
11
STARTIN G WITH NUMBlRS
FROM TWO TO
TWO·NESS ONE, TWO, A LOT
A tally stick (or pile of A tribe in Brazil, the Piraha, have words for only 'one', 'two'
pebbles) that h as been and 'many'. Scientists have found that not having words
developed for counting for numbers limits the tribe's concept of numbers. In an
sheep can bi.' pur to other experiment, they discovered that the Pirah;i could copy
uscs. If there arc thirty patterns of one, two or three objects, but made mistakes
sheep-rokens, they can also when asked to deal with four or more objects. Some
be used for tallying thirty philosophers consider it the strongest evidence yet fo r
gOatS or thirty fish or linguistic determinism - the theory that understanding is
thirty days. It's likely that ring.fenced by language and that, in some areas at least,
tallies were used early on to we can't think about things we don't have words for.
count time - moons or days
until the birth of a baby, for
example, or from planting to cropping. The concrete objects counted heralds a concept
realization that 'thirty' is a transferable idea of numher. Besides seeing: that four apples
and has some kind of independence of the can be shared out as two apples for each
of two people, pL'ople discovered that
four of anything can always be divided
into two b'TOUPS of two and, indeed, four
'is' twO twos.
Ar this point, counting became mort:
than mllying: and numbers nl.:!eded names.
BODY COUNTING
Many cultures developed methods of
counting: by using parts of the body. They
indicated different numbers by pointing at
body parts or distances on the body
following an established sequence .
Eventually, th!;' names of the body p:lrts
probably came to stand for the numbers and
'from nose to big toe' would mean (say) 34.
The body part could be used to d!;'note 34
sheep, or 34 trees, or 34 of allY thing else.
12
WHER£ DO NUMBERS {OM£ FROM?
~:~
system doesn't allow
I u ,. ~
can't be written IL (50 minus
I); it has to be written XLLX
(50 minus 10; \0 minus 1).
The next Step is a system
1,000 10,00() 100,000 1,000,000
which instead of repeating
the :.ymbols for a number
Em'~Y Egl'ptiml hhroglypbs repn!Si'lIIt d IlIIlIIbl'rs I~illg POW"" of tw, (A..,"\.,"'( for 30, for instance)
(lml cOllid sb{J'J) JIIlmben lip to 9.999,999. uses a ~ymbo l for each of the
"
'{.sl ",n,", W'ffi "'M" "
digits 1 to 9, and thell this is used with the shown by three digits. Roman llullu;,rals, on
symbols for 10, 100 and so un to show how the other hand, need between ant' :lIld four
many lOs, IOOs and 1,000s arc intended. digits for the numbers 1 to 10 and hetwc(;!11
Th e current Chinese system \rnrks on this one and eight digits for numbers up to 100.
principle . So:
CIPHERED SYSTEMS
11]-r- 4 x 10",40 The hicroglnJhic ..,ystem described above
(see page 13) was only one ofrh ree systems
but;-G: 10+4",14 uscd in Ancient Egypt. There were twO
cip hered systems, demotic and hi erati c. A
andlZll-rlZ!l 4 X 10+4 = 44 ciphered system nOt on ly has different
symho ls for the numerals I to 9, but
This is kn()wn as a multiplicative grouping distinct symbols for each of the. multiples of
system. The number of characters needed 10, 100 anti 1,000. H.ieratic is th e old est
to represent numbers is more regular with known ciphered system . It could e..'\: pre.~s
this typl! of ~ys [em. Numbers 1 to 10 are numhers in a very eompact form, hut ro use
shown by one digit; numbers 11 to 20 are it people mU St learn a large number of
shown by twO digit~; thereaher, multiples of different symbols. This may have served a
10 up to 90 :lrc shown by two digits (:20, 30 soeia J purpose, keeping numbers 'specia l'
ctc.) :md the orn er numbers up to 99 are and so endowing those wl1l) knew them
(SO . 1) (60) 40 · 2 ~
, , , ,
UN ITS
U 11\ ll.<j "\ '" - t. =? rt
~
-
~
TENS
A A 1\ >r 7J .::.I- 51 llll
HUNDREDS
~ )l ? ? ?," /3~.3
~ ! "i ~ ~ !!l; ~ ~ ~
THOUSANDS
TEN S OF THOUSANDS
1 Egyptlllll burnt/(' mflflt'rflir qfrbe New Killgdllm
(l600-JOOOsc) /lsed /f101T' symbols rbrlll ""foil', 1I1r/!.:illl!,
H UND REDS OF
THOUSANDS ? IIIfIIlbny lIIore call/pllet bur barrier ro lellrl/ W /lse.
with extra power, forming a mathematical position of the numerals to show their
elite. In many cultures, numbers have been meaning. This ean only work when there is
closely allied with divinity and magic, a symbol for zero, as otherwise there is no
and preserving the mystery of numbers way of distinguishing between num bers
helped to maint:lin the authority of the such as 14, 204 and 240, a problem
priesthood. Even the Catholic Church was encountered by the Babylonians.
to indulge in this
10,000 1,000 100 10 1
jealous b'l.lardianship
54,321 == 5 X 10,000 4 X 1,000 3 X 100 2 X 10 1 Xl
of numbers in the
European .M.iddle 10,070 == 1 >< 10,000 a x 1,000 a x 100 7 X 10 1 XO
IS
STAItTlN G WITH NU MBllt~
200 from the cOntext. This was sometimes archai c letters rhey no longer used for
easy and sometimes not. The statement writing. For numbers over 999 they added a
'1 have 7 sons' was unlikely to be interpreted tick mark to the right of a letter to show rhat
as '1 have 70 SOilS' - but a statement such as it must be multiplied by a factor of 1,000
'An army of 3 is approaching' contains (like our comma as a separator) or the letter
dangerous ambiguity. An army of 300? No 11111 as a subscript to show multiplication by
16
W HER£ DO NUMBUS COM E nOM ?
17
STARTING WITH NUMBlRS
with an abacus.
18
W H ER { 00 NUMBERS COME nOM?
A FU SS ABOUT NOTHIN G
The conce pt of ze ro might seem the
antithesis of counting. Wh ile zero was only
an absence of items counted, it didn't need
Zero was adopted around the same time; its own symbol. But it did need a symbol
zero, of course, has no angles. The Arab when positional number systems emerged.
scholars devised th e full positional system Initially, a space or a dot was used to
we lISC now, abandoning th e ciphers for indicate that no figu re occupied a place;
multipl es of ten used by the Indian the earliest preserved use of this is from the
math ematicians. mid·2nd millennium Be in Babylon.
Not long after, the new fu sion o f The Mayans had a zero, represented by
Hindu-Arabi c number systems made il5 the shell glyph:
~
way to Europe through Spain, whi ch was
un der Arab rul e. The earli est European tt;'xt
to show the Hindu-Arabic numeral s was This was used from at least 368e, but
produced in Spain in 97 6. had no influence on mathematics in the
Old World. It may be that Meso-Americans
ROMA NS OUT! were the first people to use a form of zero.
Of course, Europe was already using a Zero Glme to the modern world from
number system when the Hin du-Arabi c India. The oldest known t ext to use zero is
nOtation arrived in j\'loori sh Spain. Mter the Jain Lokavibhaaga, dated AD458.
the fall of the Roman Empire in th e \Vest, Brahmagupta wrote rules for working
tradition ally dated A04 76, Roman culture with zero in arith metic in his
was only slowly eroded. Brahmasphutasiddhanta, setting out, for
Th e Roman num ber system was instance, that a number multiplied by zero
un chall cnbTCd for over 500 years. Alth ough gives zero. This is the earliest known text
th e Hindu -Arabi c numerals crop up in to treat zero as a number in its own right.
,\ fLow works produced or copied in th e AI·Khwarizmi introduced zero to the
10th century, they did not enter th e Arab world. The modern name, 'zero',
main stream for a long time. comes from the Arab word zephirum by
way of Venetian (the language spoken in
1 I Venice, Italy). The Venetian mathematician
5,000 (I)
5 V luca Pacioli ( 1 445~1514 or 1517)
10 X 10,000 (I) produced the first European text to use
50 L zero properly.
50,000 (I) While historians do not count a 'year
100 C
zero' between the years 1 Be and ADT,
500 0
1,000 M 100, 000 (I> astronomers generally do.
\9
STARTING WITH NUM BlRS
20
W HER£ 00 NUMBERS (OM£ FROM?
Lllm Pacioli 7L"IlS f1 Frallciscall frial: III rbis pmTrair Bar rodes lISe lilies I)f differe1l1 tbickllesses (I)
by Jm:I)/IO de Barb"'7 (I;. 1495), be if dmTl)llstratillg /"!'p/"~mt /llimbers: tbeY( all' reml by CIJmplltfl7zrd
I)/I~ I)f Eudid's rbel)/"ems. sca mnrs 'Il·bicb ~ce' tbem ar lilimbers.
21
STAItTlNG WITH NUM Bl lt~
22
NU M 8ERS AND BASU
measures to cultures that have used The indigenous peoples of Ti erra del
different counting systems. Fuego and partS of South America have
Binary, or hase 2, is used by computers used number systems with bases three and
as it (.~Jn designate onc of twO states, four. Base-4 systems may have emerged
TRUEIFALSE, or hold a negative or hcc<luse four is thc largest numher of items
positive electrical charge. But there have in a row that mOSt people can intuitively
heen human users of hinary systems. Some apprehend without counting. For this
of the oldest trihes in Australia usc a reason, the 'five-barred gate' method of
counting system in which the names of the tallying has heen widel), used for counting
numbers arc defined in relation to twO and everything from sheep in :l fi eld to days
one. The Gapapaiwa of Milne Bay have sligo spCnt in prison.
'one', 1"/111 'twO', then 1"1111 11/11 Jago for 'three',
which is literally, 'nl'o and one', and rlltllJ1a HH II
rlll1 or 'n\'o and [\.vo' for 'four', 1"IIt11lla 17111
l/1ll sago ([\,1'0 and [\.\'0 and one) for 'five'. == 5 + 5 + 5 + 2 '" 17
Although it differs &om computer binary in
thatit uses one. and twO rather than zero and Thi s 'rule of four' li cs hehind many
one, it sti ll has on ly twO distinct numhcrs. cu ltural oddities. In ancient Rome, for
~ m.n", wn" "'M""
Decimal equivalent 1 2 3 4 5 6 7
Base 2 (binary) 1 10 11 100 101 110 111
Base :3 1 2 10 11 12 20 21
"'''''
Base 5
1
I
2
2
3
3
10
4
11
10
12
11
13
12
Base 6 1 2 3 4 5 10 11
N U M 8E R S A N O BAS ES
Decimal 9 10 11 12 13 14 15
Hexadecimal
Decimal
9
I.
A
Tl
•
1.
C
19 20
D E
21
F
22
Hexadecimal 10 11 12 13 14 15 I.
Decimal 23 24 25 2. 27 2. 29
Hexadecimal 17 1. 19 lA 1. lC 10
Decimal 30 31 32 33 34 35 3.
Hexadecimal 1E 1F 20 21 22 23 24
25
STARTING WITH NUM BlRS
More numbers, big and small Natural numbers have a special status
Th e first numbers humankind used related hecause they can be related om~-ro-one to
directly to object s in the real world; indivisible objects in the real world. For
they were the positive integers. _ ......-~_ convcnience, intinity is thc namc
But th (;'se are not th c on ly givcn to th e largcst possible
numbers we recob'llize now. A~ number, th c cnd of counting -
time has passed, we have though clearly this could never
developed ways of quantifying exist since. howt..'Ver large a
an absence with negative number is we could always add
numbers, showing fragrnenrs or one more, and allother, and so
portions that are less than one, on. lntinity is represented by th(;'
and representing numbers so ~ymbol 00, first used by J ohn
large they tax our normal \Vallis in his book D e scctiQflibus
systems for writing numbers. fOil/CIS (Of collical sectiolls),
We have (;'ven develoJled a way publish(;'d in \655.
of talking about imaginary
(complex) numbers. LESS THAN ZERO
Ncgative numbers don't relate
INTEGERS directly to the physical world in
Integers are the positivc and that we can't co unt a negative
negativc whole numb ers,
extcnding infinitely in both Tbc scale all a Ib~ro/Omcrer spallf
directions from (ami including) IIrgarive alld pofirive mnpU"Iltlires,
zero. The positive intc~,'ers arc alld is II follliliar applirarioll of
ca ll ed natural numhers. lIegarivt J/Il1nlll'/"s.
26
MOllE NUM8US, 81G AND SMAll
27
STARTING WITH NUM BlRS
al-Maghribi al-Samaw'al
'5exagesimals and sixties are to be used sparingly or never provided <l systematic
in mathematics, and thousandths and thousands, treatment of how to use
hundredths and hundreds, tenths and tens, and similar decimal fractions to give
progressions, ascending and descending, are to be used approximate values foc
frequently or exclusively.' irrationalnumhers.
F ri'ln~ois Viete, 1579 Decimals came quite late
to Europe . F ranccsco Pellos
wrOte a treatise published in
UNDER AND OVER THE BAR rtaly in 1492 that secms to use a decimal
The Egyptians used a uniquely perplexing point to divide units from tenths, but his
form of fractions around 1000Be, and the work docs not show a rigorous
Greeks followed their example 500 years understanding of what he had done.
later. In India, Jain mathematicians wrote of Christoff Rudolff, writing in a German
operations with fractions in the Sthallollgo accountancy tt'xt in 1530, was the first to
Sutra, c. 150BC. show a thorough wlderstanding of how to
Th e modern way of writing fractions work with decimal tractions, though he used
with a bar or vinculum dividing the
numeratOr and denominator stems from the Tbe sraw,' 0fSiJlloJ/ Srt'Vill ill Bruges. Apflrt /ram
I-l indu method of writing ont' numeral bis E:o"k ill scimce fllld marbnnfltia, be ;'weur~d rbe
above the other, used in the BmbJlltl-sphllttl- fil':rt/tlll d yachr llIbicb co1l1d rr/T'''t'I ns fosr af a bone.
siddhlll/fa ([.610). Arab mathematicians added
the bar to separate the twO figures. The
first EuropL'an mathematician to usc th e
fraction bar as it is used now was Fibonacci
(d 170-1150).
28
MOllE NUM8ERS, B IG AND SMAll
5 @ 9 @ 1 ® 2 G)
EGYPTIAN FRACTIONS
The Egyptians had a strange way of working with fractions. They had special characters for
half, ~ , and two.thirds, en"" . Thereafter, a fraction was shown by the character c:>
written above the denominator, which was shown using the usual Egyptian symbols for
i'iit
numbers. SO III means 7.
1;
However, with the exception of )1" the Egyptians only used unitary fractions (those
with a num erator of 1); there was no way to show a numerator, so it was impossi ble to
write % or Yt. To complicate matters further, it was not allowed to repeat a fraction - so
%could not be written as ~ + K Instead, it was necessary to fin d a way of making %from
unique frac t ions:
29
STAItTIN(; WITH NUM8lllS
astronomer and friend of Kepler, who used 'a om'tllt jor« (q ual 10 10,000,000,000
it in 1592. Even so, it did not I..-arch on until timrs thr /''IIIII( givell hy the qlllJtimt of J 7IIet1'e
J ohn Na pier used it in his t;lblcs of by I secol/d 0frill/e, rhar is, I d (J metre/secol/ds'.
logarithms over t\VCnty years later. Napier
sugb"Csred in 1617 that tht: fidJ stop or
COlllma could be used, and settled on the
full stop in 16 19, though many European
commies have adopted the I..'Olllilla as their
decimal separator.
BI GG ER AND BIGGER
\-Vhilc fractions and decimals provide a W'3y
of writing very sma ll numbers,
developments in science have led to a need
for W:J.ys of representin g and r:llking about
increasingly large numocrs.
Scientifi c notanon uses powers of ten to
show both vc ry large and vcry sma ll
numbers. A power of ten shows how many
fi gu res come befor<.' or after the decimal
point. For example, 10 'ft is 1 followed by 18 Joh1l Napi!'l; Ihl'illt'C7II0" Of oflogarithms,
zeroes. in the other dirL'Ction, 10-1• is a bdirvl'tilbllllhl' world 1l'01i1ti (01111' ro alll'llJ ill
decimal point followed by 18 digits, the first l'ilhl'I' 1688 0/' 1700.
JO
MO RE NU MBER S, B IG AND SMAll
THE SA ND RECKONER
In what was effectively one of the
world's first research papers,
Archimedes boasted in the 3rd
century Be that he could write iI
number larger than the number of
grains of sand it would take to fill
the universe. He was able to do this
using the new Ionian num ber
system and his own notation,
which in effect used powers and
was based on the 'myriad', or
10,000. He worked with powers of
a myriad my riad, or 100,000,000.
Archimedes' estimate of the size of
the universe, while far larger than
previous figures, was nowhere near
modem estimates. His number of
grains of sand was 8 x 10" .
31
STARTING WITH NUM BlRS
32
MO R( NU M 8{ RS, B IG AN O lMAll
As the number of " characters incrt":lses, all nested' . At each ~tage, the number is
the numbers get harder ro read (as well ev:.tluated and lL'>Cd fur the next stage, so
as unimaginably large). John Conway 1 in a square is 1 in twO nested triangles.
(b. t 937) suggestS condl'nSing the numbers The first nested triangle is 21 '" 4, so the
by using right arrows-to indicate the next nested triangle is 4~ = 256.
number of" characters. So ® (a number /I in a pentagon) is equiva-
lent to 'the number n inside n squares,
n"""4 would be written n ..... 4 ..... 3. which are all nested' . Originally, this was
the limit ofStcinhaus's system and he used
Another way, called tetration, expresses a circh:, for this: @.
...- NUMBERS
".'
•
.....
I . ,~~
,
•
'to
put to work
A 11/1/1/ /Ires 1/1/ IIbflCIIS ill fI Jllpllllere >I1:m·d shop, c.1 890.
~
/ ' NUM8ERS PUT TO WOR k
/~
Putting two and two
together
Thl'_ rules of arithmetic provided the
ancients with methods for working out
fairly simple sums, bur as the numbers
involved grew larger, tools to help with -
and eventually to mechanize - calculation
become increasingly important. Tools
ro simplifY addition, subtraction,
multiplication and division emerged very
early on. Over the last few centuries these
simple aids have nOt been sufficient and our
tools for working with Ilumbers have
hecome increasingly complex and
technically sophisticated, until we now have
computers that carry out in a fraction of a
second calculations that would have
seemed quire inconceiv:Jble to the earlieSt
mathcmatici:ms.
36
PUTTING TWO ANO TWO TOGETHER
KNOTTY PROBLEMS
The position ot a group of knots on a khipu
shows whether that group represents units,
tens, hundreds, etc. Zero is indicated by a
lack of knots in a particular position. Tens
and powers of ten are represented by
simple knots in dusters, so 30 would be
shown by three simple knots in the 'tens'
position. Units are represented by a long
knot with a number of tums that represents
the number, so a knot with seven turns
shows a seve n. It's impossible to tie a long
knot with one turn, so one is represented
by a figure-ot-eight knot. Khipus recorded
information such as population censuses or
details of crops harvested and stored.
N orth American tribes also used 19th cenmry. Herdsmen in Peru, Bolivia and
knotted strings, called W01JlP01Jl, and knots &."uador used a furm of kbipll, with !,'TOUpS of
in leather straps have been used in less white strings for sheep and !,'Oats and green
sophisricated arrangement<; by the Persians, strings for cattle, unril the 19th century.
Romans, Indians, Arabs and Chinese. The practice has proved remarkably
In Papua New Guinea tally ropes were enduring. In Tibet, knotted prayer strings
IlScd to record the trade in gold lip pearl still help Buddhists to keep track of their
shells. In Germany, bakers l.L~ed knotted prayers; the same function is performed by
ropes to tally bakery orders until the late Muslim prayer beads and Catholic rosaries.
_.
.•. .....
.....
~
...,.po
-
~~ .:-. "~
:.
, .
- ,
37
T IMES TABLES
Tables of numbe rs for looking up the
results of calculations, partkularly
multiplication, have been used for
thousands of years. Clay tablets dating
from around 1800BC preserve ancient
multiplication tables used in
Mesopotamia . Tbe idea of compiling
tables of tbe resu lts of common
arithmetic operations is as old
as written mathematics. Th,
mathematicians of ancient Babylon
inscribed their work on clay tablets;
many of these present mathematical
tables for multiplication, squares and
cubes and their rOOL<;, and reciprocals.
Tb~ F.xch~'!tur
ch"rg~d wirh
was rb~ 1I/~di~vfll
COIl~clillg
English il/Sfitlltioll
rOYfll ,TIJflllles.
-
38
I' lIfTlNG lWO AN D lWO TOGHHU
39
JOHN NAPIER ( 1550-16 17)
John Napier was a
Scottish mathematician
and eighth laird of
Merchiston. He entered
the University of St
Andrews at the age of 13,
but left without a degree.
He is best known as the
inventor of logarithms
and another calculating
device called 'Na pi er's
bones'. He began
working on logarithms around 1594 and
published his treatise, Description of the The TO/if ill Napicrf BQIlt's mrri,'d T11l1lriplimriQII
Marvelous Canon of Logarithms, in 1614. rabies ~bicb mlltlr CtI/CIIlati(lIIs 1nllch sin/pIn; bllr
Na pier's bones comprised a system of small fbI'] did lIor work ill [be Slime /:Jay lIS logtlr-irhms.
rods used for calculating; they were the
forerunner of the slide rule. to use the dot as a decimal point separating
Napier was also an inventor of artillery, the parts of a decimal number - his
and suggest ed to lam es VI of Scotland logarithmic tables are the first document to
something like a tank - a metal chariot with use the decimal point in the modem style.
holes from which small bore shot could be He was ardently anti·Catholic and beli eved
fired. He is known, too, as the first person the Pope to be the anti-Christ.
/~
'The Analytical Engine weaves algebraic
patterns, just as rhe Jacquard loom weaves
flowers and leaves. '
Ada lovelace
BERNOULU NUMBERS
a 1 2 4 6 10 14
B -I -~
, a !
"
a program to calculate Bernoulli numbers 'rVe have come a long way from
using the Analytical Engine. Bernoulli Babbage's plans for machines that filled a
numbers arc a sequence of positive and room and performed only arithmetic,
negative rational numbers important in though there is some dehate about who
number meoly and analysis (see tahle above). created the very first truc computer.
/~
The Gcrm:m engineer
Konrad Zuse (1910-95) CHIPS WITH EVERVTI-HNG
made the first binary The microchip was first invented in 1952 by a Ministry of
computer, the Z3, in 1941 Defence work er in the UK, Geoffrey Dummer. However,
bur it was only partially the MOD refused to fund development and a patent was
programmable. The first filed in the US by Jack Kilby seven ye ars later.
completely programmable
computer was the Colossus,
designed by Tommy Flowers (J905-9S) for they had ever been built. Stepping into the
the UK Secret Service during the Second gap left by the disowned Colossus, the US
\"'orld War and used to crack the high-level claimed the tlrst computer with the
codes of the German army. The first E1\T[AC designed by John j\lrauchly and J
Colossus went into service in early 1944 and Presper Eckert and completed in \ 946.
ten had been lJUilt by the end of the war. After the war, enormous mainframe
HowL'Ver, most were dcsrroyed at the end of computers were produced for use in
the war and for many years the British industry and hy governmentS and other
government refuscd to acknowledge that large organizations ami the commercial
computer industry was born. These early
computers COH hundreds of thousands of
dollars and worked with punched tapes or
cards. They had no screen or kt.:yboard and
were used largely for scicntific, military
and fin311ci3l applications.
PRIME NUMBER S
Primes are a special class of intebTCrs: they
are numbers which have no factors (cannot
be di\'ided by anything) except themselves
and 1. The primes under 20 are 2, 3, 5, 7,
11, 13, 17 and [9 (1 is usually nOt included).
A~ numhers get largel~ primes become less
frequent, but remain surprisingly common.
Even with numhers around 1,000,000 about
1 in 14 is prime. People have studied prime
numhcn: tor millennia, originally ascribing
some mystical or religious significance to
them. The Greek mathematician Euclid
was the fi~t to prove that there is an
unending sequence of primes around
300ne. Sti ll, more than 2,000 years later, we
have no fornmla for predicting primes. Elldid prrU1nillg his lJ·ork ro Killg ProlelllJ I Sorl'1·
Prime numbers sound as though they ill Ale:mlldl"ia. Tile ilJlI#mlioll is by Lollis Figllifl"
are nothing special - perhaps rather alld dnrfs jivm 1866.
SP(CIAl NUMBERS ANO SEQU ENCU
/~
ERATOSTHENES ( 276--194Bc)
Eratosthenes was born in libya, but worked
and died in Alexandria (Egypt). A friend of
Archimedes, he was in charge of the library
at Alexandria. Around 250sc he invented the
armillary sphere, a spherical model with
intersecting bands that is used to
demonstrate and predict the
movement of the stars. It was used as
an astronomical instrument
until the 18th century.
Eratosthenes also
developed a system for
measuring longitude
latitude, drev.> a map of the
whole known world and made
the first recorded calculation
of the Earth's circumference
(see panel, page 87: Measuring
the Earth).
The later writer Eusebius
of Caesarea (d.A0339-40)
attributes to Eratosthenes a calculation of
the distance from the Earth to the sun which The Eanb is n>pl"esmred by rbe baH at rbe cmTIT
is accurate to within one per cent of the figure of tbe flrmillary ~bf"n, rbe apparellt O1vits of
now accepted. o/bel" bodies by tbe l"illgr aI"QIlIll/ ir.
around 1,000,000 ha s a chance of about 1 in all infinite number of twin primes. That
13.8 of being prime since the natural s~cms r~asona ble, as it on Iy means they
logarithm of 1,000,000 is U.s. don't have to run om at some point. Bm it
hasn't heen prown to be true. Therc is also
TWIN PRIMES a 'wcak' twin primes conjecture, which has
Twin primcs arc pairs of prilll~ numbers been dcmonstratcd. This states that the
separated by only 2. Obvious examples are 3 number of twin primes below a number x is
and 5, 5 and 7, II and 13, or 17 and 19. The approximately given by this horribly
twin primes conjecture states that there IS complicated expression:
50
SP{C IAL NU M SER S ANO UQU ENCU
51
2n _ I is prime . There arc currently 44 perfect
numben; known, the hight:st of which is o
2 J!.,tIl.b5h x (2 11·SIIl .657 -1). It has 19,616,7 I 4 digits . o 0
000
AMICABLE NUMBERS
Amicable numher.~ comc in p3irs. Thc Six i.~ therefore :I. triangular number. If we
proper divisors of om.' of the pair, added 3dd ~n cxtra row of stoneS at t he bottom, we
together, produce tht: other. The numbers get the next triangular numher, ten:
220 3nd 284 ~re an amicable pair. Tht:
proper divisors of 220 arc 1,2,4,5,10, II, o
20,22,44,55 and 110, which 3dd('d tOgether o 0
make 28+; and the proper divisors of 284 arc 000
1,2,4, 71 and 142, which tOb'Cther make o 000
220. Pythab'Oras' followers studied amieJble
numbers, from around 5OO8C, believing Nine StOnes can be arranged intO :J. s(]uare:
them to have 1l13ny mystical properties.
Thabit ibn Qurrah (836-901), 3 o 0 0
tr3nsbt()r of Greek mnhenutlC31 tc.xt.~, 000
discovered 3 rule for nnding amic3ble 000
numbers. Arab m3them~ricians continued
to study them, Kamal aI-Din Abu'I-H asan The nl!.xt square number has four 011 e3ch
Muh3mmad 31-Farisi (c.1260-1310) side, giving 4! = 16.
discovering thc pair 17,926 and IH,416 and
Muhammad B3qir Y.1Zdi nnJing 9,363,584 Some numbers, such as 36, 3re both
and 9,437,056 in the 17th century. triangular 3nd squ3rl':
o
00
000
'Six i5 a number petfeet in itself, and not
0000
because God created all things in six days; 00000
rather, the converse is true. God created all 000000
0000000
rhing5 in six da~ becau5e the number is
00000000
perfect.'
StAugustine (AD354 -430), The City of God P()lygon~1 numbers 3rc increased by
incremcnting each side by onl' extra unit.
52
SP(CIAl NUMBERS AN O UQU(NCU
••• o 00
••••
SQUARE NUMBERS
[ 4 9 [6
• 0
• 0 0 • 0 0 0
•
•• 0 0 • 0 0 0
•
••• 0 0 0 •
••••
PolYb"Onal numbers have been studied since AI/Ionio Galldl iliaR-pmlTl'li fJ1!IIlgic SqIllD? ill th~
the time of Pyt hagoras and were often used Ciltlxt/ral rf dx Sllgmdll Fllmlfi" iI/Btl/TrlOI/a. TIx 1II11gir
as the basis of arranb>ementS for talismans. IIImm- is 33, th~ YIIPfX1.w ~~ rfChrist at his deatll.
TRIANGULAR SQUARE
NUMBERS NUMBERS 2 7 6 15
1 1
3 (= 1+2) 4 (= 1+3) 9 5 1 15
6 (= 3+3) 9(=4+5 )
10 (: 6+4) 16(=9+7) 4 3 8 15
15 (= 10+5 ) 25 (= 16+9)
21 (= 15+6) 36 (= 25+11)
28 ('" 21 +7) 49 (= 36+13) 15 15 15 15 15
be traced. The Eb'YPtian Ames Papyrus, the decimal place, as it is defined (among
SP{ CIAl NU M 8[RS ANO UQUENCU
z'" x + iy
1'/
Unspeakable numbers
The t'oncept of banning a number may 'It is rightly disputed whether irrational
seem bizarre, but it has happened for numbers are true numbers or false. Because
millennia and still happens even tOday. in studying geometrical figures, where
Some numbers havl' been considered just rational numbetJ desert us, irrationals take
too difficult or dangerous to countenance their place, and show predsefy what rational
and havl' been outlawed by rulers or numbers are unable to show.. we Gre
mathematicians. But a lwnned number moved and compel/ed to admit that they
dOCiin't go away, it just goes underground are correct ..
for a while. Michael Stifel, German mathemat ician
(1487-1 567)
PYTHAGORAS' NUMBER PURGE
The ancient Greek mathematician
Pythagoras did not recognize irrational drowned. According to legend, Hippasus
numhers and banned consideration of demonstrated his discovery on board ship,
negative numhers in his School. (An which turned out to have been unwise and
irrational numher: is one that eannot be the Pythagoreans thre<.v him overboard.
expressed as a ratio of whole numbers; so P),thagoras' ban was b ased nn his
0.75 is a rational numher as it is ;/. hut j"( is aesthetic and philosophical objection to the
irrational.) Pythagoras had to aclmowledb't! existence of irrational numhers. Later
that his ban caused problems. His theorem, censors have had political, economic and
which finds the 1t~nbrt.h of a side in a right- social reasons for trying to outlaw certlin
angled triangle from the lengths of the numbers or catebrories of number.
other two sides, insrantly runs into
problems if only rational numbers are ARABS v. ROMANS
recognized. The length of the hypotenu~ There was conside.rable resistance to the
(longt!st side) of a right-angled triangle with introduction of Hindu-Arabic numerals in
two sides one unit long is the square rOOt of Europe in the Middle Ages . The ease with
two - an irrational number ("" 1.414). which arithmetic could he carried out with
the new number system made. it attractive.
As Hindu-Arabic numbers threatened to
democrati ze numeracy they were
demonized by those who had an interest in
restricting numerncy and retaining it as a
Pythagoras was una hIe to prove by logic special tool of the dite. If mathematics were
that irrational numbers did not exist, opl'ned up to everyone, a source of power
hut when H ippasus of Metapontum (born would be lost. The Catholic Church wanted
(.500Be) demonstrated that the square root to kl'ep control of l'ducation by maintaining
of 2 is irrational and argued for their its holJ on numbers, and in addition
existence, it is sai d that Pythagoras had hi m opposed the. sysw m from the Islamic world
56
UNS P [AKA6 l£ NU M 8t R~
,
57
-P
/ 1 NUM8ERS PUT TO WOR k
///
666l)'lIIboliurtbemdoJ NOTO NEGATIVES
tbe1l'{JrldforChristifills, In Renaissance Europe, negative numbers
bllt ill Cbtl/ere [I/Itlll"l' it were not recognized. Solutions to
is amsidl'lYdIlIcky. mathematical problems that included
negative numbers were ofren disregarded.
Evt!1l though early Chinese and Indian
mathematicians had explained the U~ of
of the Beast, thought to he the enemy of nCbr;nivc numbers, u~ually by relating them to
God identified in the Book of Revelation. economic debt, later mathematicians in
Possession of the magic square became Europe strub'gled with them. Michael Scifel
punishable by deat h. (sec panel, page 56) called numbers less than
ill fbI' UallflllTllell Sqlllll"e 1I1t1SfIl{11' 011 4 Jilin 1989. It if illegal to lise
Sevaal thol/Sf/lld people were killed
o
rbe dnre of rbe masmcre as II PIN m code ill Cbillilo
58
UNS PEAKA8 U NUM81RS
zero 'absurd numhers', for =mplc. The French random numbers. There is,
mathematician Albert Girard (1595-1632) understandably, considerahle n:sisrance to
was probably the first major academic fully to the notion that anyone can 'own' a number
accept negative numbers in solutions, but it and prevent others knowing or using it.
took until the early 19th century for a proper Computer enthusiasts rushed to lay claim to
foundation for arithmetic with negative their ovm numbers that they could tell
numbers to be .set out. everyone else nOt to use in retaliation and
mockery of the AACS. So we can stop now.
DANGEROUS DIGITS No more numbers can be used in this book
666 is nOt the only specific number to have as someone else owns them all!
been demonized. In China it is illeg';!l to usc
the date of the Tiananmen Square massacre MOVING ON
(8964,4 June L989) as a password or PIN or Examining numbers and their properties is
in any other form that might link it with the all very interesting, and was b'U()(] enough
event (rather than as the ncxt number in the for the Ancient Greeks (who disdained
natural sequence of counting). applicati ons of mathematics), lmt for most
Ll the US, there is a hexadecimal (32- people the value of mathematic'S li es larbrcly
digit) number which has acquired the status in its usefulness. Num hers all ow us to
of ' ill egal number'. 1t is the key to measure, count, make things, run
encrypting high-definition DVDs, and its economies and examine the universe around
publication is technically illegal (since by us. [n truth, they are the kc'Y to all of science
using the hy with the appropriate and a lot of art and h3ve played a key role
mechanism it would be possible to in every ci\'ilization.
unencrypt the DVDs). The AACS
(Advanced Access Content System) claims
that it is a copyright circumvention device -
possession of a copyright circumvention
device I S III brcach of the Digital
lvlillennium Copyright Act (US, 1998).
H owever, within a short time of its being
revealed, the 'secret' number was Jlublished
on 300,000 web sites; attempts to remove it
from the public domain were dearly b,'Uing
to be fruitless.
The AACS also claims to own many
other numbers used for encryption but
won't say what they arc (as their usefulness
depends on them being secret). The only
'special' feature of these numbers is that NII'II/berr ,·Ide (/lid define rbe wmid's economies,
they arc nOt at all special, but arc g'Cnerated nlld ill impnct all till Ol/l·acrivitief.
59
CHAPTER 3
THE SHAPE
of things
62
THE MEASU RE O f EV ERYT HI NG
cubit == 28 digits
(a digit is a finger-
width)
4 digits", 1 palm
5 digits == 1 hand
12 digits", 1 small
span
~ FLEMISH ELL ~
~ CUBIT ~ c:
0(
ENCLISH Ell
•
.
14 digits", 1 large
• FRENCH Ell
•
span
• FAT HOM
•
Bu t the human body
comes in all shapes
and sizes, so one
•
person's 'hand' may
be another's 'palm'. • •
To overcome the
obvious difficulties
and potential for
dispute, standard
measures were
needed. The cubit Tlx biswricnlllllits as Sbl1WII ill chis [ Uollll1do's Virnn~an M.an.
sticks used in Egypt
were all copied from a royal standard made measured in furlongs (or stade), leagues and
of black gran irc and mea.~uring 524 mm miles. A furlong was an t:!ighth of a mile, a
(20.62 inches). The system successfully mile was 5,000 feet and a league was 7,500
imposed uniformity. The Great Pyramid at feet. These measures, along with the
Giza is built on a square hase 440 by 440 Roman measures for weight based on
cubits with variation of no more than 0.05 pounds and ounces, spread through Europe
per cent on any side - making it accurJte to and, hundreds of years later, were carried
115 mm in 230.5 metres. around the world.
63
TH£ SHAPE O f THINGS
cubic inch es. (Th e first, known as the th em, resulting in the discrepancy between
Queen Anne brallon, is still the standard US custOmary and UK imperial units today.
gallon in the US, though in th e UK the
gallon was redefin ed in 1824.) WEIGHTS AND MONEY
Standardization came slowly, progressed It's no coincidence that the pound was both
by separJte legislative acts in different the unit of weight and o f currencr in the
countries. In the US, the older En gli sh UK for many centuries. VYhen coins were
units survived after the UK had redefin ed made from preci ous metal s, th eir weight
A NEAR MIS S
An identical metric system to that
eventually introduced in France was
proposed in T668 by Bishop John Wilkins, a
founder of the Royal Society in England. In
a long book on the p ossibility of an
international language, he proposed an
integrated system of measurement based
on a decimal system and almost identical to
the modern metric syst em. His unit of
measurement was 997 millimetre.<> - almost
exactly a metre. The unit of volume was the
equivalent of the litre. Wilkins' proposed
system was never promoted and wen t
largely ignored until rediscovered by
Australia n researcher Pat Naughtin in 2007.
THE SHAP E O f TH INGS
vicar and mathemati cian Gabri el Mouton in gllillotilled five II/(JI/thr Inter.
12 IS
An English n~tin nni 1352
c.800 st~ n d"td for weightl; Ed "·~rd m or
c.30008C I-Inly Rmll:1n ami rn ~"su res is Engh nd 1588
Egypti:Jnsd~\~ lop Em p"ror agreed ~nd ell.l'hrined e ..r:ahll>hes th~ t New standard..
~ll)Val smn d"rd Ch" dema PI" in th" Magru Cm:.. , (XI" Stone C<1" als issu<;>::! hy
f';' t heir basic (r.i68-S H ) tri~s w the charr~r gr~nted by H IXllmili. , ,·,,-Iue Eliz"beth I
measure of regulntc w"ighrs anJ King J oh n th ot rem"in.~tn in Eng land
I"ngth , th~ l'UlJit rnell5ures (1 199-12 16) th is Jay (r. 1558--1603)
-- -
r.220 11C %0 02 66 1496
The Ii ~t ('"11 i nese The fi rst king of all I-I~ nry
m Ii.us th~ New St,:mdllr<is fo r
Emperor, Shi I-luan g OJ Engl~nd, King Edgar relationship between weights and
(r.121-109l1 10oc) (".957J!7S), dl'Cn:.-eS 1110n(1' ~nd weig:ht in m(-.ISlJtCs l<;SlJOO
standard izes all weightl; tho t weif,<hrs and Eng lish curren,")" making in England
and measu re<;, "wn m~~SlJres mlJ,~t a(~~!tI1 one penny the weight o f
spai l}'ing th~ precise axle with a SCln<iHd kept 32 grains o f wh~~ t ~nd
len¥rh to be used o n carLS in London 240 pcnc~ t<.> the p<luntl
66
TH E MEA SU RE O F EV ERYT HI NG
A map of the
herwfIIs
from the
H annonia
lvlarnx:osmica
Atlas by
Cellmills
(1660).
1824
Re<lefinition o f
1790 weights and measureS
George \Va~hington's fi r;t ill the UK, taking into
mes>;agc to Congress a~"COUnt for the fi r;t
1670 St~teS the nee<1 for time the mndirions in
GHlxiel Mouton 'uni formity in ~"Ufren<.y, which 'Iuantiti"" are to
proposes a metric weigh.,; and measur",,'; be weighed and 1878
,,}Stem o f weigh.,; lAngr""s retains the measured in The yml is
and meaSur"" English weigh.,; and e\rnblishing the redcfin("(1 in
in France measures system standards the UK
67
TIn SHAPE O f T HI NG S
and even then it was beset with dift-lcultics. temperarure at which iL~ density is b'n:atcst).
\Var in france and Spain SO hi.ndered the A platinum cylinder, the Kilogram of the
project that it took six years to complete the Archives, became the standard for the
journey. But in 1799 the metric ~ystem was kilogram (1,000 grams).
formalized with twO new uniLS of measure, The kilogram standard is now made of
intended to be universal and enduring. platinum-iridium alloy kept in ScYres,
The metrc was defined a~ 'one ten- nCar Paris; the kilogram i~ the only basc unit
millionth part of a meridional quadrant of still defined by a physical object. AttemptS
the Earth'; the gram was the mass of a cubic to find a better wayof defini ng the kilogram
centimetre of pure water at 4°C (the are ongoing.
SillY NUMBERS?
Calculating with the 1,760 yards in a mile, travelled by light in a vacuum in
the 16 ounces in a pound or the 160 1/299,792,458 of a second. And a second
square rods that make an acre has is the duration of 9,192,631,770 cycles of
been the bane of many a schoolchild's life. the radiation associated with a specific
The metric system looks simpler, based on change in energy level of an atom of the
multiples of ten and with clear isotope caesium·133.
relationships between measu res of
different quantities. But the 51 units have III 1793 a mml' was defilled (IS 11/0,000,000
some even more bizarre defining of the distallce fiwlI tbe Pole to the 0jllarOJ~
numbers. A metre is now the distance IIcr.lJ its defilled by rhe speed ofligbr.
68
EARLY G EOMETRY
STONEHENGE
Stonehenge is a vast arrangement of demonstrate an understanding of arcs of a
concentric circles of stone and holes that circle ~ when all were in place, the lintel
were perhaps intended to hold posts or stones would have formed a true circle, not
other stones near Salisbury in Will.5hire, il series of straight stones. The only tools
England. The remains of the monument, available to the builders were picks made of
built in three phases over a period of around deer antlers and stone hammers, yet they
1,000 years between 3000 and 2oo0BC, were able to Gllculate and measure portions
consist of huge standing stones, some of a circle and distances. The northeast axis
surmounted by stone lintels. The aligns with the position of the rising sun at
arrangement shows an ability to work with the summer solstice, suggesting that some
circles in space, and the curved lintel stones form of Gllenda r had been developed.
Stonehenge if flfllrly
/JS old as fbe PJrtnllids
{ou a mil/III!/" l"role.
If, roo, <J'lts bllilf
;rlrb a sopbisricnted
lillriersrrllldillg of
gwml'fry alld Ibe
·/I/OVnllnll of rbe filii .
69
TH( SHAPE O f THINGS
Some of these date from 25,OOOnc. Early Tbe flllI/llfI/ flooding of the Nile, which <'rami
structures built or aligned with considera ble bOlllldfllJ nTflrJ:s, ilXIS olle of tbe pmmplY to tb(
precision are further testimony to our droelopmmt ofnTathemfltics in Anciellt l:.gypr.
ancestors' b'Tasp of some simple form of
geometry. of two-dimensional shapes and three-
dimensional objects, calculating distances,
PROBLEMS WITH LAND areas and volumes. Documents from around
Practical problems of geometry must 3100BC reveal that the Egyptians and
have been tackled in building projects Babylonians already had some mathematical
long before tht..}' were rules for mt..'asuring storage containers,
recorded III written surveying land and planning buildings. The
form. The Sumerians, Great Pyramid at Giza \vas constructed
the Babylonians and around 1650BC, demonstrating that the
the Egyptians became Eb'Ylltians already had a good grasp of
quite adept at working geometry.
with the geometry According to the Greek historian
H erodotus, the Eb'YPrians needed to be able
f/fI'odorus to calculate areas because the seasonal
(c.484-425BC) has floodin g of the Nile swept away property
bem dern"ibed as boundaries. They needed henchmarks and
'the Fflther of surveying techniques to restore them
Nisrory'. properly. Egyptian geometers were
sometimes referred to as 'rope-stretchers'
after their way of measuring and marking
Out distances and shapes using ropes. The
EARLY G EOMETRY
STRANGE GEOMETRIES
Enormous geometric patterns drawn in the
Nazca Desert, Peru resolve into glyphs when seen
from the air. They were treated by the Nazca
culture between 200Be and AD6OO. There are 70
individual figures, ranging in complexity from
simple lines and geometric shapes to stylized
animals, plants and trees. Their significance is
unknown, b ut their construction is evidence of
some considerable skill with geometry among a
people about whom we know little.
same technique no doubt served just as well arithmetic, albochra, b"Cometry as well as
to mark ground plans for building projects weights and measures. The problems arc all
as to reclaim land that had been flood ed . given a strictly practical presentation; for
exam pl e, one asks 'a round field has
WRITING IT DOWN diameter 9 khcr. \Vhat is its area?' The so-
The earliest known m:uhematical called Moscow papyrus from
document I S the Ahmes the same date includ es
papyrus (sometimes called instructions for working our
the Rhind papyrus) from th e volume of part of a
Eb'YPr. It was written by the pyramid.
scribe Ahmes around 1650BC, Because the Eb'Yptians
copying from an older text wrOte 011 papyrus, which is
written about 100 years fra gil e, littl e of their
pre,~ously which itself may mathematical writing su r.~ves.
have contained much older The people of l\tt csoporamia,
material. It is a papyrus scroll
33cm tall by over 5 metri..'S Tbis Bary/ollillli cia)' tablet
long ( 1 foot by 18 feet). It jeawl'illg a problem ill geolllrny
presents 84 mathematical is alVl/lld 4,000 )'MI"f old.
problems, covering topi'-'S in
71
THE SH APt O f T HI NCi
72
EARLY G EOM U RY
73
THE SH APE O f THINGS
TH E NIN E CHAPTERS
The earliest Chinese mathematical text, The Nine Chapters on the Mathematical Art, was first
produced in the 15t century Be. Many commentaries were written over the ensuing
centuries, the best of which was by liu Hui in AD263. The text demonstrates Pythagoras'
theorem (derived independently) and shows how to calculate such dislilnces as the height of
a tower seen from a hill, the breadth of an estuary, the height of a pagoda and the depth of
a ravine. It also deals with finding are<ls and volumes of figures such as trapezoids, circles,
segments of circles, cylinders, pyramids and spheres.
EARLY G EO MU RY
THE GOLDEN ACE OF the great math ematicians of the day. Eve n
CLASSICAL GREECE so, we can deduce enough to see that
Athens in the 5th century IlC, between the math emati cs waS pursued fo r its own sake,
Persian and Pdoponn esian wars, saw one of for a delight in knowledge and bt..'c ausc th e
th e gre:lt~ t flow erings of
intell ectual life in the hi story
of the world. Sad ly, no 'All things which can be known have number; for it is not
mathemati cal tex t~ survi ve pmsible that without number anything can be either
from the perio d and WI: have conceived or known .'
only a few scrappy accounts Philolaus, 4th century Be
ofth e problems addressed by
75
TH £ SHAP E O f THINGS
76
( A RLY G EOMHRY
77
m£ SHAP E O f THINGS
to come level
78
EARLY G EOMETRY
79
TIn SH APE O f THIN GS
80
EARLY G EOMETRY
B1
THt SHAPE O f THIN GS
The end of the Roman Empire in the activity in Europe for a long time. lnstead,
\Vcst, when G ermanic tribes under the we muSt look to Lldia and then the Midd le
leadership of Odoa cer overran mueh of East for (k-vclopmellts in geometry as 111
modern Imly, saw the end of math ematical other areas of mathematical endeavour.
82
T RIGONOMHRV
BELOW. Arty polygon mil be dividrd illto tritlllgkr, ABOVE: Hi nill rbuw gnu/ient tIS {I Ttlrio of the
wbicb 1I1f1kes rb~ atfmlnrioll of tlH'tI wry if)'01l verrirnl me {llid b0/7~0Ilrrt! distnl/ce, rbollgb we've
liN rnppl/01I/n7J. revened rbe ordo' gll[f tbe AI/{'i~nr ElOprillllf.
83
TH E SH APE O f T HIN GS
250 CUBITS
,
,,,
• ,
,,,
180 CU8 1TS ,,
,,,
250 CUBITS
,,
~- - - - . ---
convention of 360° in a circle and 60' in a The EgyprimlY colat/tired rbe 5cket! 01" rlope of
degree ori!,rinates with Hellenic maths - it tI pymmid by ill1agillillg a righr-allgled fliallgh
seems to have been in use by the time of iI/ride the rtl"IICfIll?
Hipparchus of Bjthynia (c.190-110BC). It
probably derives from the Babyl onian made it more usefu l than either the
aStronomical division of the wdiac into E!,ryptian or Greek ~ystems, and Ptol emy
twelve signs or 36 decans, and the annual (C.AD90- 168) followed their base-60 system
seasonal lyde of approximately 360 days. in di\'iding de!,"Tees into 60 minutes (partes
Th e superior system used by the lIIil/little primtle) and each minute into 60
Babylonian s for representing fractions seconds (Ptl11es mil/little sec/mdtle).
TRIGONOMETRIC FUNCTIONS
There are six trigonometric func tions that sin A ,, side o~~osite
hypotenuse
enable us to calculate the size of an angle
given two sides of a right-angled triangle, cos A
b
, side adjacent
hypotenuse
or the length of a side given one side and , side o~~osite
an angle. , tan A
Ii side adjacent
8S
THE SHAPE Of THINGS
86
T RIGONOMHRV
The Hindu mathem:lticians were the sun~ving version may date from around
first to work with sines as we now define AD400 - hut it claims to have been passed
them. Early in the fourth century, or down directly by the sun god m
perhaps late in the fifth, the unknown 2,163, J OJ Be! The Al)'tlbJmtiytl by Aryabbam I
author of the Indian astronomical treatise (c.475- 550), which summarizes H indu
Suryn SiddJJtrllttl, calculated the sine mathematics as they stood in the first half of
function for intervals of 3.75° from 3.75° to the 6th century, includes a table of sines.
90°. The date of the text is nOt known - the Brahmagupt:l also published a table of sines
for any angle in 618.
The first table of
MEASURING THE EARTH tanbTt!nL~ aJld cotangents was
Eratosthenes (276--194sc) noticed that, while the sun is conso'ucred around 860 by
overhead at noon at the summer solstice in Syene (now the Persian astronomer
Aswan), in Alexandria, 500 miles (800 km) northwest, it is Ahmad ihn 'Abdallah
at an angle of 7" at the same date and time. He assumed Hahash al-Hasib al-
the sun's rays to be nearly parallel when they hit the Earth, i\tlarwazi. The Syrian
since the sun is so far away. Working with trigonometry astronomer, Ahu 'abd Allah
and the known distance between the two cities, he Muhammad Ibn Jabir Ibn
calculated the circumference of the Earth. The accuracy of Sinan al-Batt:llli al-Harrani
his calculation can't be assessed exactly because the length as-Sabi' (c.85H- 919), gav!! a
of his unit of measure, the stadia, is not certain. rule for finding the elevation
of the sun ahove the horizon
87
THt SHAP E O f THINGS
B8
T RIGONOMHRY
AI- n ISi} pllpil Qmb ai-Dill al-Shira':J 11'1IS the /n,r surface, with circles mapped either to circles
penoll to come lip with II sdmrifir nplalllltioJl of or straight lines. This had first heen used by
tbe rIIlllb(T<1J. Apollonius and Ptolemy.
From the 9th century, the Arabs
established trigonometry as a separate perfected the astrolabe, an astronomical
discipline in his observatory in A-laragheh in instrument originally designed in Ancient
the 13th century. One early development Greece. It consists of a series of concentric
was the mathematical explanation of the metal rings etched with the positions of th e
rainbow by al-Tusi's pupil Qutb aI-Din al- sun, moon , Stars and planets. Simpl y
Shirazi (1236-1311). Ulugh Beg, the moving the rings replaced ream s of tedious
grandson of th e great Mongol conqueror calculation. The astrolabe could be used for
Timur (famhcrlaine the Great), established astronomy, timekeeping, surveying,
an observatOry at Samarkand in the early n:l\~gation and triangulation.
15th century ami created tables of sines and The combined Greek and Arab
tanbTCnts for every minute of arc, accurate to knowledb'C of triangles came to Europe with
five scxagesimal places. It was one of th e
greatest achievements in mathematics up to
this time.
FINDIN G DIRECTIONS
One spur to Arab advances in gcomerry and
surveying was the need to determin e the
direction of Mecca (q ib/a) from any place, so
that the devout Muslim could face the holy
city for prayer as demanded by the Qu'ran.
\Vith this need in mind, Arab geometers T be 1l'qllire111mr for Mllslims to pray to NlecclI
adopted the sten.'Oscopic projection, which several rimer II dlly 71'IIS II spm· to imprlJl!nnmrs
produces a planar image of a spherical illfilidillgdirertiollS.
89
TIn SHAP E O f T HI NGS
90
TR IGONOM ET RY
~',----------------,c-----------------,
//
]So ,
,,/
/' 1100 m ~ ( 160 mit )' ~~ ~:.t
~, ~ m"m".~
'"
'" / ~.
Tlx IlIqllisirian jim:t'd Cali/eo
ro I"fCIJm his bdi~fthtlf fJx
Eill1h 1ll00l'd INTJlllld fIx SIIII.
"
"
L-:"-:
CHAPTER 4
In the
ROUND
o
THE MAGIC RATIO - 1t
From the earliest times, the circle has heen
endowed with reli gious and mystical
sib'llificance. It is the perfect shape, having
no sides (or infinit e sides), the endless line,
found everywhere in nature. People have The Ahmes papyrus shows that
known for thousands of years that the ratio Egyptians used a value of !)I'hl or about
between the diameter and circumference of 3.16049.
a circle is always the. same. and have given The Chinese text Thr Nine Chaptm
thi s number sl)ecial significance. \Ve gives instmctions for finding the area of
represent the ratio by the G reek letter 11 a circle by squaring the diameter, di\~ding
(pi), notation popularized by the Swiss by 4 and multiplying by 3, SO using a value
mathematician Leonhard Euler (1707-83) of 3 for Jr.
in 1737, bur first used by William Joncs in Archimedes dcvelopt'd more
1706. Pi is an irrational number; it has an sophisticated method that involved drawing
infinite number of decimal places (sec table polygons both within and Hound a circle,
on page opposite). giving upper and lower limits for a value of
CURVES, CIR CUS AND CONICS
IT.By adding more sides to the poIYb'tlll, he (1642- 171 i) USed the binomial theorem to
could obtain increasingly precise limiting calculate j[ to 16 places.
values . He settled on 96 sides, which gives a Today, j[ has heen calculated by
value for IT hetwecn mil! and 1.217, or an computer to more than 10" places and on
average value. of about 3.1418. lt was personal computers there are ptt;,nry of
Archimedes, too, who discovered that the programs for calculating It to a billion or
same ratio can he used to calculatc the afca more places. This degrec of accuracy is
of a circle when multiplied by the square of completely unnecessary for most practical
the radius (lTr). purposes. If the Earth's circumference is
calculated from irs radius using a value of](
0 0 0
accura te to only 10 decimal places the result
is accurate to arOUlld a fifth of a mi.llimetre.
(It is from this that we dedun! th e Egyptian squ:lring the circle is, in fuct, impossible -
v:llue for rr of 3.16049.) it is quite impossible to work with :l
We h:lve already seen that the Greeks tr.mscendental number using straigh t edge
tried and failed to solve the problem and comp3SS.
geometrically. La ter mathem3ticians also
tried and 311 f3iled. Squaring the circle with C O NI C SECTI O NS
compass and ~traight edge bl'{:ame ~uch a A circle is not the on ly curve. \-VhiIe the
preoccupation of both professional 3nd circle 3nd circubr 3rcs wen' the first curves
311Ulteur m:lthenmticians in 18th-century to be studied 3nd uscd, there 3re three other
Europe th3t in L775 the AC3dcmie des n:!guI3r curves which C3me early to the
SciencC$ in P3ris p3ssed a resolution s3ying attention of geometers. These 3re the
that it would nOt look at any more proposed par3bola, hyperbob and ellipse. Each can he
solutions. Soon aftenvards, the ROY31 formed by cutting throubrh a cone. These
Society in London did the same as they are called conic sections.
were inwldated with faulty solutions . Some The first influenti3l work on conic
mathematici3ns even tried to fudge the iS~l.Ie sections was hy Apollonius of Perg3
by assigning a different value to rr. (c.262-190BC), an Alexandrine-Greek
"Vhen Carl Louis Ferdin3nd \'on geometer and astronomer known as 'the
Lindemann (IS52- 1939) proved in 1880 th3t Gre3t Geometer'. Although Apollonius
n is 3 tr3nscendental number (i.e., nOt the wrote other works, only his treatise on
foot of any :llg't!braic equation with rational conics has survived. The first" sections dr3w
coefficients), thi.~ demonstrated finally that on previnm writings, but the later parts are
8101'1' .--J.pcIlOlliIlS,
diJjmllf-sb(lpffl COllI'S
WI'1"f' Ilsi"d to dn;''t! <'fIcb
CIRCLE
rype ofwrvl'. ApoDol/illr
ELLIPSE
rbowed 1111 rollld bi"
dun't'd fi"(JIll tbi"
rlllllr conI' by
- - - PARABOLA
ITtljlLftillg rbi"
(Illgil' oftbi" pllllli"
rlirillg tb1VlIgb
tbt: roll~.
HYPERBOLA
96
CURVES, CIR CUSANO CONICS
BECOMING USEFUL
Apollonius was proud that his theoretical study of the tangents of an ellipse
work was of value for its own sake - 'They (though he did not know the term) is
are worthy of acceptance for the sake of the fundamental to understanding the
demonstrations themselves' - and much of movement of the planets and stars as well
his work had little practical application in as in planning space travel.
his day, but has since found uses in many
areas of science. His work on the hyperbola 1\101"C rball "'-.;JO rbol/.flllld )'MI"S afrer Apolumills
produces a result equivalent to Boyle's law liued, fpau tmud bas brrome n pmcriml
that defines the action of gases and his flpplimrioll of bis work 011 CIlrvt'S.
completely original. Apollonius' work lines that can be drawn from a given point
completely replaced all work on conics that or pointS on the curve. rn this, he lays all the
had come before as surely as Euclid's work groundwork for the definition of curves by
had replaced all pre\;ous Greek breometries. quadratic equations in the Cartesian
Apollonius describes the derivation and coordinate system. Indeed, 1,800 years
definition of the curves he names and later, Rene Descartes tested his analytic
considen; the shortest and longcst straight geometry against a genera lization of
97
I N T H ( ROUNO
Apollonius' theorem relating ro a moving The fablllolis illterior of the Hagill Sophifl ill
point and its relation ro fixed lines. [mmblll, forme/iy COllrrlllltillOple: tbe flltllr is lit
Both the Arab and Renaissance by fill/light at 1111 hom, of tbe dilY.
mathematicians were heavily indebted ro
Apollonius. Though several Arab BEGINNING WITH OPTICS
mathematicians srudied conics, finding ways I n one of Apollonius' lost works he
to calculate the art;:as and volumes of figures apparently discussed parabolic mirrors and
derived from conic sections, it was left for demonstrated that light reflected off the
Omar Khayyam to take their study in a new inside of a sphere is not reflected ro the
direction. In using conics in his general centre of the sphere. Optics was ro become
proof of c..'Uhic equations, he anticipated a major area for the application and
Descartes ro some degree, bringing development of work on (.'Urves. lr could
geometry ro hear on algehra (though he have most starding practical applications,
expre~~ed a hope that his successors would too. In {.lOOBe, Diodes demonstrated
he ahle ro find algebraic solutions ro finding geometrically that rays of light that are
roots). The rediscovery of Apollonius' work parallel ro the axis of a paraboloid of
in the European Renaissance provided the revolution (a solid produced by rotating a
groundwork for many of the advances parabola) meet at the focus of the
in optics, astronomy, cartography and other paraboloid. Archimedes is reported ro have
practical sciences. used this ro set light ro enemy ships from
98
CURV(~, CIR CU S AND CONICS
the shore. The focal properties of the ellipse is exploited to fOclis ultrasound waves on
were used by the architl'Cts of the Hagia organs or stones within the body.
Sophia Cathedral in Constantinople (537) Galileo's work on projectiles and Keplcr\
to make sure that the altar was illuminated on planetary motion were among the t'a rli (.'St
by sun li ght at any hour of the day. Several applications of conics to suhjecrs other than
Aral) scientist.~ inwstign ted tht: properties of optics. Kepler found that the Earth moves
mirrors mad(' from conic SL'CriOns. Ibn al- around the sun in an dliprical orbit, with tht
Haytham found the point on a convex sun at one focus of the ellipse.
spherical mirror at which an observer would Later work on conics and curves used
be ablc to see an object at a gi\'en position infinitesimal analysis to try to detcmline the
and showed how to design the cu rves area under curves or their length, but it was
needed for sundials. the invention of analytic geomet ry by
The same properties can be applied to Descartes and Fermat in the 17th ct::nlliry
sound - the galleri es in borh the US Capirol that paved the way for the modern
and in St Paul's Cathedral in London are definition of conics. In stead of dt::riving
eonstrueted so that a whisper uttered at one conic secti ons by cutting through a cone,
focus of the ellipsoid gallery can be heard at the mathematicians of th e t 7th century and
the other focus, but nowh~re clse. Even later defined them with algebraic equations.
more recently, satellite dishes and solar as the patb traced out 0 11 a plane by pointS
coll cction dishes have used the reflective moving according to a second -degree
propertie.~ of;J parabolic surface to focus the equation in twO variabl es. At this point in
rays that strike them on to a central receiver our Story; coniL"i dis3ppcar from geometry
or coll ector. In surgery the same geometry an d re-emerge in algebra.
99
I N T H E ROUNO
100
SO UD GEOMETRY
The German astronomer Johannes Pilltollic solidr: rbese lUI"C rbe rusie ele1l!mrr rbat
Kepler (1571-1630) tricd to associate the Pinto believed mllde liP rbe pbysim/7.J.1()I-id. fir ji/l"rber
Platonic solids with the known planets and believed Cfmb WtlS millie of l7Ibic parricles,jire of
formed a model of the solar ~"'Ystem in which pyra mitis, ail, ofoctllbedlVlls lind water ofirofilbedlVlls.
the solids were nested within one another.
Although he had to give up the modd, Although Plato is credited with first
he did, in thl! process of working on it, describing the Platonic solids, they are all
discover twO regular stella ted polyhedra represented on carved stone balls 4,000
in 1619. These are formed by extending years old found in Scotland. At least one of
the edges, or faces, of polyhedra until Kepler's polyhedra was known before he
they meet, forming new shapes. Louis wrOte about it, too. A stellated polygon is
Poinsot discovered a further two in 1809. In depicted on the marble floor of the Basilica
1812, Augustin Cauchy proved that there of San l\;larco in Venice, Italy, which dates
were no more regular star polyhedra. from the 15th century.
Stdlilud rrgll",r IIIld irreglilm' polybedra ml' {"/"f:ated by eumding rbe flUes of a polybrdroll IIl1tiltbry
illli'l"Sl'ct. Some polybedm prodll{/' 1111111y srellariol/f. otbers very fr.v. Tbere lin '/10 srd"uiolls for 1/ mix.
101
I N T H ( ROUND
MEASURING VOLUME
Just as a two-dimensional
polygon can be reduced to a
series of triangles, so a three-
dimensional polyhedron can
often be reduced to rebrular
solids for the purposes of
calculating volume. Methods
for calculating the volume of a
cube, square or triangular
pyramid, cylinder and cone
were known to the Ancient
Egyptians. But the volume of
sha pes that call1lOt he reduced
to any of these is harder to
calculate. Archimedes IS
credited with realizing that
the volume of an irregular
shape can be found by
measuring the volume of
water it displaces, a discovery
that reportedly led him to
leap naked from his hath and
run down the street shouting,
'Eureka!'
102
SO U O GEOMtTRY
211 Chollgzhi 'iJ'as tbe [lI"st to 1I1famre tbe vo/mne of a sphen, bur aim r?"eated a /lew {II/nldar syrre1l1, af
[(]Il11!lf1lHffated ill tbis statile ill Shallgbai.
103
IN THE ROUNO
10<
SU ING T H( WOR LD
105
I N THE ROUN O
106
SEE I NG TH( WO RlO
proj(."Ct was carried out by \Villehrord van exploring the African coast. \Vhilc
Roijen Snell (1581 - 1616), who survL'Yed a surveying dea ls in straight lines, the
stretch of 130 kill (80 mi les) in Holland with cartographers who were aiming to record
33 triangles. The French government the laq,rc e.\':]lanses of newly discovered lands
decided to survey the whole of France, needed a way of representing in twO
which rook more than a hundred years to dimensions terrains which arc actually
complete. The British surveyed all of India draped over the surface of a sphere. The
hetween 1800 and 1911, discovering Mount method PtOlemy had used in his Geogmpby
Everest in the process. (rediscovered in Renaissance Europe) did
From the mid-15th century onwards, not work for the enlarged world. I nstead,
explorers werc discovering and charting cartographers adopted t he stereographic
new lands, bcginning with the Portuguese projection that astronomers used to portray
107
IN THE ROUNO
the sky. But, of course, that depicts the A map oflb~ wm1d {lSillg tb~ Mt"I'Cfltm' prtjectioll,
interior of a hemispherc and the rbuwillg bull' il if dn'iwdfi'om tb~ plVj~Clioll of Ib~
cartographers needed to represent the globe 011 W a cylilldn:
exterior of a sphere. (A stereographic
projt!{~tion projects a sphere on to a flat unrolled, th!;! flat map is revealed. Although
plan!;! - a circle - from a projection point the projection was useful for navigation, it
which is then not visibl!;! on the map. Areas distorts areas particularly nl;!ar the poles. A
nL':Jr to the projection point ar!;! distOrted). .MercatOr projt-,crion of the Earth shows
The mOst successful variant developed Greenland as approxima rely thl' sam!;! size as
was the Mercator projection, made first by Africa, for !;!xample, whereas in fact the ar!;!a
the Flemish map maker G!;!rardus MercatOr of Africa is around 14 times that of
(1512- 94). H e drL''W the Earth as though Greenland.
projccred on to a cylind!;!r tangential with
th !;! equator. Parallels and meridims arc AND BACK TO MATH5...
drawn as straight lines spaced to produc!;! an The int!;!nSt! discussion of perspL'Ctivc and
accurat!;! ratio of latitude to longitude at any projections fed back intO mathematics,
point on the map . \¥hen the cylinder is stimulating discussion of the properties of
PROJECTIVE GEOMETRY
Projective geometry formalizes the principle central to linear perspective in art of showing
parallel lines meeting at a point which represents infinity. It is a non-Euclidean geometry in
that it rejects the fifth axiom (the parallel postulate). Desargues extended the convenient trick
of perspective drawing, taking it off the artist's page and formulating a non-Euclidean space
in which parallel lines actually do meet at infinity. He used this projection to study geometric
figures, including conics.
108
SEEING T H( WOR LO
perspective in general. The most significant and ,wOte a highly theoretical text explaining
Outcome was in the work of Girard the geometry of constructing perspectives in
Desarb'lles (1591-1661) which eventually 1636. The ellb'Taver Abraham Bosse restated
led to the development of a more rigorous Desargues' work in 1648 in a more accessible
projL'Ctive gcomerry in the 19th century. form, presenting what is now known as
Desargues was a Frcnch mathematician, Dcsargues' theorem. This St:ltes that if twO
architt..,o and artist, a friend of both Rene triangles are siruated in three-dimensional
Descartes and Pierre de Fermat (1601-65), space so that they can be seen in perspective
the leading mathematicians of his day. He from one poinr, then corresponding sides of
developed a geometric method for the triangles can be extended so that they
consrructing perspective imabTCs of objects intersect, with the points of inrerSL'Ction all
lying on a line. This works as long as no two
Gn"IJrdlls corresponding sides are parallel. A
lvll'1'mror holdi IIg modification of the thL"()rem rakes account of
hir !!,Iobe. this. Dcsargues' work was popular for around
50 years, and was read by Pascal (sec pabTC 43)
and Leibniz, but was then larbTCly ignored
until it was rediscovered and published again
in 1864. Both Desargues and Pascal srudied
the properties of figures that were preserved
and those that were distOrted by different
methods of projecrion. For example, a flat
map of a spherical world cannOt accurately
represent hoth distance and shapes.
"
' ....-
Fmm rhe viewy,!!, pDim, V, rhe tl"Itlllgles lilY III
P<""Sf!ective. If rorrerp(Jlldil'!!, ed!!,t!S of rhe rrillng/es alT
n.1mdrd tllltil rhey 1II«t (Be IIIld B'C, ete), rhe poillts
oiillten«tioll, PI, 1'2 alld 1'3, lie ill a m llighr line.
109
I N THE ROUND
110
OT HER WO Rl DS
paper set at the Queens College, Belfast in 1873. sl'ff'l1mt if fl sbajlf' bolmdfd
'ry Dilly rwo rtrfligbr IillfS.
111
IN T H£ ROUND
112
OT HER WOR LDS
DAWNING ACCEPTANCE
Hyperbolic geometry re-emerged with the
Jdllor Bo/yair ronlpasser ill tb~ Bloyai MUre/I'IIl, independent work of the H ungarian J anos
Marorvdrdrbely. Romallin (wbrn bf died). Bolyai (1802-60) and the Russian Nikolai
lvanovieh LobaehL'Vski (1792- 1856) around
opposite, demonstrating the possibility of 1830. Bolyai published in German and
alternative geometries and deriving some of Lohachevski in Russian; it was nOt until
the principles of hyperbolic geometry. His Lohaehevski published in German, too, that
work apparently drew on writinb'S of the his work came to wider attention. The great
Iranian mathematician Omar Khayyam German mathematician Carl Friedrich
(1048- 1131), though he may have Gauss claimed to Bolyai that he had already
developed his arguments independently. discovered most of what Bolyai rt..'Vealed
Saecheri took as his starting point a
parallelogram proposed by Omar Khayyam. A rtllrtlf ofJdllor Bolylli fllld
The parJllelob'Tam is formed from a pair of bir fa/bel; Fm·kllr, afro II ilI~lI
parallel lines, with sides drawn between klllr<1J111!!fllbmlflliriflll,1:.'/;o
them, perpendicular to the nvo lines. (Ill illlTrllcud bir rOil [r(Jm all
normal planar gL>Qmetry this looks like a ertrly agr.
reb'1llar rectangle.) l ie then considered three
possibilities: that the internal angles are 90°,
less than 90° (acute) or more than 90°
(ohtuse). Although it looks pretty obvious
that they are 90°, his aim was to prove that
they could nOt be anything else, and SO
support the fifth posrnlate. It turned out that
these alternate hypotheses were not as
absurd as Saecheri had hoped. His reasoning
for refusing the other nvo possibilities
was nOt sufficiently rigorous and,
though he rejected them, he did
nOt disprove them. It emerged
over time that the case of the
acute angle gives a system
UlllJl:.1 113
ttl!t till'
I N THE ROUND
, 1<
OT HER WO RlDS
surfacf$ as 'spaces', since although thL)' c.xist Euclidean gL'Ollletry is consistent. Beltrami
in three dimensions they actually have only developed spatial models which are now
twO dimensions and on ly two \'ilriables are ca ll ed the pseudospherc, Poincare disc,
needed to specifY a point on them. H e Klein model and the Poincare half-plane.
showed that a surface could be described On the Poincare disc, distances at the
entirely with reference to distances and edges are larger than distances near the
angles measured on it, and without giving centre, though this is nOt apparent as the
information about its placcment in three- disc curves away from the viewer. In
dimensional space. Escher's picture, 'Circle Limit Ill ', the
figures arc the same size allover the sur&ce.
RIEMANN AND IRREGULAR CURVES The way that the Mercator map projL'Ction
Although Bol yai and Lobachevski had distorts the size of cowltries near the poles
demonstrated that a set of alternative is similar - Greenland looks larger than it is,
methods for working with hyperbolic for example - but on a Poincare disc the
sur&ces was feasible, there was no model distortion is the other way, with distances
equivalent to Euclid's planes, lin es and seeming smaller than they an:. The shortest
points for dealing with the geometry of distance between twO points 011 the ed!,'l: of
curved sur&ces. Such a model was provided a Poincare disc is an arc of a circle drawn at
by the Italian EUb"t:nio Beltrami (1835-99) right-angles from the boundary of the disc.
in 1868. lmponantly, he demonstrated that
hyperbolic geometry was consistent if
Similarly,
the centre of a hyperbolic circle is not in its
middle:
INSIDE OUT?
Curved surfaces form the basis of the
branch of mathematics called topology. lr
became one of the most important areas of
development in m:uhematics in the middle
of the 10th century (1925- 1975). Although,
as Gauss and Riemann showed, they c.xist in A Miibills ship. Thr Vis/litl deception m:"tUm by SlId)
II-dimensional space they have only two sbapa - is it F.J:O- or rhru-diJ/lC/lsiollal? - fan/IY rbe
dimensiolls of thejr own. Surfaces can even bartY of rbe l);1»-k of "rtisr M.e. £reb" (IS98- 19 72) .
116
OT HER WOR LDS
117
IN TH£ ROU ND
flATLAND
The novelill Flatland: A Romance of Many to convince the sphere that more
Dimensions w ritten and illustrated by Edwin dimensions might exist, but he won't be
Abbott Abbott in 1884 slltirized the social persuaded. It becomes a criminal offence
hierarchy of Victorian Britain in a to suggest in Flatland that a three-
mathematical tale. The narrlltor, a square, dimensional world is possibl e.
occupies a two-dimensional world, In another dream, the square i~
-..;~ ~'i1'~
is visited by 1I sphere, Tirll'-pagf i11l1rtmtioll
but can't conceive of a __ I\ROM~ci~ .....:. froll! Flatland, sbOllrilig
_.t- 0 ' M~NV DuiilN~IOfoI"y .",,";';..
three- di men,>i ona I -, 1111 llll' plllt:,·s rbe fq llill"f
worl d until he visits it. ---
....9_ - --
_~_
visits ill bis dl"ffllll.
The squMe then tries
11 8
OT HE R WOR LDS
119
CHAPTERS
The
MAGIC
FORMULA
Ar rbis al/If/e, rbe Tawn' if Babel defier rbe Tides ofGod alld KerJlIletry,
TH( MAG IC fOR M ULA
1t is easy to see how a problem in area can IIlnlled aftl'l' Carl Friedrich Gauss bad bel'll tlsed
lead to a quadratic equation. ;11 rhl' East 2.000 JtYlrs ulrlin:
122
ALGEBRA I N TH( ANCI£NT WOR lO
solved practical problems that would now yielded more than one solution he sropped
be exprcssed as linear or quadratic after arriving at the first - (..'Ven if there were
equations, but again without rcC()urse to an infinite llumber of solutions (as for an
any formal notation and without equation of the type x - y '" 3).
recognizing them as equations. H e developed a method for representing
The Chinese text The Nille OJllpfers (2nd equations which was less cumbersome than
to bt cenmry Be) includes a chapter on writing them um in wurds, bur was ~rill nOt
soh~ng simulcmeous linear equations for two comparable with modern methods. A~ the
to seven unknowns. They wen' solved using a Greck~ used thi:' letters of their alphab~t for
counting board or :;l.Irnce and could include numbers, thert: were no recognizable
neg'ative coefficients. The description of ,"ymbuL~ immediately ava.ilahle to represent
c'luations with negative coefficients is the varia bles. \Ve ean usc x, y, a, b, m, n and so
earli e.~t known use of negative numbers. The 011. to stand for variables and mmtants
method used is now known in the \Ve~t as because we have separate symbo ls for
Gmssiall elimination after Carl Friedrich numbers, and SO an e:"llression such as 2x is
G:I\.l~S who used it 2,000 years later. unamhiguous. Diophanrus adopted some
variants on Greek letters, and used symhols
FROM GEOMf.TRYTOWARDS ALGEBRA to indicate squaring and cubing . His ~YS[CIl]
1"n the middle of thc 3rd century AD, the of ablm..,'Viations was:m intermediary st:lge
Hellenistic mathematician Diophanrus of between the purely discursive explanation
Alexandria developed new methods for uf pro hi ems and the purely symholic in usc
so h~n g proLk'IJl.~ that would now be sho ....'T\ now. It also g"Jve him the opportunity, not
as linear and 'luadtatic equations. H.is work, .~een ur exploited before, of dealing in
ArifbllletiCtl (of which only part has higher power.~ than mbl'.s. Some of his
survived), cOIlt'Jins a number of algebraic problems include a notation that means
cquations and methods for solving them. 'square-square' or 'cube-cube', indicating
Diophantus applied his methods ro the powers of 4 and 9 respl.'Ctively.
problems in hand, but did not e.xtend them 1n addition, Diophanrus had no concept
to general solutions. Like the earlier of an equality - of twO balanced expressions
Greeks, hc dismissed any solutions that between which parts could be moved or on
were less than zero, ami whcn an equation which idcntic-al operations could be carried
(JUt. Nor did Di ophantu s
,2<
A LGEBRA I N THE AN CI £ N T WO RlO
Trnllslnt;oll of F tTm nt 's Las t Tbeol"e'm : It is illlpom'ble for (/ ruile to be the SIIW of mlo wiles, n follrrh
power to br tbe srn" of r.1'O fOlln/; PIY'':I(TY, or;/1 g meral for n/~Y III11flbt r Ibn! is n ptr':II:I· gf"Cnul" dlflll tbe
seco"d ro be tbe SIWI of r.:·o like PO".l'I'1Y. I bttVt dirtov/' I"(tI n n·lliy ultl/7.'fllo/ls demO/lSm/rioll oftbis propositioll
Ihar tbis 'lIl1lrgill is too 1!mTIF.IJ to fOllfnill.
125
11'"'." " ~OR M UlA
Al-MAMUN'S DREAM
The caliph al-Mamun (786- 833) is klid to have
had a dream in which Aristotle appeared to
him. As a consequence, the caliph ordered
translations to be made of all the Greek texts
that could be found. The Arabs had an uneasy
peace with the Byzantine empire and
negotiated the acquisition of texts through a
series of treaties. Under al-Mamun's caliphate
and at his House of Wisdom, complete versions
of Euclid's Elemenfs and Ptolemy's Almagest
were translated, among others.
126
"T HE BIRT11 O F A LGEB RA
GHIYAS AD-DIN ABU Al-FATH OMAR IBN IBRAHIM KHAYYAM NISHABURI (1048- 11 3 1)
Omar Khayyam was a mathematician, empi re. His Treatise on Demonstration of
astronomer and poet born in Iran, probably Problems of Algebra (1070) set out the basic
to a family of tEfit-makers. He lived most of his principles of algebra and was responsible for
life on a modest pension provided by a friend the transmission of the Arab work on algebra
who became grand vizier to the Seljukid to Europe. He worked on the tri angular
arrangement of numbers known as
Pascal's triangle and is sometimes
considered the originator of
algebraic geometry, which uses
geometry to find solutions to
algebraic equations.
127
II '"'"" " fOR M U L A
(a+ b)" == a"+na""b + n(n-l )a""'b' + n(n-l )(n_2)a1>lb' + n(n-l )(n.2)(n_3)a""'b 4 + + nab,," 1+ b"
I 1x2 lx2x3 1x2x3x4
cases and then applying a geometrical Tbe njlltltion s/J(T'':'S hlr.lJ 10 jill/I 1be cOI'ffidm1:i tllIIl
solution, was adopred by later Arah vfII7t1bks for tilly iXlMlld.." billominl c:tpn:ssioll of
math ematicians and perfected by Omar tbe /01"111 (a -+ b)".
Khayyam (5(,C below). Al-Khwarizmi's work
stands for algchra as Euclid's Elcmwts did had been studied in fndia by Pin gala
for gl.'Olllcrry, and remained the clearest and (5th-3rd century Be), though I'lll ly
best dCllll'ntary n"Camlcnt until modern fragments of his work survive in a bter
times. commentary. Another Arah mathematician,
Omar Khayyam followed a similar Abu Bakr ibn Ahhammad ibn OIl Husayn al-
procedure TO al-Khwarizmi, using Greek Karaji (c. 953-1029), had also worked on it
geometric work on conic sections to and is credi ted with being the first to derive
demonstrate his solutions to cubic (third- the binomial theorem (sec above):
order) equations. Omar Khayyam produecd The Indian mathematician Bhattotpala
general solutions for cubit: equations where (c. 1068) wrOte Out the triangle up to row 16.
the Indian mathematicians had worked only The triangle provides a quick '\"Jy of
with speci fi c L':lSCS. In 13th-century China, c.\:panding expressions .~uch as (x -+ y)\ since
Zhu Shijie developed .~o lutjon s for cubic all that i.~ needed is to take the coefficienL~
eq uations without reference to Omar from (in this ca.5e) lin e 3 (since it is a third-
Khayyam's work. order equation), giving the result:
'28
THt HI.TIl Of ALeUtR""
129
THE M AG IC ~ORMU t A
130
WRITI N G EQUATIONS
132
WIIITI NC EQUATIONS
IJ~"'''''''''''''''
. . ·e:", ....... ,,"""
tried to abort him, and his three siblings ,....J.'P/III ~ ••
_".f<~.w __
died of plague. After ~ome difficulties in . . ,., Q I"
being accepted, he trained as a doctor and ...... ~ ...... If."
~". I'N
was the first to describe ty phoid. He
became professor of medicine at Pavia in
1543 and at Bologna in 1562.
As well as being a physician, Cardano
was one of the foremost mathematicians of C(mllll/o'y honJSropr oIJfYlIY Cb,.llr rhm got him 11110
his day. His publication of solutions to cubic fO 1Il11ch NUl/bit'. A c01l1n ill rbt' ll.fCWdllllf Lib}"a ellll
and quartic equations in Ars mogno secured be mm (/f /111 inraprl'flltloll of the ftll}" of Ilnblehelll.
his place in history, but he also published 'whik the Uti}" GaSIor 11/ Grmilli pr.·ilim'd v/olmer
the first syst ematic work on probabili ty a 7:.·irhill Chrirts lifo.
hundred yeal"5 before Pa~cal and Fermat.
Cardano's private life was colourful, and poisoning his wife. In 1570, Cardano was
certainly fed into his interest in probability. He accused of heresy and imprisoned for several
was always short of money and months for calculating the horoscope of lesus
supplemented his income by gambling and Chri st. As a consequence he lost his
playing chess. His treatment of probability, professo rship at Bologna and the right to
which he applied to gaming, includes a publish books. He died on the day he had
Sfftion on how to cheat effectively. previously predicted, but he might have aided
life wasn't easy for Cardano. His the fulfilment of his prophecy by committing
favourite son was executed in 1560 for suicide .
equati ons and even high er? Suddenly, math ematit~Jl l'xplor:ltioll, they would come
algehraic prohJcm.~ no longer needed to into their own several centuries later. By
relate to real-wo rld problems in th e opening up the possihility of al!,Tt'bra and
dimensions we recognize. Furth er algebraic geometry c.xtending into more
dimensions, for the ~"ake of mathematics, than three dimensions, Cardano laid the
could he postulated, at lea st in theory. foundations for Riemann b'Comerries and
VVhile further dimensions were dearly the four-dimensional space-time continuum
absurd to Cardano's contemporarie~, of with which Einstein would remodel the
interest only in the arena of fantastic universe (sec pages 115- 9).
IB
THE MAGIC ~OftMULA
DEALING WITH NUMBERS AND Vifte sti ll did not recognize negative or zero
NOTATION terms, so he could nOt reduce the number of
D espite all their advances, the algebraists possible equations to :t single form in each
and rrigunometcrs of the 16th century still ordn. (\Ve have the foml ax1 + Lx + c '" 0 as
did not have a widely used nOtation for the standard foml which can descrihe any
deci mal fractions. \Vhen Rhetieus beg:lll his quadratic equation be('""3use, by allo\\~ng a, b
,3<>
ALG£BR A COMB INTO ITS OWN
r)r c to be negative or zero, it covers such tcl\vards a concern with the infinite. - both
possibi lities a$ x' - 7 '" 0, where b is 0 and c the infinitely large md the infinitely s m~ 1 1.
is negative.) Progress :lccelerated as a clutch of
It is impos.~iblc to c;Jvcrst:1tc the talented mathem~ticiallS applied themselves
importance of good, L"Qnsistcnt notation for ro developing algehr~ in irs new directions.
the prob'TC,5S o f algebra. Yet this was not French mathematician Albert Girard
View's only achievement. H e arrived at recognizcci that the number of roots an
formulae for multiple angles, was the first equation has depends QIl the Qrder Qf the
person to usc the law of tangents (although equation - SO a second-order equation has
he did nOt publish it) and the first to sce that twO rOOts, a third-order equation has three
trigonometry ~ould he used to solve cubic rOOtS, and so on. The hreakthrough came
equations that could nOt be reduced . Hc because he was sufficiently open-minded to
also produced the first thL'Orctical precisc allow negative and imaginary numhers in
numerical expression for IT: roots. Englishman Thomas Harriot
(1560-1611) introduced the symbols> and
', r I,. x
~. \
I I ". j
I
!"-rJ1 lo; !'~
I I g o
I I
""! ""!
I
! '"
< for greater than and less than . H e was also
the first proper mathemiltician to set fQot
on American soil, having been sent in 1585
by Sir Walter Raleigh as a surveyor. More
Although the method is nOt new, it w~s influential than Viete in promQting the
the first time the infinite scries had been adoption of decimal fractions was the
cxprl."ised ana lytically. Algebra and Flemish mathem:ltician Simon SW\'in
trigonometry were mO\~ng morc and more (154H-1620). He :llso urged the :ldQption of
m
THE MAG IC ~ORMU t A
_.
Ili""." I . . ... ""..,....
no Frenchman capable of it. (..
J.~~;-~..:.;,rl- jOW"llcy begun by Apollonius
TH E APPROACH TO
ALGEBRAIC GEO METRY
VietC'S so lution related to
c:.o=~:'-='"
--.
......
~.j,.60 ... ')J,.,..""IWiIf.
when he showed th::tt conic
sec tio n.~
quadratic equations.
cou ld rCllreSent
136
AlGURA COMf.S INTO ITS OWN
137
TH( MAGIC fORMULA
13'
Al GEB RA COM U INTO ITS OWN
Descartes proposed that the position of right angles to each other. Dcsc~rtcS
a point in a plane could be identified by believed that any polynomial t!Xpression in x
reference to twO intersecting axes, used as and y could he expressed as a curve and
measuring !,ruides, so developing the studied using analytic geometry.
coordinate system whieh is now known as At the same time as Descartes was
the Cartesian system. For ~ll the familiarity formulating his analytic geometry, anomer
of his ~Igebraic notation, Descartes' Frenchman, Pierre de Fermat, was doing
graphical representations of equations do much the same thing. Both arrived at
nOt all resemble ours, for he never used comparable results independently. Fermat
negative vnlues of x in his graphs. The stressed that any relationship between x and
familiar form of a grapb divided into y defined ~ curve. He recast Apollonius'
quadrants by axes that cross at (0,0) was work in ~lgebraic terms, ~iming to restOre
introduced later by Isaac NewtOn. In some of Apollonius' lost work. Both
addition, his axes were not always set at Descartes and Fermat proposed using a
TH( MAGIC ~ORMU l A
,.,
T H { WORLD I S N{V[R ENOUG H
The world is never enough space. stilll css 4'; 1I)-dimensional space, but
Descartes brought al6rcbra and geometry mathcmatics is not concerned with whcthcr
together by defining a point by coordinates we are comtortablt:' with the concepL
and using this to draw graphs from \Vhat use is multi-dimensional sp~cc? If
t'quarions. Ll doing rhis, he pro\~ded rhe we c~n step back from the problems of
means for a later development of algebraic trying to vi~l.Ialize it as a re~ l -wo rld space,
geometry into untold new dimensions. the theoretical space with many dimensions
Any two-dimension~l sh~pe c~n be is actually quite useful. \Vc often dr~w
representcd by giving the coordinates of irs graphs that plot nvo variables - specd
vertices (corners), e~ch as nl'O numbers. against time, for e.."(ample, or temper~turc
The principle c~n be extended to three ~gainst growth rate. There arc many
dimensions easi ly - by gi vin g three situations in the real world in which fur
coordinates WI: define a point in three- more than nvu variables are involved. Ifwt:'
dimensional sp~ce. It is easy to work Out the track weather conditions. 0' the
differences between points, too. Ll a rn·o- performancc of com panics in a stOck
dimensional system, with points (a,b) and market, or the mortality rateS III a
(c,d) wt:' can use Pythagoras' theorem to population, therc are many variahlt::.~ to take
work Out the distance betwet:'n the points. into account. By allocating values for
\·Ve im~gine a tri~ngle, with the nvo poinrs perhaps seven, eight or rune variables to
defining the ends of the hypotenuse. The each data point we can envisage, if nt)t
Icn!,.'1:h of thi s line - the distance henvcen visualize, a map in sev!;!n, t:ight or nine
the points - is then RCc -yaf + (d - b)} We dimt:nsions from which we can make
can e..xtend the s~me formula to thrct:' measurements and predictions could be
dimcnsions: the distance benveen rhe poinL~ made. 1r isn't necessary to draw thc map -
(~,b,c) ~nd (d,e,f) is J((d - af + Ce - b)1 + (f- algebra can take L"'are of the calculations
c»). \Vh~t is there to stop us taking this without that - hut the conceptual sp~ce has
further and dealing with distances in four been sug6'Csred in which rhe 6'1"aph t:'xis~.
dimensions, defined by four coordinates?
Or 16 dimcnsions? Or 4,;19 dimcnsions? II is VClJ' bani fen· lIS ro Viflll"h~ Jf/IIU wirb 71lorl!
We may have a conceptual objection rball rbl! fom· dilllf'llyiollf <:.r~ hl(Ji,.~ ro I!xist-. bur
because \\·c can't visu~lize tour-dimensional IIlgl!brrt eml <:"(II-k ill (fII.¥ /lmllbn· of tiilllf'llfiolls.
,<1
n'"' "" " ~ORMUtA
OTHER FRACTALS
A fractal is a structure in which a pattern is
repeated from the large scale to the small
scale, so that lookin g more closely at the
structure re'lt'als the same or simil:lr figun"s.
There arc 1113ny ne3r fractals in Il3turC,
lr's po~siblc to carryon doing this an intinitc including snowfbkes, trees, gJ laxi t!S and
number of times. The result is a shape m:lt blood-vessel networks. Fractals are tOO
has an area defined by rhe formuhl irregubr to be described using standard
Euclidean geometry and generally ha'le a
Hausdorff dimension which Jiffers from
their normal topological dimension.
rrJctals 3re often produced by space-filling
when s is the me:l.sure of one side of the algorithms. Th e Sierpin ski triangle is an
original triangle. H owever, the perimeter is example. Starting wi th a simple triangle.
infinite - an infinite perimeter enclo~es a make three copies of it at one half the size o f
finite area. the original, and place the copies in the
Carrying nut the same operation with a corners of the origin31. Carry on repeating
singlc line segment instead of a triangle, the this step ad illjinitum. The resulting pattern
resulting lin e approaches a curve as the line is identical at any magnification. It was first
seb'lnents get smaller and small er. The curve described by the Polish m3thematician
is called a Koch cunrC. Waclaw Sicrpin ski (1881-1%9) in 1915 in
,<2
T H( WOR LD I S N{V( R ENOUG H
,<3
CHAPTER 6
Grasping the
INFINITE
Coming to terms
with infinity
Irrational numben;, like it , e and J2, are
infinite series. \Ve can go on refining them
to ever more decimal places, but the task
will never he completed. Both the infinitely
large and the infinitely ~mall (the
infinitesimal) had worried mathematicians
for two millennia. The Greeks disliked
irrational numbers to the point, perhaps, of
murdering l-lippasus for pro\'ing their
existence. Bur III the 17th century
mathematicians nude moves to approach
and eventually embrace the infinite and the
infinitesimal. These concepts and numbers
were finally to hecome useful rather than
JUSt confounding to eXllL'Ctations and beliefs
that were held dear.
AN EARLY PRECUR SOR A/"rbim~des, pictl/red ben' ill nil ollacbnmistir po'Trail
Tbe method Archimedes adopted for ofJ 620,rollfnmt~dp/Ublelllsofillfi"iry(lIIdlilllils
calculating the area of a circl e (and so ;l;birh wolild b~ addn:lYI'd I/etlrly 2,000 yetm·lnrer.
obtaining a value for J't) depended on
drawing polygons inside and outside a circle would converge at that point. As the
and calculating their respective areas. These number of sides tends tOwards infinity, the
gave upper and lower limits for the area of difference between thc area of the polygons
the circle. A greater degree of accuracy \\':lS and the area of the circle tends tOwards zero
achieved by using L'Ver-larger numbers of and the limits coincide.
sides for the bounding and
inscribed polygons. Here
Archimedes encountered THE WEIGHT OF PAPER
two concepts which would Just as Archimedes had found the volum e of an irregular
become hugely important shape by measu ring the volume of water it displaced, so
later - that of limit~ and that Galileo discovered a practical solution to th.e problem of
of infinity, for the perfect finding the area under a curve. In the absence of geometric
area would be given by a and algebraic tools to calculate the area, he would plot his
polygon with infinitely many curve, then cut it out and weigh the paper. By comparing
sides. A circle may indeed be the weight with the weigh t of a pie(e of paper of known
called a polygon with infinite area, he could work out the area of his curve.
sides, SO the twO polygons
'"
COM ING TO fiRMS WITH INF IN ITY
The possibility of working out :m area area to bediscovered to another area, which
or volume by dividing a fib'1lre into a very was easier to c-ah::ulate, and prove tiNt that
large number of very thin slices was not Ilt.-'W the unknown area is not b'Teater than the
to Archimedes. Democritus had rejected it known area and then that it is nOt smaller
200 years earlier as he could not work than the known area (so the)' arc equal}. It is
around his objection to the 10brical difficulty a non-constructive method of proof, since
that, if the slices are infinitely thin, there is the answer must be known before the proof
no difference henveen them, so every can be used.
pyramid becomes a cube. Antiphon In the 17th c:cnrury, when mathematicians
developed the technique into the 'method finally became more comfortable thinking
of exhaustion' (though that tenn was nOt about the infinite and the infinitesimal, the
used until 1647) and Eudoxus made it method finally came into its own with
rigorous. The principle was to rdate the proper albTCbraic formulation and emerged
as integral calculus. This could
not happen until analytic
bTCometry had been dt.-'Vdoped
and a rigorous understanding of
limits had emerged.
'"
Tln EMUIG£N(( O f CA LCULUS
'"
GRASP ING T HE INfiNITE
If the tortoise moves a t a steady speed, a The distance covered is the area under the
graph of speed against time would he a graph, speed x time, which is easy to
straight horizontal line d = 0.2L calculate in this instance. The rate of
0"
, change of speed (acceleration) is given by
the slope. In this case, the line is flat, as
o. , there is no acceleration - the tortoise goes
E 0.1 , at uniform speed .
INTEGRATION
lntegration finds the area under the curve
by drawing a series of infinitesim311y thin
rectangles under the curve 3nd adding
tOgether their areas. h's very similar to
Kepler's slices of wine barrel (sec page 148)
or the slices of pyramid that troubled
Democrirus (see pa6TC 79).
\Ve can make a rough approximation of
150
Tln EM Ul G£NCE Of CA LCULUS
/'
/ acceleration at an instant is given by the
slope of the curve at thftt instant (or of a
tangent to the curve).
,..--"
--- Differential calculus ptO\'ides ft way of
approximating the slopc of the curve by
assuming a very short time interv:l.land
The line cutS off part of the top uf eaeh calculating the slope of the secant for that
rectangle to the left, hut there is a space interv:l.l. (The very short interval is called
under the line tu the right. If the spare bit of L'l.t, 'ddm-t', the Greek capital delta bein g
rectangle were flipped over, it wuuld fit the used to show a small quantity.)
space pretty well. The smaller the
rectangles, the better the fit to the curve.
/
secant
./
~
~
7'"
-' ------
III rbis ("XI/mph, rhe Stralll is d,.ITi1 ·11 bawl'rli tiliO
/KIll/rf (!II rbe lilll!.
1/ poml.
where ft and h are the limits we arc working
within (the upper and lower values of t The time 1n is a vcry short interval.
that bound the area) and 'dt' means a very Making 1'n sma lkr and s maller producc .~ a
small change in time. more and more accurate result, though it
151
GRASP IN G THE IN fttHTE
will never bc quite the same as the slope SEEING THE WAY FORWARD
of the curve because we can't set .6t With the development of analytic geometry,
to zero. However, as .6.t approaches zero, it bet:ame possible to describe movement
the line appr().1ches a perfect match. This algebraically. The Ancient Greek~ had
introduces the concept of the limit: the limit introduccd the idea of a curve as the path
of the function "pprotlcbcJ the required va lue (locus) of a moving point. Algclmic
(the acceleration at an imtant) as L'1t geometry pro \~ded a tool for de~ribing that
approaches zero. This is the process of locus in the form of~n equation, gener.:dizing
differcntiation. about the shapes of the cw·ves produced by
different types of motion and identifYing
NEAR MISSES patterns that had predictive value. For
Fermat's work Oil analytic geometry example, Calvieri noticed that the area tmder
includes a rl'latiollship which is the parabola defined by y '" x\ between 0 to
fundamental to the theory of calculus. " on the x-axis is oJ/ 3. Similarly, for the CUITC
Fermat dealt with finding tanb't!lltS to CUlVes y '" Xl, the corresponding- area is d!/4. [t was
and areas under CUlves. The expressions he nOt then difficult to guess that the general
derived had an ulVerse relationship, yet it formula for the area under a CUlve y '" Xfi is
seems to have escaped his attention, for an-'/(II + I).
there i~ no evidence that he pur.~ u ed it or
tried to e'\llbin it. l EIBNIZ AND NEWTON
Blaise PaSt'al is another who could easily The fundamentals of calculus - both
have taken a final .~tep and di.~covered differentiation ~nd integration - were
calculus. Pascal's interestS in mathemati cs discovered around 1670 independently by
were varied and he flitted
from topic_to topic. H e also
gave up mathematics after he SEKI KOWA OR SEKI TAKAKAZU (1637/42-1708)
underwent a religious Seki Kowa was born in Japan in either 1637 or 1642. He
ecStasy, and he died young- developed a new notation for expressing equati ons up to
two further factors that the fifth degree, using kon;; characters for variables and
contributed to rob him of unknowns. He discovered discriminants, which led him to
the prize that lllight have some re.\ults in differential calculus at around the same time
been his. Pascal came so as Newton and l eibnitz discovered them in Europe. There
close ro discovering calculus is no known communication between the European and
while working on an Japanese mathematidans. (A discriminant is an expression
integration of the sine that shows a relationship between the coeffidents of a
function that L eibniz later polynomial equation. For example, lor the quadrati c ax 2+
wrote that it was reading bx + C, the determinant is b2 - 4ac. Whether the
Pascal\ work that signpostcd discriminant is positive, negative or zero give information
calculus for him. about the nature of the equation and its roots.)
152
TH E EMUlG£Nn Of CA LCULUS
the Engli~h ~t'ientist and mathematician the function (such as the speed of a moving
Isaac: Newron and the German polymath hody at a particular instlnt). Borh men also
Gottfried Leibniz (sec page 154). realized that integration is thl' inverse of
VVhat both m~n did was to discover a this process of differentiation - that
method for cak-ulating the tangent of a integrating the rcsult of differentiation
curve ata sp("cified point on the curve , briven leads back to the original function and \~cc
only the equation defining the L-urve. The versa . This revealed a surprising
slope of the tan g"Cnt (which defines the line relationship between total values and rates
geometrically) shows the rate of change of of chang·l.'.
GRASP ING THE INfttHTE
IS'
THE EM ER G ENCE O f CA LCULUS
Zt'IIQ} PlIl¥ldl).Xl'f fellt/'/' dispute over priority and the merits of each
(lI'IHlIId dividillg up mans methods had long-la.~ting repercussions,
COl/nll/lOflS U/m~1I/1'IIr inrl) isolating British maths until the 19th cenrury.
lill] 1Il01lll'llts - a pmhlrm
glossed liver by mlt:-lIllIs. THE IMPACT OF CALCULUS
In srudying falling bodjcs, Galileo (who
discrete, a logical flaw died the year Newtoll was horn) needed to
tbat be and otbers calculate the speed of an object at a
overlooked particular instant in time. For this type of
tbough it was an issue so old problem, differential calculus is the perfect
tbar it was tbe difficulty at 1..J..........w tool. Since the time of NewtOn and Leibniz,
tbe heart of Zeno's paradoxes. calculus has been applied to countless
NewtOn fuiled to publish any of his problems in lllLochanics, ph~ics, astronomy,
findings rdating to calculus until \693, nine economics, social science and many other
years after l.eihniz published. The emlJing fields, revolutionizing ph ysics and briving
new impetus to the
fiuther development of
mathematical tt'Chniques.
CalculllS bas spawned a
whole branch of
mathematics, called
analysis, which deal~ with
continuous change.
In summing a la r!,'t! set
of small quantities,
integration is useful in
problems such as
determining the distance
travelled by a hody
moving at 'l:Irying speed
or calculating the total
fuel consumptioll of :l
vehicle. Differentiation
can be used in such varied
problems as modelling
disease epidemics and
determining the path
an aircraft needs to take
CalclllllS has widl'-nll/gillg pmuiCilI appliCflriolis fIJI" fbI' modrm world. Ir to avoid co ll iding with
rom bl'lpr tv I'ttablirb safr jligbtpathr fin· ain:raft ill 0/11' bllsy skin another.
155
GRASP IN G TH E INfiNITE
1S6
CALCULUS AND BEYON~
157
GRASP ING TH E INfiNITE
158
CAlCUlUS ANO BHONO
0+1-1+1-1+
159
GRASP ING T HE INf IN ITE
160
CAlCUlUS AN O BUON O
1n
e + 1 '" O.
Too HARD
Some problems proved intractabl(! even
with th e usc of calculus. The movement of
the planeL~ in the solar syStem, for t;!XOlmple,
is toO complex to be accountcd for by Tbl' 'Kdlligwcrg bridges' problem ';l}//S solved by
straigh tforward series. The field of dynamic Elller ill 1736. Ir ash ;J.· babn· il is porsible 10 crors
system th eory has developed to ta ckle ellcb ofrbl'si'lJt7I bridges ill Kdl/igsbrrg Ollly OIlU,
such problems. Esscntially, local data drawn 1l'lIIl7Iillg to (be Hllrlillg paim. Ettl,.r pl"Ovl'd rbllr ir
from particular sit(!s within a much larger is 11(1(, dl'fillillg rbl' Elflniall prllb ill rbe PI"f)Ct'ss (II
tleld arc analyzed and reslllts from these pillb (bar follU"J.JS etUb edgr, bllt ollly Ollce). His proof
arc applied to known global properties of is rbf jirst Ibeol"e," ofgl"flpb Ibl'o'1.
161
GRASP IN G T HE INfiNITE
Fourier was the first person to suggest, in Stftble fbe mla/" rySWII 'I:.'as.
162
CALCULUS ANO BUONO
trajectory
163
GRASP I NG T H( INFI N IT(
,6<
CA LCULUS ANO BHOND
'"
CHAPTER 7
NUMBERS
at work and play
- -- - - -
Nllmbers, alld fh( possibilirier they o./frr, are with liS 1/11 rh( time.
NUMBERS AT WOR K AN D PlAY
168
CHHR UP. IT MAV NtV[R H APP£N
'69
NUMBERS AT WOR K AN D PUY
170
CHHR U P, IT MAY NtV[R H APP£N
refined. HowC--'Ver, Nicolas Bernoulli, the chance (not measured) of dying immediately
more rat ional Swiss mathem:nician, of smallpox brought on by the inO<.lllation,
sUb'gestcd that perhaps the probability of a Imt othenvise virtually no chance of dying of
male birth was not 0.5 at all but 0.5169, smallpox III the future. The purely
which would producc exactly the required mathematical calculatiun , canied out b)'
re~ult with no need for divine intervention. Daniel Bernoulli, suggested that there was
only one .'icnsiblc choice - inoculation. But
MAKIN G DEC ISION S the Frrnch mathematidan Jean Le Rond
As with Pascal's wager, many dl'cisions that d'Alembert, among others, argued that
may he influenced by a knowledge of many pcople may prefer the better chance of
probability are also affccted by a more sun'iving the next week or two to the
subjective perception of desirable outcomes aS~llrance of safety in the furore. (TI)day,
and the concept known as 'marginal utility'. plenty of people prefer the immediate
Imagine a national lottery, in which tickt:r.~ adv:l1lmg\! of long-haul flighn; m the long-
COSt one ducat (a coin in IL~e in much of teml henefit of still having a planet [() live on.)
Europe in the 18th century) and the prize is
a million ducats. For a poor man, a ducat is INDEPENDEN CE
very valuable, and the payout immensely so. People are nOt only affected by marginal
For a rich man, a ducat is of little utility and the preference d'Alembert noted
consequence, though the payout is still for short-term benefit. They may also be
valuable to bim. Th(' rich man can better swayed by .~llperstition that has no grounds
afford to bet a Jucar tllan the poor man, bur in statistical probahility at all.
a.~ he has less need of the prize he might not Imabrine flipping a coin ten times; the
bother. A1though the probability of winning prohahility of getting heads each time is 1 in
is equal for hoth, the decision about whether 210. Suppose the first time it is heads. Now
to buy a ticket is very different for each. the probability of all ten flips being heads is
Ll the 17 50s and I 760s, inQ{:ulation I in 29. If the first nine come up heads, the
against smallpox was a topical subject of probahility of ten heads, by the
•
deb'lte. The inoculation used live smallpox last time, is I in 2. Now
virus and in a small number eJses produced suppose you want to fly on a
smallpox Oenner's vaccine produce<l from plane. You know that the
cow pox was :I later and safer introduction). chances of dying in a plane
Smallpox wa.~ very common, often deadly crash are, say, I in a million on
and, even when not futal, frequently led ro any particular flight (this is not
lifdong damagt>- such as blindnc.~s or brain the real prohability). You have
damage. Someone who did not have the already made 1,000 flights
vaccine stood :I high chance of contracting
smallpox at some time in the future, and a HlmUIII beil/g!' H'rlll hnppy to gnlllb/~
I in 7 chanceof dying from it. Someone who -with t}nir/ollg-w'm fllrtln: if it
chose to have the vaccine stood a ~lllall 1m'tlns gnills ill tbe shon tfl711.
171
NUM BER S AT WO RK AN D PlAY
HERD IMMUNITY
Some diseases have been completely or point where it can spread amongst the
nearly eradicated by national inoculation uninoculated population.
programmes. An example is measles, once The dilemma facing parents who were
endemic in the westem world but now rare unconvinced about the safety of the vaccine
in countries with inoculation programmes. mirrored that of the people making a choice
However, worries about the safety of the about the early smallpox vaccine. For SOCiety
vaccine in the T9905 led to a reduced as a whole, there was a moral dimension -
take-up of childhood vaccimtion in the UK was it right that a few individuals should
and measles began to take hold again. avoid the (pOSSible) risk posed by the
While the vast majority of a population vaccine and depend on benefiting from
has immunity, a few the herd immunity
unprotected individuals acqUired at the cost of
benefit from the 'herd everyone else taking that
immunity' as the disease risk? For mathematiciam
can't get a foothold and medics, there was
amongst the inoculated a different question:
population. However, as what proportion 01 the
the number of population could
unprotected in dividuals remain unvaccinated
rises, the presence of the before their safety was
disease increases to the compromised?
safely. Your chances of dying this time are or later' . few people. pick numbers 1, 2, 3,
still one in a mill ion - the previous flights 4, 5 and 6 because thL'Y believe (irrationally)
do nOt Olffcct this one. In this case the events that this combination is less likely to be
are independent; even if you had made drawn than any other. This tendency is nOt
99!J,999 tlights safely - or tell million - the so far removed from the Ancients who
chances of dying in the next flight would beliL'Vcd the number 3 had special properties,
still be only 1 in a million. But it doesn't feel or who wore a magic square for protection.
like that to many people. The perception is
often that if we hav~ been 'lucky' up to now, INTERDEPENDENCE
our luck is du~ to run out. it can work the \"'hen choosing whether to hoard a plane,
other way, too. People may pick the same people are dealing with random eventS -
lottcry number each week bccause they they have no control oyer whether the plane
believe their Ilumber 'must come up sooner will crash. A situation that is harder for
172
CH HR U P, IT MAV NtV [R H A PP£N
173
NUM BER S AT WO RK AN D PlAY
the probability of the sun rising tomorrow, delih erate) and had a grea ter than 0.5
given our knowledge that it has risen every chance of reaching the right verdict, they
day for the last 6,000 year.; (which in 1744 worked Out the optimum size of jury and
was considered to be the age of the Earth). the majority needed to reach a safe
laplace and his contemporaries tried to conviction. The practice of deciding jury
put probability at the heart of the moral S17..t.' and majority using probability
.~cicncc5, though their attempt was continued until the 18305. By then the
somewhat dubious. Enlightenment system was coming into disrepute and a
philosophers and reformers were concerned pupil of l aplace, Simeon-Denis Poisson,
with the value of the judgements made by used ncw statistics to produce a better
electorates and juries - \\"ould they reach the model.
right decision or deet the hest t':lndidate? Before probability could be used
They addressed this as a problem in effectively in any area, though, reliable
probability. As.'mming that each juror aeted information was necessary. Statistics and
independently (French juries did not probability go hand in hand.
175
NUMBERS AT WORK AN D PlAY
176
SAM pu s AND STATISTI CS
Tarullno
%,000
Wi,ma Malo)ar",la~eu
55,000 67,000
";=='~'~=,:30 mi
12,000
Mohliow
Ntmun /IN r MI",k o " '''m
'.~~~~~.'
_ I~ _10
_10' _11 - _lO'
_30'
l_per"W,e -C
_]O' Oct6 .10' Sepl. 23 _21 ' Sept 14
_16 ' O::\. 7 ·1'" Oct , I _9 ' Sept. 9 0 ' Aug. 18
mi ght be expected to operate. In particular, 0111' if the mtJSr l/{'cowplished gmphim/ J'tpl'l!wlltariml:f
he was impressed to find th,u crime figure s ofrtlltirticr nm"ntndl' is (vurles .~1illaJ'd 'r gmph of
follow ed a predictable pattern. He Napole(JII} disasN'o/ts campaigll ill RI/Ssill ill 1812,
conjectured that they are a product of Ir shlTiJ.'s /l/olTality 011 the 1l-'<ry to 111111 flVlI! l\1OSW..v
society rather than indi,~duals and that, //lId Wll'1.'liltfl/l1:ith telllpn11t1ll'l!, The width of the
while an individual criminal may be able to grull {lilt! ortillge lilies I'I.'PJ'fSl'IIlS the size of the anNY,
rt'sist the urge to commit a crime, the shlT,.JJilllf, hlT.JI it tT<1Jilldws, Ollly 4 PC!' cellt n'tt1l11ed
overall pattern of crime rates is altered little frum tbl' (iflllpaigll,
by individual actions. He felt that the
proper study was of crime ratt's rather than STATISTICS MEET SCIENCE
criminals and that the proper remedy to Perhaps surprisingly, it was nOt wuil th c
c rim e lay in social action, including middl e of th e 19th century that statistics
education and an improved judicial ~ystem. beg'Om to be applied to science with th e same
Careful use o f statistics to examine the enthusiasm and ri gour :::IS th l.)' had been
effects of changes and suggest directions for applied to social science. In the 1870s th e
future change would, he felt sure, produce Scottish physicist J :lIlH!-S Clerk Maxwell
the desired results. often explained his theory of gases with
Quete1et's thesis promptt'd some debate reference to social statistics. From the very
on the apparent contlict bet\vcen statistics large numher of random movcmenL~ of
and the doctrint' of frce will - if crime rates molecules hc derived thernlOdynamic laws -
can bc deternlined by statistical methods order from chaos. He argued that, JUSt as
and arc unchanging over time, how much statistics relating to crime or suicide can
freedom do individual s really havc over yield consistent rL'Sul1!; from the unordert'd
their action s? acts of individuals, so predictahle outcoml."s
177
NUM BER S AT WO RK AN D PlA'
178
STATISTI CAl MAT11£MATICS
179
NUM8ERS AT WORK AN Il PUY
gave the best possible estimate if we assume H e used a model, known as the C:illiton board,
that the errors in mea~l.Irement follow the to show how a normal distribu tion is achieved
Ilomlal distribution. The method of least (see below). A set of peb'S is arranb't'd in a
squan:s was applied to statistics ill all fields triangle alxwe a row of cups. Ball bearillb'S
and became the principal tool of dropped at the top of the triangle bounce
statisticians in the 19th century. 1t was often down through the pegs to fall into u cup. A
used to estimate whole populations from a few full into outlying mps but m(l)t full into
study of a small sample. the mps in the middle of the board, forming ~
normal distribution curve.
PERFECTING HUMANITY Galton applied st~tistic~ l ideas to
Francis lfollton, a wusin of Ch~rles Darwin, heredity to show how v~riation tends to be
took an interest in the \'~riation highlighted by bred out, and generations of an organism
normal distribution and standard de,~utions. tend to revert to similar levds of variance.
•
• ,o,
,.' , o 0 0
Q 80 0 Q Q Q Q
Q Q Qlite Q G Q Q Q
QOQIit QQg
QQQQQQ
G 9 g !Jog 9
~
Q Q Q Q 0 Q Q
~
1;1 1;1 0 0 ~ " " (;I
IUIUIIi I
Ball bwrillgs dropped all ro the Gil/tOil board at the top art! dif/«tn/ illfo tbe ClIpS at (be boltom. Tbe
distriblltioll Of bill/ betlrillgs ill ClipS dmlOllsn'atrs tlllorma/ distributioll CIIrve.
180
STATISTI CAl MAT11£MATICS
So although the chi ldren of ext·eptional the individuals included should bechosell at
parents may he exceptiona l memselvt!S, at random. The first triumph of this tf..>chnique
least in some ways, on me whole, they tend of stratifi ed sampli ng came in 1936 when
to regress towards me general population as George Gallup'S poll predicted the re-
a whole. Galton took his research in an election of Franklin D. Roosevelt in the US,
alamling direction, becoming the founder whi le a larger, unstratified sample,
of the eugenic; movement which aimed to confidently (and wrongly) predicted the
guide human evolution tOwards perfection. opposite result. Gallup drew on a sample of
H e wanted to breed in 'good gencs' in the on ly 3,000 voters, while Literary Digest, me
way that breeders select me best genes in opposing pollsters, polled 10 million.
farm animals and crops. Roosevelt won with the largest landslide in
Although originally he was in ten.:!sted American history. A large sample is no
primarily in genetics and heredity, Galton b'llarantee of a representative sample or an
recognized the application of his statistical accurate result.
methods to other areas and Stressed the Experimental design went hand in hand
adaptabili ty of me tools he developed. with the development of statistical tools.
The use of a control group to compare with
COURTING RANDOMNESS
Developments in statistics aimed to enable
information rrom a sma ll sample of data to
be extrapolated or applied to a larger
populati on. By deciding the rate of crime or
marriage or an inherited disease in a sample
of the human population, for example,
researchers hoped to reach conclusions
ahout th e rate in the whole population. The
result.~ of any stati stical ~L1 rv t.'Y depend, of
course, on th e quality of the sample
measured. The head of the Nonvegian
Central Bureau of Statistics, A. N. Kiaer,
aimed to draw samples that covered the full
ran ge of representative varia bl c.~ in the
population, such as old and young, rich and
poor. The English statistician Arthur
Bowley was one of the first to try to
introduce randomness into sampling. Th e
Polish statistician J erzy Neyman hrought
these two concerns tOgether in 1934, trying Th~ lnlllislidr I"(-rim/Oll of Fmllklill D. Roos.7Jdr ill
to ensure that a samp le included 1936(f1I11CllSIIIJSII,.p,.isrtoGallllpwhlJhlldll.r~d
representatives of major variables but that sn"fllijlrd sffmplillg to pl'edict stich {t /Twit.
181
NUM 8 ERS AT WORK A NIl PlAY
I,.
in the temperamental H e devel oped the method - which now
atmosphere of a seems ridiculously obviou s - of
Gallup Poll, always varying only One condition in an
taking one's exp eriment at a tim !! and
• • comparing re~lllts with a control
.: group. Although earli er
exp erimenters had donc thj s to
som e degree, it was fclt to be
immoral where human subjects
th e experimental group, and the random were concerned, and so rigorous
all ocation of individuals to the control or use of control groups and
experim ental group, em e r~,''C d as stan dard random allocation of individuals
procedure during the early years of the 20th t o the control or experimental
cenlliry. [n parriL'Uiar, th e Briti sh geneticist group had not been pra cti sed
and statistician Sir Ronald Aylmer Fisher previously. Fisher also advocated
(1890- 1962) reshaped experiment design in repeatin g experiments and
many fields , including p~ych o l o gy, medicine
and ecology in th e years after the Second T be IrrJara lld rill/dum IIl1mber geuerrlrm' developed
Wo rld War. I-I e began hi s research in by Bob l\1 w de ill 1996 produced n m dmll II l1mbel'S
geneti cs, where h e used statistical analysis Jlsillg a ro mpllrer program seetkd wirb digiral
t o reconcil e incon sisten cies in Darwin 's pborograpbs of tbe parterlls produced by !twa lumpr.
182
STATl s n CAl MAT11(M ATICS
183
NUMBERS AT WOR K AND PUY
SETI@HOME
The SEn project - Search for Extra·
Terrestrial Intelligence - collects radio data
from space on a continual basis, and is
starting to look also for pulses of laser light.
Its stated aim is 'to explore, understand and
explain the origin, nature and prevalence of
life in the universe'. SETI's task is to examine
the constantly growing data set for patterns
that might indicate a deliberate radio
transmission. To do this, it asks volunteers
around the world to install a screensaver
which imports chunks of data from SETI
over the Internet and processes them on
the computer while it is not being used. In
this way, SETI makes use of millions of hours LookillgfOl' riglls ofliif": nulio IlIIteimile 'which
of free computer time on personal form plll1 of the Vt-I)' ulrge An"lly /lSfrollomicuJ
computers around the world. Each PC ohmvll(01)';1I New Mexico, USA.
reports its results back to SET! and any
possible patterns are flagged fo r further R~ "" the rate of formation of stars suitable
investigation. An unimaginably large task in for the development of intelligent life.
statistical analysis is being carried out at fp '" the fraction of those stars with
very little cost and much more quickly than planetary systems.
it could be managed using dedicated ne '" the number of planets in each solar
computers. system with an envi ronment suitable for
life.
The SETI equation fl '" the fraction of suitable planets on which
The Drake equation (1961) is suggested as a life actually appears.
way of calculating the likely number of ptanets fi .. the fraction of life.bearing planets on
that have intelligent life in the Milky Way: which intelligent life emerges.
N '" R* X fp x ne X fl X fi X fc x l fc '" the fraction of civilizations that
develop a technology that releases
where detectable signs of their existence into
N '" the number of civilizations in the Milky space.
Way whose electromagnetic emissions are l '" the length of time these civilizations
detectable. release detectable Signals.
,8<
STATISTI CA L MATHE MATICS
'Nothing in the universe is unique and a/one, and therefore in other regions there must be
other Earths inhabited by different tribes of men and breeds of beasts,' lucretius, SOse
instigatOr sets up initial conditions, the economic problems and many other areas in
game runs, producing generations that which complex patterns develop organically.
flourish or perish according to the
consequences of the starting conditions. MOVING ON
The original game used populations of Much of the work on statisric'5 in the last
coloured squares III a grid, but it hundred years or SO has led to analysis of
spawned a whole industry of computer groups or sets of data in quite complex
simulation games, some of them immensely ways. The hehaviour of sets - whether of
complicated, that produce populations of numbers or anything else - is the suhject of
creatures or other entities. The interest in set theory, fi~t developed in the second
cellular automata that grew out of Conway's half of the 19th century. The appearance
game has found applications in many fields, of set theory has heen one of the most
including research into human, animal and important developments in the history of
\'iral populations, growth of crystals, mathematics.
185
CHAPTER 8
The death of
NUMBERS
SEF! (page 184) aims to idemify I' milsn ofphllldS 'U'bicb bost lift.
TH1 D EATH O f NUM8£RS
188
UTTHfORY
rh e sets {x, yJ :Ind [y, x} :Ire id enrit~JI. The condition x E A is true only if x
Cantor's definition of a set was that it is a meets the conditions of the formula
grouping into on e entity of
objects of any type, though
t":3ch ObjCl·t 3i.<;O rer:tins it.~ 'Nowadays it il known 10 be possible, logically speaking, to
own identity. For3nyobjcctx derive practically the whole of known mathematin from a
in; relation to a set A i.~ 3lw3Ys single source, The Theory of Sell. '
that it is or is nor 3 member - Nicolas Bourbaki, 1939
~ hown by x E A or x f£A
"9
TH1 D EATH O f NUM8£RS
Sex) which defines members of the set. This of members - does not depend on the. sets
is the principle of abstraction . That a set is being finite. So the sct of positive integers
defined by its members is the principle of and the set of negative integers are infinite
extension. The number of elements in a set but equivalcnt setS, since there is a negative
i~ called its cardinal number - the set {4, 5, inwger to match every positive integer. A~
6) has a c-ardinal number of 3. The cardinal Cantor quickl), realized (and others,
numhel· of a Set A is wrinen A. Any subset including Galileo, had realized before him),
of a finite set has a smaller cardinal number each natural number can be squared, so
than the original set. If we imagine a set of there is an infinite set of natural numbers
'all cars', there are clearly fewer members in and an infinite set of their squares. Yet thc
thc subset 'red cars'. squarcs are a subset of the set of natural
numbers. Galileo's conclusion in 163H had
WORk i NG WITH INFINITY AGAIN been that the conceptS of 'equal to', 'grt':ltcr
The concept of equivalence - that hI'o sets than' and 'less than' did not apply to
are equivalent if they have the .~ame number infinity. But Cantor developed instead a
190
G£TT1NG FUUY
191
TH{ D EATH O f NUM8£RS
multivalued logic, in which st;}remenL~ (:',1Il 'very'. So an animal might be very fast, or
t;}ke a fractional truth v;}lue between I quite fast. If 0.6 membe.rship of the set of
(wholly true) and 0 (wholly false). In 1937, fast ~nimals i~ called 'quite fast', 0.8
philosopher Max Black applied llluitivalued membership might be 'very bst'. Fuzziness
logic to setS of objects and drew the is nOt ~bout uncertainty, but about the
first 'fuzzy' set cUJ"\les; he called thc.se vagllc b{)und~ries between categorit:S.
see; 'vague'. Fuzzy sct~ may overlap . So an animal
From these outlines, the American might h~ve 0.2 membership of the set 'fust
mathematician Lotfi Zadeh developed the ~nimals' and 0.8 membership of the set
concept of fuzzy logic and fuzzy sets in 'slow anim~ls'. By combinin g values from
1965. Thtse pro,~(k a way of working with more than one set, useful inform~tion can
imprecise values and categories. There is he gained that gives ::t better description of ;\
some disagreement ahout the validity and situation or object th~n the straightforward
nature of fuzzy theory. Some binary membership/nollmembership of a
mathematicians see it as a variation Oll conventional set.
probability theory. which can. be called Some. but nOt all, of the mathematics of
possibility theory; others see proba hility as a conventional sctS apply to fuzzy sets. In
specia 1 ease of possibility in which certainty fuzzy seL~. ;}n object may be a member of
can be applied. two complementary sets (such ~s slow
animals ~nd f~st ~nim~L~), wherc;}s in
Fuzzy COUNTIN G conventional sct theory this :is not possible.
The di.~rinction we saw early on betweCIl The only restricti~m is t hat its tutal
counting and measuring addresses the membership v::tlue for the two sets ~dds up
problem of things which do not full wholly to 1 (such as 0.1 fast and 0.8 slow).
into one set or another. InstL'll.d of an
clement belonging to ;} set or not belonging USING FUZZINESS
to it - a binary distinction, with values of Fuzzy logic is the ::tpplication of fuzzy SCL~ to
either 0 (nor a member) or 1 (a member) - decision making and computer programs. It
fuzzy seL~ can support dcgrc/;:s of is used in m~ny enb~neering control ~y~tems
membership. Membership of a SCt can have to approximate human judgement ~nd m~ke
a value between (amI including) 0 and I. the operation of a device ad~pt to prevailing
So in a set of fast animals, a cheet:lh t'ondi[ions. It is commonly used in
may have a membership value of I, consumer eleerronics, household ~ppliances
Achilles a membership v:1lue of 0.5, and a ~nd vehicles. A di6rit~1 c~mera, for ex~mplc,
tortoise a membership ,'aim' of 0.1 . uses sensors to dcternline the light lcvc.ls
Something which does not move at ~ II, like ~l1d the {)hjecL~ in the \~ew which the
a m~ture barn~clc, would h~ve ~ value of 0 phot(Jgr~phcr is likely to want to fiH-"Us on
~nd not be a member of the set. (from detecting the edges of object.~), then
Fuzzy thL'Ory makes use of linguistic adjusts focus ~nd t':."lJOsure ~ppropri~tcly. A
c:ltegories, such :IS '!iOmewhat', 'quite' and washing maehine determines the best
192
G£TT1NG FUUY
193
CHAPTER 9
PROVING IT
Tbar rb~ filII bar ah~}ayf ,·isell ir I/O proofir ,rill rire tomorl"/JW.
P ROV I NG IT
196
PR O BLEMS ANO PR OOfS
Most people say their chances of getting a car Tradition maintains that Thales pro\'ed th3t
are unaffected if they switch doors. the angles 3t the base of an isosceles triangle
Mathematicians say that the chance of getting are equal, that 3 diameter CutS a circle inll)
the car is increased if you switch doors: you two equal parts, that opposite angles formed
had a 1 in 3 chance of choosing a car, 3nd this h}' two intersecting line.5 arc equal 3nd tha
is unaffeCted by the opt'ning of another door; two triangles arc identical if any twO angles
the chance that you chosc COrrL-ctly is still 1 in and one ~ide arc t:qual Sint:t' nonc of
3. If you switch, you 3rc making a new choice, Thall'S' writings survives, it is impossihle to
where the chances arc I in 2. Switching will S3Y whether he really produced rigorous
get you a C3f 50 per cent of the time, bur proofs of these theorems. Around fifty years
st3ying with the first door will yidd a C3r only latcr, Pyrh3goras proved his theorem for
33 per cent of the time. The logic is easier IP right-angled triangles.
follow if you think of 1,000 duors with goats Since the time of Thales and
behind 999 of them. Your chances of picking Pythagoras, the basis of proof In
the door with the car the first rime are 1 in mathematics has been to derive more
1,000. After 998 b'03ts have llCen released IP complicated Statements from faCtS which
run amok, there is a 1 in 2 chance that the are apparently simpler (though they may
other door hides the car. not actually be simpler). Genemlly,
The obvious objection here is that there anything 1ll ge(.lllu~ try that C3n be
must 31so be 3 1 in 2 chance that the original demonstrated in clear, logic31 steps from
door hides the. car, since prohabilitit!S must Euclid '.~ postulates counL5 3S proven, for
add IIp t(J one. The trick is that the problem instance. Bllt this does not mean that a new
is nOt as it appears. Your choice i~ r3ndom, idea is deduced first from the existing f.1Cts.
hut the host IWOWJ where the C3r is. If the Mathematicians commonly h3vc the idea
host randomly opened doors, coincidentally
picking those that conce31ed goats, the
ch3llce of finding a car 3t the end would be DEDUCTIVE PROOF THAT 1 '" 2
the same as the chance of finding a goat, let a '" b. So it follows that
whether or nOt you switched doors. a' '" ab
The proof of this problem uses a1 +a' =a' +ab
mathematical notation to show 2a' =a ' + ab
probabilities and break~ it down into small , 2a' - 2ab=a ' + ab _ 2ab
logical Steps which naturally follow one 2a' _ 2ab", a'_ ab
from 3nother. This is how mathCIll3tici:ln.~
now demonstrate truth. But it has not This ciln be rewritten as
always been the case. 2(a' _ ab) '" 1 (a ' _ ab)
197
P ROVIN G IT
first - perhaps as an intuition, or as the Greeks out was refined and defined
something suggt'srcd by the re~1Jlts of an more rigorously much later is indirect
experimcnt or an !;!xploration - and then proof. There are several types of indirect
turn to the known fact.~ to prove it. proof, including proof by contradiction and
Sometimes, an attempt to find proof refutes proof by reductio ad absurdulJI. Proof by
the new theory and it must be rejected . contradiction aims to prove a statement is
Sometimes, finding a proof appears an true by showing that itS opposite is nOt trut'.
intractahlt' problem and the theorem Proof by redllctio fld abSlmillni aims to prove
rt'mai ns unproven - for hundreds of years in a statement is true by using it to prove
somt' cascs. untrue something that is known to be true
(so producing an absurd result). Hipassus'
PROOF BY DEDUCTION proof of the existence of irrational num hers
Proof hy deduction works in small steps to was all indirect proof and is the earli est
deduce new truths from known truth~. For known.
example, if we say. 'Humans are mammals'
and ' Peter is a human' we can then say. PROOF BY INDUCTION
'Peter is a mammal' . Deduction is nl)[ The Greek model of proof was followed by
wholly reliahle, even if the initial StatementS the Arab mathematicians and taken over
are genuinely true, as the reasoning may nOt from them in the Middle Ages by early
be valid. So we might say, 'Humans arc European scholars. But in [575 a new
mammals' and 'Peter is a
mammal', therefore 'Perer is
:::t human' - but the fir.~t All HORSES ARE THE SAME COLOUR
statementS would al.~o he The Hungarian mathematician George Pa[ya (1887-1985)
true if Peter were a dog or a used proof by induction to show that all horses are the
hamstt'r or any other same colour. The case fo rn '" 1 (one horse) is dear - a horse
mammal. Proof by deduction can only be the same colour as itself. Now assume the
is nOt accepted as sufficiently theory is correct for n "" m horses. We have a set of m
rigormL~ by modern horses, all the sameco[ou r (1, 2, 3, ... m). There isa second
mathematicians, though it set of (m + 1) horses (1, 2, 3, .. . m + 1). We take out one
was used extensively by the horse from this last set, so that it contains horses (2, 3, .
Ancient Greek..; :mcl by m + 1). The two sets overlap; this second set is a set of m
medieval mathematicians. horses, which we know is a set of horses the same colour.
Parmenides is credited with By the principle of induction we can continue this for all
the first proof by deduction further horses, therefore all horses are the same colour.
in the 5th cenrury Be The argument is, of course, invalid as the statement is not
true. The crucial point is that when n '" 2 the stat£'ment does
INDIRECT PROOF not hold true: fo r this value, the sets do not overlap (the first
Another meth od of proof contains only horse 1, the second contains only horse 2).
which also originated with
198
PROB U MS ANO PR OOfS
modd emcrg~d; in Ar;lbmeticorlfnl Libri end and equally spaced SO that if one falls It
Dllo Francesco Maurolico (1494-15 75) b'llVC will knock the next over. If knocking th e
thc fi n;;t known description of mathematical fir.~ t do mino ovcr causcs til e ncxt to fall, it
induction, though him.~ of this method can will in evit:lbly follow that they will all fall.
be found earlier in worh by Bhaskara :md A1aurolico used proof by induction to
:ll-Karaji (C.AD lOOO). Proof by inductio n demonstrate that the sum of the first 11 odd
was also developed independen tly by Jako b imeb't'rs is n ~ :
Bernoulli, Blai se Pascal and Pi erre
1
de Fermat. 1 + 3 + .5 + 7 + 9 + ... n -'" n
Proof by induction works by showin g
firstly tim a hypothesis holds true for a first ASKING QUESTIONS
value (often n = I), then that it holds true for VVith the advcnt of calculus, complex numbers
a later value (.~'ay n '" Ill) and also for the and later non-Euclidean bTL'Omctri es, more
following value (n '" m + I). From the and morc W:lS denllUlded of proof. Berkel ey's
demonstration that it holds trw: for n '" III o bjection to calcu lus as dealing with th"
and n '" m + I it can be interred that this 'ghosts of quantitiL'S' was :I spur to greater
process could he repeated indefinitely to rigour, nOt o nly in definin g the quantities and
prove that it holds true for all further values. concepts with which mathematicians were
It's a bit like a row of dominoes, arranged on working but in providing proofs.
199
P ROVIN G IT
'00
B U NG LOG ICAL
the German logician and mathematician An~...vering Hilbert's call for an axiomatic
Gotdob Frege (1848- 1925), who has basis for all mathematics. Bertrand Russell
sometimes been called the gre:lt~t IObrici:ln and Alfred North Whitehead published the
since Aristotle. He set out to prove that all three-volume PriIJfipia A1atbrmflfica in
arithmetic could he derived logically from a 1910- 13. Ambiriously named after
set of hasic axioms and he is essentially the NeWtOn's seminal work with the same title,
founder of mathematical logic. H i:' devised a the book aims to deriw all of mathematics
way of represenring IObric using varia hIes from a sct of hasic a.xioms using the
and functions. ."ymbolic logic set forth by Frege. It CO\'Crs
only set theory, cardinal numbers, ordinal
A SEARCH FOR NEW AXIOMS numbers and real numbers. A planned
The German mathematician Davit! I·Elbert volume to cover breomt:'-try w"as abandoned
laid the foundations for the formalist as the authors were tired of the work. After
movement that grew upin the 20th century getting a good way into the work. Russell
by requiring that all mathematics should discovered that a lor of the ~';J.me ground had
depend on fundamental axioms from whieh been covered by Frcge and he added an
everything else ean be proven. He required appendix pointing Out the differences and
any syStem to he both complete :lnd acknowled bring Fregc's prior publiL';J.tion.
consistent, incapable of throwing up any The test of the Prif/cipil/ re.~ted on
contradictions fi-om the application of its whether it was complete and consistent in
axioms. He reformulated Euclid'.~ axioms H ilhert's tl'l"ms - L"1)uld a mathematica l
himself as the fir.~t step in trying to find this statement he found that could not be
faultless axiomatic basis for maths. Hilhert proven or Jisproven by Prillcipil/'s methods,
ramously proposed 23 problems which were and cCluld any contradictions be produced
still to be solved in 1900. Th~e effectively using itS axioms?
set Ollt the agenda for 20th century
mathematicians. MOVING THE GOALPOSTS
The mOSt important of Hilbert's Before Prillcipia had a chance to stand the
problems for the dL'Velopment of logie in test of time, the key questions were taken
mathematics is the second . Hc proposes away by German mathematician Kurt
that it is neeessary to ser up a systcm of COdel. He produced twO 'incompleteness
axio ms 'wh ich contains all exact and theorems' ( \ !J31) which dealt wi th Hilbert's
complete descrip tion' of the relations proposal for the <l."iomat ization of
between basic ideas and requires ' that mathematics.
they are not contradictory, that is, that The first stated that there could be no
a definite number of logical steps based complete and consistent set o f axioms, since
upon them can never lead to contradictory for every sufficiently powerfu l l ogic~1
resultS'. In parricular, this was seen as a ."ystem there is always a statement G that
call for axioms to prove the basics of essentially reads, 'The sto\tcment G cannOt
Peano arithmetic. be proved'. If Gis provaLle, then it is fu lsc
201
P ROVIN G IT
and the system is inconsistent. If G is not itself at home with no introduction and
prm':l.ble, then it is true and the systcm is encouraged IL~ to build our cultural edificc
incomplete. The second theorem states that
basic arithmetic cannot be used to prove it~
own statements and, by extension, can't be 'For any consi!tent forma'- computably
used to prove a.nything more complex, enumerable theory that prove! basic
either. arithmetical truth J, an arithmetical
statement that is true, but not provable in
lOGIC AND COMPUTERS the theory, can be constructed. That is, any
During the 20th centu ry, the Jt'vcl opnwnt effectively generated theory capable of
of computers has given logic and expressing elementary arithmetic cannot be
mathematics a field of their own . both comistem and complete.'
Computer programs use logica l sequences Kur t GOdel, 1931
to carry Out calculations. Thi s is the basis
of all computer applications, evt::Il those
that look nothing like mathematics to the arouud it. There was no point at which it
user, such as animation, music production was scnsibl e to ask what it was all about.
and imab't! processing. Computers can also At the Stan of the 20th ct'nrury,
be used to test the orems. They can produce Illathematic.~ turn ed to fundamental
a proof by exha ustion - which involves questions ahout its very nature. A central
trying all possihle va l ue.~ - which a human question e:1ll be hridly .~ ummarizcd as 'h
c(JUlJ not manage. Th ere ~re, toO, Illathematic.~ discovered or invented?'
cQlllputer programs to construct proof~ by There are three principal positiQns. A
other methods. Pl~tonist realist vic\\', such ;H that of Kurt
The program V~mpire, developed at G6del, says that the laws of mathemati cs are
Manchester University hy Andrei evt'rywhere true and immumble, like the
Voronkov, h,lS won the 'world cup for laws of nature. Ahthematicians discover
theorem prm'crs' six timcs (1999, 2001 - 05). them; they are pre-exi~ting. A formalist
Perhaps th e time has come when view, such as that taken by D~vid Hilht'rt,
computers, with their impeccahle logit, will says that mathematics is a codification, a
take over from human mathem:uici~ns as I:m!,'1lage or even a game in which theorems
the experts at applying logic to are built on axioms throu gh lo gil~J l
mathematics, or tracing itin mathematics. demonstration . There is no particular
re~son to prefer onl! set of axioms over
What were we talking about? another if both sets seem to hold true. This
At no point in this book haw we stopped to \'iL'w was dealt a near-futal blow by Giidcl's
ask what mathematics is or if, indeed, it 'is' incomplett'ness thwrems which showed
anything. This might seem lik.. a that no set of axioms could be enti rely
considerable oversight. But on the whok- com plett' and consistent. Finall y, the
mathematics crept up on humanit)" made intuitionist view holds that mathematics is
202
WHAT W[ R£ WE TAlKING AUOUT1
entirely a fabrication of the human mind, 'make up' mathematics? One an~·wer is that
construcred to explain the world we find the structure of the hum~n mind makes it
around us but having no existcnce or inevitable. The embodied minds theory is
v~lidiry outside hum~n culture. This based in cognitive psychulogy; it was
\'itw was propounded by the Dutch dtveloped for m~thcmatics by American
mathcm~ticirul L. E.]. Brom\"cr (1881-1966) cogmtlve linguistic George Lakoff and
and he was TcmoT~cl~sly ridiculed and psychologist Rafael NllllCZ. Their
persecuted for it (not lc~st by Hilbcrt). argument, expressed in their book Wlm·e
Ovcr the l~st hundred years, the Mllfbt'lllllfics Comes From (2000), is th~t the
qucstion of the fuulllbtion of mathem~tics Structure of the human brain and the w~}'
has nOt becn ~lllswered, but has slipped Out our bodies operate in the world has dict:lted
of vit-,'v. Hilbert's form~list Stance ~"Uffered the way we have developt:d mathematics. A~
from the assault of the incompleteness we can't divorce ourselves from our brains
theory, yet logic ~lld axioms still lie at the to examine the universe without our
hean of m~thelll~tics as it is practised. A cognitive process!;!s getting in th!;! way, we
more mode,f[J vicw is the empiricist one will nOt be able to tell whether mathematics
promoted by W. V Quine (i 908-1(00) ~nd
Hilary Putn~m (born 1916). They m~intain
th~t the existence of numbers ~nd other 'Mathematics may or may not be out there
mathem~tic~l entities c~n he deduced from ill the \IVOrld, but there'! no way that we
observation of the n:::d world. It is rc\~ted to Kielltifically could possibly tell. '
realism, hut is morc grounded in re~liry and George l akoff, 2001
human culturc.
Quine's view is that mathematics seems
tQ be 'true' bccause all our c~:pcrience and has any existence outside hum~n culture.
science is wovC'n around it :tnd aJlpe~rs to Plenty of m~thematil'ians disab'Tl:'.e v,ith
endorse it. It would be vcry difficult to Lakoff and NWlez, and with the proponentS
rebuild our model of the universe without of all the oth!;!r ideas outlined here and they
m~them~tics. will no doubt arb'lle the case for many
If the last sentence sounds like a decades or cenruries to come. The question
challenge, it is onc th:tt was taken up of its foundations has little impact on our
by American philosopher Hartry Field d:ty-to-d:ty use of mathematics . We will
(born 1946). 01 the 1980s he proposed that carryon playing the lottcry, building
mathematic~l sto1tcmentS arc all fictiun~l aircraft, looking for life in outcr spac!;! ~nd
and th~t science can he creatcd without insuring against catastrophes without
mathcm:ttics. knowing whethcr lll~them~tics is in all}'
According to his fictional ism dnco-inc, sC'nse 'real' and 'out there', just as the
mathem~[ical statementS arC' uscFuI Egyptians built their pyramids and th~ Incas
structuring devices, but should nOt be counted their llam~s without giving the
accepted as literally true. And why would we matter a second thought.
203
G LOSSA RY
binary - counting system th3l has only t:\vo Diophantine equation - :In eq uation in which
digil5, I and 0 (base. 2) all tlle numbers illl"oh-ed are whole numhers
chord - a straigh t line joining the ends of :In hyperbola - n cun'e produced hy $licing
arc (a IlOrtion of the eircumference of ~ circle) tltrough a cone with a plane \\~ I:h a small e.r
angle nt it.~ :lxis than the side of the CQlle
coefficient - ~ constl.llt or number hy which
a variable is multiplied in all :llgebraic h yperbolic geometry - geometry Ul3 t deals
expression with Sh3pe.'i drnwn on curved surfaces
2""
GLOSS ARV
205
INDEX
206
INO{X
!~ "'''", I,
!A1~>OIt)
A R""",,,,,, 0)
I l~
,\I.n, O'mc"_"'~I> tne Emp"" 1~
Incli>
. 1-.\\0""". ,\1 .. J.r" AI.hdl,), ,1m
,\lLill",.,H.d 17. 1~
1" "'""',)'''''1'" I(~\.-I fnc,;o'" ,n Z~ "urgi""l.t~"y 1'1
(",,,,,,I. Hl ·' geon ..',,,· in (,1. 7! .\l.>uchl'.Jnlul -\(;
f"'g~,'.onJob lUI fllu~l><.. 'n 17 _\\.u"eI~}am""('J,,", 100, 171.11
fiuo.:trlog1C 191· ' 1ri8",.om~t')'"' Ml , lI6.i _\bpn Empire 16-17, I?
"~I.ph<ri,,,JIl'-'''n<,,)-" IIO-I! lV:"'i!("I...~I" ;',h..rn """ ,\\ilU .. ' m" 'II) In~''''''''IC~l)' 'n ~ ~
",J S,,,,,d, .n~" (,Q K,,~ .. Sd::i Ii, .\li~ib<". P",d, ; I
:>n<llrill'>1>(m",u:-' 8VII "",,,,.<in leol'olJ n , I~') ,\li lUrJ.CJu,l"" 17;
=d""" o(hum'~ bo.l) (.:' , mmim,l.urf,..., m..olhem .. ocs 161
'gt>--.;, of. rr.,men,· 138 ,\linl:ow<h, ll em",n" 11(" I ff
'ghaol< of d"1'>rfeJ qotm> Ii'''''' \5~, 1'1') I.. knff. ( ;eorg~ ,m mmu«'gn n
C,; ...... !.AII"'" III . IJ~ LoI~,,,,.I'",''''~~in''''' d~ liO. 173-1, 17~ .\I....l>i". $I.rip 116
c""..,I'" 1'b<o<=1 III b'g< n~"""'n 3<1-3 .\t."i,"",. Ab ... han, ,I" 1"f'J
<'""I. ""''''_ o( liO_1 Lowo(L..-S"Xomr.,,,, 1(.$ m"""r ~,
G&I<I. i,:un Z(ll 2 '1<:>" "I'''.... ~ ' nll:'I..-..t 17'1~ M""'yJlolJporo<k" 1Q(,.1
C.. ,I,lhoch. Chri,-..,n 5 1 uoc"gn<.lIenri-Lion 16l .\"-"""" ... ,,,,,,. ();,b, 17.1
(;oIJt..ch"'lnjOCtlI'" 5 1 I"' ........! .... AJri<n·.\bri, 4S · ~. II'! .\10«0" r'I"n>< 71
8()(,g,,1 J(j i£il>tti," • ..-,rrfric~1 4:', IIF. Ill. 151·1. .\to.c~"f'<'ol;><. ,\bnu,i 54
g"'>jI<>~,I~. 10 Il6. 157 ,\\o~'on. G.1:.n.1 6/i
{;,.,h.,,,,. R,lnaIJ lZ Lin,lpmonn. (::..1 L",," F""LrunJ lOll 9~ mult"J'IDe",iem.t'l"c," 141
~"''''. Nj ~u,-'''' 1"'''1'''<';'-" lo.J+.S muh~~jc"j"n 39
i;",ond"j,"
G~",,,,".
1/,
E:..hn"",1 41
lid lit" , 4
Lt,hocl",,,t;;, ;\;i~"t..i I,-., ~w;ch I IJ . 14 ,
L'I! ... rithrn. J4--41 N'l"c>t".jobR )0. l"·",,1
~'lI""' nn...he ...,,ics 10110-1
"\1.:""0". I'hom..; HI long <In;"'" ~9
"",u"eAm<'ri""". li
"".~gh.tin. !"l (,';
.1·1bytl13tn. AI", A.fl .1· II ... on lion 99, 10l t o,""",> f-<lw.,J Itrl. 16> ""'''',. [)"""rt 71
~",><I«-;ma.l ~ 14-5 1""loc<, ""I> +-I ; 4 , n<~'ii,"'n"'nl~ 26. i,5"'9
IliIl><rt,D..-id 11 6.IW, 2!l1 , !OJ LukU'"ic>.J'" I~I-~ "'<wn'nn.}o!m '''n 1"iI, I ~'
lli"cl~ ·A"b;c nLlml><, ,,'<l<-'n' I i.~ I • 1(,.7 ;\;<~"l"n.Si, b,nc "-I. 9'i, I,,· ,. 15/, Ij"
1I'I'P,rch, .. of J~m)-ni. H ~, .~
Jhpp""' of,\ llup.... ,,tllm ' f,
•
M•• <lI1,,-. of ~:l1lg'm>gJ"u , I J7
,,"
;\;C)·u>ln.}'·"Y lal
Jloll<";'h. 'k,m." Ii(, ""lI"'S<!"""'" 53 .... " ;\;ighnn~'"" ,1""-",,<,,, I i~
11")"!,,,' n .. (],.ri<ti •• n ')~ 164 .\I.>~.", . Gi "'-. nn' N · lO S,,,, [.·IMp'' '' .., ,h, .\ IdIM_w,IlI.ln i4
h)"p<tbolic ,I):t!<>I1l"lry' 9/, I I ~ · 16 .\bmJ...n.~ Eh",hun 1\1) W
01 ·,\1.> ....", IZ6 numb<r .' "nboli;w 'ii.<J
.\bD<l<lbrot.ll,noit I..J numb<r ';I>le< 1~
"u>p:ilUrymu"I",,, II .\I.o",I<lhrm oe< I ~ J n"ml ...""
207
INO£)(
inAociemlCg.pt IJ, I'l-lj.1i\l') I'"i,.,,,,, S."':'-~ l . ll"no, 114 ~"'11)l'1 R"d,,~"'r -12
in Andem C""",- If, poly),,,,,," ""101",,, j!.J ~"'\"' . Sillu, 11/" lQ, 155·('. !4T 8
m A",,'en, I.:ome I I, 19 ~I 1 '~o~j"'".I--,,",or IW Stlfd, .llid",'"' 5(" IJ~
b-.. U .5 JlO"." J1-J S'on"ho~!."- (f)
in rJuJU 14 pnme numhe ... 4~ · 5 1 ~"'b","rw; 72,111,l1j
chroJlQ!!,,"'" 21 pml>ability 16~ ·74 S,,"<n-..n "",th""'.II"-"$_ ,Ii<~'I~'
",,'r!"-' 163 I''''d .... 7J '"P,,,,,otion" r",h.. b'~1}" I'! ' ~
".<l'I)U,,,,,,,,><ublc 11
.l1dd.'Cim>l rr..",,,",-,
!i":H)
pm""",-" p:«~n<"-ry 10ft- 10
p""'& m m. wm.ri"" IW,·1(l.1 ,
l'1<>Iemy.Cl...,ji .... a6, 11Xi, 1m '1!.k:.I",,, Sdj 152
~nJ l lindu-ArobiC no!mf>e/" .... ,,,,,, 17·21 1'1l\J1.1D, HilH" :QJ ,011)' rop". J(j.6
OJ 1ndi, 17 . i';>11u1l') .... lI. '" 71 . H ·j lill.....nJ. Chorb· ,llouri<"< ole 6fl
~nJint"~ 16 1,)11uIl"r->-" th.""'m 74 I.n.glil. r-.:i<rol" '5, I 11
.,,\hpnEmrO'" 1(,· 17.1'1 ~I .()ifti.lh" 17 rhol".dMd,,,,,, 71 ·4_ ''''
.,,\1c""),,,)I:m,,. l l.15 · !6.H I<'1>O~~ 11 6 · 19
in,\I"~lleu., I;_ I ~ , H Q 7;~dl'" ." 1J._Jj""""" of Pt-.iol.-m, .,
n"g ... ~-e ,("7. j~ . 1' Q"""'''1.,\,lolllh~ 17f.-i, 179 _II!.",,,, \O m... KI,,))-~ tnJ In
.. pn:h...".., II . I? '..10","" W. V. , OJ ,ri.tngul ... no",I",,., ' )
\-~,hol nLm,I",,, n f~tfJ.' J4-7 ,ri.tngul:\u"," 1(r,;. 6
uod ....., 1~ , !1.~7 QWT.ili. Tlubu"", 51 trigO""'I11<lJ,. ~ ' ·'il
NoiJi~', R.i:>.1 lOJ .....I~~ -"..,-,ir oI · l) in ~ 5, 11!i ·9
t..-in prtm .. 1(.. 1
o "",,,,klo,,,,...",,,
... d",,,, III
I HI. l
U«!', \"o,hi,;u\;. 1(.4
.1·lj~~,I~'. ~'"
OIl>en'l"'",I"" 14J "h,,'I ! lU3 n ,\lm",.1
fJ. Sa'M"«A ......S"".., i6 Kewnk:. R"bt'l1 13 I, I 3; Inh",him 1~
0. 'lh~.g/r1"'Hr<rrK'"d(K."'ip""rsl 90 Rffi;'IC"• . c,""g QQ. I, IH
"P""" 'Ill .~ Ki~m-'II\".ll<mh",,1 I I". I~O V
O""m •• S,<h.J.,. I j() ri,.k,~k\lbri"" 169. /0 I'd'IIlII1.M.nin .. 4 ,
O~8n.reJ. \111~'Jn 41 Rudolfi'. CJu-i~ofF I~'<) .-."I,.II1~mh.'r< !l
208