Vì A là trung điểm của EF
=> EA = EF/2 hay 2EA = EF
Mà EH = EF/2 (do 2EH = EF)
=> EA = EF
=> Tam giác EAH cân tại E
=> góc EHA = góc EAH (1)
Vì EFGH là hình bình hành => EF // GH
=> EA // GH
=> góc EAH = góc AHG (Hai góc so le trong) (2)
Từ (1) và (2) => góc EHA = góc AHG
=> HA là tia phân giác của góc H