Hình bình hành AHIK là hình thoi nên đường chéo AI là phân giác của ∠(BAC)

Ngược lại nếu AI là phân giác của ∠(BAC) thì hình bình hành AHIK có đường chéo AI là phân giác của một góc nên hình bình hành AHIK là hình thoi.

Vậy nếu I là giao điểm của đường phân giác của ∠A với cạnh BC thì tứ giác AHIK là hình thoi.