在三角形abc中,角bac=90度,延长ba到点d,使ad=1/2ab,点e、f分别为bc、ac的中点.(1)求证df=