Các đường trưng trực của AB và AC cắt nhau tại O và lần lượt cắt BC tại E và F, Các đường trung trực của AB và AC cắt nhau tại O và lần lượt cắt BC tại E và F