如图,在RT△ABC中,∠ACB=90,∠BAC=30,△ADC和△ABE是等边三角形,DE交AB于点F,求证F是DE中