Problem 1
Let be a triangle with . Let and be the points on the sides and , respectively, such that and . Let be the point in the plane such that the lines and are perpendicular to and , respectively. Prove that .
Step 4 of 5: Compare the two circles
Detailed analysis
The points O and I are on the same side of BC, and angle BIC is larger than angle BOC; hence I is inside the circumcircle of the isosceles triangle BOC. Since O is the midpoint of IP, P is the reflection of I in O, so P is outside that circle and on the same side of BC as O, as in the official construction.