a)
Tứ giác AEDF là hình bình hành.

Vì có DE // AF, DF // AE (gt)

b) Hình bình hành AEDF là hình thoi khi AD là tia phân giác của góc A với cạnh BC thì AEDF là hình thoi.

a) Tứ giác AEDF là hình bình hành.

Vì có DE // AF, DF // AE (gt) (theo định nghĩa)

Hình bình hành AEDF là hình thoi khi AD là tia phân giác của góc A. Vậy nếu D là giao điểm của tia phân giác góc A với cạnh BC thì AEDF là hình thoi.

b) Nếu ΔABC vuông tại A thì AEDF là hình chữ nhật (vì là hình bình hành có một góc vuông).