．已知：如图4，在中，∠BAC=90°，DE、DF是的中位线，连结EF、AD. 求证：EF=AD．