在直角三角形ABC中CD⊥AB，根据垂径定理，有BC^2=BD·BA，
在直角三角形BCE中，CF⊥BE，根据垂径定理，有BC^2=BF·BE，
于是BD·BA=BF·BE，有BD/BF=BE/BA，角ABE是公共角，
于是△ABE∽△FBD，有EB/EA=DF/DB
即EB*DF=AE*DB
