The auxiliary circle (in Construction 8) passes through $O$ because—

• a$O$ is at distance $MO$ from the midpoint $M$
• b$O$ is the centre of the original circle
• cit is tangent to the line $PO$
• dall of the above are unrelated