Let's assume △ABC has corresponding angles ∠A,∠B,∠C, and R is the circumradius of △ABC. By the Law of Sines, it is easy to know that AF=8Rsin(60∘+3C)sin3Bsin3C,AE=8Rsin(60∘+ 3B)sin3Bsin3C. Therefore, EF2=AE2+AF2−2AE⋅AFcos3A=64R2sin23Asin23Bsin23C, so EF=8Rsin3Asin3Bsin3C. Similarly, FD and DE are also this value.