Cho (O, R), lấy điểm A cách O một khoảng 2R. Kẻ các tiếp tuyến AB và AC với đường tròn (B, C là các tiếp điểm). Đoạn thẳng OA cắt đường tròn (O) tại I. Đường thẳng qua O và vuông góc với OB cắt AC tại K.
a) Chứng minh tam giác OBA vuông tại B và tam giác OAK cân tại K.
b) Đường thẳng KI cắt AB tại M. Chứng minh KM là tiếp tuyến của đường tròn (O).