I have researched this question for days and can not locate a good answer. It could be a mathematical object that is defined by an axiom as Euclid or Hilbert. But if a curve is drawn between two points can it be should using only the rules of plane geometry that the curve is a "straight line"? If the curve is not a straight line then does it follow that the theorems that rely on such a construction will not necessarily be valid? BTW I am speaking of Euclidean geometry only.
What is a straight line?
-
0@clkirksey: *Line* for the ancient Greek geometers meant what we now mean by *curve*. (Well, not exactly, since they did not speak English.) This usage continued for a long time. What we call a line was called a straight line. Omitting the qualifier "straight" is relatively modern. Even *angle* was not necessarily between straight lines. – 2011-07-18
3 Answers
Euclid didn't define "line" by an axiom; in one translation, he defined it as "breadthless length," which is the kind of definition that only helps you if you already know what a line is. Isaac has it right when he suggests that what's important about a line is what it does, not what it is. An alternative approach is to found Euclidean geometry on analytic geometry. Define the real number line, then the Cartesian coordinate system, then define a line to be the set of solutions of $ax+by+c=0$ for fixed $a,b,c$ with $a$ and $b$ not both zero.
-
2@clkirksey, a Cartesian coordinate system is just a one-one correspondence between ordered pairs of real numbers and points in the plane. Two lines are orthogonal if their slopes multiply to $-1$, the slope of $ax+by+c=0$ being $-a/b$ (with the proviso that this is undefined if $b=0$, and that lines with $b=0$ are orthogonal to lines with $a=0$). "Circularity" only comes in with quadratics, along with hyperbole and ellipsis (just kidding). – 2011-07-19
I am not entirely sure what you are asking, so this is likely a partial answer at best.
In many high-school-level texts in the U.S., line is one of several basic terms that are not formally defined. For example, in UCSMP Geometry, 3rd ed. (© 2009 Wright Group/McGraw-Hill), the first lesson in the text has:
Description of a line
A line is a set of points extending in both directions containing the shortest path between any two points on it.
Shortly thereafter, the Point-Line-Plane Postulate states:
a. Unique Line Assumption
Through any two points there is exactly one line. If the two points are in a plane, the line containing them is in the plane.b. Number Line Assumption
Every line is a set of points that can be put into a one-to-one correspondence with the real numbers, with any point on it corresponding to 0 and any other point corresponding to 1.c. Dimension Assumption
(1) There are at least two point in space.
(2) Given a line in a plane, there is at least one point in the plane that is not on the line.
(3) Given a plane in space, there is at least one point in space that is not in the plane.
Basically, a line is described by its properties but not formally defined.
-
1Many (US) texts leave "point, line, and plane" as undefined terms. – 2011-07-17
When I was in Grammar School, our mathematics teacher defined a straight line as: "The shortest connection between two points which, when extended to infinity in either direction can never intersect with itself." This definition has always worked for me.
-
0the definitions of a point and connection are needed to define a line. – 2017-09-13