Sibley Theorem 3.2.2 -- Illustration

In this illustration, we see the line EF and a perpendicular bisector from P, intersecting EF at point A.

Information: Sibley Theorem 3.2.2 -- Illustration