Midpoints and perpendicular lines