In the above construction (see Figure 22), the point M is the midpoint of P1 and P2 under the upper half-plane model.
Download This Macro u_midpoint.mac