证明:
∵AD//BC,
∴∠EAD=∠ECB,∠EDA=∠EBC.
∴⊿AED∽⊿CEB
∴AE/CE=DE/BE
同理可得
⊿BEF∽⊿DEC,
∴DE/BE=EC/EF
从而
AE/CE=EC/EF
EC²=EA·EF