The figure below shows a triangle ABC,
the perpendicular to AC at C and the perpendicular bisector of
BC meet at P1, the perpendicular to AC at A and the
perpendicular bisector of AB meet at P2, the tangent at B to circumcircle of triangle ABC meets AC extended at P3. Prove that
points P2, P1 and P3 are collinear.

|