We get the mirror image by using a perpendicular bisector.
Why are we constructing perpendicular bisectors to get the third vertex of the triangle?