Cho tam giác ABC, gọi O là tâm đường tròn ngoại tiếp, H là trực tâm của tam giác. Gọi H' là ảnh của H qua phép đối xứng trục AC. Hỏi H' có thuộc đường tròn tâm O không? Chứng minh?