Kẻ tiếp tuyến At của đường tròn
Áp dụng hệ thức lượng ta có:
AE.AB=AH^2=AF.AC
=>tứ giác EFCB nội tiếp
=>góc AEF=góc ACB
Mặt khác góc ACB=góc tAB(do góc tạo bởi tiếp tuyến và dây cung AB)
=>góc AEF=góc tAB
=>At//EF
Mà OA vuông góc At(Tính chất tiếp tuyến)
=>OA vuông góc EF(dpcm)