If a set of points (xi,yi) is co-linear, then
This in turn implies, after multiplying by xi, that
These relationships imply that one can simplify a certain determinant. If enough elements vanish, than one can show the determinant is zero.