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|