1,009

edits

Jump to navigation
Jump to search
##
Activities/Turtle Art/Tutorials/Euclid
(view source)

###
Revision as of 00:41, 31 July 2011

8,088 bytes added
, 00:41, 31 July 2011

New page stub

{{stub}}

Euclidean geometry, specifically Euclid's Elements, asks a sequence of questions about what can be constructed with only straight lines and circles, with as few assumptions as possible. We will examine that problem, from Euclid's point of view and some modern points of view, and we will also ask some other questions.

* For example, why did Euclid do that? Other Greek mathematicians addressed significantly different questions in the various books that have survived from their time, and in fragments of books that have not survived, quoted in books that did.

* Mathematics in other civilizations of the time was entirely different from Greek mathematics. Why is that?

* Many important and fascinating questions were discovered later, well within the reach of Greek mathematics, that the Greeks apparently never asked. Why is that?

However, we cannot usefully ask those questions before we have some understanding of Euclid's work.

==The Essence of Euclidean Geometry==

Here are the Euclidean constructions, which are simply postulated, not explained in any way.

# Join two given points with a straight line segment.

# Extend a line segment as far as needed in either direction.

# Given a line segment as radius, with one end designated as the center, draw a circle.

Thus:

[[File:TAEuclideanConstructions.png]]

I am going to bypass Euclid's other assumptions until we need them.

* Suppose, since this is plane geometry, that we have a plane with no points in it "given". Then we can perform none of these three constructions. We can, if we like, consider a geometry with 0 points and 0 lines as a trivial Euclidean geometry.

* One point? Nope. We need two points or a line segment to do anything. Still trivial.

* Two points? Now we are getting somewhere. We can connect the two points with a straight line segment, and then extend the line segment. We can't go anywhere in particular by doing so. But we can draw two circles, one with each of the given points as center, and the line segment joining them as radius. Those two circles intersect in more points that are not on the original line, and also intersect the extensions of the original line (which now does go somewhere of interest), so that we can draw more lines and more circles, and so on and on forever, with segments as long as we want and as short as we want, and as close as we want to any direction. This is the smallest set of points that make up a non-trivial Euclidean geometry. Pythagoras thought that it included every point in the plane, but it was proved later on in Greek times that it omits infinitely many points, such as the cube root of 2. In the 19th century, Georg Cantor proved that point sets of this kind omit "almost all" points in the plane, since the number of points omitted is vastly greater than the number of points included. Infinitely greater, in fact. However, that is a topic for another time, after we lay a proper foundation for such ideas. That should not prevent you from asking yourself what it could mean for one infinite number to be infinitely larger than another, a question that Greek mathematicians could not have dreamed of, much less ask seriously.

* If we started with just one given line segment, that would give us its two endpoints, with the same result as just above.

* How about three points, or a line segment and a new point, not one of the endpoints? Well, it may be that we can construct one of these points using just the other two, giving the same result as before. Or it may not be so, in which case we can construct many other new points, again continuing on forever.

The first and third of the Euclidean constructions are quite definite, but "as far as needed" is rather vague. Usually it means "until the line intersects some line or circle of interest". This commonly means that we have to prove that they will intersect before we can invoke this construction, or that the fact of intersection is something previously assumed.

Euclid made various assumptions. The most important, the Fifth Postulate, is about when straight lines intersect. This is known as the Parallel Postulate because it says when lines are not parallel, and is then used to determine when they are. (This sort of thing is considered perfectly ordinary in math.) However, he said nothing about other cases that could be assumed to be obvious, such as when circles intersect.

More fundamentally, what does it mean for a point to be "given"? No comment. But it turns out that the three assumed constructions are all that we need to know about given points and line segments. We don't have to know how to give one or the other at the beginning of a problem, and we don't have to know how to do the three constructions. It is sufficient, in a proof, to just say, "Do it." What matters is that all of the constructions and proofs in Euclid's elements are built out of just those three constructions, and that we can take intersections of previously constructed lines and circles as given for doing further constructions.

This is often caller "ruler and compass" construction, but it is important to understand that the ruler is unmarked, and the compass maintains a radius only as long as the center is unchanged. So to begin with, we cannot copy lengths from one place to another. Euclid addresses that lack as quickly as possible, in Proposition 2 of Book 1.

==Euclid for Turtles==

Tortoise: You admire Euclid?

Achilles: Passionately! As much,that is, as one ''can'' admire someone who will not be born for some hundreds of years yet.

Lewis Carroll, ''What the Tortoise said to Achilles''

Before we can get to copying lengths, however, we have to determine how to tell the turtle to do Euclid's three constructions. The starting point in Turtle Art is of course quite different from Euclid's starting point, with given points and lines. The Turtle has a position, some graphics properties, and a set of blocks for movement.

* Forward

* Back

* Left

* Right

* Arc

* Set xy

* Seth (heading)

There are blocks that give the Turtle's x and y coordinates, and there are blocks to read the color of the current point. None of these defines a way to join points drawn on the screen. We can certainly extend lines if the Turtle is on the line and facing along its length. There is a block for drawing circular arcs, but it wants us to give it numbers, not a line and a point. We do not have a block for measuring a line drawn on the screen. The Turtle has two coordinate systems that it can work in, polar and rectangular, but Euclid's ruler and compass know nothing about coordinates, which only came into mathematics about 1,900 years later. Euclid can only measure distances by taking a given line as a unit, and then can at best measure lengths constructible by the three given functions, or can give approximations to the length.

So how do we give the Turtle points and lines to start out with? Does that mean that we have to think about how the Turtle can find points in the plane, including intersections of lines and ends of line segments? It cannot see, and intersections may lie outside our finite workspace on the screen. There seems to be a problem with that.

Then we have to think about what a Turtle knows about any point. The Turtle knows nothing about any point other than the point where it is currently located, unless we give it a memory for points. How we can tell it to move to other points, and draw lines between them?

With all of these objections that I have been raising, you might wonder how I got the Turtle to carry out the three Euclidean constructions in the first illustration above. That's easy. I cheated.

[[File:TAEuclideanConstructionsProgram.png]]

"The advantages of the method of postulation are great. They are the same as the advantages of theft over honest toil."

Bertrand Russell

==Euclidean Algebra==

It turns out that the three Euclidean constructions can give us new points from older ones by combinations of addition, subtraction, multiplication, division, and taking square roots, but cannot do anything else.

Euclidean geometry, specifically Euclid's Elements, asks a sequence of questions about what can be constructed with only straight lines and circles, with as few assumptions as possible. We will examine that problem, from Euclid's point of view and some modern points of view, and we will also ask some other questions.

* For example, why did Euclid do that? Other Greek mathematicians addressed significantly different questions in the various books that have survived from their time, and in fragments of books that have not survived, quoted in books that did.

* Mathematics in other civilizations of the time was entirely different from Greek mathematics. Why is that?

* Many important and fascinating questions were discovered later, well within the reach of Greek mathematics, that the Greeks apparently never asked. Why is that?

However, we cannot usefully ask those questions before we have some understanding of Euclid's work.

==The Essence of Euclidean Geometry==

Here are the Euclidean constructions, which are simply postulated, not explained in any way.

# Join two given points with a straight line segment.

# Extend a line segment as far as needed in either direction.

# Given a line segment as radius, with one end designated as the center, draw a circle.

Thus:

[[File:TAEuclideanConstructions.png]]

I am going to bypass Euclid's other assumptions until we need them.

* Suppose, since this is plane geometry, that we have a plane with no points in it "given". Then we can perform none of these three constructions. We can, if we like, consider a geometry with 0 points and 0 lines as a trivial Euclidean geometry.

* One point? Nope. We need two points or a line segment to do anything. Still trivial.

* Two points? Now we are getting somewhere. We can connect the two points with a straight line segment, and then extend the line segment. We can't go anywhere in particular by doing so. But we can draw two circles, one with each of the given points as center, and the line segment joining them as radius. Those two circles intersect in more points that are not on the original line, and also intersect the extensions of the original line (which now does go somewhere of interest), so that we can draw more lines and more circles, and so on and on forever, with segments as long as we want and as short as we want, and as close as we want to any direction. This is the smallest set of points that make up a non-trivial Euclidean geometry. Pythagoras thought that it included every point in the plane, but it was proved later on in Greek times that it omits infinitely many points, such as the cube root of 2. In the 19th century, Georg Cantor proved that point sets of this kind omit "almost all" points in the plane, since the number of points omitted is vastly greater than the number of points included. Infinitely greater, in fact. However, that is a topic for another time, after we lay a proper foundation for such ideas. That should not prevent you from asking yourself what it could mean for one infinite number to be infinitely larger than another, a question that Greek mathematicians could not have dreamed of, much less ask seriously.

* If we started with just one given line segment, that would give us its two endpoints, with the same result as just above.

* How about three points, or a line segment and a new point, not one of the endpoints? Well, it may be that we can construct one of these points using just the other two, giving the same result as before. Or it may not be so, in which case we can construct many other new points, again continuing on forever.

The first and third of the Euclidean constructions are quite definite, but "as far as needed" is rather vague. Usually it means "until the line intersects some line or circle of interest". This commonly means that we have to prove that they will intersect before we can invoke this construction, or that the fact of intersection is something previously assumed.

Euclid made various assumptions. The most important, the Fifth Postulate, is about when straight lines intersect. This is known as the Parallel Postulate because it says when lines are not parallel, and is then used to determine when they are. (This sort of thing is considered perfectly ordinary in math.) However, he said nothing about other cases that could be assumed to be obvious, such as when circles intersect.

More fundamentally, what does it mean for a point to be "given"? No comment. But it turns out that the three assumed constructions are all that we need to know about given points and line segments. We don't have to know how to give one or the other at the beginning of a problem, and we don't have to know how to do the three constructions. It is sufficient, in a proof, to just say, "Do it." What matters is that all of the constructions and proofs in Euclid's elements are built out of just those three constructions, and that we can take intersections of previously constructed lines and circles as given for doing further constructions.

This is often caller "ruler and compass" construction, but it is important to understand that the ruler is unmarked, and the compass maintains a radius only as long as the center is unchanged. So to begin with, we cannot copy lengths from one place to another. Euclid addresses that lack as quickly as possible, in Proposition 2 of Book 1.

==Euclid for Turtles==

Tortoise: You admire Euclid?

Achilles: Passionately! As much,that is, as one ''can'' admire someone who will not be born for some hundreds of years yet.

Lewis Carroll, ''What the Tortoise said to Achilles''

Before we can get to copying lengths, however, we have to determine how to tell the turtle to do Euclid's three constructions. The starting point in Turtle Art is of course quite different from Euclid's starting point, with given points and lines. The Turtle has a position, some graphics properties, and a set of blocks for movement.

* Forward

* Back

* Left

* Right

* Arc

* Set xy

* Seth (heading)

There are blocks that give the Turtle's x and y coordinates, and there are blocks to read the color of the current point. None of these defines a way to join points drawn on the screen. We can certainly extend lines if the Turtle is on the line and facing along its length. There is a block for drawing circular arcs, but it wants us to give it numbers, not a line and a point. We do not have a block for measuring a line drawn on the screen. The Turtle has two coordinate systems that it can work in, polar and rectangular, but Euclid's ruler and compass know nothing about coordinates, which only came into mathematics about 1,900 years later. Euclid can only measure distances by taking a given line as a unit, and then can at best measure lengths constructible by the three given functions, or can give approximations to the length.

So how do we give the Turtle points and lines to start out with? Does that mean that we have to think about how the Turtle can find points in the plane, including intersections of lines and ends of line segments? It cannot see, and intersections may lie outside our finite workspace on the screen. There seems to be a problem with that.

Then we have to think about what a Turtle knows about any point. The Turtle knows nothing about any point other than the point where it is currently located, unless we give it a memory for points. How we can tell it to move to other points, and draw lines between them?

With all of these objections that I have been raising, you might wonder how I got the Turtle to carry out the three Euclidean constructions in the first illustration above. That's easy. I cheated.

[[File:TAEuclideanConstructionsProgram.png]]

"The advantages of the method of postulation are great. They are the same as the advantages of theft over honest toil."

Bertrand Russell

==Euclidean Algebra==

It turns out that the three Euclidean constructions can give us new points from older ones by combinations of addition, subtraction, multiplication, division, and taking square roots, but cannot do anything else.

1,009

edits

Retrieved from "https://wiki.sugarlabs.org/go/Special:MobileDiff/67605"