Cho (O);đường khín BC. Lấy A nằm ngoài đường trong sao cho góc BAC<90. Từ A kẻ 2 tiếp tuyến AM;AN. H là trực tâm tam giác ABC; AH cắt BC tại F. CM HA.HF=R^2-OH^2