Ta có: EA=EB,FB=FC(gt)

⇒EF là đường trung bình của ΔBAC

=) EF//ACvà EF=AC 

Chứng minh tương tự ta có:

HG//AC và HC=AC

=)  EF//GH và EF=GH

⇒EFGH là hình bình hành
Hình bình hành EFGH là hình chữ nhật khi 
Góc FEH=90 độ
=) EF⊥EH
=) AC⊥BD