[Math] Please help me understand the definition of straight line given by Euclid.

euclidean-geometry

"A straight-line is (any) one which lies evenly with
points on itself."

This is how Euclid defines a straight line but I don't know what it really means.
Is this saying that any point picked on the straight line will have equal distance from each other?

What does he mean exactly by lies evenly?

Best Answer

In modern standards those definitions don't make any sense other than just an intuitive picture of what is intended. And actually even in this case it's not very clear at first what Euclid refers to with that definition of "straight line" if you don't already know what a straight line is.

Today, when you want to study something, you start with objects, which are said to be undefined. They are, well, just things that satisfy certain axioms. In the case of Geometry, you may consider straight lines to be undefined or maybe you can say that the undefined objects are points and that lines are set of points which satisfy certain axioms, which depend on the book you're reading.

Also, as already pointed in the the comments, Euclid's Elements is a book with lots of "holes" that need to be filled by the specialist. In that case you can say that Euclid's elements is more like a sketch. Knowing this, the easy way to read it is just going through it informally by trusting your intuition and using the postulates, just like he did. Along the way you can takes notes about the facts that bugs you the most and try to guess what is missing.

Once you understand what Euclid's Elements is about, then you can skim very quickly how David Hilbert filled those holes of Euclid's in his "Foundations of Geometry" or if you like you can Greenberg's book "Euclidean and no-Euclidean Geometry".