GeometricScene[{{A.,B.,C.,O.,D.},{}},{GeometricStep[{Triangle[{A.,B.,C.}]}],GeometricStep[{InfiniteLine[{A.,O.}]AngleBisector[{C.,A.,B.}],InfiniteLine[{B.,O.}]AngleBisector[{C.,B.,A.}]}],GeometricStep[{GeometricAssertion[{Line[{O.,D.}],Line[{A.,D.,B.}]},"Perpendicular"]}],GeometricStep[{CircleThrough[{D.},O.]}]},{CircleThrough[{D.},O.]}]//RandomInstance