Cho tam giác ABC cân tại A, O là giao điểm của ba đường trung trực. Lấy điểm D trên cạnh AB, điểm E trên cạnh AC sao cho AD = CE. Chứng minh rằng: OA = OB = OC.