Theorem 2.10: Let A, B, and C be three noncolinear points. If D is on the line through A which is parallel to BC then there is a real number s such that
Proof: If A = D, then we can take s = 0, and we're done. So we can assume that D is a different point than A.
Let
and
Here we are considering the case where the line is vertical.
If BC is vertical, then x1 = x2 but since B and C are distinct points, their y-coordinates must be different. Define
Then
A + s(C - B)
= A - sB + sC
as before, but in this case, x1 = x2, and since AD is also vertical, x0 = x. With these substitutions, we get
the case where the line is neither horizontal or vertical