Difference between revisions of "Activities/Turtle Art/Tutorials/Euclid"

From Sugar Labs
Jump to navigation Jump to search
(→‎Examples: More examples; new sections)
(Migrate to GitHub)
(6 intermediate revisions by 2 users not shown)
Line 1: Line 1:
== TurtleArt/Tutorials/Euclid ==
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.  
Read at https://help.sugarlabs.org/turtleart_tutorials/euclid.html
* 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.
The source file has been moved to [https://github.com/godiard/help-activity/blob/master/source/turtleart_tutorials/euclid.rst GitHub]
* 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==
The Euclidean constructions are simply postulated, not explained in any way. You have to start somewhere.
# 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.
The given points and line segment are in red, and the constructed lines and circles in black.
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. We can mark them as given for future constructions, and join them in pairs. Notice that we have two equilateral triangles.
Some lines and angles in the diagram above are bisected in this construction, and it turns out that we can bisect any given line and any given angle, and then bisect the halves, and so on. So we can draw more lines and more circles; we can mark more points; and so on and on forever, with segments as long as we want and as short as we want. We can also approximate any direction we want as closely as we want with fractions of angles.
Carrying out this construction to the limit (an idea not in the range of Greek thought) gives us the smallest set of points that make up a complete 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, which requires a foundation not related to Euclid's constructions. 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 asked 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 starting from 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.
==Back to Euclid==
Euclid did not proceed in the manner we just have, thinking about all of the points, lines, and circles that can be constructed from the three postulated operations without making any distinction among them. Euclid aimed to construct figures made from very specific points, lines, and circles. His goal in the Elements was the construction of all of the regular polyhedra discovered by the Pythagoreans (which are therefore ^_^ called the Platonic solids]. However, at the very beginning, in Proposition 1 of Book I of the Elements, which Lewis Carroll's Tortoise mentioned to Achilles in the quotation given above, Euclid did proceed much as we have done, because there was no alternative. Until we get to this point, there is nothing else we ''can'' construct. Proposition I,1 calls for constructing an equilateral triangle, as we did above, and then proving that that is what we did. Proof falls outside what we can do with Turtle Graphics, although at a much higher level it is possible and even useful to program theorem provers that work on propositions expressed in text, and not in images.
==More questions==
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.
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.
==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.
"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.

Latest revision as of 08:40, 28 July 2018


Read at https://help.sugarlabs.org/turtleart_tutorials/euclid.html

The source file has been moved to GitHub