如图,角ABC=90度,AB=BC,D为三角形ABC外的一点,且AD=BD,DE垂直AC交CA的延长线于E.求证:DE=