Question

在RT三角形ABC中，角ACB=90度，AC=BC，D为BC中点，AB垂直DE于E，BF平行AC，

交CE延长线于F求证：AB垂直平分DF。

Answer 1

证明：
∵BF平行于AC（已知）
∴∠ACB+∠CBF=180°（两直线平行，同旁内角互补）
∠ACE=∠BFC（两直线平行，内错角相等）
∵∠ACB=90°（已知）
∴∠CBF=180°-90°=90°
∴∠FCB+∠BFC=90°
∵∠ACE+∠CAD=90°（已知）
∴∠BFC+∠CAD=90°（等量代换）
∴∠FCB=∠CAD（同角的余角相等）
∵BC=AC（已知）
∴△ACD全等于△CFB（ASA）
∴CD=BF
∵D是BC的中点（已知）
∴CD=BD（中点定义）
∴BD=BF（等量代换）
∴△BDF为等腰三角形
∵∠CAB=∠CBA=45°（由△ABC是等腰三角形知）
∴AB垂直平分DF（等腰三角形三线合一）

追问

求证三角形ACF形状