Question

已知Rt△ABC中，∠ACB=90°，CA=CB，点D在BC的延长线上，点E在AC上，且CD=CE，延长BE交AD于点F，求证：BF⊥AD．

Answer

求出△BEC≌△ADC，推出∠CBE=∠DAC，根据∠CBE+∠CEB=90°推出∠DAC+∠AEF=90°，求出∠AFE=90°，根据垂直定义求出即可．
证明：∵∠ACB=90°，
∴∠ACD=∠ACB=90°，
在△BEC和△ADC中
∵，
∴△BEC≌△ADC（SAS），
∴∠CBE=∠DAC，
∵∠ACB=90°，
∴∠CBE+∠CEB=90°，
∵∠CEB=∠AEF，
∴∠DAC+∠AEF=90°，
∴∠AFE=180°-90°=90°，
∴BF⊥AD．