Chứng minh tứ giác EOFB là hình thang cân. Suy ra EF = BC.
Kéo dài EO cắt AC tại H.
Ta có = = 450 (do ∆BOC vuông cân ) => = 450 (vì tứ giác BEOC nội tiếp ) => EH ⊥ AC
Mà BF ⊥ AC nên EH//BF
=> Tứ giác EOFB là hình thang mà tứ giác EOFB nội tiếp đường tròn nên nó là hình thang cân => EF = BO = BC