b) Chứng minh hệ thức: BD.BE = BC.BF.

ADB = 90° (góc nội tiế chắn nửa đường tròn (O)) => AD ⊥ BE.

ACB = 90° (góc nội tiế chắn nửa đường tròn (O)) => AC ⊥ BF.

∆EAB vuông ở A (do Ax là tiếp tuyến), có AD ⊥ BE nên

 AB² = BD.BE.                  (1)

∆FAB vuông ở A (do Ax là tiếp tuyến), có AC ⊥ BF nên

AB² = BC.BE.               (2)

Từ (1) và (2) suy ra: BD.BE = BC.BF