>>786
COを伸ばして円Oとの交点（Cじゃないほう）をEとする。
んで、相似な三角形を探す。