证明:AF交DE于O,
∠BAF=∠DEF,∠AOD=∠EOF.△AOD∽△EOF
AD:EF=AO:OE
OE‖CF,容易得△AOE∽△AFC,AF:CF=AO:OE
所以AD:EF=AF:CF,即AD×CF=EF×AF