Cho ∆ABC nhọn nội tiếp đường tròn tâm O. Các đường cao BH và CK của ∆ABC cắt nhau tại I. Kẻ đường kính AD của đường tròn tâm O. Các đoạn thẳng DI và BC cắt nhau tại M, Chứng minh rằng:
a, Tứ giác AHIK nội tiếp được trong một đường tròn.
b, OM vuông góc với BC.