góc EAD+góc EDA=1/2(góc BAD+góc ADC)=1/2*180=90 độ
=>góc AED=90 độ
=>góc HEF=90 độ
góc FAB+góc FBA=1/2(góc BAD+góc ABC)=90 độ
=>góc EFG=90 độ
góc HDC+góc HCD=1/2(góc ADC+góc BCD)=90 độ
=>góc EHG=90 độ
Xét tứ giác EHGF có
góc EHG=góc EFG=góc FEH=90 độ
nên EHGF là hình chữ nhật