See section 12.6.9 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: