We know that points $(x_i,y_i)$ which satisfy the equation $ax_i+by_i=c$ lie on the same straight line. I understand that all points on this line satisfy the equation, but how do we ensure that all points satisfying the equation stay on the same line?
As @saulspatz says,
How do we know that the lines defined by analytic geometry satisfy the Euclidean axioms?