Xét (O) có
AH,AE là tiếp tuyến
=>OA là phân giác của góc HOE(1)
Xét (O) có
BH,BF là tiếp tuyến
=>OB là phân giác của góc HOF(2)
Từ (1), (2) suy ra góc EOF=2*90=180 độ
=>E,O,F thẳng hàng
góc OAE=góc OAH=90 độ-góc HOA=(180 độ-góc HOE)/2
=góc HOF/2
=góc BOH