Using the distance formula and slope of a line to prove properties of figures on the plane.