在直角三角形ABC中,AD是斜边BC上的高,BE是角ABC的平分线,AD交BE于O,EF垂直AD于F,求证：AF=OD

题目

在直角三角形ABC中,AD是斜边BC上的高,BE是角ABC的平分线,AD交BE于O,EF垂直AD于F,求证：AF=OD
快

答案

做OG⊥AB,∵AD⊥BC即OD⊥BC
BE平分∠ABC
∴OD=OG
∵∠BAC=90°即EA⊥AB,OG⊥AB
∴OG∥AE
∴∠GOA=∠FAE
∵BE平分∠ABC
∴∠CBE=∠DBO=1/2∠ABC即∠ABC=2∠CBE=2∠DBO
∵∠AOE=∠BOD=90°-∠DBO=1/2∠ABC(AD⊥BC,即∠ODB=90°)
∠AEO=∠CBE+∠C=1/2∠ABC+90°-∠ABC=90°-1/2∠ABC(∠BAC=90°,∠C=90°-∠ABC)
∴∠AOE=∠AEO
∴OA=AE
在RT△AOG和RT△AEF中
∠GOA=∠FAE,∠AGO=∠AFE=90°(EF⊥AD)
OA=AE
∴RT△AOG≌RT△AEF
∴AF=OG=OD