Step 1 The first part of your proof is enough because you can proceed by equivalence
Here is an alternate proof: Using the classical alignment criteria for 3 points for k=1,2,3 which is
This means that we have to show that
But this is very easy because the determinant can be factorized in the following way:
knowing that a,b,c are all different. In fact, I just realized that I had already answered a similar question here... with two proofs, this one and another one based on a third degree equation with no term in