已知在RT三角形ABC中,斜边BC的垂直平分线分别交AC、BC于D、E两点,落DE=DA