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