已知,如图所示,三角形ABC中,角C=90度,AC=BC,AD=DB,AE=CF,求证DE=DF