如图,角ACB=90度,AC=BC,F为AB上的一点,BD垂直CF于D,AE垂直CF交CF延长线于E,求证:DE=EC-