怎么证明中垂线