∵BF⊥AF
∴∠AFC=∠ADE=90°
∵∠BAF=∠AED(平行线内错角)
∴△ABF∽△EAD
∴AB/AE=BF/AD
∴AE*BF=AB*AD
∵AE的平方=AB乘AD
∴AE*BF=AE²
∴BF=AE