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