取AC中点G,连接EG,FG,则
EG‖=1/2BC,
FG‖=1/2AD
又AD=BC,EF=√2/2AD
所以EG=FG=√2/2EF
即EG^2+FG^2=EF^2
所以EG垂直FG
所以异面直线AD和BC互相垂直