August 6, 2026

Point taken? The comments say no

The Sylvester–Gallai Theorem

Math theorem drops, comments instantly ask: wait, isn’t that obvious?

TLDR: The theorem says any non-straight-line set of points must contain at least one line that connects exactly two points, and the proof shows why that has to be true. Commenters were split between "nice result" and "isn’t this just obvious?" with confusion, skepticism, and puns stealing the spotlight.

A classic geometry result strutted into the room with a big claim: if you have a finite bunch of points on a flat surface, and they’re not all sitting on the same straight line, then there’s always at least one line that goes through exactly two of them. The proof highlighted here, from mathematician Leroy Milton Kelly, is a neat little logic trap: pick the closest point-to-line setup possible, then show that if that line had three or more points on it, you could build an even closer setup. Boom — contradiction, theorem saved.

But the real fireworks were in the comments, where readers reacted less like "wow, elegant" and more like "hang on… isn’t this just obvious?" Multiple people openly wondered whether the theorem was basically a tautology. One commenter flat-out said they "can’t make out the point" — yes, with the pun very much intended — while another confessed that even as a working physicist, they still couldn’t see why anyone should care. Ouch. That sparked the central drama: is this a deep hidden truth wearing plain clothes, or just math dressing up common sense?

Then came the counter-mood: some readers noted that stronger versions of the theorem lead to useful counting results and even fast algorithms, though that almost made things worse by reinforcing the sense that these "ordinary lines" seem easy to spot anyway. And in the middle of all that confusion, one random gem cut through the seriousness entirely: "Futility closet is fantastic!" Which, honestly, is the exact energy this comment section deserved.

Key Points

  • The article states that any finite non-collinear set of points in the Euclidean plane has a line containing exactly two of the points.
  • A proof is attributed to Leroy Milton Kelly of Michigan State University.
  • The proof defines a connecting line as a line containing at least two points from the set and chooses a point-line pair with minimal distance.
  • The argument assumes for contradiction that the chosen line contains at least three points from the set.
  • Using perpendicular projections and similar triangles, the proof derives a shorter point-line distance, contradicting minimality and establishing that the line contains exactly two points.

Hottest takes

"I can't make out the point here (no pun)" — hyperhello
"I might be too stupid to understand why this is interesting" — Nail2680
"Isn't this a tautology?" — stackghost
Made with <3 by @siedrix and @shesho from CDMX. Powered by Forge&Hive.