∠ABCに注目します。
余弦定理よりcos∠ABC=1/2
つまり、∠ABC=π/3
よって、DE=4×sin∠ABC=2√3

となります。