以点A为中心做半径为R的园
以点B为中心做半径为R的园
如果R够大,这两个园有两个交点
连结这两个交点得到的直线就是AB的垂直平分线
所以AB的垂直平分线交AB的点为线段AB的中点.