怎样用三角形全等证明垂直平分线的尺规作图的依据?