tự vẽ hình nha
 ^acb = 90 độ (góc nt chắn nửa đg tròn tâm O)
^abc = ^cef (cùng phụ với ^efc)
^abc = ^eci (= 1/2 sđ cung ca)
=> ^eci = ^cei
=> tgiac eci cân tại i
=> ie = ic (1)
Lại có: 
^icf = ^ifc (cùng phụ với 2 góc bằng nhau ^ice=^iec)
=> tgiac icf cân tại f
--> if = ic (2)
từ (1) và (2) => if = ic
=> i là tâm đường tròn ngoại tiếp tam giác icf
mà: đt co vuông góc với bán kính ic tại c
=> oc là tiếp tuyến của đường tròn tâm i