>>697
もっとストレートに|AO|^2=|BO|^2=|CO|^2から連立方程式を立てればOK