三角形ABC中,角C=90度,AC=BC,AD=DB,AE=CF求证:DE=DF