I've been trying to teach this to my bro and I kept wondering of the best way to "see" why midpoint of $A=x_1,B=x_2$ is $(x_1+x_2)/2$.
One trick I learned recently is to use change of coordinates.
- We know the midpoint of $OA$ is $OA/2$.
- Move the origin to $A$. With this new origin, $B$ is represented as $(-x_1+x_2)$
- Midpoint is then $(-x_1+x_2)/2$
- Move the origin back to $O$. Then the midpoint is represented as $x_1 + (-x_1+x_2)/2$
But translation is not linear... still this change of coordinates trick seems to work. Am I doing anything wrong here? Also anyone has a more better/simpler way for the proof?