在rt三角形abc中角b等于90度ed是ac的垂直平分线