已知三角形abc中角c90度,ab的垂直平分线