AF/EF=AD/CD
由AF=4,CD=6,EF=3,得
AD=8
由EF⊥AC交AB于E,得
AE=5
所以ED=AD-AE=3
AF/CD=EF/BD=AE/BC
得BD=4.5,BC=7.5
AB=AD+BD=12.5