Cho tứ giác lồi ABCD. Gọi O là giao điểm của AC và BD. Gọi I, K, H lần lượt là chân đường cao kẻ từ B, O, C tới AD. Chứng minh rằng AD.BI.CH≤BD.OK.AC.