三角形ABC中,有一个内接正三角形DEF,DE//BC,已知BC=4,BC上的高为AH=6,求DE