在直角三角形中,角b等于90度,ED是AC的垂直平分线