Nối ED, Gọi O là giao điểm của EC và BD, nổi AO cắt BC tại P. Vì IK là đường trung bình hình thang EDCB nênKN, MN, IM // ED //BC, do đó N, M lần lượt là trung điểm của EC, BD
=> IM, KN lần lượt là đường trung bình tam giác BED và CED nên IM=NK
ED=1/2 BC, IK = (ED+BC)/2, IK = IM+MN+NK. Thay các tham số này vào ta có MN=ED/2
DO đó Im=NM=MN