Re:The Sylvester–Gallai Theorem
by hyperhello on Friday August 07, 2026 @10:31AM
(#49211044)
You're still not quite getting it, the statement isn't that trivial. It deals with the area between totally collinear (obviously impossible to find a lonely pair) and totally non-collinear (obviously impossible not to find a lonely pair).
As soon as the set of points are defined to be non-collinear in Euclidean space, this property must be true, purely from the definition of the problem. To suggest otherwise would be to violate either the problem definition or the axioms of Euclidean geometry.