Để chứng minh QO⋅QMOP⋅PM=HF^2/HE^2, ta sẽ sử dụng định lí hình học và tính chất của các tam giác đồng dạng.
Đầu tiên, ta cần chứng minh tam giác QOM và tam giác MOP đồng dạng. Ta có:
∠QOM = ∠MOP (do chúng là góc đối) ∠OQM = ∠OMP (do chúng là góc ở chung) => Tam giác QOM đồng dạng với tam giác MOP theo định lí góc-góc (AA).
Từ đó, ta có tỷ lệ giữa các cạnh của hai tam giác này:
QM/OP = OQ/OM (tỷ lệ cạnh tương ứng của hai tam giác đồng dạng) => QM = OQ/OM * OP
Tiếp theo, ta cần chứng minh tam giác HEF và tam giác HOM đồng dạng. Ta có:
∠HEF = ∠HOM (do chúng là góc đối) ∠EHF = ∠OHM (do chúng là góc ở chung) => Tam giác HEF đồng dạng với tam giác HOM theo định lí góc-góc (AA).
Từ đó, ta có tỷ lệ giữa các cạnh của hai tam giác này:
HE/OM = EF/OM (tỷ lệ cạnh tương ứng của hai tam giác đồng dạng) => HE = EF/OM * OM => HE = EF
Như vậy, ta có HE = EF.
Bây giờ, ta sẽ xem xét tỷ lệ giữa các đoạn thẳng QO, QM, OP, PM và HF, HE:
QO⋅QMOP⋅PM = (OQ/OM * OP) * (OP) * (PM) = OQ * OP * PM / OM = OQ * PM
Vì HE = EF, nên ta có:
HF/HE = QM/OM (tỷ lệ cạnh tương ứng của hai tam giác đồng dạng HEF và HOM) => HF = QM/OM * HE
Thay giá trị của HE = EF vào, ta có:
HF = QM/OM * EF
Vậy, ta thấy HF^2 = (QM/OM * EF)^2
Như vậy, ta có:
QO⋅QMOP⋅PM = HF^2/HE^2
Vậy, điều phải chứng minh đã được chứng minh.