Ta cần chứng minh tứ giác OHDS là tứ giác nội tiếp.

Để chứng minh điều này, ta sẽ dùng tính chất góc nội tiếp và góc ngoài tiếp.

Gọi E là giao điểm của đường tròn (O) và tia AD. Ta có:

• Góc AED = 90 độ (do AD là đường đường chéo trong tam giác ABC)
• Góc EDB = 90 độ (do EB là đường kính của đường tròn (O))
• Góc ESD = 90 độ (do tiếp tuyến tại D vuông góc với tia BC)

Do đó, tứ giác AEDB và OHDS là tứ giác nội tiếp.

Ta có:

• Góc EAS = góc EDS (cùng bằng góc ngoài tiếp của tam giác BCQ)
• Góc ESA = góc OAD (cùng bằng góc nội tiếp của tam giác ABC)
• Góc OAD = góc OHB (cùng bằng góc nội tiếp của tam giác OBC)

Vậy ta có tứ giác OHDS là tứ giác nội tiếp.