O 与 I 在 BC 同侧，且角 BIC 大于角 BOC，所以 I 在等腰三角形 BOC 的外接圆内。由于 O 是 IP 的中点，P 是 I 关于 O 的对称点，因此 P 在该圆外且与 O 位于 BC 同侧，正如官方解法所述。