Name: Sheryl Webb
There are hundreds of books and papers that would provide a proof. The result is referred to as Sylvester's Problem. Two proofs are given in Introduction to Geometry by HSM Coxeter, pages 65-66 and 181-182. Below is the proof that appears on pages 65 and 66 which Coxeter attributes to L. M. Kelley. This proof uses the concept of distance in Euclidean space where the proof on pages 181-182 uses only ordered geometry.
If n points in the real plane are not on one straight line, then there exists a straight line containing exactly two of the points.
The n points P1,...,Pn are joined by at most 1/2 n(n-1) lines P1P2, P1P3, etc. Consider the pairs Pi, PjPk, consisting of a point and a joining line which are not incident. Since there are at most 1/2 n(n-1)(n-2) such pairs, there must be at least one, say P1, P2P3, for which the distance P1Q from the point to the line is the smallest such distance that occurs.
Then the line P2P3 contains no other point of the set. For if it contained P4, at least two of the points P2, P3, P4 would lie on one side of the perpendicular P1Q (or possibly one of the P's would coincide with Q). Let the point be so named that these two points are P2, P3, with P2 nearer to Q (or coincident with Q). Then P2, P3P1 is another pair having a smaller distance than P1Q, which is absurd.