Để hình bình hành AIDK là hình thoi.
⇒ AD là đường phân giác của ∠ (IAK)
hay AD là đường phân giác của ∠ (BAC)
Ngược lại nếu AD là tia phân giác của ∠ (BAC)
Ta có tứ giác AIDK là hình bình hành có đường chéo AD là phân giác của góc A nên tứ giác AIDK là hình thoi
Vậy hình bình hành AIDK là hình thoi khi và chỉ khi D là giao điểm tia phân giác của góc A và cạnh BC.