Cho tam giác ABC đều có cạnh 4a, lấy D thuộc BC, E thuộc AC, F thuộc AB sao cho BD = x, AE = a, AF = 3a. Xác định x để tam giác DEF vuông tại F