Statement: ABC be an isosceles triangle with AB = AC. P be a point inside the triangle such that, . Suppose M is the midpoint of BC. Show that
Our first claim is, AB and AC are tangents to the circum circle of BPC (prove this). Also extend AP to meet the circum circle at G again. It is sufficient to show .
Next we claim that IPCO and MPGO are cyclic (how?) .
1. as MPGO is cyclic
2. as IPCO is cyclic
Also as OP = OC (radii), hence = =