在三角形ABC中,AB=AC,角BAC=30度,D是BC中点,DE垂直于AB,DF平行于,证DF=2DE