如附圖,圓O為ABC的外接圓