greece part 3 - mathed.byu.eduwilliams/classes/300w2012/pdfs/ppts/gr… · number theory –the...

Greece

Chapters 6 and 7: Archimedes and Apollonius

SOME ANCIENT GREEK DISTINCTIONS

Arithmetic Versus Logistic

• Arithmetic referred to what we now call number theory – the study of properties of whole numbers, divisibility, primality, and such characteristics as perfect, amicable, abundant, and so forth.  This use of the word lives on in the term higher arithmetic.  

• Logistic referred to what we now call arithmetic, that is, computation with whole numbers.   

Number Versus Magnitude 

• Numbers are discrete, cannot be broken down indefinitely because you eventually came to a “1.” In this sense, any two numbers are commensurable because they could both be measured with a 1, if nothing bigger worked.

• Magnitudes are continuous, and can be broken down indefinitely. You can always bisect a line segment, for example. Thus two magnitudes didn’t necessarily have to be commensurable (although of course they could be.)

Analysis Versus Synthesis

• Synthesis refers to putting parts together to obtain a whole.  

• It is also used to describe the process of reasoning from the general to the particular, as in putting together axioms and theorems to prove a particular proposition.

• Proofs of the kind Euclid wrote are referred to as synthetic.  

Analysis Versus Synthesis

• Analysis refers to taking things apart to see how they work, or so you can understand them. 

• It is also used to describe reasoning from the particular to the general, as in studying a particular problem to come up with a solution.

• This is one general meaning of analysis:  a way of solving problems, of finding the answers.

Analysis Versus Synthesis

• A second meaning for analysis is specific to logic and theorem proving:  beginning with what you wish to prove, and reasoning from that point in hopes you can arrive at the hypotheses, and then reversing the logical steps.  

• This doesn’t always work, of course, but in many cases it can yield a valid proof.

Analysis Versus Synthesis

• Why does this matter?  – First, much ancient Greek work is typified by synthesis – proving propositions based on postulates.  One of Archimedes’ works is unique in that it gives us an insight into the analysis instead of just the synthesis that is more typical of ancient Greek works. 

– Second, since the Greek works were re‐discovered during the Renaissance, a lot of effort was spent trying to discover the “lost” analysis techniques of the Greeks.  

Analysis Versus Synthesis

• Why does this matter?  – Third, it helps make sense of the label analytic geometry.  We’ll talk about this more later.  

– Finally, even today we can recognize analysis and synthesis in two fundamental parts of doing mathematics – the discovery of reasonable conjectures, and the proof of conjectures as we turn them into theorems.  More on this later, too.

Syracuse and Perga

Archimedes

• “What we are told about Archimedes is a mix of a few hard facts and many legends. . . . Hard facts –the primary sources – are the axioms of history. Unfortunately, a scarcity of fact creates a vacuum that legends happily fill, and eventually fact and legend blur into each other.  The legends resemble a computer virus that leaps from book to book, but are harder, even impossible, to eradicate.”  – Sherman Stein, Archimedes:  What Did He Do Besides Cry Eureka?,  p. 1.

Archimedes

• Facts:  – He lived in Syracuse. – He applied mathematics to practical problems as well as more theoretical problems.

– Died in 212 BCE at the hands of a Roman soldier during the attack on Syracuse by the forces of general Marcellus. Plutarch, in the first century A.D., gave three different stories told about the details of  his death.  

Archimedes

• From sources written much later:  – Died at the age of 75, which would put his birth at about 287 BCE  (from The Book of Histories by Tzetzes, 12th century CE).

– The “Eureka” story came from the Roman architect Vitruvius, about a century after Archimedes’ death.

– Plutarch claimed Archimedes requested that  a cylinder enclosing a sphere be put on his gravestone.  Cicero claims to have found that gravestone in about 75 CE.  

Archimedes

• From sources written much later:  – From about a century after his death come tales of his prowess as a military engineer, creating catapults and grappling hooks connected to levers that lifted boats from the sea.

– Another legend has it that he invented parabolic mirrors that set ships on fire.  That is not likely.  (See Mythbusters, episode 46)

Archimedes’ Writings

• Planes in Equilibrium– An axiomatic development of The Law of the Lever:  Two magnitudes balance at distances inversely proportional to the magnitudes.  

Archimedes’ Writings

• Planes in Equilibrium– The Law of the Lever was known in Aristotle’s time, but Archimedes developed it axiomatically from first principles, in a way that used ideas of static equilibrium.

Archimedes’ Writings

• On Floating Bodies– The laws of hydrostatics, including Archimedes’ Principle:  “Any object, wholly or partially immersed in a fluid, is buoyed up by a force equal to the weight of the fluid displaced by the object.”

Archimedes’ Writings

• Measurement of the Circle– The area of any circle is equal to that of a right triangle in which one of the legs is equal to the radius and the other to the circumference of the circle.  

• Archimedes used a double “reductio ad absurdum” argument involving the method of exhaustion, showing that the area of the triangle could neither be less than, nor greater than, the area of the circle.  

Archimedes’ Writings

• Measurement of the Circle– The ratio of the circumference of any circle to its diameter is less than 3 but greater 

than 3 .  

• Archimedes did this by using inscribing and circumscribing regular polygons of increasing number of sides, beginning with hexagons and going up to 96‐gons. Each stage involved computation of ugly radicals.   

Archimedes’ Writings

• The Method– Discovered on a palimpsest in 1899, in Constantinople (now Istanbul, as all fans of TMBG know).

– Disappeared during WWI, resurfacing in 1998.  

Archimedes’ Writings

• The Method – of discovery – involves slicing areas and volumes into infinitesimal slices and “balancing” on lines with fulcrums, and employing the Law of the Lever to get ratios of those areas and volumes.  

• http://www.matematicasvisuales.com/english/html/history/archimedes/parabola.html

The Method

• Given parabolic segment ABC, cut off by segment  .

• Construct a perpendicular to  at A.

• Construct a tangent to the parabola at C.

• These two lines meet at F.  

N

M

FH

K

B

E

DA CO

P

The Method

• Find the midpoint D of segment  , and construct a perpendicular there that meets the parabola at B, and  at E.  

• Construct a ray  that intersects  at K, and extend to point H with KH = KC.  Segment  will be our lever, with fulcrum K.

N

M

FH

K

B

E

DA CO

P

The Method

• Finally, choose an arbitrary point O on and construct a perpendicular at O that intersects the parabola at P,  at point N, and 

at point M.  • This is the set‐up.

N

M

FH

K

B

E

DA CO

P

The Method

• We use two facts about parabolas and their tangents that are not part of our background knowledge from college algebra or pre‐calculus, but were well‐known in Archimedes’ time:

1. EB = BD

N

M

FH

K

B

E

DA CO

P

The Method

• Examining right triangles  and 

, we can see that they are similar.  Thus their sides are in proportion, and we have  .  Combining this with 

we get 

.

N

M

FH

K

B

E

DA CO

P

The Method

• Finally since KC = HK, we arrive at  .

• Cross multiply to get:.

• Using the Law of the Lever, this means that the segment  at point H will balance the segment  at point N.

N

M

FH

K

B

E

DA CO

P

The Method

• Since this is true for any point O along the segment  , then all the  ’s added up, moved to H, will balance all the  ’s left exactly where they are.

• We’re almost there…..

N

M

FH

K

B

E

DA CO

P

The Method

Where “is” the big triangle relative to the 

segment  ?  Well, the center of gravity will be on a median, 2/3 of the way from the vertex.  In other words, at a point Z on the segment  , one third of the way from K to C.  

N

M

FH

K

B

E

DA CO

P

Z

The Method

• Thus the big triangle balances at 1/3 the distance from the fulcrum that the parabolic segment would, and is therefore 3 times the area.  

• Finally, we need to relate this to the small triangle subtended by the parabolic segment.

N

M

FH

K

B

E

DA CO

P

Z

The Method• Now, how is the big 

triangle  compared to the little red triangle 

? • First, drop a 

perpendicular from B to with foot at point Q. 

• Now medians split the area of a triangle in half, and by similarity, K is a median of the big triangle. Thus  is half the area of  .  

Q

F

K

B

E

DA C

The Method

• Second, by ASA, and 

by SAS.• So, the area of  is half of  , or one fourth of the big triangle  , which is 3 times the parabolic segment.  

Q

F

K

B

E

DA C

The Method

• Putting this all together, the area of  is ¾ of the parabolic segment.  

• Or, the parabolic segment has 4/3 the area of the inscribed triangle  .  

Q

F

K

B

E

DA C

Did Archimedes Consider this a Proof?

• No.• This was the “analysis” part of the problem, a way of discovering what the answer should be.

• He did the “synthesis” part in On the Quadrature of the Parabola.  

Archimedes’ Writings

• On the Quadrature of the Parabola– Proved, using a double reductio argument and exhaustion, that the area of a parabolic segment is of the area of the 

inscribed triangle.  – A rigorous synthetic proof of his result from The Method.  

• Along the way, he proved how to find the sum of a geometric series.

Archimedes’ Writings

• On the Sphere and the Cylinder– Showed that a sphere has a volume two‐thirds that of a circumscribed cylinder (i.e., of the same height and diameter)

– Showed that the sphere has an area two‐thirds that of the cylinder (including the bases). 

• Archimedes seemed to be most proud of this result, and asked that a sphere inscribed in a cylinder be placed on his tomb.

Archimedes’ Writings

• The Sand Reckoner– Developed a way to discuss 

verrrrrrry large numbers.– Archimedes calculates that 

the number of grains of sand required to fill the universe is 8×1063 (in modern notation).

– Mentions that his father was an astronomer named Phidius. 

• On Spirals– 28 propositions defining 

and exploring the properties of what we call an Archimedean spiral, which is the set of all points corresponding to the locations over time of a point moving away from a fixed point with a constant speed along a line which rotates with constant angular velocity.  In polar coordinates,  .  

Archimedes’ Spiral as a Trisectrix

• As the book points out, the Spiral of Archimedes can be used both to trisect an angle and to square a circle.  

Apollonius

Apollonius

• Born about 262 BCE, in Perga, on the Mediterranean coast of what is now Turkey. 

• Studied and probably worked much of his life in Alexandria. 

• Major contributions include: – Astronomy – the theory of deferent circles and epicycles (more on this later)

– Mathematics – the most important work being Conics, a work in 8 volumes, of which 7 survive.

Apollonius

• The lost works discussed on pp. 127 – 129 of your text are known largely from Pappus’ descriptions.  

• They were included in Pappus’ Treasury of Analysis (now lost) which was written for those who wished to be “capable of solving problems.”  Note the meaning here of analysis.

Apollonius

• The problems discussed in your text are typical:  Given two straight lines and a point on each draw a third straight line thorough a third given point that cuts off on the given line segments that are in a given ratio.  

ABCD

= 1.50CD = 1.99 cmAB = 2.99 cm

D

BA

C

Verging or Neusis Problems

• Insert a line segment of given length between two given lines, such that it “verges to” a given point – that is, goes through the point if extended.  

• Usually accomplished with a marked straightedge.  

M

L

A

An Important Classic Problem

• Let three, four, or more lines be given in position; required the locus of the point from which the same number of lines may be drawn to meet them one to each, at given angles, such that, in the case of three lines, the rectangle of the first two lines may have a fixed relation to the square of the third; or, in the case of four lines, that the rectangle of the first and second may have a fixed relation to rectangle of the third and fourth, and so on. (Apollonius, via Pappus)

• The Three‐ and Four‐line Locus Problems.  More on this when we get to the 1600’s.

Apollonius

• Of the Conics, T. L Heath, a major scholar of ancient Greek mathematics says, “... the treatise is a great classic which deserves to be more known than it is. What militates against its being read in its original form is the great extent of the exposition (it contains 387 separate propositions), due partly to the Greek habit of proving particular cases of a general proposition separately from the proposition itself, but more to the cumbersomeness of the enunciations of complicated propositions in general terms (without the help of letters to denote particular points) and to the elaborateness of the Euclidean form, to which Apollonius adheres throughout.”

Apollonius

• In other words, it’s not much fun to read.  • So, in the words of Inigo Montoya,

“Let me explain. No, there is too much. Let me sum up.” 

Apollonius

• Conics – 389 Propositions in 8 books, 7 of which we have (4 in Greek, 3 in Arabic).

• The definitive treatment of conics up to the 1600’s, at least.

Before Apollonius

• Prior to Apollonius, conic sections were described in terms of the intersection of a cone and a plane, but:

• The plane of intersection was always perpendicular to a side, and the vertex angle of the cone was either acute, right, or obtuse.

• Also, the cone was a single, right circular cone. 

Before Apollonius

mABC = 90

A C

B

mABC = 66

AC

B mABC = 110

B

A

C

Apollonius

• Used the “double napped” cone, and showed that the conics could be described by intersections with more arbitrary planes.

Conics

• As the book described, moved quickly from the three‐dimensional description of intersections of planes and cones to a “symptome” description that depended only on distances from given lines in the plane of the conic.

• These given lines were something like what we could call axes.

Conics

• Developed methods very similar to those of analytic geometry, often using diameters and tangents (or conjugate diameters) as axes because they had nice properties.

Conjugate Diameters

• The midpoints of parallel chords of an ellipse are all collinear, lying on the conjugate diameter.  Of course, chords parallel to that conjugate have midpoints that define the corresponding conjugate diameter. 

• These two diameters meet at the center.  

4

2

-2

-4

-5 5

Conjugate Diameters

• And, lines at the end of one conjugate diameter that are parallel to the other conjugate diameter are tangent to the ellipse.

4

2

-2

-4

-5 5

Conics• Book I: Relations satisfied by the diameters and tangents of conics, 

and how to draw tangents to given conics. • Book II:  How hyperbolas are related to their asymptotes; more 

tangents and conjugate diameters• Book III:  More tangents, the three‐ and four‐line locus problems• Book IV:  Intersections of conicsThese are considered “Basic” by Apollonius although he does prove new results, especially in Books III and IV.• Books V – VII: 

– discuss normals to conics and in particular how they can be drawn from a point; propositions determining the center of curvature.

– similarity of conics– conjugate diameters

Names of the Conics

• The parabola was considered to be the locus of points such that the square on the ordinate was equal to a rectangle on the abscissa and parameter ( ).  

• Translation:  the square of y was equal to a multiple of x, or in other words  , for a parabola with vertex at the origin.  

• These points could actually be “plotted” in a sense by using geometric algebra.

Names of the Conics

• For ellipses and hyperbolas with one vertex at the origin, the equations can be written as: ∓ , or letting  , as: 

, with the “+” for a hyperbola and the  “–” for the ellipse.  So, we have:  

Names of the Conics

• for the parabola, • for the hyperbola, and• for the ellipse.

• “Ellipsis” refers to a deficiency – leaving something out.

• “Hyperbola” refers to an excess – a throwing beyond.

• “Parabola” refers to placing beside, or a comparison.  (Parable)