WTS: $|ax_0+by_0+c|=|ax+by-ax_0-by_0|$
The thing to note is that $ax + by + c = 0$, as it's the line we're talking about. So we have that $|ax + by - ax_0 - by_0| = |ax + by + c - c - ax_0 - by_0| = |-ax_0 - by_0 - c| = |ax_0 + by_0 + c|$
WTS: $|ax_0+by_0+c|=|ax+by-ax_0-by_0|$
The thing to note is that $ax + by + c = 0$, as it's the line we're talking about. So we have that $|ax + by - ax_0 - by_0| = |ax + by + c - c - ax_0 - by_0| = |-ax_0 - by_0 - c| = |ax_0 + by_0 + c|$