如图，在Rt△ABC中，∠C＝90°，∠ABC＝30°，D，E是斜边AB上的两个动点（不与点A，B重合），过E作EF⊥BC于点F，设BD＝m，EF＝n，且m＝12﹣4n，连结DF.