Chứng minh rằng AD.BI.CH nhỏ hơn hoặc bằng BD.OK.AC
Giải thích

Kẻ AE⊥BD
Vì OK//HC nên AOAC=OKHC⇒AO.HC=OK.AC
Lại có AD.BI.CH=2SABD.CH
Mà
BD.AE=2SABD, OA.HC=OK.AC, AO≥AE⇒AD.BI.CH=2SABD.CH=BD.AE.CH≤BD.AO.CH=BD.OK.AC
Vậy AD.BI.CH≤BD.OK.AC.

Kẻ AE⊥BD
Vì OK//HC nên AOAC=OKHC⇒AO.HC=OK.AC
Lại có AD.BI.CH=2SABD.CH
Mà
BD.AE=2SABD, OA.HC=OK.AC, AO≥AE⇒AD.BI.CH=2SABD.CH=BD.AE.CH≤BD.AO.CH=BD.OK.AC
Vậy AD.BI.CH≤BD.OK.AC.