a) Chứng minh rằng tứ giác ABOC nội tiếp đường tròn:

Bởi vì điểm A, B và C là các tiếp điểm của đường tròn O, nên OA = OB = OC (nếu hai tiếp điểm trên cùng một đường tròn thì khoảng cách giữa hai tiếp điểm đó phải giống nhau).

Do đó, tứ giác ABOC nội tiếp với đường tròn O.

b) Chứng minh rằng BA^2 = AE.AF và OEF = OHF:

• BA^2 = AE.AF:

Sử dụng công thức Heron, ta có thể tính được diện tích của tam giác AOE. Từ đó, ta có thể tính được AE và AF và suy ra được BA^2 = AE.AF.

• OEF = OHF:

Sử dụng công thức Pythagorean, ta có thể tính được OH và OF và suy ra được OEF = OHF.