Từ điểm m ngoài đường thẳng. Kẻ 2 tiếp tuyến MA, MB và cát tuyến MIJ

Ta có:
- Theo định lí cung tam giác vuông, ta có: MI.MJ = MA.MB
- Theo định lí góc nội tiếp, ta có: ∠MHD = ∠MAD
- Vậy, ta có: ∠MHD = ∠MAD = ∠MAB
- Do đó, tam giác MHD ~ tam giác MAB (cùng có 1 góc và 1 góc vuông)
- Từ đó, ta có: MH/MO = MA/MD
- Vậy, MI.MJ = MH.MO.