在三角形ABC中,∠BAC=90度,AD垂直于BC于D,E为AC中点,ED交AB延长线于F,求证:AB:AC=BF:DF
∵AD⊥BC,∠BAC=90°
∴∠ADB=∠ACD=∠BAC=90°
那么∠BAD+∠CAD=90°
∠C+∠CAD=90°
∴∠C=∠BAD=∠FAD
∵∠C=∠BAD,∠ADB=∠ADC=90°
∴△ADB∽△CDA
∴AB/AC=BD/AD
∵RT△ACD中,E是AC中点
∴DE=AE=CE,那么∠C=∠EDC
∵∠FDB=∠EDC
∴∠FDB=∠FAD
∵∠FDB=∠FAD
∠AFD=∠DFB
∴△ADF∽△DBF
∴BD/AD=BF/DF
∴AB/AC=BF/DF