The Wonder Book of Geometry
The Wonder Book of Geometry
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
1
Great Clarendon Street, Oxford, OX2 6DP,
United Kingdom
Oxford University Press is a department of the University of Oxford.
It furthers the University’s objective of excellence in research, scholarship,
and education by publishing worldwide. Oxford is a registered trade mark of
Oxford University Press in the UK and in certain other countries
© David Acheson 2020
The moral rights of the author have been asserted
First Edition published in 2020
Impression: 1
All rights reserved. No part of this publication may be reproduced, stored in
a retrieval system, or transmitted, in any form or by any means, without the
prior permission in writing of Oxford University Press, or as expressly permitted
by law, by licence or under terms agreed with the appropriate reprographics
rights organization. Enquiries concerning reproduction outside the scope of the
above should be sent to the Rights Department, Oxford University Press, at the
address above
You must not circulate this work in any other form
and you must impose this same condition on any acquirer
Published in the United States of America by Oxford University Press
198 Madison Avenue, New York, NY 10016, United States of America
British Library Cataloguing in Publication Data
Data available
Library of Congress Control Number: 2020932235
ISBN 978–0–19–884638–3
Printed and bound in Great Britain by
Clays Ltd, Elcograf S.p.A.
Links to third party websites are provided by Oxford in good faith and
for information only. Oxford disclaims any responsibility for the materials
contained in any third party website referenced in this work.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
Contents
1. Introduction 1
2. Getting Started 4
3. Euclid’s Elements 9
Euclid, 1732 12
4. Thales’ Theorem 14
The Mathematical World of Ancient Greece 18
5. Geometry in Action 20
6. Pythagoras’ Theorem 26
7. ‘In Love with Geometry’? 36
371 Proofs of Pythagoras 42
8. ‘Imagine my Exultation, Watson . . .’ 44
9. Congruence and Similarity 50
The Golden Ratio 58
10. Conversely . . . 60
11. Circle Theorems 68
12. Off at a Tangent 73
13. From Tangents to Supersonic Flow 79
Galileo and Thales’ Theorem 84
14. What is π, Exactly? 86
15. The Story of the Ellipse 94
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
vi CON T E N T S
CON T E N T S vii
Notes 241
Further Reading 265
Acknowledgements 269
Publisher’s Acknowledgements 270
Picture Credits 271
Index 273
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
Introduction
2 I N T RODUC T ION
I duly got on with all this, casually assuming that the angle
at P would depend on where P is, exactly, on the semicircle.
But it doesn’t.
It’s always 90°.
* * *
At the time, I had no idea that mathematics is full of surprises
like this.
I had no idea, either, that this is one of the first great theorems
of geometry, due to a mathematician called Thales, in ancient
Greece. And according to Thales – so it is said – the key question
is always not ‘What do we know?’ but rather ‘How do we know it?’
Why is it, then, that the angle in a semicircle is always 90°?
The short answer is that we can prove it, by a sequence of
simple logical steps, from a few apparently obvious starting
assumptions.
I N T RODUC T ION 3
And by doing just that, in the next few pages, I hope to not
only lay some foundations for geometry, but do something
far more ambitious.
For, with geometry, it is possible to see something of the
whole nature and spirit of mathematics at its best, at almost
any age, within just half an hour of starting.
And in case you don’t quite believe me…
OUP CORRECTED PROOF – FIRST PROOF, 30/07/20, SPi
Getting Started
Parallel lines
Imagine, if you will, two lines crossed by a third line, produ-
cing the so-called corresponding angles of Fig. 3.
GE T T I NG S TA RT E D 5
Angles
We will measure angles in degrees, denoted by °, and the two
parts of a straight line through some point P form an angle of
180° (Fig. 4).
180˚
A right angle is half this, i.e. an angle of 90°, and the two
OUP CORRECTED PROOF – FIRST PROOF, 30/07/20, SPi
6 GE T T I NG S TA RT E D
Opposite angles
When two straight lines intersect, the so-called opposite angles
are equal (Fig. 6).
Alternate angles
If two lines are parallel, and crossed by a third line, then the
so-called alternate angles are equal (Fig. 7).
GE T T I NG S TA RT E D 7
b
c
8 GE T T I NG S TA RT E D
a b
c
a b
Euclid’s Elements
Fig. 11 Euclid.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
10 E UC L I D’S E L E M E N T S
E UC L I D’S E L E M E N T S 11
Fig. 13 Proof that opposite angles are equal, from a 1732 edition
of Euclid’s Elements.
Thales’ Theorem
Congruent triangles
Congruent triangles are ones which have exactly the same size
and shape.
And the most obvious way of fixing the exact size and
shape of a triangle is, perhaps, to specify the lengths of two
sides and the angle between them.
This leads to a very simple test for congruence, known
informally as ‘side-angle-side’, or SAS (Fig. 14).
Isosceles triangles
An isosceles triangle is one in which two sides are equal.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
T H A L E S’ T H EOR E M 15
16 T H A L E S’ T H EOR E M
Circles
The defining property of a circle is that all its points are the
same distance from one particular point, called the centre, O.
Some other common terminology is introduced in Fig. 17.
circumference
us
di
ra
O diameter
chord
Thales’ theorem
We want to prove that if P is any point on the semicircle in
Fig. 18, then ÐAPB = 90°, where ÐAPB denotes the angle
between AP and PB.
Now, the simplest way of using the fact that P lies on the
semicircle, surely, is to draw in the line OP and observe that
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
T H A L E S’ T H EOR E M 17
Rome
Athens Miletus
Crotona Samos
Syracuse
Mediterranean Sea
Alexandria
Thales
Pythagoras
Euclid
Archimedes
B.C. −500 −400 −300 −200 −100 0
Plato’s Academy in Athens had this famous
inscription over its entrance:
ΑΓΕΩΜΕΤΡΗΤΟΣ
ΜΗΔΕΙΣ ΕΙΣΙΤΩ
“Let no one ignorant of geometry enter here”
Geometry in Action
geom e t ry i n ac t ion 21
and so, having measured the other three lengths, he was able
to determine the Great Pyramid’s height H.
22 geom e t ry i n ac t ion
Alexandria
Sun
7.2°
O
Syene
geom e t ry i n ac t ion 23
24 geom e t ry i n ac t ion
Area
Perhaps the oldest geometrical idea of real practical import-
ance is that of area, driven largely by problems concerning
land.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
geom e t ry i n ac t ion 25
4
1
1 3
A=1
A = 4×3
a
b
b
A = ab a
1
A = ab
2
Fig. 23 Area.
Pythagoras’ Theorem
PY T H AG OR A S ’ T H EOR E M 27
A special case
If the two shorter sides happen to be of length 3 and 4, then
a 2 + b2 = 9 + 16 = 25, so c must be 5.
And the idea of a right-angled triangle with sides of length
3, 4, and 5 was known to Babylonian mathematicians (in
what is now Iraq) over a thousand years before Pythagoras.
One ancient clay tablet, for instance, has a geometrical prob-
lem on it equivalent to the following:
28 PY T H AG OR A S ’ T H EOR E M
Unexpectedly irrational
If the two shorter sides of a right-angled triangle are equal,
then, according to Pythagoras’ theorem, the three sides are in
proportion 1 : 1 : 2 (Fig. 26a).
This was, again, known long before Pythagoras, and a
famous Babylonian clay tablet, known as YBC 7289, dating
from roughly 1700 BC, shows a square with two diagonals,
and various numbers in the mathematical notation of the
time (Fig. 26b).
45˚
√2
1
45˚
1
(a) (b)
Fig. 26 Another special case of Pythagoras’ theorem.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
PY T H AG OR A S ’ T H EOR E M 29
1× 4142128,
30 PY T H AG OR A S ’ T H EOR E M
2
c
b2
a2
PY T H AG OR A S ’ T H EOR E M 31
A ‘proof by picture’
b2
c2
a2
(a) (b)
Fig. 29 The simplest proof of Pythagoras’
theorem?
32 PY T H AG OR A S ’ T H EOR E M
This proof starts with the same diagram, but uses a little
algebra instead.
a b
b c
c a
c2
a c
c b
b a
Fig. 30 An algebraic proof.
( a + b )2 = a 2 + 2ab + b2 .
But the large square is made up of the small square (area c2)
1
and four triangles of area ab each. So the area of the large
2
square is also c 2 + 2ab , and therefore
a 2 + b2 = c 2 .
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
PY T H AG OR A S ’ T H EOR E M 33
34 PY T H AG OR A S ’ T H EOR E M
Pythagoras in China?
c
b
a
c
(a–b)2
a 2 + b2 = c 2 .
PY T H AG OR A S ’ T H EOR E M 35
Chapter 5, each one has area equal to half the height times its
base, so by adding the two the result follows.
And if the original arrangement happens to look like
Fig. 36b, with an obtuse-angled triangle, the result still follows;
C C
h h
A B A B
(a) (b)
Fig. 36 Same area!
D
A B
The basic idea is to prove that the areas of the light grey
square and light grey rectangle are equal.
By the same argument, the same will be true of the dark
grey square/rectangle, too.
In this way, then, the sum of the areas of the two small
squares will be equal to the area of the large square on the
hypotenuse, and the theorem will be proved.
Fig. 38 The heart of Euclid’s proof. (See also pp. 12, 36, 179.)
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
‘Imagine my Exultation,
Watson . . .’
Tree
Rod
Yet this is, of course, just Thales and the Great Pyramid, all
over again.
It is just similar triangles.
1 1 1
— =— +—
b h a b
a
h
c1 c2
b
a
I II
c1 c2
c
A neat proof
b c2
= , so b2 = cc 2 .
c b
Adding, and recalling that c1 + c2 = c, then gives the result.
D C
c a b
—=—
E c d
d
a
A b B
CONGRU E NC E A N D SI M I L A R I T Y 51
52 CONGRU E NC E A N D SI M I L A R I T Y
Congruence
The three major tests for congruent triangles are shown in
Fig. 45.
This is, perhaps, the place to stress that the angle in ‘SAS’
must be between the two sides, just as the side in ‘ASA’ must be
‘between’ the two angles.
But, having made this point, I would like to move swiftly
on to two examples of the congruence tests in action.
CONGRU E NC E A N D SI M I L A R I T Y 53
B B
A A
Q P O Q P O
B′
B′
(a) (b)
Fig. 46 Finding the shortest path.
54 CONGRU E NC E A N D SI M I L A R I T Y
Parallelograms
D C
A B
Fig. 47 A parallelogram.
But opposite sides are also equal, and we can prove this
using ASA.
The key step is to draw in a diagonal such as AC in Fig. 47.
The angles • are equal (alternate angles), and the angles ⚬ are
also equal, for the same reason.
The triangles ABC and CDA are then congruent by ASA.
So, in particular, AB = CD and BC = DA, which is what we
were trying to show.
CONGRU E NC E A N D SI M I L A R I T Y 55
lettering, not only the congruence but also which points cor res-
pond to which, and I will try to follow this practice with both
congruence and similarity throughout the book.
Similarity
Similar triangles have exactly the same shape, and therefore the
same three angles.
And, in consequence, their sides are all in the same pro-
portion k, called the scale factor.
Congruence is a special case of similarity, with k = 1, so it is
no surprise, perhaps, that the three main tests for similarity
(Fig. 48) mirror those for congruence very closely.
56 CONGRU E NC E A N D SI M I L A R I T Y
Take any triangle and join the mid-points of two of its sides.
The resulting line is then parallel to the third side (Fig. 49).
P Q
A B
Varignon’s theorem
CONGRU E NC E A N D SI M I L A R I T Y 57
C
F
D E
G
B
H Fig. 51 Proof of
A Varignon’s theorem.
1 1
Φ
B C
1 1
D
1 1
Φ-1 Φ-1
E 1 F
Φ2 = Φ + 1
The positive root of this quadratic is
1 + √5
2
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
10
Conversely . . .
CON V E R SE LY . . . 61
P implies Q
Q implies P,
which, like the original statement itself, may or may not be true.
5 3
3
4 4
(a) (b)
Fig. 53 Proving the converse of Pythagoras’ theorem.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
62 CON V E R SE LY . . .
Proof by contradiction
Proving the converse of some theorem is not usually so
straightforward, and one very helpful device is the idea of
proof by contradiction, or reductio ad absurdum.
The idea is to assume, at the very outset, that what you are
trying to prove is false, and then show that this would lead to
some contradiction or absurdity.
?
Fig. 54 Converse of the isosceles triangles theorem.
CON V E R SE LY . . . 63
Thales revisited
A few years ago, I was enthusing about Thales’ theorem
(Fig. 56) at some conference, and two members of the
64 CON V E R SE LY . . .
CON V E R SE LY . . . 65
A O B
Fig. 58 Proving the converse of Thales’ theorem.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
66 CON V E R SE LY . . .
An alternative approach
A O B
CON V E R SE LY . . . 67
Triangles AOD and ABP are then similar (by AA), with a
scale factor of 2 (because AB = 2 × AO), so D is the mid-point
of AP.
Draw OP. Triangles ODA and ODP are then congruent by
SAS, so OP = OA, and P therefore lies on the circle.
(Yet another proof of the converse of Thales’ theorem can
be found in Notes, p. 243.)
And, just in case you should wonder, I make no apology
for returning, from time to time in this book, to the very first
theorem in geometry that made a real impression on me,
aged 10.
That’s because, for all its elegance, and element of surprise,
Thales’ theorem is just one special case of something even
more general and far-reaching . . .
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
11
Circle Theorems
C I RC L E T H EOR E M S 69
ab
O
a 2a 2b b
A Q B
Fig. 61 Proof of the main theorem.
In a similar way, the two angles b are equal, and ÐBOQ = 2b.
Adding then gives the result
ÐAOB = 2ÐAPB.
70 C I RC L E T H EOR E M S
C I RC L E T H EOR E M S 71
C
D t s
s
t
A
B
Intersecting chords
If two chords AB, CD meet at a point P, then
AP. BP = CP. DP
To see why, note that in Fig. 64, the angles s are equal, and
the angles t are also equal.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
72 C I RC L E T H EOR E M S
D
B
s s
P
t
t
A
C
PA. PB = PC. PD
B
P
C
D
12
Off at a Tangent
74 OF F AT A TA NGE N T
then be further from O than P is, and will therefore lie outside
the circle.
In other words, this tangent line will just touch the circle at
P, whence its name.
PA. PB = PT2
A
P
T
OF F AT A TA NGE N T 75
h D
T
R
R
h( 2 R + h ) = D2 .
D2
R» .
2h
76 OF F AT A TA NGE N T
Looking at Euclid
Another nice example of tangents in action is a curious problem
first posed in 1471—in a slightly different way—by the German
astronomer Johann Müller, better known as Regiomontanus.
Imagine, if you will, that you are looking up, with due
reverence, at an enormous statue of Euclid (Fig. 69).
Clearly, if you stand too far away, your viewing angle a will
be very small.
But it will also be small if you stand too close, because you
will then be viewing Euclid very obliquely.
So, where should you stand to make the viewing angle a as
large as possible?
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
OF F AT A TA NGE N T 77
Q Q
O O
P P
eye-level
T line A B
(a) (b)
Fig. 70 What’s the best view?
A good try?
As it happens, the same problem arises—in principle—in
rugby, whenever a player has to select a point on the try-line
(Fig. 71), for the viewing angle of the gap between the posts
can be maximized in the same way.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
78 OF F AT A TA NGE N T
touch
-down
try-line
13
From Tangents to
Supersonic Flow
Trigonometry
This branch of the subject begins with the definition of the
sine and cosine of an angle θ, which we do by constructing a
right-angled triangle (Fig. 73).
1 1
sin θ cos θ
0 θ 90° 0 θ 90°
Fig. 76 Graphs of sin θ and cos θ.
Supersonic flow
Recall, first, the idea of Mach number
v
M= ,
c
where v is the speed of the object and c the speed of sound.
Now, as the object passes any particular fixed point P in
space, it generates a sound wave which travels outward at
speed c, so that at time t later that particular acoustic disturbance
is confined to a circle around P of radius ct (Fig. 77).
By that time, the object itself will have travelled a distance
vt from P.
So, if v > c, the object will now be outside the circle in question,
and on drawing tangents from it we find that the angle θ is
such that sin θ = c/v.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
ct
θ vt
object P
14
What is π, Exactly?
circumference
p= .
diameter
W H AT IS π, E X AC T LY? 87
h r
88 W H AT IS π, E X AC T LY?
r
4
Volume = — πr3
3
Approximating π
Archimedes started by taking a circle and then calculating the
perimeters of inscribed and circumscribed hexagons (Fig. 82).
Fig. 82 Approximating π.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
W H AT IS π, E X AC T LY? 89
Packing problems
One application of all these ideas is to packing problems, which
can be even more fiendish in mathematics than in real life.
Circle packing
(a) (b)
Fig. 83 Square packing.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
90 W H AT IS π, E X AC T LY?
2 2
√3
1 1
(a) (b)
Fig. 84 Hexagonal packing.
W H AT IS π, E X AC T LY? 91
Sphere packing
92 W H AT IS π, E X AC T LY?
1 O
A
P A/2 Q
R
(a) (b)
Fig. 87 Doubling the number of sides.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
W H AT IS π, E X AC T LY? 93
q 2 + 2 cos q
cos =
2 2
15
T H E S T ORY OF T H E E L L I PSE 95
The ellipse
There is in fact another, completely different way of making
an ellipse.
Mark out two fixed points, H and I in Fig. 89, and run a
loop of string round them. Then move the point E, while
keeping the string taut; this will trace out an ellipse.
96 T H E S T ORY OF T H E E L L I PSE
T H E S T ORY OF T H E E L L I PSE 97
C
D
B
A
Fig. 91 Kepler’s
equal-area law.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
98 T H E S T ORY OF T H E E L L I PSE
In Fig. 91, for instance, the two shaded regions have the
same area, and—according to Kepler—the planet takes as
long to get from C to D as it does to get from A to B.
These were revolutionary ideas, and, it has to be said, not
readily accepted at the time.
Did the planets really move in this particular way?
And, if so . . . why?
C
C′
F
B
S A
T H E S T ORY OF T H E E L L I PSE 99
Elliptical motion
16
Geometry by Coordinates
4
y = x2
2
x
–3 –2 –1 0 1 2 3
Fig. 94 A parabola.
y
Q
increase
in y increase in y
P slope =
increase in x
increase
in x
x
Fig. 95 The slope of a straight line.
Perpendicular lines
The whole idea of slope is especially useful if two lines are
perpendicular, because the product of their slopes is then –1.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
b
Q Q′
b a
P
a
P′
(a) (b)
Fig. 96 Perpendicular lines.
D = ( x2 - x1 )2 + ( y2 - y1 )2 ,
simply because of the right-angled triangle in Fig. 97.
And determining distances by using coordinates in this way is
one of the most common ‘practical’ applications of Pythagoras’
theorem.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
(x2, y2)
D y2 – y1
(x1, y1) x2 – x1
Fig. 97 Using Pythagoras’ theorem to find the
distance D between two points.
x2 + y2 = 1 P
(x, y)
A O B
(–1, 0) (1, 0)
Fig. 98 Proving Thales’ theorem.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
y-0 y
slope of AP = =
x - ( -1) x + 1
0- y y
slope of PB = =
1- x x -1
y2
and form the product, which is .
( x 2 - 1)
17
P
y
x
Fig. 99 Finding the slope of a
curve.
y
6
y = x2
4
slope = 2x
x
–3 –2 –1 0 1 2 3
Calculus
The whole procedure of obtaining the slope of a curve from
its equation is called differentiation, and this is the first key idea
in calculus.
The subject came fully to life in the second half of the
seventeenth century, largely through the work of Isaac
Newton, in England, and Gottfried Leibniz, in Germany
(Fig. 102).
One major application is to problems where we are trying
to find the maximum or minimum value of some quantity of
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
(a) (b)
Fig. 102 (a) Isaac Newton (1642–1727). (b) Gottfried Leibniz
(1646–1716).
slope = 0
y
+ –
x
Fig. 103 Using slope to find a maximum value.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
y A
slope = y
x x
(a) (b)
Fig. 104 The fundamental theorem of calculus.
18
And he adds
d R
a2 + b2 + c2 + d2 = 4R2
a b
c
More curiously still, some 200 years later, in the 1960s, this
result was coupled with some elementary calculus to produce
the so-called pizza theorem (Fig. 111).
19
Unexpected Meetings
The way these altitudes all meet at a single point has always
struck me as a bit peculiar. (It even happens if the triangle
ABC has one angle greater than 90°—though the meeting
point is then outside the triangle.)
And the history of this result is a little odd, too. It appears
to be classical, but is not in Euclid’s Elements, and the most
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
A B
Fig. 113 The perpendicular bisectors.
To see why, imagine, if you will, all the circles that pass
through A and B. Only one of them will pass through the
third corner C, giving the triangle ABC a unique circumcircle,
with centre O.
The sides of the triangle are chords of this circle, and it is
intuitively clear, I think, by symmetry, that their perpendicu-
lar bisectors will all pass through the centre O, and therefore
meet at a single point.
A more formal proof is possible, using congruent triangles
(see Notes, p. 252). And the meeting point is, once again, out-
side the triangle if one of its angles is greater than 90°.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
The altitudes
To prove that the altitudes of a triangle ABC meet at a single
point, Gauss introduces what appears, at first sight, to be a
rather mind-boggling construction. He draws a line through
each corner parallel to the opposite side, so as to embed the
original triangle ABC in a larger one, DEF (Fig. 114).
C D
E
A B
The angle-bisectors
The three angle-bisectors of a triangle meet at a single point I,
called the incentre (Fig. 115).
I
Fig. 115 The incentre of a
B C triangle.
The medians
Take any old triangle, and draw a line from each corner to the
mid-point of the opposite side.
Then these ‘medians’ also meet at a single point G, called
the centroid (Fig. 116).
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
G
A B Fig. 116 The medians of a triangle.
E D
G Fig. 117 Proof that the medians
A B meet at a point.
AG = 2 ´ DG and BG = 2 ´ EG.
H
(a) Euler Line
G
O
H
(c) Nine-Point Circle
20
Ceva’s Theorem
This theorem has a very classical feel to it, but was in fact only
discovered in 1678.
It concerns what happens when we join each corner of a
triangle to some point on the opposite side (Fig. 119).
Each such point divides its side in a certain ratio, and the
theorem itself says that if the three lines meet at a single point
P, then the product of those three ratios must be 1.
And to prove it we need just one very simple idea.
The triangles A and B in Fig. 120 have the same height, and
as the area of a triangle is ‘ 1 base ´ height ’, their areas must
2
therefore be in proportion to their bases.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
Area A a
=
A B Area B b
a b
Y
Z
P
so
BX Area ABP
= .
XC Area ACP
Z Y
P
b
c
A
a a
Y
Z
c
b I
B b X c C
d D
md = MD
m M
Fig. 125 Archimedes’ law of the lever. (The rod joining the two
masses is assumed to be weightless.)
mA
c1 b2
P
c2 b1
Fig. 126 ‘Mechanical’ proof
mB a1 a2 mC of Ceva’s theorem.
m e f u t h e r
So
s l i ce s o f
1674 Leibniz uses calculus to show that
p
π≠ where p and q are
q whole numbers
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
21
A Kind of Symmetry
A K I N D OF S Y M M E T RY 139
INCIRCLE
2Δ
r r=
a+b+c
CIRCUMCIRCLE
R
abc
R=
4Δ
140 A K I N D OF S Y M M E T RY
Fig. 129 The diagram for Newton’s proof, from his Geometria
curvilinea and Fluxions, Ms Add. 3963, p54r.
A K I N D OF S Y M M E T RY 141
142 A K I N D OF S Y M M E T RY
Take two circles, and draw tangents to each from the centre
of the other (Fig. 131). Then the two straight lines AB and
A′ B′ are always equal in length, regardless of the relative size of
the two circles.
B B′
O O′
A A′
A K I N D OF S Y M M E T RY 143
x = (1 - l )x1 + lx 2
y = (1 - l ) y1 + ly 2 ,
P2
P
(x3, y3)
G (x2, y2)
144 A K I N D OF S Y M M E T RY
22
‘Pyracy’ in Woolwich?
For Simpson (Fig. 135) this was, perhaps, just one more
upset in a somewhat turbulent life. For while he eventually
became a Fellow of the Royal Society, he had little formal
education, and taught himself basic mathematics from a
book that he acquired from a fortune-teller. He also married
a widow almost old enough to be his grandmother, who (so it
is said) treated him so badly in later life that he was driven to
‘guzzle porter and gin in low company’.
B
C
(a) (b)
Fig. 137 A minimization problem, from Thomas Simpson’s
Elements of Plane Geometry (1747).
D
D
E
E
C C 90°
A B A B
23
Fermat’s Problem
B C
Torricelli’s approach
His main argument can be loosely paraphrased as follows.
Let P be the desired minimizing point, or Fermat point, in
Fig. 143, and draw the ellipse with foci B and C which passes
through P.
Imagine, now, moving round the ellipse. As the sum of the
distances from B and C will be constant (by the property
shown in Fig. 89), and P minimizes PA + PB + PC, it follows
that P must be the point on the ellipse that is nearest to A.
B C
Fig. 144 Cavalieri seeking the Fermat point of triangle ACF, in his
Exercitationes Geometricae Sex of 1647.
Viviani’s approach
This elegant solution to the Fermat problem uses an elemen-
tary theorem due to Viviani himself.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
Viviani’s theorem
h2
h3
P
h1
And the proof is very simple: just join P to the three cor-
ners, dividing the triangle into three smaller ones. Then if
the original triangle has side L and height H we have, from
areas,
1 1
(h1 + h2 + h3 )L = HL ,
2 2
which proves the theorem and shows that the constant
value of h1 + h2 + h3 is, in fact, the height H of the equilateral
triangle.
This gives us what we need, then, for an entirely different
attack on the Fermat problem.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
In Fig. 146, let PA, PB, and PC make equal angles of 120° with
each other. We want to show that this minimizes the sum
PA + PB + PC .
To do this, draw in the dashed lines perpendicular to PA, PB,
PC. As the angles of any quadrilateral add up to 360°, the
angles of the triangle DEF must all be 60°, so that triangle
must therefore be equilateral.
F
A
E
P
B C
A E E
F F A
P P
B
C B
C
D D
(a) (b)
Fig. 149 Constructing the Fermat point.
A ‘proof by rotation’
I would like to end this chapter with a particularly elegant
solution to the Fermat problem.
We begin by choosing any point P inside the triangle ABC,
and rotate the triangle PAB about B through 60° (Fig. 150).
A′
P′
P
B C
Fig. 150 Solving Fermat’s problem ‘by rotation’.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
24
A Soap Solution
(a) 3 (b) 3
A B
30°
1
—
2
60°
R S
P Q
1 + 3 = 2.732¼
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
(a)
(b)
Fig. 154 Two different soap film ‘solutions’ to the same problem.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
25
don’t go all the way round, and (c) the whole problem is cast
in verse so appalling that it is, I believe, best forgotten.
Fig. 160 Betty Claxton’s solution. Here a:b::c:d means a/b = c/d.
A penny-farthing problem
This problem, from the 1800 issue, is about proving the for-
mula for the distance D (Fig. 161).
D = 2√ab
a
b
I realize that you are a very busy man, but you are the only
person we know of who could supply us with the answer . . .
a remark which did not go down at all well with the principal
of Johanna’s school, especially when the whole story was
splashed all over The New York Times and countless other
newspapers around the world.
Curiously, Einstein’s reply (Fig. 162) doesn’t have the two
circles touching, and gives, in effect, only a general ‘hint’ on
how to solve the problem.
A tricky problem
In truth, many of the questions in The Ladies’ Diary were more
difficult than the ones I have chosen so far.
r
Fig. 163 A tricky
problem from The Ladies
Diary (1730).
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
r = ab + bc + ca .
* * *
U C L I D 1 8 4 7
E
26
W H AT E UC L I D DI D 181
ab b2
(a + b)2 = a2 + 2ab + b2
a2 ab
Fig. 165 Geometric
a b algebra.
Book III is about circle geometry, and the early parts of our
Chapter 11 follow Euclid’s treatment fairly closely.
Euclid deals with similar triangles very late on, in Book VI,
the reason being that the whole subject is full of ratios of
lengths, and these can all too easily be irrational (Fig. 166).
√2
1
182 W H AT E UC L I D DI D
dodecahedron icosahedron
Fig. 167 The Platonic solids. In each one, all the faces are identical
regular polygons.
Euclid’s postulates
Euclid tries to state all his assumptions at the very outset.
He also tries to use as few as possible, and just five assump-
tions—variously called ‘postulates’ or ‘axioms’—relate spe-
cifically to geometry.
The first three are about constructions (Fig. 168), which
Euclid often uses to establish the existence of certain geo-
metrical concepts that we might, more casually, take for
granted.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
W H AT E UC L I D DI D 183
184 W H AT E UC L I D DI D
W H AT E UC L I D DI D 185
186 W H AT E UC L I D DI D
C
st
A B
W H AT E UC L I D DI D 187
Fig. 173 Euclid’s proof that the base angles of an isosceles triangle
are equal, from Barrow’s edition.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
188 W H AT E UC L I D DI D
27
190 E UC L I D ON PA R A L L E L L I N E S
left will be less than 180°, and by the postulate itself the two
lines will then meet somewhere on the left.
So, according to Euclid’s parallel postulate, the only way
the two lines can be parallel is if a + b = 180°.
Or, to put it slightly differently, if L and L′ are parallel, then
a + b = 180°. And if we appeal again to 180° in a straight line,
it follows that
If two lines are parallel, alternate angles are equal (Fig. 176).
Book I, Proposition 27
This proposition, indicated schematically in Fig. 177, is as
follows:
If alternate angles are equal, the two lines are parallel.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
E UC L I D ON PA R A L L E L L I N E S 191
B F
b b
D
a c
A C E
(a) (b)
(c)
Fig. 178 Diagrams for Euclid I.16 and I.27.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
192 E UC L I D ON PA R A L L E L L I N E S
E UC L I D ON PA R A L L E L L I N E S 193
Similar triangles
We saw in Chapter 8 how ideas of similarity are related to
those of area, but they are bound up with ideas of parallelism
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
194 E UC L I D ON PA R A L L E L L I N E S
The two triangles ABC and ADE are then similar, and
Euclid establishes that DB/AD = EC/AE as follows.
First, by the area-ratio theorem of Chapter 20:
DB AreaDBE
=
AD AreaADE
and
EC AreaECD
= .
AE AreaADE
Finally,
AreaDBE = AreaECD,
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
E UC L I D ON PA R A L L E L L I N E S 195
AB AC
= ,
AD AE
so that similar triangles have sides which are in the same proportion.
123 RU N N I NG H E A D
C T U R E ?
O F b y PI
PRO
One proof of Pythagoras’ theorem has
become quite popular as an animation . . .
a b
c d
R U N N I NG H E A D 123
If we extend HK and ON
to meet at L, triangles AKL
and BAC are congruent
(by SAS) and at right angles
to one another.
So LADF is a straight line,
LA=BC=DF, and everything
in the animation does fit!
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
28
(a) (b)
Fig. 182 (a) C. L. Dodgson (self-portrait) and (b) his alternative to
Euclid’s parallel postulate.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
‘a n e w t h eory of pa r a l l e l s ’ ? 199
But then the parallel postulate itself is a bit odd, not least
because it seems at first sight to be all about two lines not
being parallel.
Little wonder, then, that ever since Euclid’s time mathem-
aticians have looked around for alternatives.
And it eventually became clear that, given his other
assumptions, Euclid’s geometry can be developed perfectly
satisfactorily using various alternatives to the parallel postu-
late, including the assumption that
(i) the angle-sum of any triangle is 180°
or that
(ii) triangles can be similar without being congruent.
But the main alternative, still in frequent use today, is not
nearly so revolutionary.
In fact, it is only subtly different from the parallel postulate
itself . . .
Playfair’s postulate
In its usual modern form, this is:
Given a straight line L and a point P not on the line, there is one
and only one line through P parallel to L (Fig. 183).
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
200 ‘a n e w t h eory of pa r a l l e l s ’ ?
‘a n e w t h eory of pa r a l l e l s ’ ? 201
202 ‘a n e w t h eory of pa r a l l e l s ’ ?
‘a n e w t h eory of pa r a l l e l s ’ ? 203
A false proof . . .
b = 180° - a - d
a b
a c
c = 180° - a - d
and therefore b = c.
The trouble with this ‘proof’, of course, is that we have
used the fact that the angle-sum of a triangle is always 180°,
and all the proofs of this that we have seen so far depend on
the very thing that we are trying to prove.
. . . and another . . .
204 ‘a n e w t h eory of pa r a l l e l s ’ ?
c2 c3
Then, in Fig. 188,
c1 + c 2 = S - a
c3 + c 4 = S - b.
If we now add, we find on the left-hand side the angle-sum of
the large triangle, so S = 2S – a – b. But a + b = 180°, and therefore
S = 180°.
29
Anti-Euclid?
206 a n t i - e uc l i d?
And, partly in response to this, the year 1871 saw the foun-
dation of the Association for the Improvement of Geometrical
Teaching (Fig. 190), which later became the Mathematical
Association.
The A.I.G.T. was never exactly an ‘anti-Euclid’ body, but it
certainly challenged Euclid as the standard introduction to
geometry in schools.
This was greatly welcomed by some, but bitterly opposed
by others, including Charles Dodgson at Oxford. In Euclid and
his Modern Rivals (1879) he vigorously defended the status
quo, and lampooned the A.I.G.T. mercilessly as
a n t i - e uc l i d? 207
208 a n t i - e uc l i d?
a n t i - e uc l i d? 209
210 a n t i - e uc l i d?
And there is another feature, too, that makes his book dis-
tinctive. Just occasionally, in what are essentially short
‘asides’, he mentions entirely informal approaches that help
bring the subject to life.
a n t i - e uc l i d? 211
212 a n t i - e uc l i d?
30
Pi in the sky
Tucked into my copy of Heisel’s book is a typewritten covering
letter, signed by Heisel himself, and dated 6 April 1934 (Fig. 195).
In it, he claims to prove that the exact value of π is
256
= 3.160¼,
81
The real trouble, for both Smith and Heisel, was that the
Swiss mathematician Johann Lambert had proved as early as
1761 that π is irrational, so cannot be written exactly as the
ratio of any two whole numbers, let alone 25/8 or 256/81.
(a) (b)
Fig. 197 (a) From The Indianapolis News, Sat. 13 Feb, 1897.
(b) Professor Clarence Waldo, whose intervention stopped the
bill from becoming law.
The ‘proof’
The mistake
B C
D
Malfatti’s problem
In 1803, as part of a wider investigation, the Italian mathem-
atician Gianfrancesco Malfatti considered the question
π√3
= 0.729
(1+√3)2
11 π
= 0.739
27√3
31
Dandelin spheres
In 1822, for instance, the Belgian engineer G. P. Dandelin dis-
covered a novel way of relating the two views of an ellipse,
namely as (a) a cross-section of a cone or (b) a curve for which
PA + PB is constant (Fig. 203).
A B
His idea was to introduce two spheres into the problem, one
above the plane that slices through the cone, and one below
(Fig. 204).
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
The sphere above the plane touches the cone along a hori-
zontal circle (shown) and is just big enough to touch the
plane at A. Similarly, the sphere below touches the cone along
another horizontal circle (shown) and touches the plane at B.
Note that once we have made our particular slice, and got
our particular closed curve, the two Dandelin spheres are
fixed in position and size.
Our aim now is to prove that as a point P moves around
the curve, PA + PB remains constant.
To do this, join P to the top of the cone by a straight line,
and let that meet the two horizontal circles at A′ and B′.
Now comes the final, beautiful step . . .
As PA and PA′ are both tangent to the upper sphere, from
the same external point P, they are equal. Similarly, PB and
PB´ are equal, because both are tangent to the lower sphere.
So PA + PB = PA′ + PB′.
A′
B P
B′
Take any old triangle ABC. Let A′ be any point on the side
opposite A, and choose points B′ and C′ similarly.
Then the circles AB′C′, BC′A′, and CA′ B′ meet at a common
point (Fig. 205).
C
A′
B′
Common chords
Non-periodic tiling
The year 1974 also saw the Golden Ratio
1+ 5
f=
2
make a remarkable reappearance in geometry through Roger
Penrose’s famous non-periodic tiling of the plane.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
ϕ ϕ ϕ ϕ
1
ϕ
1
1
1 1
‘KITE’ ‘DART’
Up-and-over geometry
Even Thales’ theorem has had something of a makeover in
recent years, and in a most unlikely context: the mechanism
for operating a typical ‘up and over’ garage door (Fig. 209).
P B P B
O
A
O
garage garage
32
And Finally . . .
232 a n d f i na l ly . . .
æ 4A ö
Angle - sum = 180° ç 1 + ÷,
è S ø
a n d f i na l ly . . . 233
Non-Euclidean geometry
234 a n d f i na l ly . . .
But Bolyai persisted, and we now know that there are self-
consistent geometries with infinitely many lines through a
given point parallel to a given line, and triangles with angle-
sums which are always less than 180°.
And some years later, Riemann showed that there is a
geometry, too, with no lines through a given point parallel to
a given line, and triangles with angle-sums which are always
greater than 180°.
A further weird feature of both geometries is that there are
no similar triangles that are not congruent. This is because—as in
the case of spherical geometry—the angle-sum depends on
the size of the triangle.
Projective geometry
a n d f i na l ly . . . 235
B′ C′
A′
P
Q
R
A
B C Fig. 212 Pappus’ theorem.
Topology
236 a n d f i na l ly . . .
(d) (e)
Fig. 213 Topology.
(a) (b)
Fig. 214 (a) A Möbius band. (b) A normal, untwisted band.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
a n d f i na l ly . . . 237
Fractal geometry
238 a n d f i na l ly . . .
DISSECT
AND
REASSEMBLE
* * *
In short, there are whole new worlds of geometry out
there, each with its own fresh surprises.
And in my experience, at least, the best surprises in geom-
etry tend to stay with you, throughout life—a little bit like old
friends.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
a n d f i na l ly . . . 239
Notes
242 not e s
D
E
F
Q R
A P B
G
Fig. 217 Ann Condit’s proof.
AreaDPC+AreaFPC= 21 PC.(DE+EF)
= 21 PC.DF
not e s 243
Isosceles triangles
An alternative proof of the converse of the isosceles triangle theorem,
avoiding contradiction, goes as follows.
In Fig. 218, draw the angle-bisector AD.
244 not e s
b a
R
h
h 2 + ( r + s )2 + h 2 + ( r - s )2 = 4 r 2 ,
PT PQ
= ,
PR PT
whence the result.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
not e s 245
( R + h )2 = D2 + R 2 ,
246 not e s
sinA sinB
sinA cosB
sin
A
B
1
sA
co cosA sinB
A
B
cosA cosB
Fig. 222 Finding sin( A + B ) and cos( A + B ) .
Two important special cases of the results in the Note for Chapter 13
are the double-angle formulae:
sin 2 A = 2 sin A cos A
cos 2 A = cos2 A - sin2 A .
In view of Pythagoras’ theorem (cos2 A + sin2 A = 1), the second
of these is equivalent to
cos 2 A = 2 cos2 A - 1.
not e s 247
C
5 B
5
3
A 8 5
8
8 × 8 = 64 13 × 5 = 65
Fig. 223 A paradox . . .
5 8
5 5
3
8 5
Fig. 224 . . . and its resolution.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
248 not e s
increase in y
= 2 x + h.
increase in x
Q
y P y = x2
not e s 249
PF = PD
in Fig. 226.
To prove this, the distance formula in Fig. 97, p. 104, gives
PF2 = x 2 + ( y - 41 )2 and PD = ( y + 41 ) , and these turn out to be equal,
2 2
because y = x2.
T R
y
P (x,y)
F
¼ Q
x
¼
directrix D
Fig. 226 Geometry of the parabola.
250 not e s
ÐFPQ = ÐTPR,
A y
x
Fig. 227 A small increase in area.
not e s 251
And that is, essentially, why the slope of the curve in Fig. 104b,
p. 112, is y.
E C
D
R
d
A a b B
c
( a + b )2 + ( d - c )2 = ( 2 R )2 .
252 not e s
E D
O
The angle-bisectors
In Fig. 230, let the angle-bisectors from B and C meet at I. Draw ID,
IE, IF perpendicular to the sides.
F
E
I
not e s 253
Then triangles IDB and IFB are congruent (by angle-sum + ASA).
So IF = ID.
Similarly, IE = ID.
So IF = IE, and triangles IFA and IEA are therefore congruent
(by Pythagoras + SSS).
So ÐIAF = ÐIAE, and IA is therefore the bisector of angle BAC.
H
O G
A C′ B
Fig. 231 The Euler line.
254 not e s
D
H
ab b
a
A B
F
Fig. 232 The pedal triangle.
Finally the angles ÐCAD and ÐCBE are equal, because they are
both 90° - ÐACB.
So a = b, and the altitude CF therefore bisects ÐEFD. The same
argument then applies to the other two altitudes.
not e s 255
B1 C3
A1
B2
A2
H
A3
B3
A C2 C1 B
Fig. 233 The nine-point circle.
Menelaus’ theorem
This concerns a triangle ABC which has its sides cut by a straight
line, as in Fig. 234.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
256 not e s
C
b1 a2 a1 b1 c1
— . — . — =1
a2 b2 c2
b2
a1
A B c2
c1
c1 b2
e
c2 b1
d
a1 a2 Fig. 235 Proving Ceva’s theorem.
and
d b2 ( a1 + a 2 )
× × = 1,
e b1 a1
not e s 257
Area = 1 ab sin C
2
c 2 = a 2 + b2 - 2ab cos C
(see Fig. 236a).
b c b c
b sinC
C C
a a–b cosC
(a) (b)
Fig. 236 Triangle trigonometry.
The first of these is really just ‘ 1 base ´ height ’, while the second
2
comes from applying Pythagoras’ theorem to the right-angled
triangle in Fig. 236b with hypotenuse c.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
258 not e s
1 1 1
a b Δ = — ar + — br + — cr
2 2 2
r
c
Fig. 237 Finding the radius of the incircle.
θ
b 1
a Δ = — ab sinθ
2
R θθ Rsinθ = —
c
2 Fig. 238 Finding the radius of
c
the circumcircle.
not e s 259
rr ¢
QB = ,
D
T
B
r′
r
O O′
Q
A
S
P2
P1P P1D
P λ= =
P1P2 P1E
P1
D E
Fig. 240 A point on a line.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
260 not e s
Much more about the geometry of soap films can be found in The
Science of Soap Films and Soap Bubbles by C. Isenberg (Dover
Publications, 1992).
A penny-farthing problem
Pythagoras applied to a certain right-angled triangle gives
( a + b )2 = ( a - b )2 + D2 ,
a
a–b b
A tricky problem
The first solution to this problem appeared in 1731 and can be
found on p. 336 of vol. 1 of Hutton’s The Diarian Miscellany (1775). It
makes an appeal to a ‘curious theorem’ by Ozanam, and entirely
misses the neat, symmetric form of the final answer.
A second solution appears on p. 187 of vol. 1 of Thomas
Leybourn’s The Mathematical Questions Proposed in the Ladies’ Diary
(1817). The neat, symmetric form of the answer is given, together
with a generalization of the original problem, but it appeals to
some sophisticated theorems from advanced trigonometry.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
not e s 261
R–r
sin θ =
R+r
2√Rr
cos θ = r R
R+r θ
but even that leads to some fairly tedious algebra before a quadratic
equation for R emerges, and the neat, symmetric form of the
answer:
R = ab + bc + ca .
SSS congruence
Euclid’s proof of SSS congruence, Prop. I.8, is based on the idea that
SSS is enough to define a triangle uniquely, proved in Prop. I.7, and the
proof of that is based on Fig 243, where he assumes (for contradiction)
that the ‘third’ point could be in two different places, C and C′.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
262 not e s
C
C′
ASA congruence
His proof of ASA congruence is again by contradiction, and in
much the same spirit as his proof of the converse of the isosceles
triangle theorem in Fig. 55, p. 63.
C
C′
D
A B A′ B′
Fig. 244 Euclid’s proof of ASA congruence.
not e s 263
For more about the 1897 episode in Indiana, see David Singmaster’s
article ‘The Legal Values of Pi’ in Pi: A Source Book, edited by
L. Berggren, J. Borwein, and P. Borwein, pp. 236–9 (Springer, 1997).
That book includes, not surprisingly, much more about π, includ-
ing (i) an extensive chronology (pp. 288–305), (ii) Lambert’s 1761
paper proving irrationality (pp. 129–40), and (iii) Lindemann’s
paper proving that π is transcendental (pp. 194–206).
A
a C′
P
b B
B′ c
A′
C
Fig. 245 Proving Miquel’s theorem.
OUP CORRECTED PROOF – FINAL, 30/07/20, SPi
264 not e s
Common chords
In Fig. 246, let two of the common chords, AB and CD, meet at P.
Extend EP to meet circle 1 at F′ and circle 3 at F′′.
Now apply the intersecting chords theorem (Fig. 64, p. 72) three
times, to circles 1, 2, and 3 in turn:
So PF¢ = PF¢¢, and therefore both F′ and F′′ must, in fact, be the
point F.
So P lies on the chord EF.
A 3
2
E
D
P
C
F′
B F′′
F
1
Fig. 246 Common chords.
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
Further Reading
general
euclid’s elements
266 f u rt h e r r e a di ng
textbooks of geometry
When I was first learning the subject, many years ago, my principal
books were Teach Yourself Geometry, by. P. Abbott (English Universities
Press, 1948) and Elementary Geometry, by C. V. Durell (Bell, 1925).
The second part of Abbott’s book is especially concise, and an
excellent modern textbook in a similar spirit, but with many valu-
able exercises, is Crossing the Bridge, by Gerry Leversha (UK Mathematics
Trust, 2008). A more expansive treatment can be found in Geometry,
by Harold Jacobs (Freeman, 2003).
At a more advanced level—and especially if you enjoyed the
‘unexpected meetings’ of Chapter 19—I recommend:
The Geometry of the Triangle, by Gerry Leversha (UK Mathematics
Trust, 2013) as well as Clark Kimberling’s famous website
Encyclopedia of Triangle Centers at http://Faculty.evansville.edu/ck6/
encyclopedia/ETC.html.
For looking ahead further still, towards university-level differen-
tial geometry, I recommend:
Elementary Geometry, by John Roe (Oxford University Press, 1993).
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
f u rt h e r r e a di ng 267
and finally . . .
Five very different ways of looking far beyond the geometry in most
of this book:
Things to Make and Do in the Fourth Dimension, by Matt Parker
(Particular Books, 2014).
Gems of Geometry, by John Barnes (Springer, 2009).
Mathematics: The Science of Patterns, by Keith Devlin (Scientific
American Library, 1994).
Topology: A Very Short Introduction, by Richard Earl (Oxford
University Press, 2019).
Ideas of Space, by Jeremy Gray (Clarendon Press, Oxford, 1989).
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
OUP CORRECTED PROOF – FINAL, 31/07/20, SPi
Acknowledgements
Publisher’s Acknowledgements
Picture Credits
2. ScienceCartoonsPlus.com
11. AF Fotografie / Alamy Stock Photo
12. The Bodleian Libraries, The University of Oxford,
MS.D’Orville 301, Fols.21v-22r
20. INTERFOTO / Alamy Stock Photo
25. E.F. Smith Collection, Kislak Center for Special
Collections, Rare Books and Manuscripts, University
of Pennsylvania
26b. Yale Babylonian Collection, YBC 7289
27. Granger Historical Picture Archive / Alamy Stock
Photo
33. akg-images / Pictures From History
34. Felix Bennett
43. Northcliffe Collection/ANL/Shutterstock
72. Z J Levensteins, Naval Ordnance Laboratory
85 (left). GL Archive / Alamy Stock Photo
89. From van Schooten, Exercitationum Mathematicorum
(1657)
93. Cambridge University Library
102a. GL Archive / Alamy Stock Photo
107 (right). The Picture Art Collection / Alamy Stock Photo
129. Sir Isaac Newton, Geometria curvilinea and Fluxions,
MS Add. 3963, p 54r Reproduced by kind permission
of the Syndics of Cambridge University Library
134. Image by George Rex
142 (right). Pictorial Press Ltd / Alamy Stock Photo
143 (right). Pictorial Press Ltd / Alamy Stock Photo
OUP CORRECTED PROOF – FINAL, 14/08/20, SPi
272 Pic t u r e C r e di ts
Index
274 i n de x
i n de x 275
276 i n de x
i n de x 277
278 i n de x
i n de x 279
-
David Acheson