在三角形ABC,角C是90,DE是边AB垂直平分线