>>732で

>(1)ＡＢＣの外接円を考えれば、Ｃ＝９０°なのでＡＢが直径となる。
>また、弦ＡＣに対する円周角は等しいので∠ＡＢＣ＝∠ＡＯＣ＝３０°
>よってＣはｙ＝1/√3ｘ上である。

って書いてあるけど、「円周上にOがある」ってどこから言えるの？