问题补充：
如图所示，在Rt△ABC中，∠ACB=90°，AC=BC，D为BC边上的中点，CE⊥AD于点E，BF∥AC交CE的延长线于点F，求证：AB垂直平分DF．
答案：
证明：连接DF，
∵∠BCE+∠ACE=90°，∠ACE+∠CAE=90°，
∴∠BCE=∠CAE．
∵AC⊥BC，BF∥AC．
∴BF⊥BC．
∴∠ACD=∠CBF=90°，
∵AC=CB，
∴△ACD≌△CBF．∴CD=BF．
∵CD=BD=BC，∴BF=BD．
∴△BFD为等腰直角三角形．
∵∠ACB=90°，CA=CB，
∴∠ABC=45°．
∵∠FBD=90°，
∴∠ABF=45°．
∴∠ABC=∠ABF，即BA是∠FBD的平分线．
∴BA是FD边上的高线，BA又是边FD的中线，
即AB垂直平分DF．
解析分析：先根据ASA判定△ACD≌△CBF得到BF=CD，然后又D为BC中点，根据中点定义得到CD=BD，等量代换得到BF=BD，再根据角度之间的数量关系求出∠ABC=∠ABF，即BA是∠FBD的平分线，从而利用等腰三角形三线合一的性质求证即可．
点评：主要考查了三角形全等的判定和角平分线的定义以及线段的垂直平分线的性质等几何知识．要注意的是：线段的垂直平分线上的点到线段的两个端点的距离相等．
如图所示 在Rt△ABC中 ∠ACB=90° AC=BC D为BC边上的中点 CE⊥AD于点E BF∥AC交CE的延长线于点F 求证：AB垂直平分DF．
