Table of Contents | Introduction | Home P l a n e G e o m e t r y An Adventure in Language and Logic based on THE SIDES AND ANGLES OF A TRIANGLEBook I. Proposition 20Here, finally, is Proposition 20. It depends on Proposition 18. To prove, in triangle ABC, that sides BA, AC are greater than side BC, on side AC we construct the isosceles triangle DAC. Since AC is equal to AD, then side BD -- which is BA, AD -- is equal to BA, AC. It is not difficult to see that angle DCB is greater than angle D, so that the opposite side BD is greater than opposite side BC. But BD is equal to BA, AC. Therefore BA, AC are greater than BC. PROPOSITION 20. THEOREM
In other words: A straight line is the shortest distance between two points! If anyone wanted to ridicule mathematics for its insistence on the axiomatic method of orderly proof, then this theorem offers a wide target. In fact, the Epicureans (those Athenian free-thinkers, who defined philosophy as the art of making life happy), did exactly that. They said that this theorem required no proof and was known even to an ass. For if hay was placed at one vertex and an ass at another, they argued, the poor dumb animal would not travel two sides of the triangle to get his food, but only the one side that separated them. What scorn the true philosopher must bear! And what can the mathematician do but point out, patiently, that mathematics, as a logical science, relies on deduction from first principles. Those principles moreover are to be as few in number as possible -- whatever can be proved should be. That is the intellectual sport. Please "turn" the page and do some Problems. or Continue on to the next proposition. Table of Contents | Introduction | Home Please make a donation to keep TheMathPage online. Copyright © 2014 Lawrence Spector Questions or comments? E-mail: themathpage@nyc.rr.com |