Cho tam giác ABC, gọi I và O là tâm đường tròn nội tiếp và ngoại tiếp tam giác. Gọi P, Q là điểm đối xứng của I, và O qua BC. C/m: Q thuộc (O) khi và chỉ khi P thuộc (O).