Drag slider. The blue lines are the perpendicular bisectors of the points A and B. How can you show that the envelope of the family of perpendicular bisectors is a parabola?