在三角形abc中,角c等于90度,de是ab的垂直平分线,ab等于2ac