延长CD,然后延长BC,交与点M.
三角形ADF全等与三角形MCF（角边角）,
所以上底加下底（AD BC）=BM,
这时梯形中位线就成了三角形AMB的中位线,
所以三角形AMB的中位线（EF）=1/2BM=1/2所以上底加下底（AD BC）