Midpoint and line segment properties