Perp Bisectors with Triangles and congruent segs