因为,△DEF是由△ABC平移得到的,
所以,△DEF与△ABC全等
所以,DE=AB,EF=BC,DF=AC
所以,EF=BC=2√3
DE=tan30°×EF=tan30°×2√3=6
DF=EF/cos30°=2√3/(√3/2)=4