OpenStudy (anonymous):

A transformation such that if P is on l,then P coincides with P' , and if P is not on l, then l is the perpendicular bisector of ( line segment PP') ????

OpenStudy (accessdenied):

Let's see... "If $$P$$ is on $$l$$, then $$P$$ coincides with $$P'$$." "If $$P$$ is not on $$l$$, then $$l$$ is the perpendicular bisector of $$\overline{PP'}$$." I think it would be easier to see this visually. |dw:1373328779976:dw|