Here is a way to do the same construction with pst-eucl:
\documentclass[11pt, svgnames, border = 5pt]{standalone}
\usepackage{pstricks-add} % loads also pst-node
\usepackage{pst-eucl} % for plane geometry
% \usepackage{auto-pst-pdf} % to compile with pdflatex --enable-write18 (MiKTeX) or pdflatex --shell-escape (TX Live, MacTeX))
\begin{document}
\begin{pspicture}(-6,-5)(4,4)
\psset{PointSymbol=none, dotsize=2.5pt, linejoin=1, dimen=outer, unit=1cm}
\pstGeonode[PosAngle={30,-150}](0, 0){O}(-4,-3){A}
\pstCircleOA[Radius =\pstDistVal{3.5}, linecolor = IndianRed, linewidth = 1.2pt]{O}{}
\pstMiddleAB[ PointName=none]{O}{A}{I}
\psset{linewidth=0.6pt}
\pstInterCC[RadiusA=\pstDistVal{3.5}, DiameterB=\pstDistAB{O}{A},
CodeFigB=true, CodeFigColor=Gold, PointName=default]{O}{}{I}{}{C}{B}
\uput[l](B){B} \uput[d](C){C}
\psset{linecolor=Tomato, nodesep=-2}
\pstLineAB{A}{B}\pstLineAB{A}{C}
\psline[linestyle=dashed](B)(O)(C)
\psset{linecolor = LightSteelBlue, linewidth=0.4pt, RightAngleSize=0.15}
\pstRightAngle*{A}{B}{O}
\pstRightAngle{A}{C}{O}
\end{pspicture}
\end{document}
