3

I have researched the issue and found some confusion, which seem determined by the vagueness of the definitions, or even absence of definition (in a comment in link 1):

  • the term line is used both for any line and, mostly as a synonym of straight line
  • a straight line is also defined in US as: "* a set of points extending in both directions containing the shortest path between any two points on it.*", (quoted here !: What is a straight line?), but this applies only to a plane, and is usually considered infinite (https://en.wikipedia.org/wiki/Line_(geometry)): "In geometry, a line is an infinitely long object with no width, depth, or curvature", according to that Meridians should NOT be classified as lines but as segments
  • the University of Cornell site (https://pi.math.cornell.edu/~dwh/books/eg99/Ch02/Ch02.html) says: "Great circles are those circles which are the intersection of the sphere with a plane through the center of the sphere. Examples: Any longitude line and the equator are great circles on the earth ... The first step to understanding this problem is to convince yourself that great circles are straight lines on a sphere".
  • and on this site (Straight Line on a Sphere?) it is stated that only great circles are straight lines, but this extends to a curved plane the property of a flat plane. The shortest distance between 2 points is a real straight line going through the earth

enter image description here

does this picture show that Parallels are as straight ad the Equator?

questions:

  • I am sure the confusion stems from the fact that Euclid was concerned with lines on a plane, and modern geometric ignored the problem. Am I wrong?
  • why shouldn't the Tropic of Cancer line (and other parallels) be considered a straight line?
  • by the same principle can we define Parallel as really parallel lines?
  • a line can bend on the Euclid (xy axes) plane and so it is a curved line, but if it is straight and it (or the whole plane) bends on the z axis must be considered straight or curved? I think it should be considered straight, and the Euclid line should be renamed, e.g. fully straight
user157860
  • 156
  • 7
  • 2
    This is really a great question! I hope to read great answers –  Sep 19 '22 at 09:45
  • 1
    Lines, straight or curved or whatever are context dependent. They are either implicitly or explicitly defined. Different contexts, different definitions. – Somos Sep 19 '22 at 11:55
  • 1
    One of the most important lines is the one between the strict meaning of words, and their metaphorical uses. And that one is far from straight. :-) – JonathanZ Sep 19 '22 at 19:30
  • 2
    Reminds me of a fake blackboard exercise. At the end, the professor asked the student to draw "a line". The student of course draw a line comprised in the blackboard, for which the professor said: "This is not a line!". After a few exchanges, the student understood the line was to be infinite, so he continued the line aside the blackboard, went to the door, and left the room while still drawing. :-) That was 35 years ago; not sure such bad jokes from respectable professors are still accepted today. – Jean-Armand Moroni Sep 19 '22 at 23:29
  • 4
    @Jean-ArmandMoroni (+1), but I was expecting, "That was 35 years ago, and the student still has not come back." ;) – Andrew D. Hwang Sep 20 '22 at 13:06
  • "The shortest distance between 2 points is a real straight line going through the earth" So why don't ships and airplanes take that path when traveling between California and Japan? – David K Sep 21 '22 at 11:13
  • 1
    In the new picture you have a line (aka curve) labeled $60^\circ.$ An unlabeled black line intersects the $60^\circ$ line in two points. It's clear that the unlabeled line gives a shorter distance between those points than the $60^\circ$ line, therefore the $60^\circ$ line is not as straight as a great-circle line. – David K Sep 21 '22 at 11:17

2 Answers2

5

tl; dr: Terminology such as line gives us a convenient handle for concepts. In particular contexts, such as Euclidean geometry and spherical geometry, using line in a context-dependent way is usually more convenient than speaking of Euclidean line and spherical line for example.

Naturally, a reader has to be aware of context, the way a programmer is aware of the scope of local variables. On the other hand, most human interaction has the same technical ambiguity. When we're in the living room and we speak of "moving the chair," a listener would not naturally assume we mean "one of the chairs in the dining room, but which?"

That said, older readers may recall an Ask Marilyn column of late 1993 that hinged on the distinction between Euclidean lines and hyperbolic lines. There, because the geometries were discussed comparatively, and with each geometry providing a model of the other, "global" terminology was in order.


Arguably the question comes down to the role of definitions in mathematics. Here we have the issues of distinguishing

  • Line and straight line,
  • Parallel lines,
  • Plane and curved plane,
  • and implicitly geometry in the sense of a mathematical structure.

As noted in 5xum's answer and Somos's comment, these terms are not universal in geometry, but context-dependent. Particularly, line is used to connote a particular type of figure in Euclidean plane geometry. Even in plane geometry, however, authors will sometimes use line to connote a line segment, or to connote what others call a curved line, which civilians might call a "curve" and which mathematicians (justifiably) get all fussy over.

The term line is also sometimes used in other types of geometry to signify a geodesic, a curve with a locally length-minimizing property that can be "extended infinitely far in both directions." Calling a great circle a line in spherical geometry, or speaking of certain circular arcs in the Poincaré disk model of hyperbolic geometry, are examples. Often these geometries generalize Euclidean plane geometry, in the sense that a geometry is defined to be a set together with distinguished subsets, and geometric quantities that generalize length and/or area and/or angle, and Euclidean geometry is a particular case of the general structure.

Unfortunately for "seekers of ultimate generality," there is not a single greatest-possible generalization, no hope of identifying The One Fundamental Context.

If you're mostly interested in plane geometries (Euclidean, spherical, and hyperbolic), Patrick Ryan's Euclidean and Non-Euclidean Geometry is a clear, friendly undergraduate-level account based in linear algebra that constructs these geometries and links their synthetic properties with the analytic constructions.

Ryan amply discusses the meaning of parallel, but it may be relevant to note:

  • Two lines in Euclidean or spherical or hyperbolic plane geometry are parallel if they do not intersect.
  • Two parallel lines in hyperbolic geometry do not lie at constant distance, so "constant distance" is not an ideal basis for a definition because it does not generalize to contexts where stylistically "it should."
  • Two lines in Euclidean space geometry that do not intersect are rarely called parallel, but instead skew.

Finally, in the hope a picture of a latitude (black) and great circle arcs (blue) on a sphere helps:

A latitude and great circle arcs on a sphere

Added in Edit

In response to good comments by OP and charlie, writing more about parallels and great circles on a sphere may be in order.

Every (non-empty, non-tangential) intersection of a plane and a sphere is a circle. The circle is great if its Euclidean radius is equal to the radius of the sphere, i.e., if the plane of intersection contains the center of the sphere, and is small otherwise.

In spherical geometry, great circles are sometimes called (straight) lines while small circles (such as geographic parallels other than the equator) are not. There are multiple ways to see why this is reasonable, i.e., why parallels other than the equator are "not straight."

First, robjohn's answer here gives an analytic argument (calculus of variations), and my answer here gives a geometric argument relying on uniqueness of a shortest path between two distinct, non-antipodal points.

More qualitatively, the diagram above depicts the Tropic of Cancer and three great circle arcs, to illustrate visually that great circle arcs are "straighter" and therefore shorter than non-great circle arcs. The "savings" in length becomes more apparent the longer the arc, but may be difficult to see in all three cases. Here are some additional comments that may clarify:

  • Imagine stretching a rubber band around a large, frictonless sphere. The band attempts to pull itself shorter, and to first order stays on the sphere. If the band lies on an equator, it rests in (unstable) equilibrium because any local perturbation makes the band longer. If the band lies on a small circle, it shrinks and pulls free because some local perturbations decrease the length. If instead we tack down the band at two points, it shrinks until the arc of band between the tacks is a piece of great circle. The original diagram may also be viewed as depicting three instances of this, with tacks placed at the dots along the parallel.
  • If a non-equatorial parallel (the light blue circles in the left-hand diagram below) were a straight line, then even a Very Small parallel would be a straight line. But, for example, the parallel at latitude $89.99999^{\circ}$ is a circle $\approx 1.1$ meters in radius, visibly not "straight." Even the highest-latitude parallel in the diagram, $87^{\circ}$ (over $200$ miles in diameter), is visibly not the shortest path between its point on the prime meridian and its point on the date line (the dots at the top).
  • To emphasize a possibly-underappreciated aspect of the preceding item, at each point of the earth except the poles, there passes exactly one longitude and exactly one latitude. This is an artifact of astronomy and geography: The poles are distinguished by the earth's rotation. As a geometric object, however, a sphere has Many More great circles and small circles than meridians and parallels, infinitely many through each point. In detail, if $p$ is a point on a sphere, every plane through $p$ except the tangent plane to the sphere cuts the sphere in a circle. Consequently, through every point of a sphere there is a one-parameter family of great circles parametrized by "longitude" with $p$ viewed as a pole (the green curves in the right-hand diagram below), and a two-parameter family of small circles. (The blue circles are a one-parameter family "at fixed longitude"; others are obtained by revolving about the axis through $p$.) Further, for each pair of distinct, non-antipodal points $p$ and $q$ on a sphere, there is a one-parameter family of circles through both $p$ and $q$, obtained by intersecting the sphere with an arbitrary plane containing the Euclidean line $\overline{pq}$. If we believe there is a unique shortest path/"straight line" on the sphere between $p$ and $q$, then something must distinguish it among the infinitely many circles on the sphere and passing through both points. That something turns out to be "being the short arc of great circle."

Parallels on a sphere are not straight     Circles on a sphere

  • why shouldn't the Tropic of Cancer line (and other parallels) be considered a straight line? by the same principle can we define Parallel as really parallel lines? OP was referring to the Earth, you mention hyperbolic geometry but do not answer the questions –  Sep 20 '22 at 09:12
  • @charlie The question of why "great circles have shortest length" has been answered a number of times at Math.SE. While I didn't track down links, the diagram shows, precisely, the Tropic of Cancer and three great circle arcs, to illustrate visually that great circle arcs are "straighter" and therefore shorter than non-great circle arcs. (IIRC, here are sample analytic and geometric arguments.) – Andrew D. Hwang Sep 20 '22 at 12:50
2

I am sure the confusion stems from the fact that Euclid was concerned with lines on a plane, and modern geometric ignored the problem. Am I wrong?

I wouldn't say "ignored", more like "generalized". The modern definition of a straight line agrees with Euclid, so long as we are looking at a plane. So, Euclid is just a special case of the more general definition.

why shouldn't the Tropic of Cancer line (and other parallels) be considered a straight line?

Because it is not the shortest curve between any two points on the Tropic of Cancer. For any two points, there exists a shorter line between them. It's the same reason why airplanes flying from New York to Rome (both approximatelly on the same parallel) fly over Greenland, which is much further to the north.

a line can bend on the Euclid (xy axes) plane and so it is a curved line, but if it is straight and it (or the whole plane) bends on the z axis nist be considered straight or curved? I think it should be considered straight , and the Euclid line should be renamed, e.g. fully straight

No renaming is necessary. What is better is that we always keep in mind that what is a straight line is determined by both the line itself, and the geometry of the space. So, we cannot speak of a line being straight or not. Rather, we only ever speak of the line being straight in some geometry. A lot of the time, the geometry is clear from context.

Your renaming would give some special meaning to the euclidean plane which I see no reason for. Your "fully straight" lines are simply "straight in the Euclidean plane". They are no more or less straight that lines that are straight in other geometries.

5xum
  • 123,496
  • 6
  • 128
  • 204