如图所示,等边三角形ABC,且DE//BC,已知AH⊥BC于点H,BC=4 ,AH∫3,求DEF的边长