EF=(1/2)(AD+BC),
即梯形两条腰AB，DC中点E，F连线长等于上，下底和的一半。
证明：连AF延长交BC延长线于H，
∵AD∥BH，
∴∠DAE=∠CHF，
又∠DFA=∠CFH，
DF=FC
∴△DFA≌△CFH，
∴AD=CH，即AD+BC=BH，
∵EF=（1/2）BH，
∴EF=（1/2）（AD+BC）
证毕。
