O と I は BC の同じ側にあり、angle BIC>angle BOC なので I は二等辺三角形 BOC の外接円の内部にある。O は IP の中点だから P は I の O に関する対称点であり、その円の外側で O と同じ側にある。