>>24
すまん無駄が多かった、背理法も不要
直径ABについてAO=BO=(1/2)ABすなわちAO+BO=ABなのでABはOを通る

で済む