Cho tam giác đều ABC nội tiếp đường tròn (O) như Hình 9.54. Phép quay ngược chiều 60° tâm O biến các điểm A, B, C lần lượt thành các điểm D, E, F. Chứng minh rằng ADBECF là một lục giác đều.