See section 11.6.8 for midpoints in the plane.
The midpoint command takes two points (or a list of two points) as arguments and returns and returns and draws the midpoint of the segment determined by these points. Input:
then:
Output: