Math History Log
Math History Log
Math History Log
Log of a course
David Pierce
David Pierce
C
CC BY: $
\
Mathematics Department
Middle East Technical University
Ankara Turkey
http://metu.edu.tr/~dpierce/
[email protected]
Contents
Prolegomena
What is here . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Apology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Possibilities for the future . . . . . . . . . . . . . . . . . . . . .
I. Fall semester
. Euclid
.. Sunday, October . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, October . . . . . . . . . . . . . . . . . . . . .
.. Friday, October . . . . . . . . . . . . . . . . . . . . . . .
.. Saturday, October . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, October . . . . . . . . . . . . . . . . . . . . .
.. Friday, October . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, October . . . . . . . . . . . . . . . . . . . .
.. Saturday, October . . . . . . . . . . . . . . . . . . . . .
.. Wednesday, October . . . . . . . . . . . . . . . . . . .
.. Friday, November . . . . . . . . . . . . . . . . . . . . . .
.. Friday, November . . . . . . . . . . . . . . . . . . . . .
.. Wednesday, November . . . . . . . . . . . . . . . . . .
.. Friday, November . . . . . . . . . . . . . . . . . . . . .
.. Friday, November . . . . . . . . . . . . . . . . . . . . .
.. Saturday, November . . . . . . . . . . . . . . . . . . . .
.. Friday, December . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, December . . . . . . . . . . . . . . . . . . . .
.. Friday, January . . . . . . . . . . . . . . . . . . . . . . .
. Cardano
.. Thursday, March . . . . . . . . . . . . . . . . . . . . . .
.. Excursus . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, March , again . . . . . . . . . . . . . . . . . .
.. Excursus, continued . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, March . . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, March . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, March . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, March . . . . . . . . . . . . . . . . . . . . .
. Newton
.. Thursday, April . . . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, April . . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, April . . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, April . . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, April . . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, April . . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, April . . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, May . . . . . . . . . . . . . . . . . . . . . . . .
Contents
.. Thursday, May . . . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, May . . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, May . . . . . . . . . . . . . . . . . . . . . .
.. Tuesday, May . . . . . . . . . . . . . . . . . . . . . . .
.. Thursday, May . . . . . . . . . . . . . . . . . . . . . .
A. Examinations
A.. Friday, November . . . . . . . . . . . . . . . . . . . . . .
A.. Make-up exam . . . . . . . . . . . . . . . . . . . . . . . .
A.. Tuesday, January . . . . . . . . . . . . . . . . . . . . .
A.. Tuesday, March . . . . . . . . . . . . . . . . . . . . . .
A.. Tuesday, May . . . . . . . . . . . . . . . . . . . . . . .
A.. Saturday, June . . . . . . . . . . . . . . . . . . . . . .
Bibliography
Contents
List of Figures
A.. Analysis of a square . . . . . . . . . . . . . . . . . . . . .
A..Circle and parabola . . . . . . . . . . . . . . . . . . . . . .
A..Concentric circle and ellipse . . . . . . . . . . . . . . . . .
A..Parabola and tangent . . . . . . . . . . . . . . . . . . . .
A..Intersecting parabola and hyperbola . . . . . . . . . . . .
A..Diameters of ellipses . . . . . . . . . . . . . . . . . . . . .
List of Figures
Prolegomena
What is here
This book is a record of a course in the history of mathematics, held at
METU during the / academic year. Officially the course was
() Math , History of Mathematical Concepts I, in the fall semester;
() Math , History of Mathematical Concepts II, in the spring.
There were about twenty students in each semester; but only four stu-
dents took both semesters. The two semesters correspond to the two
numbered parts of this book. According to the catalogue, the course
content is thus:
[Math :] Mathematics in Egypt and Mesopotamia, Ionia and
Pythagoreans, paradoxes of Zeno and the heroic age. Mathematical
works of Plato, Aristotle, Euclid of Alexandria, Archimedes, Apollo-
nius and Diophantus. Mathematics in China and India. [Math :]
Mathematics of the Renaissance, Islamic contributions. Solution of
the cubic equation and consequences. Invention of logarithms. Time
of Fermat and Descartes. Development of the limit concept. Newton
and Leibniz. The age of Euler. Contributions of Gauss and Cauchy.
Non-Euclidean geometries. The arithmetization of analysis. The rise
of abstract algebra. Aspects of the twentieth century.
heads in this part are the original dates of composition of these emails;
but I have done some editing and added some diagrams (though not yet
as many as might be added for the convenience of the reader).
In the spring semester, the conversion of emails into LATEX (so that they
could be incorporated in a book such as this one) became too tedious;
also I wanted to use diagrams immediately; so I started composing my
notes directly in LATEX. In Part II of this book, section titles are simply
dates of classes.
Whether the course was a success might be judged from student com-
ments, which I invited on the final exams; these are in Appendix B.
On the other hand, students are not necessarily the best judges of their
own progress. It is also the case that one of the best and most enthusiastic
students, Mehmet D., did not write me any comments; below I shall
mention some of what he told me face to face. Meanwhile, I judge the
course to have been successful, at least insofar as it taught students that
they could read some of the great works of mathematics. As can be seen
from their comments, some of the students wished I had just told them
what was in those books. If the course had been simply a mathematics
course, I could have done that. But the course was a history course,
and the whole point of history is to understand what people in the past
have thought. In saying this (and I shall say more about it below), I am
following the Oxford philosopher R.G. Collingwood (–), some of
whose remarks on history are in Appendix C.
Appendix F gives the Greek alphabet (many Greek words are quoted
in the main text).
What is here
Apology
If I were to teach Math – again (which I should like to do), then
I should certainly make some changes. But the practice of reading and
presenting original sources, especially older ones, ought to be maintained,
for reasons including the following.
Scientific history
Studying history does not mean learning to express opinions about what
people of the past thought; it is learning what they thought. In saying
this, I have in mind the distinction between opinion and knowledge ex-
pressed by the character of Socrates in Plato’s Republic [, II, p. ;
C]:
Have you not observed that opinions (δόξαι) divorced from knowledge
(επιστήμη) are ugly things?∗
A teacher can tell students what he believes Euclid thought, and the
students can learn to repeat these teachings; but the teachings are only
opinions for the students, if not for the teacher, unless the students test
the opinions against what Euclid actually wrote.
A teacher’s lectures on math history may be useful for students’ math-
ematics. In A Comprehensive Introduction to Differential Geometry [,
p. vi], Spivak writes,
Of course, I do not think that one should follow all the intricacies of
the historical process, with its inevitable duplications and false leads.
What is intended, rather, is a presentation of the subject along the
lines which its development might have followed; as Bernard Morin said
to me, there is no reason, in mathematics any more than in biology,
why ontogeny must recapitulate phylogeny. When modern terminology
finally is introduced, it should be as an outgrowth of this (mythical)
historical development.
Prolegomena
story is not designed to share all of that knowledge. For the listener or
reader then, the story—the myth—can only be a kind of opinion, in the
sense of Plato. It is no longer history.
In The Principles of History [, pp. f.], Collingwood derides what
he calls ‘scissors-and-paste’ history:
There is a kind of history which depends altogether upon the testimony
of authorities. . . it is not really history at all, but we have no other
name for it. . . History constructed by excerpting and combining the
testimonies of different authorities I call scissors-and-paste history.
By contrast, the scientific historian will pay attention to the latest re-
search [, p.]:
. . . whereas the books mentioned in a bibliography for use of a scissors-
and-paste historian will be, roughly speaking, valuable in direct pro-
portion to their antiquity, those mentioned in a bibliography for the
use of a scientific historian will be, roughly speaking, valuable in direct
proportion to their newness.
What this means for math history, I think, is that we must not treat
Euclid’s Elements, say, as the word of God or even the unaltered word
of Euclid. We may well pay attention to Russo’s argument in ‘The First
Few Definitions in the Elements’ [, ., pp. –] that the obscure
definition of straight line now found in the Elements is the work, not
of Euclid, but of a careless copyist. Still, there is little point in reading
Russo without reading the text associated with Euclid’s name.
Experience
Most of our students will not be professional mathematicians. The ex-
perience of making sense of a difficult text, getting up in front of an
audience, and talking about their understanding, will be more useful to
our students than any particular piece of mathematical knowledge. In-
deed, I think this is so, even for the students who will be mathematicians.
At any rate, as I said, my own undergraduate education consisted entirely
of this kind of learning. Any ability I have now as a teacher was nurtured
by this experience.
Tradition
Many people derive satisfaction from their membership in a group. The
group might be a political party, a nation, humanity, or the supporters
of a football team. If one is studying mathematics, I suppose the best
Apology
group to feel oneself a member of is the group of mathematicians, if not
just the group of thinkers. By actually reading Euclid and his successors,
we come to know that we are part of a tradition that dates back thou-
sands of years. This point is reinforced when we consider that much of
the mathematics that our undergraduates learn was created by mathe-
maticians who had read Euclid. Most of the course Elementary Number
Theory I (Math ) at METU, for example, can be found in Gauss’s
Disquisitiones Arithmeticae (), of which Wikipedia∗ says:
The logical structure of the Disquisitiones (theorem statement followed
by proof, followed by corollaries) set a standard for later texts.
, .
† The continuation of the sentence is, ‘but they are limited to the rudiments of the
up in the former Soviet Union. I don’t know if something in the Soviet tradition
should be credited. On page I quote a Soviet textbook that I used in high school.
Prolegomena
other, must intersect; this assumption is justified by no postulate. But
we have no reason to think that Euclid is trying to uncover all of his
‘hidden assumptions’. He is just writing down what is true.
One may say further the intersection of the circles in Euclid’s I. is
not a hidden assumption; the intersection is evident from the diagram.
Today we think nonetheless that the existence the point of intersection
should still be noted separately in words or symbols. Evidently Euclid
did not think the same way. (See pp. and below.)
Euclid also has no notion of ‘non-Euclidean’ geometry, so he has no
need to distinguish his geometry logically from any other. His postulates,
along with his demonstrations, serve as a sort of explanation of why his
propositions are true; but there is no reason to expect the postulates and
the demonstrations to provide a complete explanation,—if the notion of
completeness even makes sense in this context. Now, although he does not
seem to say so clearly, it may well be that Hilbert’s goal was a complete set
of axioms for geometry; but what could this have meant? Since Hilbert’s
Foundations, several different notions of logical completeness have been
defined. Hilbert in fact succeeded in writing down a categorical set of
axioms, in that any two geometries in which the axioms are true must be
isomorphic to one another. But we can hardly say that Euclid aimed to
do the same, if for him there was only one geometry.
At the beginning of ‘On teaching mathematics’ [], V.I. Arnold says:∗
(July , ), but the original source [] is not given there; I found it later.
Apology
ting Hardy’s warning that ugly mathematics has no permanent place
under the Sun).
could account for the dance of the planets in the sky. From Kepler, Newton understood
that the planets moved in ellipses about the sun; Newton sought a different kind of
account of this, namely a law of force.
† I didn’t much like the textbook, which was []. I wanted to read Euclid, and
Prolegomena
semester at METU, in Analytic Geometry (Math ). However, it is
difficult to understand the method’s power of proof.∗
Using analytic methods, how would we prove that the base angles of
an isosceles triangle are equal? Given such a triangle, we can set up
a rectangular coordinate system in which the vertices A, B, and C of
the triangle are respectively (0, a), (−b, 0), and (c, 0), where a, b, and
c are all positive (Fig. .). Then AB = AC if and only if a2 + b2 =
A (0, a)
b
(−b, 0) b c (c, 0)
b b
B C
∗ See §A. for an exam that required application of Descartes’s analytic geometry,
as well as Newton’s conception of quadrature. Most students performed very poorly
on this exam; later I discuss what to do about this.
Apology
Thrills
I just mentioned the power of Descartes’s analytic geometry. It is a thrill
to learn this geometry from Descartes himself. The thrill is worth sharing
with students; but it does not come cheap (comments on p. notwith-
standing). One needs to have read Descartes’s predecessors, and to have
read them faithfully—not translated into modern, symbolic, Cartesian
language. But textbooks like Boyer [] present the old work in just this
anachronistic way.
Discoveries
It may happen that new mathematics comes out of taking old mathemat-
ics seriously. I can only offer my own example: a paper about the logic
of vector spaces [], directly inspired by reading Euclid and Descartes.∗
Coverage
The wonderful new Princeton Companion to Mathematics [] contains
short biographies of mathematicians, in chronological order. The first
mathematicians listed are:
∗ The main algebraic result is that if we have a vector space of dimension greater
than n, then we can enlarge the scalar field so that the dimension of the space is
reduced to n, while every set of n vectors that are linearly independent over the original
scalar field remain independent over the new field. Logically then, model-theoretically,
the theory of n-dimensional vector spaces over algebraically closed fields is, in the
appropriate signature, model-complete. Casting all humility aside, I quote from the
anonymous referee of the paper: ‘The paper is well-written and very interesting. The
structures are indeed basic, yet I found several results which surprised me, and the
technical proficieny with which things are handled makes publishing the presentation
worth-while. For example realizing the geometric idea of Descartes, while taking care
to make all formulae existential, is an example of the added value of the paper. To
me personally even the fact that the scalar field can be recovered from the parallelism
predicate was new.’
Prolegomena
In my course, we read works of seven of the mathematicians on this list.
(There is no extant text by Pythagoras. In one class I lectured addition-
ally on Archimedes.) We also read two other mathematicians, namely
Thābit ibn Qurra and Omar Khayyám; but we could have dropped the
former, in line with the suggestion of Ali in §B.. It is indeed a shame not
to read any of the remaining mathematicians on the Princeton Com-
panion’s list. But there just isn’t time to read many more. One could
read the work of many mathematicians in a source book like Smith’s []
or Struik’s [], but I think the coverage would be too superficial to be
of much value.
If it is desired, then Newton’s contemporaries (such as Leibniz) and
successors can be studied in the courses that cover their work. About
courses I have taught at METU, I can say that Gauss can be read in Math
, while Set Theory (Math ) and Introduction to Mathematical
Logic and Model Theory (Math ) can make use of van Heijenoort’s
anthology []. It just does not seem fair to me to use a course like Math
– to teach students about mathematicians whose work they do not
have time to know.
If one wants a royal road to a view of the grand sweep of mathematical
history, one can read Struik’s Concise History of Mathematics. However,
one might be uneasy with the author’s materialistic approach. Struik
writes for example:
Apology
This explanation of the development of mathematics is perhaps correct;
but it is hardly complete. The development of mathematics is due, first of
all, to mathematicians (who may or may not be ‘university men’). They
may take their inspiration from various sources; but those sources do not
cause the mathematics to be created. This is a point worth making in a
course, and it is a point made by the practice of reading mathematicians.
Struik may not disagree. In the introduction of his history, he writes:
Prolegomena
that what I really must do is grade the students on their individual pre-
sentations. Mehmet is not a student who needs such a goad, but (if I
understand him) other students do need prodding by the threat of low
marks. In this case, I can only hope that what students first do for marks,
they may later do for their own satisfaction. As it was, I did tell students
that they got credit for attending class; I did not say that students would
be graded on the quality of their attendence and participation.
Also (suggests Mehmet), students should know many weeks in advance
what they will be presenting. This should be possible, now that I know
(from this very log) at what pace the course can proceed. Mehmet did
think the practice of reading original sources like Newton should be con-
tinued.∗
Classes proceeded more slowly than I expected, sometimes because stu-
dents had indeed not conscientiously prepared for them. If one wants to
cover more material, one can skip some propositions in class, while hold-
ing the students responsible for learning them independently. Students
might still work together, as Ece suggested; see §B.. Still, it should be
noted that, though at the beginning of Math I assigned presenta-
tions to pairs or triples of students, the students generally didn’t work
together.
The teacher could compromise his principles and make some presen-
tations himself. Indeed, as I noted above, I did this with Archimedes. I
did it too with Book V of the Elements, on proportion (see p. ), and I
should have done it more; here, understanding the mathematics is hard
enough, even if one is not trying to learn the mathematics straight from
Euclid. The final exam of Math showed that students had not gen-
erally learned Euclid’s definition of proportion (the one that must have
inspired Dedekind’s definition of the real numbers []).†
It was hard for the students not to have much sense of what would be
on exams. I didn’t have much sense myself, when I started the course.
Nonetheless, in the first semester, students generally impressed me by
their understanding on exams; but in the second semester, they disap-
pointed me. I was quite pleased with the problems I wrote on the last
∗ Mehmet took both semesters of Math – and is now [June ] going to
clid could have ‘anticipated’ Dedekind’s theory of irrational numbers. Euclid didn’t
anticipate Dedekind; he taught Dedekind, who read him in school.
D. P.
Ankara
July ,
(Minor editing, June , )
∗I have therefore asked the METU library to order some of these larger works.
Prolegomena
Part I.
Fall semester
. Euclid
In my other courses at METU, I have not required attendance. If
students want to study on their own, that has been fine; all that matters
is their performance on exams. But in a course where the whole point is
to read and discuss Euclid, this won’t do.
Students started registering for courses this semester on Wednesday,
September . On that day, my course was open to third-year students,
with a capacity of . In the afternoon, students had registered. Then
I sent out an email to all math students, warning them of the unusual
nature of the course. I threatened them with failure if they did not come
to class. The authorities had not limited course capacity as severely as I
had wanted, so I tried to scare away uninterested students. On Thursday,
the course was open to fourth-year students, and the capacity was raised
to . This capacity was reached, but now only of those students were
third-year. It seems I had driven off six students.
In the following week—last week—I met my class twice. On the first
day, Tuesday, students showed up. On the second day, Friday, only
showed up, though four of them had not come on Tuesday. So I have seen
a total of students, out of who had registered (plus three more who
couldn’t, but still wanted to come). This is probably typical. Students
don’t have to commit to courses till the coming week, ‘add-drop week’
(when I shall make sure that those three extra students can register, if
they still want to).
On Tuesday, the first day of class, at first I didn’t speak of definitions,
postulates, and common notions. I just proved Euclid’s Proposition I.
(to construct an equilateral triangle), and then I asked what we had
assumed in constructing the triangle. Thus we recognized a need for
Postulates and . One student observed what is famously missing from
Euclid: we need to know that the two circles in the construction intersect.
(I don’t hold this to be a flaw in Euclid. As I think I have learned from
Mr Thomas on the J-list, the flaw is to think that Euclid is trying to
present an axiomatic system as we understand such things today.)
We went on to prove and discuss Propositions I. and .
Unfortunately here in Ankara one cannot order textbooks and expect
students to buy them. One reason is that our department does not tell
us what we are teaching until it is too late to order books. Another
reason is that books are expensive, and as long as the library has a copy,
students will have it photocopied. As for Euclid, the library seems to
have lost some volumes of the Dover edition of Heath, and the library
. Euclid
we could read this instead of our regular textbook.
After geometry, I had a two-year course of calculus, where we proved
everything from the axioms for a complete ordered field (the so-called
real numbers). As I understood it, this was what mathematics was all
about.
Our students at METU are among the best in Turkey, and they have
learned to do some math problems that I haven’t a clue how to solve. But
apparently it’s hard to ask about proofs on a multiple-choice university
entrance exam. In any case, our students don’t seem to come to us with
much notion of proof. We have a first-year course that is supposed to instil
such a notion; but it is also supposed to teach about ‘linear orderings’
and ‘equivalence classes’ and various other modern abstract notions. I
have thought that students might be better served by a course of reading
Euclid.
The student Tolgay at the board, trying to prove I. with a circle,—
he can apparently think creatively, but if after two years of university
mathematics he can’t catch on to what Euclid is about, even just from
attending an hour or so of my class, then I think there may be something
wrong with our department’s program.
Maybe my criticism is premature. In any case, I suggested that Tolgay
was trying to use some propositions that were indeed correct, but that
we had not proved yet.
Another student [name forgotten] came forward and tried to prove I.
by drawing through A a straight line parallel to BC. I pointed out that
as yet we knew nothing about parallel lines.
Finally it appeared that somebody had read Euclid. Proposition was
presented faithfully by Ali, who on Tuesday had transferred the pdf file
of Fitzgerald’s Euclid from my flash drive to his.
I gave Pappus’s proof of I., which is much easier to write down than
Euclid’s, but perhaps harder to believe. (Triangles ABC and ACB are
equal in all respects, by I..) Students seemed to like this proof, including
Ali. I asked whether Euclid might have known the proof.
Proposition was also presented à la Euclid, this time by a young
woman who had dropped out of my set-theory class last semester because
her father was dying. I learned about the death after the course, when
Elif sent me an email thanking me for letting her pass anyway. I had
been quite lenient that semester, because of another student, who had
had to undergo treatment for leukemia. Elif wrote that she hoped to do
. Euclid
exam, and I said no. I said students should know the Greek alphabet.
Yunus asked where they could get the alphabet, and I repeated what I
had added to the webpage that day: They could get it from Wikipedia for
example, or they could download a page prepared by me. I had brought
a printout to class, so I gave it to Yunus.
It is tedious to read the last paragraph, but it was tedious to go through
this dialogue with Yunus in the first place. The system trains students
to ask such questions; and anyway I am going to have to assign letter
grades at the end of the semester.
By the time class was supposed to start, one other student had shown
up. She said many students were coming from another class, which was
then being held in a building far away, because of the ongoing renovations
in our department’s building. I asked about that other class, and then
I realized it was my own spouse’s class! Ayşe assured me later that she
had ended class on time. But you know, students don’t feel like rushing
from one class to another.
Soon more students came, and the presentations of propositions
started.
As I recall my own freshman math tutorial with Mr Kutler in An-
napolis, propositions were not preassigned to students. I don’t recall any
problem finding volunteers on the spot, although this may be because
people like me were prepared to volunteer if nobody else was. The year
before, when I visited a math tutorial as a prospective student, a volun-
teer was not forthcoming for Proposition N . The tutor then closed his
eyes and brought his pencil down on the list of students. The student so
picked asked nervously, ‘Could I do Proposition N +1 instead?’ I suppose
he knew he had to present something, and he couldn’t be prepared for
everything, so he prepared for that proposition.
I had hoped the class I am teaching now could be like the one I was a
student in, or at least like the one I was a prospective student in. But
as I suggested in my report on last Friday’s class, I gave up on that idea
pretty quickly. I took volunteers on Friday for the following Tuesday’s
propositions.
On Tuesday, therefore, the exchange-student Jeremy came forth with
I. all prepared. He started writing out the statement of the proposition,
in what seemed to be a direct quote. I worried that he was just going to
quote the proof as well, but he didn’t. I raised several questions, during
the proof and afterwards. ‘How do you know point E exists?’ ‘Why
(See Figure ..) But Euclid argues (in prose that one might rewrite as
A E
C B D
follows):
Why such length? I don’t know, unless, for Euclid, the sum of angles
CBA and ABD is not itself an angle, so it cannot be immediately iden-
tified with the sum of CBE and EBD.
Indeed, I have seen it said that one sign of Euclid’s greatness is his
not trying to treat angles as if they were the same sort of magnitudes as
. Euclid
straight lines. Today one might say that the sum of right angles CBE
and EBD is a ‘straight angle’, whose measurement is degrees. Then
‘obviously’ the sum of CBA and ABD is the same. But this is not
obvious for Euclid, and rightly so.
It is a failing that Heath does not comment on I., except for a remark
on translating one clause. I don’t know if this is Heath’s failing, or a
failing of other commentators whose work he reviews in his own notes.
Damla, Friday’s volunteer for I., did not show up for class on Tues-
day. Cihan stepped up to prove the proposition. In the proof by contra-
diction, he established
then he concluded
. Euclid
I had come to class with various things to say, but I could say them any
time. I let Ahmet be the first speaker, so he could have the experience
of seeing latecomers walk in while he talked (and so that they would see
that they were interrupting one of their classmates).
Ahmet and I are old friends: he took model theory with me last fall
and set theory last spring, and he used to ask challenging questions after
class. He is a double major in math and philosophy. He and another
undergraduate named Burak inspired me to offer a reading course this
semester, in addition to the two courses I am normally assigned. (We
intend to read together the late Paul Cohen’s book []—based on his
lectures at Harvard—on his proof of the independence of the Continuum
Hypothesis.)
Ahmet expressed the equality of two lines by writing
|AE| = |CE|.
Other students had used this notation before. I asked what the verti-
cal bars meant, and of course Ahmet said that they denoted taking the
lengths of the lines. If I understood his point, he said that we couldn’t
do the math unless we had the abstract notion of length. I observed that,
as far as I knew, Euclid didn’t refer to length as such; he just used ordi-
nary language, saying AE was equal to CE. Nobody, including myself,
recalled that, in Definition , a line is ‘breadthless length’. Now, there
is an argument (by Lucio Russo, in The Forgotten Revolution []) that
Euclid didn’t write this or any other definition of line, but in any case,
Definition says, not that a line has a length, but that a line is a length.
In the book recommended by Mr Thomas called The Shaping of De-
duction in Greek Mathematics [], Reviel Netz observes that the words
of Euclid and other ancient mathematicians do not completely determine
the diagrams. I assume now that the interested reader can look at the
diagram in Heath’s translation (now reproduced as Figure .). After
Ahmet had proved angle ACD greater than angle BAC, he observed
that, by the same construction, BCG is greater than ABC, while BCG
is equal to ACD by I.. I said it wasn’t necessary to repeat the construc-
tion, but nobody seemed to get the point until I spelled it out: since we
have proved ACD > BAC, we have proved the general statement of the
proposition, another instance of which is the inequality BCG > ABC.
No further proof is necessary.
D
B C
When Ahmet was finished, before I could make any of the general
remarks I had prepared, Mehmet stood up to continue with I.: any
two angles of a triangle are together less than two right angles. I let him
proceed. (Mehmet, Ahmet, and Burak were by far the best students in
set theory last semester. Mehmet is majoring in physics as well as math.)
It may have been during Mehmet’s presentation that a student whom I
hadn’t seen before, Rashad, mentioned degrees. Perhaps he thought
I. was obvious, since all three angles of a triangle add up to degrees.
There was some laughter when I pointed out that we didn’t know any-
thing about degrees; perhaps the other students had got used to hearing
me say such things.
After Mehmet, I introduced the parts of a proposition that are spelled
out by Proclus in his commentary [] on Book I of the Elements. The
relevant section of Proclus is quoted in the introduction to the Green
Lion edition of Heath’s Euclid (though unfortunately without a page
number—it’s in the cited translation). So recent Johnnies should
know the parts of a proposition. Netz gives them in his book as well,
where they are called
() Enunciation (πρότασις: what is to be proved in general terms);
() Setting out (ἔκθεσις: the ‘givens’ as labelled in the diagram);
() Definition of goal (διορισμός: the ‘to prove’);
() Construction (κατασκευή: additional straight lines and so forth that
are needed in the proof);
. Euclid
() Proof (ἀπόδειξις);
() Conclusion (συμπέρασμα: a repetition of the enunciation, and what
Heath replaced with ‘Therefore etc.’).
In writing () on the board, I asked Ahmet whether he had encountered
the word ‘apodictic’ in a philosophy course; he seemed to find the word
vaguely familiar.
In listing the six parts, I just wanted to be clear that the things we
call ‘propositions’ have a definite form, a form which, for the sake of the
reader, the writer might choose to follow.
By the way, Netz in effect points out that our use of the word ‘propo-
sition’ is an instance of metonymy. Properly the proposition is only
the enunciation: part () above. Netz argues that, for the Greeks, the
‘metonym’ for the whole six-part package was not the enunciation, but
the diagram. Now, the diagram is not one of those six parts. One might
think that the diagram is like the sight or look of a person, while the six
written parts are the voice of the person. In any case, Netz’s argument
is tenuous, or else I am reading too much into it.∗ He observes that,
even when the same diagram could be used for two propositions, it al-
most never is. In ‘translating’ the Conics, Heath [] mutilates Apollonius
precisely by making one diagram fit many propositions.
In class, later presentations of propositions seemed to be influenced
a bit by Proclus’s list of parts. But I saw then that I had a task for
the future: to convince students not to write down the ‘definition of
goal’ without being clear that it hasn’t actually been proved yet. The
students tend to write formulas without writing any words to explain
their interrelations. Proofs should be persuasive prose compositions; but
the students get little or no practice in writing in school. (Remember,
the university entrance exam is all multiple choice.)
In particular, in her proof of I. (in a triangle, the greater side sub-
tends the greater angle), Özge used some of the terminology from Proclus.
Next up was Mürsel, who had sat in only on the previous class before
deciding to register for the course. His argument was quite detailed in
a good way. But he kept looking at me, sitting at the side of the room,
until I reminded him that I wasn’t the only student in the class. He had
a soft voice, and I think it was he whom I asked, ‘Do you think your
∗ Editing these remarks later, I don’t remember why I thought Netz’s argument
tenuous.
Netz argues that Euclid is not creating a straight line whose endpoints
are defined to be A and B; rather, there is already a straight line; it is
‘given’; it is there on the diagram (Figure .) and its endpoints are those
C
D A B E
. Euclid
here young enough to have benefitted from this feature? The luxury of a
scroll, the convenience of a codex! How’s that for an advertising slogan?)
During the break, I noticed a sticker on the new classroom windows
that said ısı yalıtımlı çift cam. This meant ‘heat double glass’, and
one can guess the meaning that fills in the blank, but I didn’t recognize
yalıtımlı. I guessed that it came from a verb yalıtmak, which might in
turn be the causative form of a verb ∗ yalmak. Melis and Ali told me
I was right on the former point, wrong on the latter. Yalıtmak, said
Ali, meant ‘insulate’ or ‘isolate’. Knowing that even my spouse confuses
these two English words, I wrote them on the board. Jeremy from the UK
explained the distinction. I observed that insula was island in Latin. I
recalled that, in ancient times, way out on the tip of what is now Turkey’s
Datça Peninsula, there was a city called Knidos. We once talked on the
J-list about the Aphrodite of Knidos. The Knidians tried to ‘isolate’
or ‘insulate’ themselves by cutting a canal across their isthmus, making
their home an island; but they failed. (The story is in Herodotus. In
class I observed that insula appeared in ‘peninsula’, but forgot that the
Turkish word, yarımada, was also literally ‘half-island’.)
We were still in the break, and not all students had returned to the
classroom, but I couldn’t wait to talk about Greek imperatives, partic-
ularly in the third person. As I had reviewed in Smyth’s Greek Gram-
mar [] in the morning, there are three kinds of Greek imperatives:
present, aorist, and perfect. Moreover, the personal endings have dif-
ferent forms in active and passive voice. Turkish has just one kind of
imperative, and distinctions of voice are handled in a different part of
the verb. (I didn’t get into the middle voice, but Turkish as well as
Greek might be said to have one.) Actually, classical Greek apparently
forms its active perfect imperative periphrastically, as a participle + ‘let
it be’ (ἐστω). Turkish uses a similar construction for a perfect imperative
(as in Geçmiş olsun ‘may [your trouble] have passed’). As in Greek, the
Turkish for ‘let it be’ is one word (olsun).
By this time class was officially going, and I emphasized my main
point: not that students should know all of the Greek imperatives, but
that Euclid used one of them in particular, the perfect, to talk about
things that had already been constructed. Nonetheless, Elif asked me
to clarify the distinction between the present and aorist imperatives. I
hadn’t actually used those terms, but had just written down a sort of
Smyth does give the perfect middle/passive of γράφω as a paradigm in his ¶ .
† Ahmet Arslan, translator of Aristotles’s Metaphysics into Turkish [], confesses
in his preface that he does not know Greek: he used French and English translations
for his own work.
. Euclid
D
B C
Figure .. Euclid’s I.
he was proving. (See Figure ..) In his haste he got it wrong, instead of
BA + AC > BC
But how do these requirements come into the picture? I discussed this
with Cihan, and we drew three pictures, with two non-intersecting circles
each, showing what goes wrong when any of the three inequalities above
is violated.
But Özge at least was brave enough to say, in effect, that she didn’t get
it. She came up to the board, and we discussed the matter some more,
until she was satisfied.
Rashad then proved I.: to construct a given angle on a given straight
line and given point on it. One does this by constructing a triangle with
the desired angle. I observed that I. hadn’t spoken about where one
. Euclid
could construct the triangle. I invited Rashad to show how to construct
the desired triangle in the place where it was desired. He did this, easily.
Proposition I. was Nur’s: If two triangles have two sides equal to two
sides respectively, but the one included angle is greater than the other,
then the side opposite the one is greater than the side opposite the other.
In Heath’s diagram, Nur chose the point G merely to satisfy DG = AC.
When I asked if there were any other condition, she said No. Eventually
she just saw, or remembered, or saw in the notebook that she had set
aside, that angles EDG and BAC should be equal.
Nur completed the proof as Euclid gives it. Then I asked: What if the
point F happens to fall inside triangle DEG? I suppose I’m glad I hadn’t
consulted Heath’s commentary on this proposition; Heath does discuss
this other case, and he gives a simple proof—which I had overlooked.
Nur and others claimed that, in the picture I had drawn, with F inside
DEG (but DF = DG), it is obvious that EF is shorter than EG. Could
they prove it? Well, they didn’t think it needed proof. I claimed it did.
Somebody could have cited I., whereby EF + F D < EG + GD,
which yields the claim. But nobody did. I suggested extending DG and
DF , so that the exterior angles at the base of isosceles triangle DF G
are equal. Then the second part of I. could be used, in the same way
that the first part is used for the case that Euclid does give. (I’m glad I
hadn’t consulted Heath, because I might not have noticed this argument
if I had.)
Checking Heath now at I., I learn that Proclus similarly proved the
omitted case of that proposition. (I have the Proclus, but have not been
reading him systematically; maybe I should.)
By this time, the class was almost over. I don’t know if the students
were happy that we covered so few propositions. In the remaining min-
utes, Cihan proved I., which has a purely logical proof, I would say.
There was no time to observe that I. (equal angles are subtended by
equal sides) could have postponed till after I. (the greater side sub-
tends the greater angle); then this with I. (equal sides subtend equal
angles) would have allowed a purely logical proof of I..
As I say, there was no time to discuss the alternative proof of I..
Maybe next time, or not. I don’t mind going slowly, if there are things
to say; but I do want to get to mathematics that is more difficult in a
conventional sense—such as the theory of proportion.
∠AHB = ∠DF E;
∠ACB = ∠DF E;
∠AHB > ∠ACB,
. Euclid
have drawn a picture and just worked with that. But Jeremy does seem
to aim at giving crisp presentations; so perhaps he sets a good example.
After Özge proved I. (parallel lines make equal alternate angles, etc.),
we took a break. During the break, Cihan asked me if this was the first
time we had used the Fifth Postulate, and if so, didn’t that mean that
everything before I. was true without the Fifth Postulate. Yes, I said,
except that (as I had suggested at the time) I. raises a question for
some commentators.
Ali wasn’t sure that we had really needed Postulate in I.. Here,
finally, I said we should talk about this in class. Ali seems to be one of
the most attentive students; if he is confused at this point, others must
be.
In class then, I had Ali raise his question. I reviewed a case of a
‘logical’ theorem, such as I., which follows immediately from I. and
I.. I asked whether I. could follow in such a way from its converse,
I.. Ali, at least, agreed that it couldn’t. I couldn’t resist mentioning
Lobachevsky and his working out the consequences of the negation of
I..
After Taner presented I. (an exterior angle is equal to the two oppo-
site interior angles, and all interior angles are equal to two right angles),
I asked him whether he had been familiar with the fact before. Yes, he
said, but he had never proved it. I had been wondering just how familiar
all these propositions seemed to the students. They confirmed for me my
understanding that, on the university entrance exam, they just have to
be able to compute numbers (perhaps angle measures in a geometrical
figure).
I told Taner I was sorry he hadn’t proved these propositions before.
He said he was sorry too.
At some point I asked who was in the geometry class of one of my
colleagues, Cem Bey. Cihan, Taner, and maybe some others said they
were.
What are you doing? I asked.
Proofs! said Taner. He didn’t know the English, he said, but they were
studying things like the ağır merkezi.
Oh, the center of gravity, I said.
Yes, and the Nine Point Circle, said Cihan.
I wrote down the statement of the Steiner–Lehmus Theorem without
naming it; but Cihan knew the name—from that Geometry class, appar-
If two triangles have the two sides equal to two sides respectively, and
have the angles contained by the equal straight lines equal, they will
also have the base equal to the base, the triangle will be equal to the
. Euclid
triangle, and the remaining angles will be equal to the remaining angles
respectively, namely those which the equal sides subtend.
If by saying the two triangles were equal here, Euclid had meant they
were congruent, then he would not have bothered to mention the further
equalities of sides and of angles.
It could have been after I., but I think it was after I. when Jeremy
asked: why didn’t Euclid just use the method of ‘application’, as in I.
and I.? After all, I. is the variant of I. where the parallelograms
are on equal bases. Then I. is like I., but is about triangles on the
same base; and I. is about triangles on equal bases.
So in proving I. and I., why didn’t Euclid just say, Apply one figure
to the other so that they have the same base? I just suggested that Euclid
preferred to avoid using the method of application whenever possible.
That’s perhaps an inadequate answer, since he could have avoided the
method in proving I., but didn’t.
It occurs to me only now that a better answer to Jeremy’s question
would be that, after applying one figure to the other, one can no longer
be sure without proof that the two figures are in the same parallels.
Jeremy addressed his question to me, calling me ‘Sir’. If it happens
again, I’ll ask him at least to use the Turkish Hocam (‘My teacher’; but
even bus drivers are Hocam at our university). Really Jeremy should have
addressed the whole class with his question; but I don’t know what more
I can do than I have already done to raise interest in general discussion.
After their presentations, students are uttering a pro forma ‘Any ques-
tions?’ to their classmates.
It is interesting to see the different styles of students at the board.
Some make their arguments almost entirely out loud, and I ask them to
write down some of the details. Others try to write down everything,
and I suggest that they can leave some things out (especially the general
enunciation).
I hope I’m not micromanaging. From freshman mathematics at St
John’s College, I do recall a time when one student was drawing a straight
line from A to B, and Mr Kutler suggested it would be better drawn from
B to A.
Back in Ankara, at the end of class, I took volunteers for the remaining
propositions in Book I. Already Çağdaş had been lined up for I.; but
since that proposition seems not to be a Euclid original, I asked Çağdaş
. Euclid
On Friday, October , we finished Book I. I don’t know how well the
students appreciated the poetry of Euclid, but I think they enjoy the
class reasonably well. At least, I never have any trouble getting volunteers
for presenting propositions.
I have wondered if it is tedious for some students to see their classmates
work out laborious proofs of ‘obvious’ facts. Even if the students accept
that proofs are necessary, maybe they get frustrated to see a classmate
struggle with what should be an ‘easy’ proof. But I don’t have any real
evidence of this, and anyway the proofs are getting harder now.
Before class, Ali asked if we would sit in a semicircle again. He didn’t
mind sitting in the front row, he said, but maybe other students did. I
decided just to leave the chairs as they were, in a rectangular array. I
didn’t notice any chatting in the back this time.
Moreover, I had a couple of guests, one of whom I knew from the Nesin
Mathematics Village in the summer of . She’s only now a first-year
student in our department. I don’t know what she had heard about
my class, but she came and listened and took notes. She had a male
companion, but I don’t know if he was equally interested. Indeed, my
spouse noticed a guest in her linear algebra that day: he seemed to be
the boyfriend of one of the students.
Ali also asked me whether we had Euclid’s text only because of the
Arabs. I said there were some texts of which this was the case, but I
didn’t think it was so for Euclid.
Ali also asked why we were skipping I.. He didn’t understand how
Heiberg could decide that it was an interpolation. I didn’t know how,
but recalled something about a papyrus fragment mentioned by Heath.
Anyway, Ali agreed that I. was not particularly surprising or important.
After Çağdaş has proved I., when Ali started proving I. (construc-
tion of a parallelogram in a given angle equal to a given triangle), he
asked if his triangle was too small. Nobody complained, so he contin-
ued. But he stood right in front of his picture, facing and talking to the
blackboard. I suggested that many people couldn’t see, but he just said
‘I already asked if my picture was too small.’
Tolga made his first presentation with I. (the complements of paral-
lelograms about the diameter of a parallelogram are equal). The previous
class had been the first that he attended. It wasn’t too clear that he un-
derstood what he was proving. He may have been confused by Euclid’s
convention of writing EG and HF to designate parallelograms. He
. Euclid
Jeremy argued that we should still allow a concept of length, for the
sake of philosophy, or something like that. I said we should avoid talking
nonsense, to keep philosophy from getting a bad name.
With plane figures, the matter is different. Euclid does give us the
means to compare them. Now we know that triangles can be ‘equal’
to parallelograms and other figures. OK then, what makes them equal
is their ‘areas’, if you like; but we are still far from having ‘area’ as a
number.
Today we may approximate areas by of figures by dividing them into
little squares. Euclid turns rectilinear figures into parallelograms by I.;
but the parallelograms need not even be rectangles. Here I uttered my
complaint that we today were obsessed with right angles: that every
angle on our campus, in fact, was right.
Back during the break, Çağdaş had looked at my Green Lion edi-
tion [] of Euclid and wondered about the claim on the back that Euclid
was the most celebrated mathematician of all time. Did I agree with
that? he asked me. He seemed to think that somebody was going to
write some such compendium as Euclid’s; Euclid just happened to be the
one who did it. Maybe I didn’t understand his idea.
After Besmir constructed a square in I., Rashad gave a careful proof
of I.. Jeremy asked why we call it Pythagorean, if Euclid proved it.
Rashad said that Euclid’s theorem was different: Pythagoras’s theorem
was
a2 + b 2 = c2 .
I told Ayşe about this later. I thought Rashad meant that Pythago-
ras was interested in identifying ‘Pythagorean triples’, like (3, 4, 5) or
(7, 12, 13); but Ayşe suggested that possibly Rashad didn’t actually see
the connection between a geometrical square and the square of a number.
Time was running out, but I thought we should fit in I. to complete
Book I, and Seçil was ready. It’s a nice proof: In proving a converse,
Euclid often uses the method of contradiction; he could do the same for
I., but he avoids this and gives a direct proof.
Next time, a few propositions from Book II. I wonder what the volun-
teers will make of them.
. Euclid
the remaining few minutes to give a preview of proportion. I stated VI.
in words and also in the form
But what does this mean? I asked. I wrote it in the form that the
students would expect:
area(ABC) |BC|
= ,
area(ACD) |CD|
but argued that we didn’t know what this meant. Actually, Ali and others
might argue that they do know what this means, with calculus.
A thought about Book II: Heath suggests that Euclid proves the first
ten propositions independently because he is mainly interested in estab-
lishing a method. He could derive II. from II., for example, but that’s
not the point. In Book I though, it is the point, or a point: I mean,
Euclid’s bisection of an angle in Proposition is not the most efficient;
but it relies on Proposition , and perhaps for this reason Euclid prefers
the construction he gives to an independent construction. It’s as in a
joke:∗
How does a mathematician boil water? By filling the kettle, putting it
on the stove, and turning on the flame.
What if the flame is already on? Then the mathematician turns it off,
thus reducing the problem to the previous problem.
Book? [].
2x2 − y 2 = 1,
then (a + b, 2a + b) is a solution to
y 2 − 2x2 = 1.
(1, 1), (2, 3), (5, 7), (12, 17), (29, 41), . . . , (an , bn ), . . .
where bn /an tends towards the square root of 2. This is what we ‘know’
today; but what does it mean? What is ‘the square root of 2’ ?
I proved VI., having assumed VI. without proving it or even defining
proportions exactly. Then I went back to discuss the definitions in Book
V of having a ratio and having the same ratio. Then I proved VI..
I saw a lot of sleepy faces as I stood at the blackboard. This reminded
me that it had been good when the students were doing the presenting
at the blackboard.
Well, today I give an exam on Book I, which is why I didn’t want to
trouble them to give presentations on Tuesday. The exam problems are
[see also §A.]:
. To find the error in a proof that all triangles are isosceles. (I don’t
know if some students will have seen this in some popular book.)
. To translate some Greek words (like θεώρημα and πολύγωνον) into
English.
. To write down the Greek alphabet.
. To give a proof of I., analyzed into the six parts described by
Proclus (enunciation, exposition, specification, construction, proof,
and conclusion). A confusing point here is that Euclid’s proof is by
contradiction, so the ‘construction’ step is based on a hypothesis
that turns out to be false. So what part does this false hypothesis
lie in? I don’t know whether Proclus contemplated this question.
One doesn’t really need the false hypothesis though, one can just
construct the point D, which in the end turns out to be the same
as A.
. To prove I. (‘SSS’) without using Euclid’s method of application.
I had invited the students once or twice to consider this problem.
. Euclid
. Something new: In triangle ABC, suppose BC is bisected at D,
and straight line AD is drawn. Assuming AB is greater than AC,
prove that angle BAD is less than DAC. It’s possible that few will
get this, but I want to find out.
Meanwhile, at the end of class on Tuesday, I lined up volunteers for next
Tuesday to present some propositions about circles from Book III: ,
, , , and . I chose these because they seem to be needed for
Apollonius, and I am keen to get to him. (‘Had we but world enough and
time,’ we would just read all of Euclid. ‘But at my back I always hear
time’s winged chariot hurrying near.’) After Book III, I’ll get students to
present from Book V, so they can deal with proportionality themselves.
One of the things that I knew coming out of St John’s was that Newton
derived his results ‘analytically’ and then cast them into ‘synthetic’
form à la Euclid. Cohen [] tells us, however, that there is ‘no shred’
of evidence that this was so. And Newton apparently never threw
anything away, so the absence of evidence is telling.
So I wonder if ‘analytic’ and ‘synthetic’ are the right words here. But I
haven’t got Newton with me yet.
Meanwhile, today, November , half the students didn’t show up. I
was told that they had an exam in another class right after mine, and they
wanted to study. Their teacher was a friend we went out with last night,
actually. Anyway, students presented a few propositions about circles
from Book III that I had asked for, and then we moved on to Book V.
But I haven’t time to say much about that yet. At the beginning of
class, I did discuss a common English error [at least by native Turkish
speakers]: to write
rather than
I talked about the Turkish subjunctive and imperative verbs and noted
the English periphrastic equivalents.
. Euclid
.. Wednesday, November
On November , Elif began with III., namely: In a circle, a diameter
bisects a chord that is not a diameter if and only if the two are at right
angles. (I note by the way that Euclid does not seem to use the word
‘chord’.)
In Book III, I tried to select for presentation only those propositions
that would be needed for Apollonius. To do this, I relied on the editors
of Euclid and Apollonius. Proposition III. really relies on III.: To find
the center of a given circle. But the Green Lion edition doesn’t indicate
as much. I didn’t notice this until Elif presented III.. I asked her if she
could prove III., but she couldn’t. I asked if somebody else could do it,
and Cihan said he could. He did it too, by taking the intersection of the
perpendicular bisectors of two chords with a common endpoint. Euclid
doesn’t do this: he take the midpoint of the perpendicular bisector of one
chord.
Is III. really required for III.? The former is a ‘problem’, the latter
a ‘theorem’. The latter simply needs to know that the center of a circle
exists; but it does exist, by definition of a circle. Possibly this is why the
Green Lion editors, or Heath before them, left off a reference to III..
But Euclid does not seem to rely on the existence of something unless
he can actually construct it. Later I shall mention an exception to this,
in Book V. Meanwhile, I think that, in Euclid’s own terms, III. relies
on III..
Jeremy was supposed to do III., but he was missing, so I did it.
The theorem was no surprise to the students: the angle at the center is
double the angle at the circumference. Cihan raised the question of what
happens when the ‘angle at the circumference’ is considered as drawn to
the smaller half of the circumference.
Nur proved III.: angles in the same segment are equal. I asked her
when she had first learned this. Before high school, she said.
Tuğba presented III.: the opposite angles in a quadrilateral inscribed
in a circle are equal to two right angles.
Taner presented III., but said he was confused about something. I
discounted this, until I realized that there really was something strange.
The proposition is mainly that the angle in a semicircle is right; that the
angle in a segment that is greater than a semicircle is less than a right
angle; and less, greater. Taner had no problem with this.
. Euclid
have to take numbers H, K, and L that are ‘called by the same name
as’ E, F , and G. So in my example, E, F , and G are not three, four,
and seven; they are third, fourth, and seventh. But third, fourth, and
seventh what? I don’t know. Proposition VII. is the last in Book VII,
so maybe it was added later. Heath doesn’t suggest this however; nor
does he remark on its strangeness. He says only that VII. is ‘practically
a restatement’ of VII.. If so, then we really should inquire why Euclid
makes the restatement.
Back to my class, and my equations above. I suggested to the class
that magnitudes and their multipliers were like vectors and scalars in
linear algebra. In particular, the two equations above are certainly not
‘practically the same’. This point comes out to us if we write (as I did in
class) V. as
k(mA) = (km)A.
Multipliers can multiply each other; magnitudes as such cannot.
I hadn’t actually assigned V.. Tolga had volunteered for V., but was
not present. I presented it. It is the first proposition about proportions:
Symbolically,
if A : B :: C : D, then kA : mB :: kC : mD.
(the ‘::’ relation is symmetric). Mehmet said, correctly I think, that all
one really needs to observe is that
A : C :: A : C
(the ‘::’ relation is reflexive). But then one needs a ‘substitution prin-
ciple’: if two things are equal, then one of them can be substituted for
another in any mathematical statement.
Now, Euclid does not have a proposition to the effect that A : C :: A :
C. Would he take such a proposition as obvious, or as pointless?
The Common Notions include , that things equal to the same are
equal to each other. If we want to express this symbolically, we might
write
If A = C and B = C, then A = B.
. Euclid
But then we should also observe that
If A = B, then B = A,
k(A − B) > C.
(the ‘::’ relation is transitive). He just said it followed from the transitivity
of implication: If A implies B and B implies C, then A implies C. He
admitted it was slightly more complicated, because of the quantifiers: we
assume
() for all k and m, if kA > mB, then kC > mD,
() for all k and m, if kC > mD, then kE > mF .
We want to conclude
() for all k and m, if kA > mB, then kE > mF .
Actually, using formal logic might obscure the point.
Çağdaş presented V.: If
A1 : B1 :: A2 : B2 :: · · · :: An : Bn ,
. Euclid
then
Ak : Bk :: A1 + A2 + · · · + An : B1 + B2 + · · · + Bn .
I think it was here, and I think it was Ali who pointed out the assumption
that each of these magnitudes should have a ratio to the others; other-
wise we might be adding squares and straight lines, which would lead to
problems as discussed above with V..
What do you mean by ‘included in’ ? When Euclid writes ‘Things equal to
the same are equal to one another,’ well, indeed that reciprocal pronoun
‘one another’—I guess one would call it reciprocal, or something like
that—that ‘one another’ suggests the meaning, ‘A is equal to B, and B
is equal to A.’
But we modern mathematicians recognize that equality has three dis-
tinct properties:
Reflexivity A = A;
Symmetry if A = B then B = A;
Transitivity if A = B and B = C then A = C.
It is of some interest that Euclid (or somebody writing under that name)
distinguished only the last (or some formulation of the last) as a Common
Notion (again, unless you want to read symmetry also into that Common
Notion). However, the relation of ‘less than or equal to’ is reflexive and
transitive, but not symmetric. Other such examples show that no two of
the properties imply the third.
Eva Brann’s friend Barry Mazur has an article on his homepage∗ called
‘When is one thing equal to some other thing?’ It’s been a while since I
read it, but the theme (as I recall) is the mystery about what equality is
in mathematics.
∗ I can’t find the article at http://www.math.harvard.edu/~mazur/ anymore, but
A : B :: kA : kB.
Melis just wrote out the words, and gave the proof as Euclid does, with
a diagram like Euclid’s, for the case where (in my notation above) k = 3.
Such ‘proof by example’ is perhaps considered short of rigorous today; at
least, it’s out of style. But what really is the problem with it?
I asked Melis, ‘What if there were seventeen of the part in the whole,
instead of three?’
She said, ‘The proof would be the same.’ She’s right.
Seçil presented V., which symbolically is
If A : B :: C : D, then A : C :: B : D.
She also followed Euclid closely, but I had the feeling that this was because
she did not comprehend the proof very well. Actually she confused some
letters, but had a bit of trouble correcting them when the mistake was
pointed out. Well, I know one’s brain can stop working well when one is
standing at the blackboard; it had happened to me earlier in the day in
our departmental algebra seminar.
Mürsel was next with V.: ‘If magnitudes be proportional compo-
nendo, they will also be proportional separando.’ But he didn’t write
out the words, and I don’t think many of the students are using Heath’s
translation with those Latin expressions. Mürsel just gave a symbolic
statement and proof.
Talha, volunteer for V., was missing. Actually he hadn’t volunteered:
I assigned almost everybody a proposition from Book V. Talha started
attending class late, and he has never presented a proposition.
. Euclid
I presented V. myself, noting what seems to be a first for us in Euclid:
an assertion of existence without construction. I mean, Euclid says that
if CD is not to DF as AB is to BE, then CD must be to some DG
as AB is to BE. Well, this seems to be a new postulate. We are in no
position yet to construct a magnitude that has a given ratio to another.
In the book [, Ch. , p. ] that I mentioned another day, Benno
Artmann passes on a claim that some propositions in Book V are copied
verbatim from Eudoxus, since nobody wanted to change the words of the
master. Maybe the proof of V. is evidence for this. [In fact Artmann
was talking about V..]
Tolgay presented V., and Özge, V.. Really, V. appears to be
just a lemma for use in proving V., which is
And that was all it seemed necessary to do from Book V. [This was wrong;
I turned out to want V. for the final exam. I just gave it to the students
then.]
I had done VI. and on an earlier day; now Besmir did VI. (equian-
gular triangles have proportional sides). I asked how he knew that BA
and ED met beyond A and D. The answer seemed to be that, if ED
met BA between A and B, then ED would cross AC; but these two lines
are parallel.
Elif presented VI.: triangles with one equal angle, and the sides about
it proportional, are equiangular. Euclid’s is another peculiar proof, like
that of I., where along one leg of a triangle, a new triangle is constructed
that turns out to be congruent to the first. If the new triangle were
constructed on the same side as the first, then it would coincide with
the first; but Euclid wouldn’t like this, so he would assume (by way of
contradiction) that the triangles were not congruent. Thus the fact that
a straight line has two sides allows Euclid sometimes to avoid proofs by
contradiction.
Seçil was scheduled for V., but our time was almost up, and she was
happy enough to postpone her presentation till Tuesday. Tolgay was
scheduled for V., but he had already left, apparently to collect his
thoughts before an exam immediately after my class. I took volunteers
for the remaining propositions in Book VI.
. Euclid
for trying to fake his way through a proof. I said to the class that notes
were not absolutely forbidden, since we regular teachers did use them
ourselves in teaching; still, I said, one ought be able to understand and
reproduce the general flow of one of Euclid’s arguments without copying
from a notebook.
Then Yunus got up and gave an exemplary exposition of VI., without
notes at all. (He did take a glance at the proposition in my copy of Euclid
before proceeding to the blackboard.)
Mürsel followed with VI., a special case of VI.. Then Elif finished
the day with VI.: to construct on a given straight line a rectilineal
figure ‘similar and similarly situated’ to a given one. I was sorry she just
used a quadrilateral like Euclid, rather than drawing a more outlandish
figure to emphasize the generality of the proposition.
∗ ∗ ∗ ∗ ∗
For the holiday, Cihan was flying to Bosnia to see his Serbian girlfriend,
whom he had met in France. Apparently he didn’t get back in time to
present VI. on Tuesday, December ; so I presented it.
Rashad did VI., which he said was immediate. Nur presented VI.;
but I recall going to the board myself to talk about what ‘compound
ratio’ meant. Ali finished our coverage of Book VI with Proposition .
You see I haven’t too much to report here, in part because I am late in
making the report. But I think the students have been bored; they may
think all of these propositions about proportion are obvious. Students
have been cutting class too, perhaps to prepare for other classes and their
exams. Perhaps they haven’t understood that a necessary and nearly
sufficient condition for getting a good grade in my course is showing up
to class. It’s hard to believe, unfortunately, that they don’t care about
their grade.
Mehmet finished the day with Proposition of Book XI:
A part of a straight line cannot be in the plane of reference and a part
in a plane more elevated.
. Euclid
Taner had been presenting. I think Cihan had not quite understood that
(in Heath’s diagram) AB, AC, and AF are all in one plane, and angles
ABC and ABF are right (which is absurd unless BC and BF coincide).
Indeed, the claim cannot be seen from the figure alone.
At the end I set up the proposition explicitly as a converse of XI..
Together, and are that, if two straight lines meet a third at right
angles, and at the same point, and a third straight line meets the others
at that point, then this straight is in the plane of the first two if and only
if it is at right angles with the third.
With all of this talking, I used up the remaining time.
Today, if we can get through eight more propositions, then we shall be
finished with Euclid. Apollonius is next.
. Euclid
. Apollonius and Archimedes
math texts.
said she had thought it was, but on the other hand the proof was a real
proof.
Ali proved I., that if a cone is cut by a plane through the vertex, the
section is a triangle.
Çağdaş asked, Can’t the section be just a straight line, as when the
cutting plane is tangent to the conic surface?
Ali said, But then the cone would not have been properly cut by the
plane: the cone is supposed to be cut into two pieces.
Ali asked whether the cone could be infinite, or something like that.
I observed that the cone has a base, though the conic surface can be
extended indefinitely, and Yunus would be proving something involving
this fact with I.. (Yunus acknowledged this.)
Somehow I was moved to distinguish the conic surface from the cone
by saying the surface was two-dimensional. Ali asked, What does that
mean? I think he was teasing me, alluding my own tendency to ask the
students what length is. We laughed.
Tuğba proved I., that a plane parallel to the base cuts the cone in a
circle. As she was drawing her figure, I asked whether the proposition
was obvious. She said it was. I got up and drew an extremely oblique
cone (hers was nearly right) and asked, Is the proposition still obvious?
She smiled and said it still was. Nonetheless she did the proof.
One ends up proving DG = GH = GE, where H was chosen arbitrarily
on the section, so that DGE ends up being the diameter of a circle.
Rashad asked whether the ‘last line’ was really necessary; he was referring
to the straight line AHK, used to prove that GH is equal to DG and
GE. I looked to others for an answer. Ali said in effect that if we didn’t
have H, then all we can prove is DG = GE; but this doesn’t establish
that G is the center of a circle.
I suggested that, if we just proved DG = GH, that would be enough
to establish that G is the center of a circle. But again H is a random
point, and E is not random: it is in a straight line with DG. Special
cases do tend to get special treatment: so the term ‘ellipse’ will not cover
the circle, presumably because any curve that is a circle should be called
just that.
There were five minutes left, but Seçil said they weren’t enough for
her to prove I. (which may be the first non-obvious proposition). So we
stopped.
There were just students present, two who had not come on Friday:
This suggested that she didn’t just see why the claim was so. I invited
her to draw the circle in the plane of the blackboard—the circle whose
diameter was DE, to which HF was dropped perpendicularly. She did
this, but positioned F as if it were the center of the circle.
When the proposition was finished, so that, in priniciple, we knew that
an oblique cone had a circular section in two different directions, I asked
Seçil if this was surprising. She said it was.
As I look back at the proposition, I see we didn’t remark on the im-
portance of having the plane of the axial triangle be at right angles to
edu/katok_s/Apollonius.html.
Spring semester
About the course
This is from the Math webpage:
This course is a continuation of Math , but that course is not a
prerequisite for this one. Practices will be as in Math :
• attendence is required;
• all students will spend time making presentations at the blackboard;
• there is no ‘textbook’.
This course will make no attempt to fit the catalogue description.
Some phrases in that description are apparently based on chapter titles
in Boyer’s History of Mathematics. But again, this course will not fol-
low a textbook; we shall read original sources (albeit in translation, from
Arabic, Latin, French, . . . ). This approach is slower, but more honest to
the title of the course. Why?
• I accept the conclusion of the philosopher R. G. Collingwood [see
Appendix C] that history is the history of thought. This means, in
particular, that doing history of mathematics means thinking the
mathematical thoughts of past mathematicians.
– This is difficult work, but nobody else can do it for us.
– This work can hardly be done without looking directly at what
these mathematicians actually wrote.
• Second-hand accounts of past mathematics may give a misleading
view, as for example by translating everything into modern alge-
braic terms.
Anybody who is interested can read a conventional ‘history of mathe-
matics’ on their own. But there is no substitute for working together, as
a group, to understand some old piece of original mathematics.
Some students took Math in hope of learning some history in the
sense of stories. The words ‘history’ and ‘story’ are indeed cognate, com-
ing through French from the Latin historia, which is from the Greek
ἱστορία. However, we know almost nothing about the personal lives of
ancient mathematicians. About more recent mathematicians, more is
known. For example, there is this interesting piece of information:
After his death, Newton’s body was discovered to have had massive
amounts of mercury in it, probably resulting from his alchemical pur-
suits. Mercury poisoning could explain Newton’s eccentricity in late
life.∗
∗ http://en.wikipedia.org/wiki/Isaac_Newton, accessed February ,
(x + y)(x − y) + y 2 = x2 if y < x,
2 2
(x + y)(y − x) + x = y if x < y.
See Figure .. Written algebraically, the propositions become the ‘same’
if we switch x and y in the second line.
x
x
x−y
x y x−y x y y−x
A C D B A C B D
But Euclid doesn’t write things this way. I introduced the propositions
by asking:
If a straight line is to be divided in two, where should the point of
division be chosen so as to maximize the area of the rectangle bounded
by the two pieces?
∗ http://metu.edu.tr/~dpierce/Courses/304/
Ali answered (he was one of the best students in last semester’s course):
He said the straight line should be bisected.
Why? I asked. He observed that if the point of division approached
one of the ends of the line, then the rectangle would become small.
This was a reasonable way to think of the problem, I thought. But
then I have a memory of thinking this way as a child: I was playing with
a rubber band, and I wondered if the area enclosed by the band remained
constant through all possible contortions of the band (in a plane). The
answer was obviously No, if one observed that the band could be straight-
ened out so as to enclose nothing.
My maximization question in class on Thursday was one that may come
up in a calculus class. But I don’t think anybody should be impressed
at the ability of calculus to answer the question, since the answer is so
easily found without calculus. Indeed, if you divide the line equally and
unequally, then Euclid’s II. shows by how much the rectangle bounded
by the equal parts exceeds the rectangle bounded by the unequal parts:
it exceeds by the square on the line between the two points of section.
Euclid’s II. is about what happens when the line is divided ‘exter-
nally’. Euclid doesn’t use this language, and I don’t know whether he
thought of it. Me, I am delighted to find that two propositions are just
instances of one idea; but I can only guess whether Euclid sought such
delight. (Presumably he saw that II. and II. were intimately related;
but I don’t know what he thought the relation was.)
Again, Proposition II. is that, if straight line AB is bisected at C, and
D is chosen elsewhere on AB, then
rect. AD, DB + sq. CD = sq. AC.
Proposition II. is about what happens when D is chosen on the extension
of AB beyond B. Then
rect. AD, BD + sq. AC = sq. CD.
These become the same proposition if we use ‘directed’ lines and allow
‘negative’ areas, so that rect. AD, DB is the ‘negative’ of rect. AD, BD.
But I don’t know of any reason to think that Euclid considered this
possibility.
In the remainder of class, I started to state what we would need to know
about conic sections in order to understand Omar Khayyám’s solution of
cubic equations by means of conics.
and asked what one calls these in Turkish; the students said rakam. Then
I wrote
I II III IV V VI . . .
x2 = 5x.
(Let me just say once for all that when I write such things, I periodically
recall that our authors do not use such language.) Al-Khwārizmı̄ then
concludes
x = 5.
I asked if there was any problem here. Somebody said x = 0 was another
solution; but it seemed to be agreed that this was of no interest.
When al-Khwārizmı̄ got to the more complicated example—
one square, and ten roots of the same, amount to thirty-nine dirhams
[x2 + 10x = 39]
Yasemin read out the steps of the solution as necessary. Here two solu-
tions arise. Why?
Well, al-Khwārizmı̄ does go on to give a geometrical justification. For
this, I had Murat go to the board to draw the diagrams, while somebody
else—Salih Kanlıdağ, I think—read out the steps.
Murat’s full name is Murat Yasar Kurt, but he told me likes to be called
MuYaKu (‘like Japanese’ he said). He turned out to have a printout of
the text as well. He was not particularly prepared to draw al-Khwārizmı̄’s
diagram; but he worked it out.
So now we had two solutions of x2 + 21 = 10x on the board: the
‘arithmetic’ solution that Zhala had written, and the geometric one that
MuYaKu had written. Some students agreed with me that the geometric
solution was at the same time a proof that it was a solution. But MuYaKu
said they were both proofs, just done in different styles.
I wrote out the geometric argument more quickly, arriving at the an-
swer 3. What you do is draw a square, then extend one of the sides to
have total length 10 units; see Figure ., left. You complete a rectan-
gle next to the square and on the extension of the side. The rectangle
is supposed to have area 21 units; and this with the square makes 10
‘roots’. Now bisect the line of length 10. This has already been divided
unequally, and the rectangle formed from the two pieces has area 21, as
we said. By Euclid II., the square on 5 exceeds 21 by the square on the
line between the two points of division. So this line is 2 units long, and
the original square has side 3 units long.
I didn’t actually refer to Euclid; we in effect reproved the proposition.
Anyway, 7 is also a solution to the original problem: why didn’t this come
directly out of the geometric argument?
Oğuzhan knew the answer: al-Khwārizmı̄’s drawing assumes that the
midpoint of the line of length 10 lies beyond the side of the original
square. If it lies inside, we get 7. See Figure ., right.
Time was about up. Al-Khwārizmı̄ considers three kinds of problems:
. square and roots equal a number,
x2 + 10x = 39,
x2 = 4x + 21.
Probably Al-Kharizmi does this himself in the full text (which I linked
to on the webpage; I didn’t want to use those versions in class though,
because they are full of footnotes explaining things in symbolic terms).
Oğuzhan had indicated that al-Khwārizmı̄ was solving equations
ax2 + bx = c.
But rect. EA, AB is the given ‘number’, and BW is half the given number
of roots, so sq. BW is known; hence sq. AW is known; hence AW is
known. The claims about what is ‘known’ allude to Euclid’s Data [],
though only the editor’s footnote makes this explicit. Finally, AW minus
BW is known; but this is the desired root.
So the original equation is soluble in principle. And this claim holds
generally. Thābit ibn Qurra’s alternative to using literal constants in an
equation like
x2 + bx = c
is to make the equation into a picture. We just somehow understand that
one picture can stand for many cases; to suggest otherwise is to suggest
that, even if we know how to solve x2 + bx = c, we are not sure we can
solve x2 + dx = e.
It is worth noting that Thābit ibn Qurra does not actually give a
construction for solving the equation; he just shows that it can be done.
Again with the passage of time, I’ve forgotten who presented the above
solution in class. In the excerpt in the book we’ve been using, Thābit ibn
Qurra goes on to solve the equation
māl and number are equal to roots.
(So ‘side’ is what we called ‘root’ before.) Several students said they
hadn’t been able to follow the argument. Mehmet volunteered to go to
the board; but first I got Gökçen to read the selections from Khayyám’s
introduction that are included in the text. Some key points:
. Khayyám says you gotta know Euclid’s Elements and Data, along
with the first two books of Apollonius’s Conics; but that’s enough.
. There are four geometric ‘degrees’: (absolute) numbers, sides,
squares, and cubes; you can talk about square-squares, but only
‘metaphorically’.
. Only equations involving numbers, sides and square can be solved
numerically, so far: perhaps somebody in future can do more.
Khayyám’s solution of cubic equations will be geometric.
. The numeric/geometric distinction was recognized by Euclid; why
else would he develop a theory of ratios of magnitudes in Book V,
then an independent theory of ratios of numbers in Book VII?
Mehmet then worked out Khayyám’s solution of the equation above. It
involves a parabola and an hyperbola: their point of intersection deter-
mines the solution. Mehmet rewrote the equation symbolically as
x3 + a = bx.
During the course of things, I asked: Why must the parabola and hyper-
bola intersect? Somebody, I think Fuad, said they need not.
Indeed, Khayyám notes that the curves might be tangent, or meet in
two points. But he doesn’t give conditions for tangency. I suggested this
as an exercise for the students.
It is too bad most of the students were not with me last semester to read
Apollonius. I just told them that Apollonius shows how conics can be
x3 + a2 b = a2 x.
x2 = ay,
then a hyperbola
y 2 = x(x − b).
Eliminating y shows that x is as desired. Indeed, from these two equations
we get
a x y
= = ,
x y x−b
a2 x
= ,
x2 x−b
x3 = a2 (x − b),
x3 + a2 b = a2 x.
I worked through the solution myself (it uses an hyperbola drawn with
respect to given asymptotes, and a circle). Then I took volunteers for
presenting the several sections of our next reading: Chapters I, II, VI, XI,
XXXVII, and XXXIX of Gerolama Cardano’s Ars Magna or De Regulis
Algebraicis.
The book opens with an attribution of the invention of the art of alge-
bra to Muhammad the son of Moses the Arab,—that is, Al-Khwārizmı̄.
It gives a ‘numerical’ solution to cubic equations. Anthologies include
this, but it’s not much fun to read out of context.
At least Struik’s anthology [] has a fairly literal translation. (I don’t
remember what Smith’s [] is like.) The whole of Cardano’s book was
translated by Witmer in [], but Witmer freely uses modern nota-
tion. This helps one read, but is misleading. The original Latin can be
found on the web: I found it through Wikipedia. Unfortunately this is
the text from a posthumous edition of Cardano’s complete works from
. Unfortunately, as Witmer says, each edition of the Ars Magna kept
the old mistakes and introduced new ones.
Over the weekend I started typing out some sections of the Latin,
with parallel translation: Witmer’s or Struik’s translation, with some
adjustments by me. But this job became too daunting as the amount
I wanted to include grew. So I just gave students copies of sections of
Witmer’s translation, along with the Latin from the pdf file on the web,
in case they want to look at that (and Mehmet D., at least, said he did).
.. Excursus
By a Johnnie reading the foregoing, I was asked:
Do you have any suggestions [for a seminal text on negative numbers]?
I answer: Texts other than what we read at St John’s are new for me as
well. In his Mathematical Thought from Ancient to Modern Times [],
Kline says,
One of the first algebraists to accept negative numbers was Thomas
Harriot (–), who occasionally placed a negative number by
itself on one side of an equation. But he did not accept negative roots.
What does this mean? Did Harriot actually write equations in the mod-
ern symbolic sense? This seems to be one more example of why a math
history book is not of much value in isolation from the original texts.
In any case, Cardano was dead before Harriot was born, but Cardano
had given some recognition to negative numbers, as I have said.
Kline makes another strange comment earlier in his book (page ):
In arithmetic the Arabs took one step backward. Though they were
familiar with negative numbers and the rules for operating with them,
through the work of the Hindus, they rejected negative numbers.
. Cardano
Perhaps Klein is right. I believe the case is that the general cubic
cannot be solved by an algorithm when there are real roots, the so-
called ‘irreducible cubic.’ I have not checked this lately, but if it is so,
then Khayyám may be intending to say that some, not all cubics can be
solved numerically. It is these irreducible cubics, by the way, that Viète
solves geometrically in props - of the Supplementum Geometriae.
x2 + 3x = 28 (∗)
has just the solution 4. But the funny thing is, this means for Cardano
that the equation
x4 + 3x2 = 28 (†)
has two solutions, 2 and minus-2: but these are also ‘equal to each other’
for Cardano, rather as in ‘equal and opposite,’ I suppose—and this is a
reason not to write ‘minus-2’ as ‘−2’, since −2 is obviously different from
2.
Cardano doesn’t write out equation (∗), only (†); so this is all Emir
wrote in his presentation. I asked Emir how he knew that (†) had the
solutions 2 and minus-2; in reply, he wrote out (∗) (with t instead of x,
since he let t = x2 ); then he solved it. But he did this by transforming it
into
t2 + 3t − 28 = 0
and then observing 28 = (4)(7) and 3 = 7 − 4, so that the roots are 4
and −7.
t2 + 3t − 28 = (t + 7)(t − 4).
But he didn’t actually write out the factorization this way; he just wrote
down the 4 and the 7. To write more would have been against his train-
ing to find answers as quickly as possible and fill in the right circle on
the multiple-choice answer form supplied with the national university
entrance exam.
Apparently Emir has not picked up on the geometric solutions we have
worked out, whereby one finds that t is the square root of the sum of
28 and the square of half of 3, minus half of 3. This raises for me the
question of whether to encourage the students more to try to think in
the old-fashioned way.
Cardano works out similar examples with types () and (): Type ()
has either two or no solution, so the corresponding quartic (with x re-
placed with x2 ) has either four or no roots. Type () has one [positive]
solution, so the quartic has two solutions.
How do we know that these solutions exist? Ali observed at some point
that Cardano seemed to be making some sort of continuity assumption.
I said that we had a geometric construction of solutions of quadratic
equations. But Ali seemed to understand ‘geometric’ as ‘physical’: we
could obtain a line segment as the solution, but our measurement of this
segment would yield a rational number, even though the correct solution
might be irrational. Ali mentioned that the Pythagoreans knew about
the irrational, and that this caused a crisis for them; I passed on what I
had learned from Mr Thomas on the J-list, that there was no evidence
of such a crisis.
I also observed that Cardano was going to be using cube roots, even
though there is no ruler-and-compass construction of these. But I asked
whether anybody knew an algorithm for extracting square roots. Nobody
did. My father had once told me that he had learned such an algorithm,
and a couple of years ago I derived an algorithm for myself for some rea-
son, while teaching a number-theory course. One of the Arabic readings
that I skipped in the Katz book concerns extraction of a fifth root. So
I suppose Cardano believed in roots because they could be calculated
(albeit only approximately).
. Cardano
But Cardano observes further (and Ali presented this part) that if any
number (‘even a thousand’) of odd powers are ‘compared with’ (that
is, equated to) a number, then there will be one ‘true’ solution, but no
‘fictitious’ [negative] solution. This is the most remarkable statement in
the reading. Ali understood its import, but I don’t know if everybody
else did. (As I said, they were zombies at this time of day, this late in
the week. Maybe I should make tea for them, as Ayse and I did one
year when each of us was teaching a Saturday class, to mostly the same
students.) If we have the equation
then the left side increases from 0 as x increases from 0; also the left side
grows without bound as x does; ‘therefore,’ for just the right value of x,
the left side will be exactly N .
Perhaps it’s not hard to accept this. There’s a puzzle that goes some-
thing like, If you drive your car at varying speeds 300 miles in 5 hours,
must there be a 60-mile stretch that you cover in exactly one hour? The
answer is supposed to be Yes, because if you let f (x) be the time re-
quired to travel between the x-mile and (x + 60)-mile points, then f (x)
will sometimes be above, sometimes below one hour, so for ‘some’ x it
will be exactly one hour. But this makes an unjustified continuity as-
sumption.
In Mathematical Thought from Ancient to Modern Times [], Kline
writes (p. ):
Perhaps most interesting is the Hindus’ and Arabs’ self- contradictory
concept of mathematics. Both worked freely in arithmetic and algebra
and yet did not concern themselves at all with the notion of proof.
x3 + a = bx
. Cardano
Klein []?
The method given by Cardano, applied to
x3 − 15x − 4 = 0,
will I believe give as a solution the sum of the cube roots of 2 + 11i and
2 − 11i, where i2 + 1 = 0. The method doesn’t tell us, however, that these
cube roots are 2 + i and 2 − i, so that 4 is a root of the cubic.
Are you suggesting that, years before Cardano—who apparently
thought he was publishing the first numerical solution of a cubic—,
Khayyám already knew about such solutions?
Under cubic function, Wikipedia says,
In the th century, the Persian poet-mathematician, Omar Khayyám
(–), made significant progress in the theory of cubic equations.
In an early paper he wrote regarding cubic equations, he discovered that
a cubic equation can have more than one solution, that it cannot be
solved using earlier compass and straightedge constructions, and found
a geometric solution which could be used to get a numerical answer
by consulting trigonometric tables. In his later work, the Treatise on
Demonstration of Problems of Algebra, he wrote a complete classifi-
cation of cubic equations with general geometric solutions found by
means of intersecting conic sections.
I don’t know how to read this as other than admission that somebody in
future may succeed where Khayyám and others have failed.
Again, Kline said,
∗ http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Khayyam.html
. Cardano
I went to the board and asked: We didn’t Cardano just compute di-
rectly,
and so on? I think it was Fuad who said this wasn’t acceptible, because
it was not geometric; it was just symbol manipulation. He had earlier
named ‘distributivity’ as the algebraic rule at work in such an argument.
As Cardano does, Fuad then went to the board to derive the rule that
AB 3 + 3AB.BC 2
exceeds
BC 3 + 3(BC.AB 2 )
by
(AB − BC)3 .
Today we can obtain this by replacing BC with −BC in the earlier
identity. But Fuad gave Cardano’s geometric argument. Cardano takes
G on AC so that AG = BC. Then we know
Now add 3AB.BC 2 to both sides, and replace AG with BC, getting
AB 3 + 3AB.BC 2
= BC 3 + GB 3 + 3BC.(GB 2 + GB.BC + AB.BC).
. Cardano
now introduce y so that
x y x−b
= = ,
a x y
and find the intersection of the curves given by
x y y x−b
= , = ,
a x x y
that is,
ay = x2 y 2 = x(x − b)
a1 x + a3 x3 + a5 x5 + · · · + a2n+1 x2n+1 = b
. Cardano
Seray took over at the point where Cardano says, ‘Now assume that BC
is negative.’ She went through the calculations that Cardano apparently
does, but she couldn’t say clearly what the point was. I’m not sure what
the point is either. Seray seemed to suggest that Salih did the positive
case, and she the negative.
I think rather that Cardano just has a long-winded way of arguing that
AB 3 + 6AB = 20; assuming BC is negative means subtracting BC from
AC to get AB.
Makbule went to the board to work out Cardano’s ‘rule’ for finding a
numerical solution to x3 + 6x = 20: she went through the stated manip-
ulations of 6 and 20 to obtain the solution
3 √ 3 √
q q
x= 108 + 10 − 108 − 10.
Cardano knows how to find u and v, since his ‘rule’ requires it. But
unless I am missing something, Cardano does not explain to the reader
how his rule can be derived.
The derivation is pretty easy for us now: We get
and the latter equation is quadratic in u3 . But did Cardano know how to
do this? He must have, in some sense. But in Chapter , when he looks
at equations like x4 + 3x2 = 28, which are quadratic in x2 , he doesn’t
give an example that is quadratic in a cube.
Also, Cardano wasn’t the first to solve the cubic. In the preface to his
translation, Witmer writes:
It was [Cardano] who developed the proof that the formula or formulae
that he received from del Ferro and Tartaglia are correct; found the
method for reducing the more complex forms of the cubic. . . to one or
another of the simple forms. . .
. Cardano
follow the material’ (or something to that effect). I agreed with such
reasons, but said that I also wanted to learn from the students. Again I
pointed out that Cardano’s book was not the Quran or the Bible; it was
just written by some guy, who could make mistakes or be confusing.
Still, Yasemin began her presentation by reciting from memory the
beginning of the chapter:
The rule is threefold, for one either assumes a negative, or seeks a
negative square root, or seeks what is not. . .
x2 + 4x = 32
x2 = 4x + 32
has the solution 4; this means the former equation has also the solution
minus-4.
Now, I should think that Cardano would compute the solution to the
first equation as
half of 4 plus the square root of the sum of 32 and the square of half
of 4.
He also knows that a number has two square roots, one being negative;
why does he not then observe that, in the last computation, if the nega-
tive square root is used, one indeed gets minus-4? Why does he instead
convert to the second equation above? Does he think this conversion
makes the solution minus-4 more plausible?
Cardano illustrates with a word problem: Francis’s wife’s dowry is 100
gold pieces more than Francis’s own wealth; and the square of the dowry
which one solves to find x = 48; so Francis is 48 gold pieces in debt, and
his wife’s dowry is 52.
I had a lot to say about all of this, and the students had comments as
well. Oguzhan asked why Cardano doesn’t just let Francis’s wealth be
x; then we would just find x = −48. Zhala drew a vertical number line,
with Francis’s wealth below 0, and his wife’s dowry above.
I observed: Cardano says at one point that the difference between the
squares is 400 gold pieces (Witmer leaves Cardano’s aurei untranslated).
But the difference is 400 squares of pieces—which however has no physical
meaning that I know of. I suggested that nobody would ever be interested
in the situation of Cardano’s problem.
Finally, in solving the equation above, I woule proceed with something
like
This is what Yasemin wrote, except that, like Cardano, she wrote the
middle line here as
9600 = 200x.
That’s fine, but in my mind it involves an extra step, either to switch
members of an equation, or to cancel a minus sign. For me, I suppose, an
equation is a spatial entity, with definite left and right sides. For Cardano,
perhaps the left and right are not so distinct, and he can interchange
equations A = B and B = A as easily as he might interchange the two
expressions CD and DC for the same line segment. (Again, Cardano
doesn’t actually have equations in our sense; he just writes in words,
This equals that.)
I told Yasemin she should decide whether Cardano’s next two examples
were worth going through; she decided they weren’t.
. Cardano
Zhala worked through Cardano’s problem of dividing 10 into two parts
whose product is 40. (This problem is not numbered; it is just the first
illustration of ‘Rule ’.) Cardano says, It can’t be done, but do it anyway;
you get that the parts are
5 plus the square root of minus-15, and 5 minus the square root of
minus-15.
5. p̃. m̃.15
5. m̃. m̃.15
25 m̃. m̃.15. quad. est 40.
I don’t know that it sheds any light on square roots of negative numbers.
Cardano does go on to observe that, whereas minus-15 is 5 squared minus
40, one could try taking the sum of 5 squared and 40 instead. This doesn’t
give the right answer. It does however suggest that Cardano may in other
cases guess solutions to problems, and then verify them by substition,
rather than actually deriving them. (I raised this issue in my last log
entry.)
In problem , Cardano proposes to divide 6 into two pieces, the sum
of whose squares is 50. Cardano gets that the pieces are 7 and minus-1.
Zhala worked this out after the break, just following Cardano’s recipe,
which is: Take half of 6, and add or subtract the square root of the
difference of the 25 from the square of half of 6:
6 6 6 6
p̃. 25 m̃. sq. , m̃. 25 m̃. sq. .
2 2 2 2
Fuad asked why this worked; Zhala didn’t know. I pointed out that the
recipe differs from the recipe for solving a quadratic equation: in the
latter case, under the radical sign, the square of half the number of roots
is always added, never subtracted.
. Cardano
Either Cardano forgot the minus-sign, or he is confused about its impor-
tance. I remarked that the translator didn’t note a problem, although he
had caught an error earlier on the page.
We had ten minutes left, but Şule wanted to start presenting Chapter
XXXIX, section . She gave a preliminary algebraic result, presented
geometrically, needed for solving quartic equations (equations involving
squares of squares). She didn’t make clear why the result was needed
though, until I questioned her at the end.
Before Şule made use of this today, I made assignments for our next
readings, in Viète and Descartes. MuYaKu asked for one of these assign-
ments, though I thought he was going to talk, with Şule, about Cardano;
but he said he hadn’t been able to understand Cardano.
The assigned readings were:
. Chapters I–III of Viète’s Introduction to the Analytic Art [, Ap-
pendix], along with the fifth of the ‘laws of zetetics’ in Ch. V.
. Book I of Descartes’s Geometry [], divided into these sections:
a) pp. –,
b) –,
c) –,
d) –,
e) –.
Şule stated the problem that Cardano takes up: to find three numbers
in proportion whose sum is 10 and the product of the first two of which
is 6. If the middle number is x, then the first is 6/x, and the third is
x3 /6, so
6 x3
+x+ = 10,
x 6
36 + 6x2 + x4 = 60x,
36 + 12x2 + x4 = 6x2 + 60x.
. Cardano
that is,
(x2 + 2a)2 = 2bx2 + 4cx,
we get
and we require
Cardano seems to have compared (‖) and (∗∗) in a special case and drawn
the wrong conclusion.
After class, Gökçen asked me about higher dimensions. Now, Omar
Khayyám had written,
If the algebraist uses the ‘square-square’ in problems of geometry it is
only metaphorically, not properly, for it is impossible that the ‘square-
square’ be counted as a magnitude. [, p. ]
Why then was Gökçen’s topology class (I think it was topology) talking
about higher dimensions? I talked to her a bit about hypercubes, but
then I had to run for the departmental seminar.
Then I gave way to Melis and Ece for their presentation of the Viète
reading.
In fact Ece and Melis had come to my office two hours before class,
saying they had not picked up the reading till yesterday, and it was too
long for two people. I showed them that it wasn’t so long, and I talked
to them about it. I discussed the Greek meanings of ζητητική, ποριστική,
and ῥητική; I think I skipped ἐξηγητική, apparently used as a synonym for
ῥητική. I mentioned that the earlier name of Beyoğlu in Istanbul, namely
Pera (Πέρα), meant ‘beyond,’ that is, beyond the Golden Horn; this word
was apparently related to ποριστική. I pointed out that, according to a
note that wasn’t in their Viète photocopy, the distinction between zetetic
and poristic may have corresponded to the distinction between theorem
and problem that we had discussed in Math . Melis recalled this, but
Ece had not been in that class. In any case, I didn’t claim to understand
just what Viète meant by zetetic, poristic, and exegetic.
Nonetheless, in her presentation, Melis spoke as if she understood the
distinctions between these words. On the board, she made a diagram:
Figure .. She said something about how zetetic involves finding a
zetetic (ζητητική)
exegetic (ἐξηγητική)
Indeed, the latter doesn’t make sense, in Euclid’s terms, if, for example,
a and b are triangles in the same parallels, and c and d are their bases:
In Figure . we have
but ABD does not even have a ratio to AB,—much less does it have the
same ratio that BCD has to BC. (I noticed that Oğuzhan—who always
sits in front—was writing this down.)
A B C
a : b :: c : d
ad = bc.
S : s :: D3 : d3 ;
She admitted in the break that she wasn’t sure what the first one meant,
and indeed Viète’s statement,
if a magnitude is added to a magnitude, it is homogeneous with it,
has pronouns with uncertain antecedents. But probably Viète means that
two magnitudes cannot be added unless they are homogeneous.
Before the break, Ece had written down Viète’s ‘ladder-rungs’—in
Turkish, merdiven basamakları. As Melis had written down Greek forms,
so Ece wrote down the Latin:
. side (latus) or root (radix ),
. square (quadratum),
. cube (cubus),
. squared square (quadrato-quadratum)
—I think Ece stopped there, fortunately, without trying to write down
Viète’s whole list up to the cubed-cubed-cube. I asked what a squared
square was; Ece didn’t say that my hypercube was one, so I did, while
admitting I had no evidence that Viète thought in such terms.
After the break, Ece continued with the ‘genera of the compared mag-
nitudes’:
. length (longitudo) or breadth (latitudo),
. plane (planum),
. solid (solidum),
. plane-plane (plano-planum)
—again she stopped here, without going up to the solid-solid-solid. I
quizzed her about the word genera, getting her to admit that it was
the plural of genus. I led her to say that homogeneous meant having
a : b :: c : d (†)
Hadn’t Viète already said that? I asked. Mehmet claimed that, for Viète,
the proportion and equation were merely equivalent, not identical. But he
also said that the notation in (†) was merely the convention of Descartes;
I said I hadn’t recalled seeing it in Descartes; in the passage in question,
on the first page, Descartes just wrote out the proportion in words.
I said that I had recently published a paper [] of new results that
had been inspired by Descartes’s figure (Figure .), in which AB : BD ::
BC : BE because DE k AC.
Gökçen talked about Descartes’s formulation of what was in effect the
law of homogeneity. She had asked me about this during the break: I
don’t recall exactly what her question was, but I observed that 1 cm2
plus 1 cm was not really 2 of anything in particular; for then it should
also be 100 mm2 plus 10 mm, or 110 of something. Gökçen didn’t repeat
this example in her presentation, but she said you couldn’t take a2 + a
unless you had a designated unit, as b; then you could take a2 + ab.
After class, Oğuzhan asked me about Descartes’s own example: in
D A B
x3 = u3 − v 3 − 3uvx,
so
u3 − v 3 = b, 3uv = a.
I wrote him:
So you are giving an alternative method for solving the simultaneous
equations
uv = a/3, u3 − v 3 = b
If u3 − v 3 = b, and uv = a/3,
then (u − v)3 + a(u − v) = b. (∗)
E
Fb
A G B
looked at the word before. Ali asked about this, so I just wrote it out:
Find a straight line AH such that AH : AD :: AD : AF ; then AH =
DEB, so the triangle with base AH and height AD is equal to the circular
quadrant ABED.
Emir had said at the end of the break that he couldn’t understand
the Descartes. I asked if he had talked to Ali, his supposed partner. He
hadn’t. They started talking right there. But this didn’t do much good.
Actually, Emir started his presentation by writing a table on the board,
listing the three kinds of problems:
() plane,
() solid,
() linear.
I asked what ‘linear’ meant. Ali understood that this meant problems
solved by lines in the sense of curves. Under linear, Emir wrote the
quadratix and some other things. But then Emir just started reading
Descartes out loud. Eventually I stopped him and asked what the point
was. Then Ali stepped in and said some things. He didn’t understand
why Descartes should exclude the quadratrix but not other curves. I
suggested we look at some other curves. Emir agreed to draw Descartes’s
funny contraption on p. . He worked out the equations for the curves
drawn by the contraption.
Meanwhile, I noticed that nobody was paying attention. So when Ali
M L : KL :: GL : CL :: GA : CB;
F
K
N L
I
B
C
D A
G E
F M : DG :: KL : N L :: KL : DG,
F M = KL,
M L = F K,
F K : KL :: DE : CB,
IC : N L :: DE : CB,
IC : EA :: DE : CB,
IC · CB = DE · EA,
. Newton
Descartes gave us a way to just work out formulas without really thinking.
Ece wanted to talk about Newton’s Lemma , since she would be away
the following week like Duygu. (They will be fencing in Balıkesir, it
seems.) She drew a stream of dots approaching another dot. I suggested
that she was just proving that if a limit was approached, then the limit
was reached (or something like that).
. Newton
G
B
D
G′
B′
D′
F
F′
A C E H A′ C′ E′ H′
Figure .. Proportional areas
like
r(An − An−1 )
= α,
r(Bn − Bn−1 )
with r for rectangle. Anyway, Newton’s hypothesis is not that the ratios
AB : A′ B ′ are equal, but that they are ultimately equal; but what can
this mean when a given rectangle doesn’t obviously persist through the
process of adding more rectangles?
We took a break. I think Burhan and Yasemin both asked me questions
about their lemmas. I refrained from scolding them about not having
asked me sooner. Oğuzhan said there was nothing new in the corollary
to Lemma IV, so we proceeded to Şule. She seemed to suggest that
Lemma V followed directly from IV. I drew two similar rectilinear (but
non-convex) figures, saying that Euclid had shown them to be in the
duplicate ratio of their sides; now Newton was saying the same was true
even if there were curving sides. (I didn’t quiz Şule on her understanding
of duplicate ratio. She had written things like |AB| = k|CD| to indicate
ratio.)
I don’t think Burhan got the point of Lemma VI. Perhaps he didn’t
understand the clause,
the arc ACB will contain with the tangent AD an angle equal to a
rectilinear angle.
Ab = Ad ultimately;
Ab : Ad :: AB : AD now; therefore
AB = AD ultimately.
Similarly, AB = AE.
Thefore ED : AD is ultimately zero.
. Newton
as B approaches A, so does R; I didn’t think that was necessary.
Makbule had visited my office a few hours before. She had been absent
on Tuesday, because of an exam in another course. She was supposed to
present Lemma IX today, but didn’t know if she could. I told her to work
on it, visiting me if she had questions. She did visit later, and I discussed
the lemma with her. I sketched some figures. She took the paper away
with her. In class, she took that paper to the board with her.
She didn’t draw Newton’s figure right though: she didn’t make B and
b collinear with A. Salih Acar went to the board to straighten things out.
Duygu was away, as she had warned; but she was supposed to present
Lemma X. I figured we could skip it for now, since I was keen to see
how Mihail would do with Lemma XI. He was fine, but neither he nor
anybody else seemed to know about the osculating circle. Many students
had taken Math , Differential Geometry, and they could state that
the ‘radius of curvature’ is the inverse of the curvature; but they didn’t
understand the radius geometrically. I pointed out that Newton’s AJ is
the diameter of the circle of curvature.
Three students came to the optional class: Oğuzhan and Besmir on pur-
pose, MuYaKu by accident (he hadn’t come Tuesday, and didn’t know
today’s class was optional). When I asked how they liked Newton, all I
could get was Oğuzhan’s exclamation, ‘Amazing!’ I offered them a pre-
cise definition of ultimate equality of ratios: A is to B ultimately as
C is to D, provided that, for all k and m, we can take the magnitudes
far enough (to their ultimate destination) that, assuming kA 6= mB and
kC 6= mD,
kA < mB ⇐⇒ kC < mD.
. Newton
.. Tuesday, April
I asked Duygu finally to present Lemma X, and she said she didn’t know
she was supposed to present it today! But she said she had read it a couple
of times. She agreed to try to go through it anyway at the board, and she
did pretty well. However, where Newton speaks of the ‘spaces’ described
by a body, Duygu thought he was referring to the ‘areas described by
radii’ of Proposition I. But she seemed to understand that Newton is
obtaining distance by (what we call) integrating speed with respect to
time.
Duygu later complained about the difficulty of the translation. I didn’t
keep a copy of the Motte translation that I made available to them, so
I’ve been reading either Donahue [] or Cohen and Whitman [].
Burhan did Proposition II. I think he was confused by the language:
And that force by which the body is turned off from its rectilinear
course, and is made to describe, in equal times, the equal least triangles
SAB, SBG, SCD, &c. about the immovable point S, (by prop. .
book . elem. and law .) acts in the place B, according to the direction
of a line parallel to cC. . . ∗
. Newton
A
B
C
and therefore
arc2
F ∝
R
—and this is an absolute statement, not an ‘ultimate’ one. For Cor. ,
since V ∝ arc,
V2
F ∝ .
R
For Cor. , since T ∝ R/V , and F ∝ (V /R)2 ,
R
F ∝ .
T2
The next corollaries are a special case of :
1 1
F ∝ ⇐⇒ T ∝ Rn ⇐⇒ V ∝ n−1 .
R2n−1 R
Şule then proved Proposition capably, though I complained that what
she wrote on the board did not show the logical connections.
Mehmet Doğan was absent, though he was supposed to present Prop.
(on a circular orbit with arbitrary center of force); I did it.
Salih Kanlıdağ presented Proposition , on a spiral orbit. He presented
all of the steps, but admitted to not knowing what it meant that the figure
. Newton
sition . We stayed a few minutes late so she could finish. She never
quite proved P E = AC, even though I pointed out the gap; perhaps she
was just too excited.
As I was leaving, Ali pointed out that his assignment, Proposition ,
is almost word for word the same as Prop. . I suggested he give the
alternative argument next time. He admitted to not having read it.
b b
. Newton
I said we would finalize our agreement tomorrow; but meanwhile, we
would see each other in class. Oh, can I go to the Spring Festival now?
Ece asked. I said I didn’t give permission for such things; we would just
have class. Again, as it happened, we didn’t have class, but I did talk
a bit about Newton—about how his work showed that the earth and
the heavens obeyed the same law. I talked about what might be on the
exam: Viète’s Law of Homogeneity; Cartesian-style constructions and
their equations; proofs as in Newton’s first lemmas;
The second exam was last Tuesday, and I cancelled Thursday’s class to
go to Antalya Algebra Days. Today, Duygu in particular asked about
the exam: many students were hoping to graduate, but if the exam were
graded by catalogue, perhaps these students couldn’t graduate. I said
they shouldn’t worry if they came to class and continued to work. In ear-
lier exams, students had often done my problems better then I expected;
this time they did worse. I said I liked the last exam, and the students
should be able to do its problems now; indeed, the analogue of Problem
for the ellipse or hyperbola might appear on the final exam, I said.
Mehmet Şekercioğlu finally presented Prop. and its corollary. I
asked where on the orbit the distance of a planet from the center of force
was equal to half the major axis. He didn’t know exactly where, but Ali
came to the board to show it. For the corollary, Mehmet first draw a
concentric circle and ellipse, until he was corrected.
Gökçen presented Prop. and its corollaries. She had still been work-
ing with the Motte translation printed out from Wikisource, and she had
visited my office, confused. There were a number of mistakes there. I
corrected them on line with her; but it was bad of me not to have been
reading this translation for mistakes all along. In class, Gökçen was con-
fused about Corollary , I don’t know why. I drew a diagram for it on
the board, as in Figure ..
One proposition was left, . I had assigned to Melis, but she was not
in class. Well, there was no time left anyway.
. Newton
A. Examinations
These are the examination problems given in the course, along with my
solutions and remarks, which I posted on the web after each exam. There
were only two exams in Math ; but at least one student who continued
on to Math wanted more exams, so there were three in Math .
A
A
A
A
A
A
FH AG
HH A
E
HH A
HH A
B D C
Figure A.. Are all triangles isosceles?
. AF + F B = AB and AG + GC = AC.
. AB = AC; in particular, ABC is isosceles.
A. Examinations
Problem A... Write the letters of the Greek alphabet in the standard
order. Write only the capital letters or only the minuscule letters.
Solution. Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω or α
β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ ς τ υ φ χ ψ ω.
Every problem and every theorem that is furnished with all its parts
should contain the following elements:
() an enunciation (πρότασις),
() an exposition (or setting out: ἔκθεσις),
() a specification (or definition of goal: διορισμός),
() a construction (κατασκευή),
() a proof (ἀπόδειξις), and
() a conclusion (συμπέρασμα).
Solution. Suppose ABC and DEF are triangles such that AB = DE,
BC = EF , and AC = DF . We shall show that angles ABC and DEF
are equal. To this end, let AG be dropped perpendicular to BC, extended
if necessary [by I.]. On EF , extended if necessary, cut off EH equal
to BG [by I.]. Erect HK perpendicular to EF [by I.] and equal to
AG [by I. again]. Then EK = AB and angles KEF and ABC are
equal [by I.], and similarly, since HF = GC, we have F K = CA. Hence
EK = ED and F K = F D. Therefore K and D coincide [by I.], and in
particular, angles DEF and ABC are equal.
Now, we have used two propositions [namely I. and ] that Euclid
proves by means of I.. However, alternative proofs are as follows.
If A does not lie on the straight line BC, then by drawing a circle with
center A that cuts the line, we may assume B and C have been chosen
so that AB = AC. Draw an equilateral triangle BCD (on the opposite
side of BC from A) [by I.]. Draw the straight line AD, which cuts BC
at a point E. Then angles BAD and CAD are equal [by I. and ], and
therefore angles AEB and AEC are equal [again by I.], so the latter
angles are right. Therefore AE has been dropped perpendicular to AB.
If A does lie on BC, we may still assume AB = AC. Draw an equilat-
eral triangle BCD and straight line AD. Then angles BAD and CAD
are equal [by I. and ], so they are right. Thus AD has been erected
perpendicular to BC.
A. Examinations
BG = BC = EF . But then GA = F A [by I.], so we have violated
I., which is absurd; therefore ABC = DEF . Now, if this argument is
valid, then what is the point of I.? If straight line AB is greater than
straight line C, why does Euclid not declare that there must be a part of
AB, namely AE, that is equal to C? Why does Euclid feel the need to
construct AE?
Remark. I think the argument just given is the best of several variants
that were found by different people. The argument I had thought origi-
nally of was more complicated: Since angle BDA must be greater than
ADC, inside angle BDA we can construct angle ADE equal to ADC,
with DE = DC. Then BE is parallel to AD [why?], so E lies outside
triangle ABD. Therefore angle BAD is less than EAD; but the latter is
equal to DAC.
Problem A... What is wrong with the following proof that angles have
no size?—:
. Let an angle K be given [Figure A.].
. Let a rectangle be given, namely ABCD.
. Let angle EDA be equal to K.
. Let DE be made equal to DA.
. Suppose the perpendicular bisectors F H of AB and GH of BE meet
at H.
. Let the straight lines HC, HB, HF , HG, HA, HE, and HD be
drawn.
. HB = HA.
. HB = HE.
C D
H
Figure A.. Have angles no size?
. HA = HE.
. Triangles HAD and HED are equal in all respects.
. In particular, angle HDA is equal to HDE.∗
. Angle EDA has no size.
. Therefore K has no size.
Problem A... Write English translations of the following words:
(a) γραμμή, (b) κύκλος, (c) κέντρον, (d) τρίγωνον, (e) περιφέρεια,
(f ) γεωμετρία.
A. Examinations
same straight line [from its extremities], and on the same side of it, two
other straight lines meeting in another point and equal to the former
two respectively, namely each to that which has the same extremity
with it.
If two triangles have two sides equal to two sides respectively, and have
also the base equal to the base, they will also have the angles equal
which are contained by the equal straighte lines.
If two triangles have two sides equal to two sides respectively, and have
the angles contained by the equal straight lines equal, they will also
have the base equal to the base.
A B C D E F G H I K L M N O P Q R S T V X Y Z.
In the year c.e., a monk from Salonica named Cyril invented the so-
called Glagolitic alphabet in order to translate holy scripture from Greek
into Old Bulgarian. Soon after that, the simpler Cyrillic alphabet was
A B V G D E Z I K L M N O P
R S T U F H C Q X W _ Y ^ .
This alphabet retains of the letters of the Greek alphabet, in their
original order, though not always in the original form. What are the
letters of the Greek alphabet?
Solution. Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω, or
α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ ς τ υ φ χ ψ ω.
Remark. Most people seem to have learned the alphabet for this exam. If
this had been so on the first exam, I may not have asked for the alphabet
on this exam.
Solution. No, since no multiple of the side can exceed the square.
Magnitudes are said to have a ratio to one another which are capable,
when multiplied, of exceeding one another.
Euclid does not seem to refer to this definition later; but (as we discussed
in class) he uses the definition implicitly, in Proposition V. for example,
where there is an unstated assumption that A and C have a ratio, and
(therefore) B and D have a ratio. In his ‘quadrature of the parabola,’
discussed on the last day of class, Archimedes assumes that, if two areas
are unequal, then their difference has a ratio (in the sense of Euclid) to
either of the areas.
A. Examinations
Solution. If equimultiples mA and mC of A and C be taken, and other
equimultiples nB and nD of B and D be taken, then
A
B C
F
E
D
DE 2 = DF 2 + F E 2 = DF 2 + EA2 − F A2
= DF 2 + DA2 − F A2
= 2DF 2 + 2DF.F A = 2DF.DA,
L
C
D
E
K
M G
F
B
A. Examinations
cone, making sections DHG and ELF , with diameters HK and LM ,
respectively; and these diameters are parallel to AC. The parameters
(the ‘upright sides’ or latera recta) of the sections are not shown; but
let them be HN and LP . What is the ratio of HN to LP (in terms of
straight lines that are shown in the diagram)?
Solution. Since HN : HA :: BC 2 : BA.AC and LP : LA :: BC 2 :
BA.AC [by I. of Apollonius], we have HN : HA :: LP : LA, and
alternately
HN : LP :: HA : LA.
Remark. One may alternatively observe that DK 2 = HN.HK, but also
DK 2 = BK.KC, and similarly for EM . Hence
but also
DK 2 : EM 2 :: BK : BM & KC : M C
:: HK : LM & HA : LA,
HN : LP :: DK 2 : EM 2 & LM : HK
:: DK 2 .LM : EM 2 .HK;
A B
Show that
E : AC :: AC : AB, AC : AB :: AB : F.
A. Examinations
B
F E
G
A C
Figure A.. Parallels in a triangle
BF : BD :: BG : BC, BD : BA :: BE : BG;
Remark. I learned this short proof from some students’ papers. I had
previously found a longer argument, which did use alternation.
Really, Euclid’s VI. gives us only (for example) DF : F B :: CG : GB;
this is equivalent to DB : F B :: CB : GB by V. and .
As noted, we don’t really need to use proportions, just that, in the
diagram here [Figure A.], the parallelograms ABEG and BCKF are
equal (by cutting and pasting) if and only if F E is parallel to AC. Let’s
use BA.BE and BF.BC to denote these parallelograms respectively. In
the problem then, we have BF.BC = BG.BD = BA.BE, so AE k BE.
This problem is inspired by Descartes, who, in his Geometry, observes
that, if (in the original diagram) BF is a unit length, and BG = a,
while BD = b, then we can define the product ba as (the length of) BC.
Descartes does not show that the multiplication so defined is commuta-
tive. But it is commutative, by this problem. Indeed, if BE = BF , then
BA = ab, but also BA = BC, so ab = ba.
However, if you know about the skew-field H of quaternions, then sup-
pose the diagram sits in the vector-space H2 as shown below [Figure A.].
Then the assumptions of parallelism in the problem hold here, since for
F E
A C
G K
example (0, ij) − (i, 0) is a scalar multiple of (0, j) − (1, 0). However,
(0, ij) − (ji, 0) = ij(−1, 1), which is not a scalar multiple of (0, 1) − (1, 0).
Bonus. How can this exam and this course be improved? (Responses may
be submitted also by email in the next few days: dpierce@ metu. edu. tr .
Meanwhile, iyi çalışmalar; ondan sonra, iyi tatiller!)
A. Examinations
(0, 0)
(1, 0) (0, 1)
(0, j)
(i, 0)
28
Solution. [Analysis:]
x3 + 9x = 10,
x3 = 10 − 9x,
x2 10/9 − x
= , (†)
9 x
x y 10/9 − x
= = , (‡)
3 x y
2 2 10
x = 3y & y = x −x .
9
D C
A E B
Figure A.. Circle and parabola
10/9, and let AD, perpendicular to AB, be the axis of a parabola with
parameter 3. The semicircle and parabola intersect at a point C (as well
as at A). Let CE be dropped perpendicular to AB; and CD, to AD.
Then AE = CD; either of these is the desired “side”. Indeed,
CD2 = 3AD,
CD : 3 :: AD : CD :: EC : AE :: EB : EC,
10
AE 2 : 9 :: CD2 : 9 :: EB : AE :: − AE : AE,
9
AE 3 = 10 − 9AE,
AE 3 + 9AE = 10.
A. Examinations
Remark. (i). In the solution, analysis and synthesis are used in the
sense attributed to Theon (presumably Theon of Smyrna, that is, İzmir)
by Viète at the beginning of Chapter of the Introduction to the Analytic
Art. In his solutions of cubic equations, Omar Khayyām gives only the
synthesis; we can only speculate whether he had some sort of analysis
like ours.
(ii). In our analysis, equations (†) and (‡) could have been
10 − 9x
x2 = ,
x
y 10 − 9x
x= = ,
x y
Problem A... Again, a cube and nine sides are equal to ten.
. Find the side numerically, as the difference of the cube roots of a
binomium and an apotome, by Cardano’s method (really Tartaglia’s
method); your steps should be clearly justifiable.
. The side is in fact a whole number; which one?
x3 = u3 − v 3 − 3uv(u − v) = u3 − v 3 − 3uvx.
So we let
u3 − v 3 = 10, uv = 3,
A. Examinations
. Let t = s − 4; then
s3 − 48s + 12 · 16 − 64 = 23 34 ,
s3 − 48s = 23 34 + 26 − 26 3 = 23 (34 − 24 ) = 8 · 65 = 520.
. (x2 + 12)2 = 12x2 + 72x + 108,
= 12(x2 + 6x + 9)
= 12(x + 3)2 ,
√
x2 + 12 = 2 3(x + 3),
√ √
x2 = 2 3 − 6(2 − 3),
√ √ √ √
q q
x = 3 + 3 − 6(2 − 3) = 3 + 6 3 − 9.
Remark. If we believe in negative numbers,
√ then from (x2 +12)2 = 12(x+
3)2 we should obtain x2 + 12 = ±2 3(x + 3); but the negative sign here
leads to a negative value of x. The problem asks for the “side”, which is
implicitly positive.
D
A B
G
F
C
Figure A.. Concentric circle and ellipse
A. Examinations
H G
E
K
F
C
B
A
D
Figure A.. Parabola and tangent
A straight line ℓ (not shown), a curved line ABE [Figure A.], and
a straight line AC are given such that, whenever a point B is chosen at
random on ABE, and straight line BC is dropped perpendicular to AC,
then the square on BC is equal to the rectangle bounded by ℓ and AC.
So ABE is a parabola with axis AC.
Let B now be fixed; so we may write BC = a and AC = b. Extend CA
to D so that AD = AC. Draw straight line DBK, and let c = BD.
Let a point E be chosen at random on the parabola ABE. Draw straight
lines BF parallel to AC, and EF parallel to BD.
. Show that the parabola ABE must indeed lie all on one side of
DBK.
. Show that the square on EF varies as BF , and find m (in terms of
a, b, and c only) such that m × BF is equal to the square on EF .
For your computations, let x = EF and y = BF .
. Explain why BD is tangent to the parabola at B.
Remark. One approach to (a) is showing that E lies above K. The height
of E above D is the length of DH; by similarity of triangles, the height
of K above D is 2b/a times EH. The point of using DH and EH is that
we know how their lengths are related. Two students solved this problem
perfectly; one other was partially successful.
In (b), we want to find x2 /y in terms of fixed magnitudes. We have
EH 2 2b 2b
AH = , DL = LK × = EH × ,
ℓ a a
so
2bℓ
ℓ × (DH − DL) = EH 2 + bℓ − EH ×
a
= EH 2 + a2 − EH × 2a
= (EH − a)2 ,
a2 x2 c2 c2
= ℓy, x2 = ℓy, m= .
c2 a2 b
A. Examinations
A.. Saturday, June
t2 t+1 t y t+1
= , = =
9 t 3 t y
t3 = 3uvt + u3 + v 3 .
b b
C
D
b
E b
F b
we have
u6 + u3 v 3 = 9u3 ,
u6 + 27 = 9u3 ,
r √
3 9 81 9 ± 3 −3
u = ± − 27 = .
2 4 2
√
So if u is a cube root of (9 + 3 −3)/2, then one solution to (¶) is
u + 3/u.
Remark. Cardano could not give a meaning to the solution we found in
the last part; today we can, and the three choices of the cube root give
the three solutions found geometrically earlier.
Problem A... This problem shows that every line through the center
of an ellipse is a diameter with certain properties. The method is based
on Apollonius; but the algebraic geometry of Descartes makes some sim-
plifications possible. Straight line AB is given, and angle BAK is given.
The point C moves along AB, and as it moves, straight line CD remains
parallel to AK. But D moves along DC as C moves, so that D traces
out a curvilinear figure ADB, as shown [Figure A.] with two possible
positions of DC.
Recall that the curvilinear figure ADB is an ellipse with diameter
AB and ordinates parallel to AK if and only if
CD2 ∝ AC × CB (‖)
A. Examinations
G G
A K A K
F E F E
C
D
M
H H
P P
L L
N C
N
M D
B B
AG AF
= . (∗∗)
GB FB
Let H be the midpoint of AB, and let straight line HE be drawn and
extended to meet AK at K. Let L be taken on AB (extended if necessary)
so that straight line DL is parallel to GE. Finally, let M be the point of
intersection of DC and HK (both extended if necessary).
For computations, let
AH = b, EF = c, HF = d, CD = x, CH = y.
A. Examinations
C. Since CDL ∼ F EG, and
1 b2
F EG = − d c,
2 d
we have
x2 x2 b2
CDL = F EG = − d .
c2 2c d
We assume angle BAK is right; otherwise, we can just multiply
throughout by its sine.) Also AHK and CHM are both similar to
F HE, which is cd/2; so
cd b2 y2
AKH − CHM = 2
− 2 .
2 d d
So (∗∗) holds if and only if
x2 b2 b2 − y 2
−d =c ,
c d d
x2 (b2 − d2 ) = c2 (b2 − y 2 ),
b2 x2 = a2 (b2 − y 2 ),
F EG = AHK − F HE,
so AHK = F EG + F HE = GHE.
E. By part C, it is enough to show
P DM = EHG − P HL.
We have
P DM = CDL + CHM − P HL
= AHK − P HL [by (∗∗)]
= EHG − P HL [by D].
Here are the comments invited by the ‘bonus’ questions on the final ex-
ams.
B.. Fall
Original comments
Some of these came by email; others are transcribed from exam papers.
In either case, I do not make any stylistic corrections; mistakes can serve
as a reminder that the students are not native English speakers. Nothing
is left out; dots of ellipsis [. . . ] are by the students.
Yunus
Lesson was generally nice. Although presentations of students are neces-
sary, I think that you should talk more because you know the connections
of propositions with other things. And learning these connections is very
exciting.
For the exam, I think greek alphabet part is not necessary. I just
memorized it and unfortunately I am sure that I will forget it.
Elif
First of all thank you that this course is opened. History and philosophy
of mathematics are interesting and I am glad to take such kind of course
from my own department this time. I like course material (conics is a
bit difficult compared to elements but it is also good choice) and the
connection with language add a variation. Presentations shows us our
deficiencies, so they were very useful for us. Maybe it were possible that
not to choose before the lesson the person who presents the proposition
in order to make everyone prepared and have higher interaction level.
Homeworks or quizzes about alternative proofs may force us to consider
them more frequently. Exams were parallel to lessons and measure what
we have learned. In short, I am pleased to have attended to this course.
Tolga
Firstly, I didn’t suppose that this course might be exciting for me. I added
this course after the add-drop week, so I couldn’t attend the lesson until
this week. We have studied ‘The Elementa’, Euclid, so I had a chance
to study on this book. After all, this book helped me to learn how
to examine on mathematics. secondly, this final exam is extraordinary.
because of that I coudn’t well done that I supposed but it is certain that
this exam gave a chance to apply the propositions we learned. Moreover,
the lessons were interactive so that it increases my attandences. Shortly,
I think it is a good and exciting course for me. I am happy to take this
course. Thanks for everything. Good holiday.
Besmir
I wish the course was a little more math history, that would be very nice
I think. The exam maybe should be more alike the things we are usually
used to in the texts we had. Considering the risk I now find my self in,
maybe a second midterm would be good.
Ali
due to excessive amount of sidenotes, there is not much place left for us
to write. it’d be proper to give those problems on a -page exam paper.
also, size de iyi tatiller
Tuğba
I had trouble in understanding the propositions of the last book we cov-
ered in class, Apollonius. It would be better if the books which are easier
to understand and follow in lessons are covered
Rashad
I think exam and course were nice. Maybe a little bit more history will
be good. I wish you to have a nice holiday, too.
Melis
The course can be improved by making it ‘more’ history included and
‘less’ mathematics included. Maybe other than learning history of math-
ematical concepts, we also need to learn the lives of the mathematicians
who discovered those mathematical concepts.
It seems its more historical. I think I prefer what we did but still. . .
Maybe there could be a part where the other matematicians’ works are
presented. I think the students of mathematics should know some basic
history of maths but I am don’t know if it’s here to learn it. They can,
if they’re interested, easily read and make research about them.
And lastly, maybe a course website can be constructed by students as
well. . .
Thank you.
Taner
The lecture is especially not boring as the other courses that I have taken
from our department.You made us think about the proofs and formalize
the mathematical stuff by using geometry(görsel kanıtlama yöntemleri in
Turkish). But grading is more important for the students at METU so
you can name the cost(howmany points we are supposed to take from
a presentationproof) of the classes.I accept that this is not nice but you
will see that we students will attempt the course more than we do now.
Also if we learn the greek alphabet better this may benefit us.To give
an example, I sometimes couldn’t understand the proofs from the books
that are in your site.Or may be some more books can be suggested for
us to have a look for the proofs of the propositions. This is all that I
can find for now.Thanks a lot for your help during the classes, and your
understanding about being a teacher =) See you in the next semester
hocam
My responses
Here I summarized some responses to the bonus problem on the last exam,
and I added my comments. I did not finish or distribute this work; but
Salih A.
It will be more helpful for us, if you explain (teach) the course instead of
the students. When we make presentations all of us know only their sub-
ject well, because we cannot concentrate on other students subjects. You
can give homeworks or some other projects instead of teaching. Because
listening subject from a lecturer or a student is very different. Thanks
for everything. . .
Ece
In this course, if we want to solve questions we need to think and work
on more about them. To make presentations is a good idea. At least
some of the students get prepared the course and know the propositions
or corrollaries. . .
I think, take home exams or, only homework questions without exams
will be better idea. Because I think if the exams would be take home
style, the students (we) meet all together and think together. In this way
we all need to learn all the corollaries or etc., because in the questions I
can use some of the properties and the other student can use other ones.
So none of us can solve questions, but we all can solve some part of them.
But if we do them together, we may solve the questions. As a old people
say ‘Bir elin nesi var, iki elin sesi var.’
Duygu
Don’t get angry but I totally think student presentations is not a good
idea. Personally I like old-fashioned classroom style, the teacher lectures
and kids listen and takes notes. If you try the classical method, I think
both you and students will be happier. (and it would be better for exams
too, it’s good to have a proper notebook for the exams.) Also thank you
for recommendation letters ,
Burhan
expecially, A book which has a fluently english and ‘güncel’ english words.
Also at the class, you can be more active about teaching lesson because
when students try to teach it can be difficult to understand. Also, we are
not recognize ancient terms about mathematics so I think before these
course, Math need to be a prerequisite lesson.
D. Departmental correspondence
Here are some emails about the course that were shared within the METU
mathematics department.
Meanwhile, Math is a place where our students can read Euclid
(and Apollonius, or Archimedes, or . . . ). As I said, I am happy if either
I or somebody else does this reading with them next year.
When ‘Yolanda’ got to Corollary , she said and wrote that AD, DE,
BF , F G, AB, and the arc ACB had [ultimately] the ratio of equality.
I said I didn’t believe it. In fact she had miscopied Newton. I hoped
she would try to work out a proof and see her mistake. But she only
beamed at me and said, ‘It’s hard to believe, but true!’
I finally asked ‘Yolanda’ to check her text. She saw that she should
have had AE for DE, and BG for F G. But she couldn’t give a proof of
the correct statement. She just muttered something about how Newton
was smarter than she was.
I went to the board and suggested a proof. One of the most interested
and active students in the class, ‘Oscar’ [Oğuzhan], was skeptical; but
when you are talking (for the first time in history, perhaps) about the
ratios with which quantities vanish, skepticism is to be expected. ‘Sara’
[Şule] seemed to think at first that Lemma VII followed immediately from
Lemma VI.
And so the discussion continued. Thus a number of students became
collectively engaged in puzzling out what Newton was talking about.
The most important and most interesting events happened later? This
makes as much sense as saying that War and Peace is more important
and more interesting than the Iliad and the Odyssey. But have you read
Newton, Euler, Lagrange, and the others you mention? Do you propose
to read them in class with students?
For Math , I wondered if we could use something like Struik’s Source
x3 + px = q
by substituting
x=u−v
and solving first for u and v. But either Cardan doesn’t really see this
himself, or else he is hiding it. Cardan gives a formula for x, and he can
prove it is correct by substitution; but he shows no interest in deriving
the formula. Struik does not address this point.
Neither does Boyer, whose text has (I believe) been traditionally used
for Math /. In his section on Cardan’s solution, Boyer just writes,
u3 − v 3 = 20, uv = 2,
Well Sergey, there is a procedure for opening new courses. Or if you mean
to be describing how Math / should be taught, then please say so.
You seem to be describing a lecture course; if so, it is not a course that
I would consider myself competent to teach.
Lecturing mathematics is fine, since the listeners can check the lec-
turer’s claims by using the critical powers of their own reason. Again
though, I am sorry that even some students in Math / don’t use
these critical powers very much. In any case, lecturing about what hap-
pened in the past is a different matter. For example, perhaps we all grew
up with the idea that there was a crisis in ancient mathematics owing
to the discovery of incommensurable magnitudes. We may tell students
about this if we happen to prove to them the irrationality of the square
root of 2. However, it seems there is simply no evidence of an ancient
crisis.
Of course events of more recent centuries may be better documented.
[I put these notes on the Math webpage at the beginning of the
semester.]
E.. Introduction
Some time in the rd century b.c.e., Apollonius of Perga wrote eight
books on conic sections. We have the first four books [, ] in the
original Greek; the next three books survive in Arabic translation [];
the eighth book is lost. As Apollonius tells us in an introductory letter,
his first four books are part of an elementary course on the conic sections.
Before Apollonius, around b.c.e., Euclid published the thirteen
books of the Elements [, , ], a work of mathematics of which some
parts could well be used as a textbook today. The Elements provide a
good example of mathematical exposition and of what it means to prove
something.
In , getting ready to teach a course on the conic sections,∗ I wrote
some notes on ancient mathematics. Using those notes, I have prepared
the present notes, for use in a course called ‘History of Mathematical
Concepts I’ at METU—a course in which participants will read Euclid
and Apollonius.
In the latter sections of these notes, I look at some general features
of ancient mathematics as I understand it. Meanwhile, in §E., I jump
forward in history to Descartes, to see the sorts of improvements that he
thought he was making to the mathematical practice of mathematicians
like Euclid and Apollonius.
Because I shall occasionally refer to some Greek words, I review the
Greek alphabet in [Appendix F.]
E.. Why read the Ancients?
As an undergraduate, I attended a college∗ where Euclid and Apollonius
were used as textbooks. They were so used, I think, not because they
were considered to be the best textbooks, but because they had been
textbooks for countless generations of mathematicians: therefore (the
idea was), one might gain some understanding of humanity and oneself
by reading these books. (The same is true for Homer, Aeschylus, Plato,
and the other great books read at the college.)
Now, having become a professional mathematician, I ask what Euclid
and Apollonius have to offer the mathematician of today. It is in pursuit
of an answer to this question that I prepare these notes—which therefore
are part of an ongoing project.
I prepare these notes also for the sake of honesty about what students
are asked to learn. The curves called conic sections are a standard part
of an elementary course of mathematics. The origin of such curves is in
the name: they are obtained by slicing a cone. Apollonius treated the
curves in this way. But in math courses today, the conic sections are
usually given as the curves defined by certain equations, such as
x2 y2
ay = x2 or ± = 1.
a2 b2
Or perhaps the curves are given in terms of foci and directrices. A text-
book may assert that the curves so defined can indeed by obtained as
sections of cones; but it is rare that this assertion is justified.
One calculus textbook† writes:
In this section we give geometric definitions of parabolas, ellipses, and
hyperbolas and derive their standard equations. They are called conic
sections, or conics, because they result from intersecting a cone with
a plane as shown in Figure .
(I omit the author’s figure.) The conic sections result from intersecting
a cone with a plane: this can be understood as a definition of the conic
sections. Let us call it Definition I. More precisely, this definition distin-
guishes three kinds of conic sections, depending on the angle of the plane
∗ St John’s College, with campuses in Annapolis, Maryland, and Santa Fe, New
METU.
Here then is another definition of the parabola; call it Definition II. Def-
initions I and II are equivalent in that they define the same objects; but
the author does not clearly say so, much less prove it. I don’t think he
needs to prove the equivalence; but at least he ought to state that he is
not going to prove it.
Perhaps the author expects the reader to infer the equivalence of Def-
initions I and II. But this is not his style. He is usually eager to give his
readers every assistance. Note for example that he apparently does not
trust readers to infer for themselves that parabolas are worth studying.
Before concluding anything from his definition of parabolas, the author
feels the need to tell the reader how useful parabolas are.
Another textbook∗ follows a similar procedure, first defining the conic
sections as such, then defining them in terms of foci and directrices.
Between the two definitions, the writer observes that the intersection
of a cone and a plane will be given by a second-degree equation. This
suggests that the quadratic equations to be derived presently in the book
may indeed define conic sections. However, no attempt is made to prove
that every curve defined by a quadratic equation can be obtained as the
section of a cone. The author observes:
After straight lines the conic sections are the simplest of plane curves.
They have many properties that make them useful in applications of
mathematics; that is why we include a discussion of them here. Much
of this material is optional from the point of view of a calculus course,
but familiarity with the properties of conics can be very important in
some applications. Most of the properties of conics were discovered by
∗ Robert A. Adams, Calculus: a complete course, fourth edition, p. . This text
This passage is not very useful without examples: I shall propose one
presently. Meanwhile, I note that Pappus elsewhere [, pp. –]
says more about the distinction between theorems and problems:
Those who favor a more technical terminology in geometrical research
E A B
Every problem and every theorem that is furnished with all its parts
should contain the following elements: an enunciation (πρότασις), an
exposition (ἔκθεσις), a specification (διορισμός), a construction (κατα-
σκευή), a proof (ἀπόδειξις), and a conclusion (συμπέρασμα). Of these,
the enunciation states what is given and what is being sought from
it, for a perfect enunciation consists of both these parts. The exposi-
tion takes separately what is given and prepares it in advance for use
in the investigation. The specification takes separately the thing that
is sought and makes clear precisely what it is. The construction adds
what is lacking in the given for finding what is sought. The proof draws
the proposed inference by reasoning scientifically from the propositions
that have been admitted. The conclusion reverts to the enunciation,
confirming what has been proved.
So many are the parts of a problem or a theorem. The most essential
ones, and those which are always present, are enunciation, proof, and
conclusion.
Alternative translations are: for ἔκθεσις, setting out, and for διορισμός,
definition of goal [, p. ].
For an illustration, we may analyze Proposition of Book I of Euclid’s
Elements (in Fitzpatrick’s translation []). The proposition is a problem:
Proof. And since the point A is the center of the circle CDB, AC is equal
to AB. Again, since the point B is the center of the circle CAE, BC is
equal to BA. But CA was also shown (to be) equal to AB. Thus, CA
and CB are each equal to AB. But things equal to the same thing are
also equal to one another. Thus, CA is also equal to CB. Thus, the three
(straight-lines) CA, AB, and BC are equal to one another.
Conclusion. Thus, the triangle ABC is equilateral, and has been con-
structed on the given finite straight-line AB. (Which is) the very thing it
was required to do.
The students referred to, who will not allow that 2 6 3, are following
a habit of ordinary language, whereby the whole truth must be told.
E.. Lines
In the old understanding, a line need not be straight. A line may have
endpoints, or it may be, for example, the circumference of a circle. In-
deed, according to the definition in Euclid’s Elements,
A circle (κύκλος) is a plane figure contained by one line (γραμμή) such
that all the straight lines falling upon it from one point among those
lying within the figure are equal to one another.
A straight line (εὐθεῖα γραμμή) does have endpoints; but the straight line
may be produced (extended) beyond these endpoints, as far as desired.
The first letter or two of the (Latin) name for a Greek letter provides a
transliteration for that letter. However, upsilon is also transliterated by
y. The diphthong αι often comes into English (via Latin) as ae, while οι
may come as oe. The second form of the small sigma is used at the ends
of words. In texts, the rough-breathing mark (῾) over an initial vowel
(or ρ) is transcribed as a preceeding (or following) h (as in ὁ ῥόμβος ho
rhombos ‘the rhombus’). The smooth-breathing mark (᾿) and the three
tonal accents (ά, ᾶ, ὰ) can be ignored. Especially in the dative case (the
Turkish -e hali), some long vowels may be given the iota subscript (ᾳ, ῃ,
ῳ), representing what was once a following iota (αι, ηι, ωι).
Bibliography
[] Apollonius of Perga, Apollonius of Perga: Treatise on conic sections, Uni-
versity Press, Cambridge, UK, , Edited by T. L. Heath in modern
notation, with introductions including an essay on the earlier history of
the subject.
[] , On conic sections, Great Books of the Western World, no. ,
Encyclopaedia Britannica, Inc., Chicago, London, Toronto, . MR
MR (,c)
[] , Conics. Books V–VII, Sources in the History of Mathematics and
Physical Sciences, vol. , Springer-Verlag, New York, , The Arabic
translation of the lost Greek original in the version of the Banū Mūsā,
Volume I: Introduction, text and translation, Volume II: Commentary,
figures and indexes, Edited with translation and commentary by G. J.
Toomer. MR MR (e:)
[] , Conics. Books I–III, revised ed., Green Lion Press, Santa Fe,
NM, , Translated and with a note and an appendix by R. Catesby
Taliaferro, With a preface by Dana Densmore and William H. Donahue, an
introduction by Harvey Flaumenhaft, and diagrams by Donahue, Edited
by Densmore. MR MR (d:)
[] , Conics. Book IV, Green Lion Press, Santa Fe, N.M., , First
English edition. Translation, introduction, and diagrams by Michael N.
Fried.
[] Aristoteles, Metafizik, Sosyal Yayınlar, Cağaloğlu–İstanbul, , Second
printing. Turkish translation by Ahmet Arslan.
[] V. I. Arnol′ d, On the teaching of mathematics, Uspekhi Mat. Nauk
(), no. (), –. MR MR (k:)
[] Benno Artmann, Euclid—the creation of mathematics, Springer-Verlag,
New York, . MR MR (d:)
[] Robert S. Bart, Notes to accompany the reading of Newton’s Principia
Mathematica, St. John’s College, Annapolis, Maryland, May .
[] Carl B. Boyer, A history of mathematics, second ed., John Wiley & Sons
Inc., New York, , Edited and with a preface by Uta C. Merzbach. MR
MR (f:)
[] Girolamo Cardano, The great art or the rules of algebra, Translated and
edited by T. Richard Witmer, with a foreword by Oystein Ore, The M.I.T.
Press, Cambridge, Mass.-London, . MR MR ( #)
[] Paul J. Cohen, Set theory and the continuum hypothesis, W. A. Benjamin,
Inc., New York-Amsterdam, . MR MR ( #)
[] R. G. Collingwood, An autobiography, Clarendon Press, Oxford, ,
With a new introduction by Stephen Toulmin; originally written ;
reprinted .
[] , The principles of history, Oxford, .
[] Richard Dedekind, Essays on the theory of numbers. I: Continuity and
irrational numbers. II: The nature and meaning of numbers, authorized
translation by Wooster Woodruff Beman, Dover Publications Inc., New
York, . MR MR ( #)
[] Dana Densmore, Newton’s principia: The central argument, third ed.,
Green Lion Press, Santa Fe, New Mexico, , Translations and Dia-
grams by William H. Donahue; completely revised and redesigned; new
sections added.
[] Descartes, The geometry of René Descartes, Dover Publications, Inc., New
York, , Translated from the French and Latin by David Eugene Smith
and Marcia L. Latham, with a facsimile of the first edition of .
[] G. Dorofeev, M. Potapov, and N. Rozov, Elementary mathematics: Se-
lected topics and problem solving, Mir Publishers, Moscow, , Trans-
lated from the Russian by George Yankovsky.
[] Apostolos Doxiadis and Christos H. Papadimitriou, Logicomix, Blooms-
bury, London, .
[] Euclid, The thirteen books of Euclid’s Elements translated from the text
of Heiberg. Vol. I: Introduction and Books I, II. Vol. II: Books III–IX.
Vol. III: Books X–XIII and Appendix, Dover Publications Inc., New York,
, Translated with introduction and commentary by Thomas L. Heath,
nd ed. MR ,b
[] , The bones, Green Lion Press, Santa Fe, NM, , A handy
where-to-find-it pocket reference companion to Euclid’s Elements.
[] , Euclid’s Elements, Green Lion Press, Santa Fe, NM, , All
thirteen books complete in one volume, the Thomas L. Heath translation,
edited by Dana Densmore. MR MR (j:)
[] , Euclid’s Data, Acta Historica Scientiarum Naturalium et Medici-
nalium Edidit Biblioteca Universitatis Hauniensis, vol. , Museum Tuscu-
Bibliography
lanum Press. University of Copenhagen, Copenhagen, , Or the impor-
tance of being given, The Greek text translated and explained by Christian
Marinus Taisbak. MR MR (e:)
[] , Euclid’s Elements of Geometry, revised and corrected ed., pub-
lished by the editor, , edited, and provided with a modern En-
glish translation, by Richard Fitzpatrick, http://farside.ph.utexas.
edu/euclid.html.
[] Carl Faulmann, Yazı kitabı, Türkiye İş Bankası Kültür Yayınları, .
[] Carl Friedrich Gauss, Disquisitiones arithmeticae, Springer-Verlag, New
York, , Translated into English by Arthur A. Clarke, revised by
William C. Waterhouse.
[] S. H. Gould, Russian for the mathematician, Springer-Verlag, New York,
. MR ( #)
[] Timothy Gowers, June Barrow-Green, and Imre Leader (eds.), The Prince-
ton companion to mathematics, Princeton University Press, Princeton, NJ,
. MR MR (i:)
[] Paul Harvey (ed.), The Oxford companion to classical literature, Clarendon
Press, Oxford, , reprinted with corrections, .
[] D. Hilbert and S. Cohn-Vossen, Geometry and the imagination, Chelsea
Publishing Company, New York, N. Y., , Translated by P. Neményi.
MR MR (,c)
[] David Hilbert, The foundations of geometry, Authorized translation by E.
J. Townsend. Reprint edition, The Open Court Publishing Co., La Salle,
Ill., . MR MR ( #)
[] Rodney Huddleston and Geoffrey K. Pullum, The Cambridge grammar of
the English language, Cambridge University Press, Cambridge, UK, ,
reprinted .
[] H. I. Karakaş, Analytic geometry, M ⊕ V [Matematik Vakfı], n.d.
[] Victor J. Katz (ed.), The mathematics of Egypt, Mesopotamia, China,
India, and Islam: A sourcebook, Princeton University Press, Princeton
and Oxford, .
[] Jacob Klein, Greek mathematical thought and the origin of algebra, Dover
Publications Inc., New York, , Translated from the German and
with notes by Eva Brann, Reprint of the English translation. MR
MR (b:)
[] Morris Kline, Mathematical thought from ancient to modern times, Oxford
University Press, New York, . MR MR ( #)
Bibliography
[] Barry Mazur, When is one thing equal to some other thing?, Proof and
other dilemmas, MAA Spectrum, Math. Assoc. America, Washington, DC,
, pp. –. MR MR
[] Reviel Netz, The shaping of deduction in Greek mathematics, Ideas in
Context, vol. , Cambridge University Press, Cambridge, , A study
in cognitive history. MR MR (f:)
[] Isaac Newton, The Principia: mathematical principles of natural philoso-
phy, University of California Press, Berkeley, CA, , A new translation
by I. Bernard Cohen and Anne Whitman, assisted by Julia Budenz, Pre-
ceded by “A guide to Newton’s Principia” by Cohen. MR MR
(a:)
[] David Pierce, Model-theory of vector-spaces over unspecified fields, Arch.
Math. Logic (), no. , –. MR MR
[] Plato, Republic, Loeb Classical Library, Harvard University Press and
William Heinemann Ltd., Cambridge, Massachusetts, and London, ,
with an English Translation by Paul Shorey, in two volumes, first printed
.
[] Proclus, A commentary on the first book of Euclid’s Elements, Princeton
Paperbacks, Princeton University Press, Princeton, NJ, , Translated
from the Greek and with an introduction and notes by Glenn R. Mor-
row, Reprint of the edition, With a foreword by Ian Mueller. MR
MR (k:)
[] Abraham Robinson, Non-standard analysis, Princeton Landmarks in
Mathematics, Princeton University Press, Princeton, NJ, , Reprint
of the second () edition, With a foreword by Wilhelmus A. J. Luxem-
burg. MR MR (j:)
[] Lucio Russo, The forgotten revolution, Springer-Verlag, Berlin, , How
science was born in BC and why it had to be reborn, Translated from
the Italian original by Silvio Levy. MR MR (k:)
[] David Eugene Smith, A source book in mathematics, vols, Dover Publi-
cations Inc., New York, . MR MR ( #)
[] Raymond Smullyan, What is the name of this book?, Prentice-Hall, Engle-
wood Cliffs, New Jersey, , The Riddle of Dracula and Other Logical
Puzzles.
[] Herbert Weir Smyth, Greek grammar, Harvard University Press, Cam-
bridge, Massachussets, , Revised by Gordon M. Messing, .
Eleventh Printing. Original edition, .
Bibliography
[] Michael Spivak, A comprehensive introduction to differential geometry.
Vol. I, second ed., Publish or Perish Inc., Wilmington, Del., . MR
g:a
[] D. J. Struik (ed.), A source book in mathematics, –, Princeton
Paperbacks, Princeton University Press, Princeton, NJ, , Reprint of
the edition. MR MR (h:)
[] Dirk J. Struik, A concise history of modern mathematics, fourth revised
ed., Dover, New York, .
[] Ivor Thomas (ed.), Selections illustrating the history of Greek mathemat-
ics. Vol. I. From Thales to Euclid, Harvard University Press, Cambridge,
Mass., , With an English translation by the editor. MR ,a
[] Ivor Thomas (ed.), Selections illustrating the history of Greek mathemat-
ics. Vol. II. From Aristarchus to Pappus, Harvard University Press, Cam-
bridge, Mass, , With an English translation by the editor. MR ,b
[] Bilge Umar, Türkiye’deki tarihsel adlar [Historical names in Turkey],
İnkilâp, İstanbul, .
[] Jean van Heijenoort (ed.), From Frege to Gödel, Harvard University
Press, Cambridge, MA, , A source book in mathematical logic, –
, Reprint of the third printing of the original. MR MR
(a:)
[] François Viète, The analytic art, Dover Publications Inc., Mineola, NY,
, Nine studies in algebra, geometry and trigonometry from the Opus
Restitutae Mathematicae Analyseos, seu Algebrâ Novâ, Translated from
the Latin and with an introduction by T. Richard Witmer, Reprint of
the original [Kent State Univ. Press, Kent, OH; MR]. MR
MR
[] Arthur W. Weeks and Jackson B. Adkins, A course in geometry: Plane
and solid, Ginn and Company, Lexington, Massachusetts, .
Bibliography