在Rt△ABC中,斜边BC的垂直平分线分别交AC、BC于D、E两点,若DE=DA,求证CD=2AD