Kẻ thêm tiếp tuyến Bx với đường tròn (O)
Ta có: góc BAC = góc BEF (tứ giác AFEC nội tiếp, góc ngoài bằng góc đối trong)
Mà: góc BAC = góc xBC (góc nội tiếp và góc tạo bởi tiếp tuyến và dây cung cùng chắn cung BC)
=> góc xBC = góc BEF
Mà 2 góc này ở vị trí so le trong
=> Bx // EF
Mà: OB vuông góc Bx
=> OB vuông góc với EF (đpcm)