Cho tam giác ABC là tam giác đều, O là tâm đường tròn ngoại tiếp tam giác. Mệnh đề nào là mệnh đề đúng trong các mệnh đề sau?