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.