Cho tam giác ABC cân tại A. Trên AB và AC lần lượt lấy hai điểm E và F sao cho AE = AF. Hai đoạn thẳng BF và CE cắt nhau tại O, chứng minh AO là đường trung trực của BC.