在三角形ABC中AB等于ac ab的垂直平分线