If you have two circles and a point on one of the circles then construct a circle tangent to the two cicles with one point of tangency being the designated point.

Here is the basic GSP construction.

Here is the trace of the constructed circles center as the initial given point is animated around the larger circle:

Now I look at the traces of the perpendicular bisector. I believe that this is called an envelope of lines.