Chúng ta có thể chứng minh AH.CD = AD.CG bằng cách sử dụng định lý Pappus. Định lý Pappus cho rằng cho bất kỳ hai đường cong trên một mặt phẳng, đi qua cùng một điểm O, kết quả từ việc giao nhau của hai đường cong đó sẽ tạo thành một đường tròn với tâm O và bán kính bằng tích của khoảng cách từ O đến hai điểm giao của hai đường cong.

Trong trường hợp này, ta có thể xem điểm F và G là hai điểm giao của hai đường cong được kết nối bởi E với hai đường thẳng AB và CD. Vì vậy, từ định lý Pappus, chúng ta có thể chứng minh AH.CD = EF.FG = AD.CG.

Do đó, chúng ta có thể chứng minh rằng AH.CD = AD.CG.