Cho điểm D nằm bên trong tam giác đều ABC. Vẽ các tam giác đều BDE, CDF (E, F, D nằm cùng phái với BC). Chứng minh rằng AEDF là hình bình hành.