连接AC ,取AC的中点为G,连接EG,FG,
则 EG//= 1/2 *BC GF//= 1/2*AD
则 EG+GF=1/2*BC+1/2*AD =EF
所以 点G在 EF上.
所以AD//EF EF//BC
=> AD//BC