Proving the existence of a line that passes only through two points So I came across this question in a Math Olympiad Book:

Consider a finite set $S$ of points in a plane which are not all collinear. Show that there is a line in the plane which passes only through two points in $S$.
$$S = \{A_1, A_2,...,A_n\}$$

Since this was in the combinatorics section of the book, my first instinct was to construct a set (say $A$) which consists of increasing ordered triplets of $S$. Basically,
$$A=\{(A_1,A_2,A_3),(A_1,A_2,A_4),...\}$$
Furthermore, let us assume that every element $x$ of $A$ represents collinearity between those three points within $x$.
Now let us assume that there does exist a set $S$ such that no line passing through only two points exists. In that case $A$ would contain every single increasing ordered triplet using elements of $S$.
However we know that there is only one possible line passing between two points. Thus it means that if two triplets $(A_1,A_2,A_i)$ and $(A_1,A_2,A_j)$ are elements of $A$ then the line passing through $A_1$ and $A_2$ also passes through $A_i$ and $A_j$, which would imply that all four points are collinear. Similarly we know that $A$ contains all possible triplets of the form $(A_1,A_2,A_i)$ thus we can say that all the points are collinear.
This is a contradiction. Thus no such set can exist. $QED$.

However, I showed this proof to a friend and he told me that I was using cyclic reasoning and was incorrect. According to him I should prove that such a line exists rather than proving that no such set can exist. Is he right?

There is a simple proof without going into any deep knowledge of Mathematics. Just a little common sense and you are done.
If $S$ be such a finite set then area enclosed by all points is finite. If that happens then we can construct an imaginary boundary around the points. Outside this field we draw a straight line , and surely none of the points of our set lie on this line. Since area enclosed by the points is trivial we can extend area and bring exactly two points from our parent set on the straight line. And then we have a set of points where there is a line passing through exactly $2$ points.
