在rt三角形ABC中,角c等于90°,de是ab的垂直平分线,且