AB=CD AE=CF
得出DF=BE
所以AECF和DFBE都是平行四边形.
FG平行于EH,FH平等于EG
所以EHFG是平行四边形,
AF⊥DE于G,∠FGE是直角.
任意一个角是直角的平行四边形是矩形.