GeometricScene[{{A.,B.,C.,O.},{}},{GeometricStep[{Triangle[{A.,B.,C.}]}],GeometricStep[{GeometricAssertion[{PerpendicularBisector[{C.,A.}],PerpendicularBisector[{C.,B.}]},{"Concurrent",O.}]}],GeometricStep[{CircleThrough[{A.},O.]}]},{CircleThrough[{A.},O.]}]//RandomInstance