is there a theorem for the idea that the midpoint of a line segment with endpoints \((x_1,y_1)\) and \((x_2,y_2)\)
is \((\frac{(x_1+x_2)}{2},\frac{y_1+y_2}{2})\)
