由“AD是它的角平分线,BD等于CD”得,AC=AB,得∠B=∠C,
由“DE垂直于AB,DF垂直于AC”得,∠CFD=∠BED=90°,又因为CD=BD,所以三角形CFD全等于三角形BFD,所以有DF=DE.