∠EFG=∠GAD+∠ADG=∠BAD/2+∠ADC/2=(∠BAD+∠ADC)/2=90°
同理∠FGH=∠GHE=∠HEF=90°
∴四边形EFGH是矩形